Trace number 39943

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05? 1800.1 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-cycle.opb
MD5SUM761eaefb829e7d3bf060fd5b86600997
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2
Best CPU time to get the best result obtained on this benchmark1782.8
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables84737
Total number of constraints1802
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1802
Minimum length of a constraint11
Maximum length of a constraint1470
Number of terms in the objective function 9240
Biggest coefficient in the objective function 16197
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 531823
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 531823
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.01	c Time Limit set via PBTIMEOUT to 1800
0.02	c INFO: OSL Context initialized.
3.93	c Initial problem consists of 84737 variables and 2997 constraints.
4.38	c No problem reductions applied in OPT. instance.
4.38	c	preprocess terminated. Elapsed time: 4.365
4.38	c After prepocess the problem consists of 44929 variables and 2517 constraints.
4.38	c Initial Lower Bound: -3247
4.53	c Restart #1 #Var: 44879 LB: -3238 @ 4.506
4.69	c Restart #2 #Var: 44879 LB: -3238 @ 4.666
4.92	c Restart #3 #Var: 44879 LB: -3238 @ 4.896
5.21	c Restart #4 #Var: 44879 LB: -3238 @ 5.194
5.65	c Restart #5 #Var: 44794 LB: -3221 @ 5.631
6.23	c Restart #6 #Var: 44794 LB: -3221 @ 6.209
6.82	c Restart #7 #Var: 44794 LB: -3221 @ 6.797
7.62	c Restart #8 #Var: 44794 LB: -3221 @ 7.594
9.96	c Restart #9 #Var: 44758 LB: -3206 @ 9.933
16.79	c Restart #10 #Var: 44594 LB: -3191 @ 16.768
17.69	c Restart #11 #Var: 44594 LB: -3191 @ 17.66
22.05	c Restart #12 #Var: 44594 LB: -3191 @ 22.025
24.09	c Restart #13 #Var: 44492 LB: -3173 @ 24.065
27.48	c Restart #14 #Var: 44403 LB: -3168 @ 27.451
70.22	c Restart #15 #Var: 44384 LB: -3168 @ 70.164
72.28	c Restart #16 #Var: 44384 LB: -3168 @ 72.222
78.52	c Restart #17 #Var: 44367 LB: -3168 @ 78.462
84.85	c Restart #18 #Var: 44322 LB: -3167 @ 84.788
87.04	c Restart #19 #Var: 44311 LB: -3167 @ 86.971
88.01	c Restart #20 #Var: 44292 LB: -3167 @ 87.944
91.37	c Restart #21 #Var: 44292 LB: -3167 @ 91.3
95.60	c Restart #22 #Var: 44276 LB: -3161 @ 95.528
99.58	c Restart #23 #Var: 44276 LB: -3161 @ 99.511
102.16	c Restart #24 #Var: 44276 LB: -3161 @ 102.09
102.96	c Restart #25 #Var: 44276 LB: -3161 @ 102.89
111.42	c Restart #26 #Var: 44274 LB: -3161 @ 111.35
120.27	c Restart #27 #Var: 44274 LB: -3161 @ 120.2
133.19	c Restart #28 #Var: 44269 LB: -3161 @ 133.11
137.83	c Restart #29 #Var: 44268 LB: -3161 @ 137.75
144.20	c Restart #30 #Var: 44241 LB: -3161 @ 144.11
146.01	c Restart #31 #Var: 44235 LB: -3161 @ 145.92
148.19	c Restart #32 #Var: 44235 LB: -3161 @ 148.1
156.55	c Restart #33 #Var: 44211 LB: -3155 @ 156.46
159.59	c Restart #34 #Var: 44211 LB: -3155 @ 159.5
174.43	c Restart #35 #Var: 44195 LB: -3155 @ 174.33
200.70	c Restart #36 #Var: 44195 LB: -3155 @ 200.59
211.70	c Restart #37 #Var: 44168 LB: -3155 @ 211.59
227.34	c Restart #38 #Var: 44168 LB: -3155 @ 227.22
230.07	c Restart #39 #Var: 44168 LB: -3155 @ 229.95
234.67	c Restart #40 #Var: 44163 LB: -3155 @ 234.56
239.83	c Restart #41 #Var: 44163 LB: -3155 @ 239.7
247.35	c Restart #42 #Var: 44163 LB: -3155 @ 247.23
249.12	c Restart #43 #Var: 44163 LB: -3155 @ 249
254.48	c Restart #44 #Var: 44136 LB: -3152 @ 254.35
260.20	c Restart #45 #Var: 44128 LB: -3152 @ 260.07
271.61	c Restart #46 #Var: 44128 LB: -3152 @ 271.48
278.87	c Restart #47 #Var: 44128 LB: -3152 @ 278.74
286.50	c Restart #48 #Var: 44127 LB: -3152 @ 286.36
292.58	c Restart #49 #Var: 44127 LB: -3152 @ 292.43
299.89	c Restart #50 #Var: 44127 LB: -3152 @ 299.75
304.85	c Restart #51 #Var: 44127 LB: -3152 @ 304.71
310.14	c Restart #52 #Var: 44124 LB: -3151 @ 309.99
316.33	c Restart #53 #Var: 44124 LB: -3151 @ 316.18
321.24	c Restart #54 #Var: 44124 LB: -3151 @ 321.09
336.35	c Restart #55 #Var: 44124 LB: -3151 @ 336.19
342.59	c Restart #56 #Var: 44114 LB: -3151 @ 342.43
349.87	c Restart #57 #Var: 44114 LB: -3151 @ 349.7
370.31	c Restart #58 #Var: 44114 LB: -3151 @ 370.14
376.40	c Restart #59 #Var: 44104 LB: -3151 @ 376.23
394.90	c Restart #60 #Var: 44104 LB: -3151 @ 394.72
399.12	c Restart #61 #Var: 44104 LB: -3151 @ 398.94
406.77	c Restart #62 #Var: 44104 LB: -3151 @ 406.58
410.82	c Restart #63 #Var: 44104 LB: -3151 @ 410.63
414.30	c Restart #64 #Var: 44104 LB: -3151 @ 414.11
417.50	c Restart #65 #Var: 44104 LB: -3151 @ 417.31
422.48	c Restart #66 #Var: 44104 LB: -3151 @ 422.29
436.45	c Restart #67 #Var: 44104 LB: -3151 @ 436.25
446.67	c Restart #68 #Var: 44104 LB: -3151 @ 446.47
455.12	c Restart #69 #Var: 44104 LB: -3151 @ 454.91
461.03	c Restart #70 #Var: 44104 LB: -3151 @ 460.82
474.07	c Restart #71 #Var: 44103 LB: -3151 @ 473.86
477.34	c Restart #72 #Var: 44103 LB: -3151 @ 477.13
491.11	c Restart #73 #Var: 44102 LB: -3150 @ 490.89
495.30	c Restart #74 #Var: 44102 LB: -3150 @ 495.09
502.92	c Restart #75 #Var: 44102 LB: -3150 @ 502.69
516.72	c Restart #76 #Var: 44102 LB: -3150 @ 516.49
536.85	c Restart #77 #Var: 44102 LB: -3150 @ 536.62
540.77	c Restart #78 #Var: 44102 LB: -3150 @ 540.53
551.55	c Restart #79 #Var: 44101 LB: -3149 @ 551.31
560.18	c Restart #80 #Var: 44101 LB: -3149 @ 559.94
580.67	c Restart #81 #Var: 44101 LB: -3149 @ 580.42
585.24	c Restart #82 #Var: 44101 LB: -3149 @ 584.99
607.48	c Restart #83 #Var: 44101 LB: -3149 @ 607.22
626.89	c Restart #84 #Var: 44100 LB: -3149 @ 626.62
645.34	c Restart #85 #Var: 44100 LB: -3149 @ 645.07
659.35	c Restart #86 #Var: 44100 LB: -3149 @ 659.07
671.54	c Restart #87 #Var: 44100 LB: -3149 @ 671.26
684.71	c Restart #88 #Var: 44098 LB: -3149 @ 684.42
722.08	c Restart #89 #Var: 44098 LB: -3149 @ 721.78
732.31	c Restart #90 #Var: 44098 LB: -3149 @ 732
768.86	c Restart #91 #Var: 44098 LB: -3149 @ 768.54
777.57	c Restart #92 #Var: 44080 LB: -3147 @ 777.25
897.73	c Restart #93 #Var: 44080 LB: -3147 @ 897.37
912.38	c CHANGE Heuristic... 
912.38	c Restart #0 #Var: 44080 LB: -3147 @ 912
912.50	c Restart #1 #Var: 44027 LB: -3138 @ 912.12
912.74	c Restart #2 #Var: 44016 LB: -3138 @ 912.36
912.82	c Restart #3 #Var: 44016 LB: -3138 @ 912.45
913.39	c Restart #4 #Var: 43998 LB: -3138 @ 913.01
913.89	c Restart #5 #Var: 43986 LB: -3138 @ 913.51
916.42	c Restart #6 #Var: 43967 LB: -3138 @ 916.05
922.02	c Restart #7 #Var: 43953 LB: -3138 @ 921.64
923.29	c Restart #8 #Var: 43942 LB: -3138 @ 922.91
928.20	c Restart #9 #Var: 43932 LB: -3138 @ 927.82
930.93	c Restart #10 #Var: 43932 LB: -3138 @ 930.54
934.17	c Restart #11 #Var: 43932 LB: -3138 @ 933.79
936.11	c Restart #12 #Var: 43932 LB: -3138 @ 935.72
939.24	c Restart #13 #Var: 43932 LB: -3138 @ 938.85
947.17	c Restart #14 #Var: 43931 LB: -3137 @ 946.78
957.76	c Restart #15 #Var: 43916 LB: -3136 @ 957.37
966.95	c Restart #16 #Var: 43909 LB: -3136 @ 966.56
974.78	c Restart #17 #Var: 43876 LB: -3130 @ 974.38
977.37	c Restart #18 #Var: 43864 LB: -3130 @ 976.97
1037.78	c Restart #19 #Var: 43847 LB: -3130 @ 1037.4
1090.79	c Restart #20 #Var: 43847 LB: -3130 @ 1090.4
1148.59	c Restart #21 #Var: 43826 LB: -3130 @ 1148.1
1161.16	c Restart #22 #Var: 43824 LB: -3130 @ 1160.7
1164.61	c Restart #23 #Var: 43812 LB: -3130 @ 1164.1
1166.17	c Restart #24 #Var: 43812 LB: -3130 @ 1165.7
1168.11	c Restart #25 #Var: 43812 LB: -3130 @ 1167.6
1171.08	c Restart #26 #Var: 43811 LB: -3130 @ 1170.6
1172.46	c Restart #27 #Var: 43808 LB: -3130 @ 1172
1174.23	c Restart #28 #Var: 43796 LB: -3130 @ 1173.8
1177.14	c Restart #29 #Var: 43796 LB: -3130 @ 1176.7
1180.42	c Restart #30 #Var: 43796 LB: -3130 @ 1179.9
1182.93	c Restart #31 #Var: 43796 LB: -3130 @ 1182.5
1185.16	c Restart #32 #Var: 43793 LB: -3130 @ 1184.7
1188.69	c Restart #33 #Var: 43793 LB: -3130 @ 1188.2
1197.83	c Restart #34 #Var: 43790 LB: -3130 @ 1197.3
1200.18	c Restart #35 #Var: 43790 LB: -3130 @ 1199.7
1201.57	c Restart #36 #Var: 43790 LB: -3130 @ 1201.1
1208.60	c Restart #37 #Var: 43789 LB: -3130 @ 1208.1
1211.18	c Restart #38 #Var: 43789 LB: -3130 @ 1210.7
1214.68	c Restart #39 #Var: 43789 LB: -3130 @ 1214.2
1217.65	c Restart #40 #Var: 43789 LB: -3130 @ 1217.2
1218.79	c Restart #41 #Var: 43789 LB: -3130 @ 1218.3
1227.36	c Restart #42 #Var: 43788 LB: -3130 @ 1226.9
1228.54	c Restart #43 #Var: 43788 LB: -3130 @ 1228
1229.87	c Restart #44 #Var: 43788 LB: -3130 @ 1229.4
1234.96	c Restart #45 #Var: 43788 LB: -3130 @ 1234.5
1239.79	c Restart #46 #Var: 43788 LB: -3130 @ 1239.3
1246.38	c Restart #47 #Var: 43788 LB: -3130 @ 1245.9
1248.83	c Restart #48 #Var: 43788 LB: -3130 @ 1248.3
1254.05	c Restart #49 #Var: 43788 LB: -3130 @ 1253.5
1280.38	c Restart #50 #Var: 43788 LB: -3130 @ 1279.9
1282.27	c Restart #51 #Var: 43788 LB: -3130 @ 1281.8
1285.72	c Restart #52 #Var: 43788 LB: -3130 @ 1285.2
1296.59	c Restart #53 #Var: 43788 LB: -3130 @ 1296.1
1298.16	c Restart #54 #Var: 43788 LB: -3130 @ 1297.6
1302.02	c Restart #55 #Var: 43788 LB: -3130 @ 1301.5
1311.18	c Restart #56 #Var: 43788 LB: -3130 @ 1310.7
1317.86	c Restart #57 #Var: 43788 LB: -3130 @ 1317.3
1328.35	c Restart #58 #Var: 43788 LB: -3130 @ 1327.8
1335.51	c Restart #59 #Var: 43784 LB: -3129 @ 1335
1349.75	c Restart #60 #Var: 43784 LB: -3129 @ 1349.2
1354.39	c Restart #61 #Var: 43784 LB: -3129 @ 1353.8
1362.76	c Restart #62 #Var: 43784 LB: -3129 @ 1362.2
1366.39	c Restart #63 #Var: 43784 LB: -3129 @ 1365.8
1376.72	c Restart #64 #Var: 43784 LB: -3129 @ 1376.2
1385.63	c Restart #65 #Var: 43776 LB: -3129 @ 1385.1
1387.74	c Restart #66 #Var: 43776 LB: -3129 @ 1387.2
1394.72	c Restart #67 #Var: 43776 LB: -3129 @ 1394.2
1398.96	c Restart #68 #Var: 43776 LB: -3129 @ 1398.4
1429.85	c Restart #69 #Var: 43776 LB: -3129 @ 1429.3
1433.55	c Restart #70 #Var: 43776 LB: -3129 @ 1433
1452.34	c Restart #71 #Var: 43776 LB: -3129 @ 1451.8
1466.25	c Restart #72 #Var: 43776 LB: -3129 @ 1465.7
1474.16	c Restart #73 #Var: 43776 LB: -3129 @ 1473.6
1485.28	c Restart #74 #Var: 43776 LB: -3129 @ 1484.7
1500.82	c Restart #75 #Var: 43776 LB: -3129 @ 1500.2
1512.89	c Restart #76 #Var: 43776 LB: -3129 @ 1512.3
1541.90	c Restart #77 #Var: 43776 LB: -3129 @ 1541.3
1548.15	c Restart #78 #Var: 43774 LB: -3129 @ 1547.5
1558.49	c Restart #79 #Var: 43774 LB: -3129 @ 1557.9
1573.57	c Restart #80 #Var: 43774 LB: -3129 @ 1572.9
1593.88	c Restart #81 #Var: 43774 LB: -3129 @ 1593.2
1600.88	c Restart #82 #Var: 43774 LB: -3129 @ 1600.2
1606.98	c Restart #83 #Var: 43774 LB: -3129 @ 1606.3
1631.36	c Restart #84 #Var: 43774 LB: -3129 @ 1630.7
1649.16	c Restart #85 #Var: 43774 LB: -3129 @ 1648.5
1665.11	c Restart #86 #Var: 43774 LB: -3129 @ 1664.5
1672.03	c Restart #87 #Var: 43774 LB: -3129 @ 1671.4
1696.35	c Restart #88 #Var: 43774 LB: -3129 @ 1695.7
1705.91	c Restart #89 #Var: 43774 LB: -3129 @ 1705.2
1744.18	c Restart #90 #Var: 43774 LB: -3129 @ 1743.5
1761.61	c Restart #91 #Var: 43774 LB: -3129 @ 1760.9
1774.76	c Restart #92 #Var: 43774 LB: -3129 @ 1774.1
1800.71	s UNKNOWN
1800.71	c Exit Code: 0
1800.71	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node75/watcher-39943-1149336936 -o ROOT/results/node75/solver-39943-1149336936 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/39943-1149336936/instance-39943-1149336936.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.95 2/64 25565
/proc/meminfo: memFree=1812600/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=2948 CPUtime=0
/proc/25565/stat : 25565 (bsolo) D 25563 25565 25519 0 -1 0 50 0 0 0 0 0 0 0 19 0 1 0 199357032 3018752 34 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6734628 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/25565/statm: 737 34 26 55 0 38 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.95 0.95 2/64 25565
/proc/meminfo: memFree=1672968/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=147548 CPUtime=9.97
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 179229 0 0 0 943 54 0 0 25 0 1 0 199357032 151089152 35171 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542206 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25565/statm: 36887 35171 297 55 0 35779 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 147548

[startup+20.0081 s]
/proc/loadavg: 0.94 0.96 0.95 2/64 25565
/proc/meminfo: memFree=1668040/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=152696 CPUtime=19.97
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 180496 0 0 0 1938 59 0 0 25 0 1 0 199357032 156360704 36438 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718470 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25565/statm: 38174 36438 297 55 0 37066 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 152696

[startup+30.0141 s]
/proc/loadavg: 0.95 0.96 0.95 2/64 25565
/proc/meminfo: memFree=1662024/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=158768 CPUtime=29.98
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 182017 0 0 0 2936 62 0 0 25 0 1 0 199357032 162578432 37959 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25565/statm: 39692 37959 297 55 0 38584 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 158768

[startup+40.0201 s]
/proc/loadavg: 0.95 0.96 0.95 2/64 25565
/proc/meminfo: memFree=1661448/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=159428 CPUtime=39.97
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 182169 0 0 0 3935 62 0 0 25 0 1 0 199357032 163254272 38111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25565/statm: 39857 38111 297 55 0 38749 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 159428

[startup+50.0271 s]
/proc/loadavg: 0.96 0.96 0.95 2/64 25565
/proc/meminfo: memFree=1660936/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=159824 CPUtime=49.97
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 182289 0 0 0 4935 62 0 0 25 0 1 0 199357032 163659776 38231 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 39956 38231 297 55 0 38848 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 159824

[startup+60.0331 s]
/proc/loadavg: 0.97 0.96 0.95 2/64 25565
/proc/meminfo: memFree=1660424/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=160352 CPUtime=59.97
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 182412 0 0 0 5935 62 0 0 25 0 1 0 199357032 164200448 38354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 40088 38354 297 55 0 38980 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 160352

[startup+70.0389 s]
/proc/loadavg: 0.97 0.96 0.95 2/64 25565
/proc/meminfo: memFree=1659912/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=160880 CPUtime=69.97
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 182541 0 0 0 6935 62 0 0 25 0 1 0 199357032 164741120 38483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 40220 38483 297 55 0 39112 0
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 160880

[startup+80.0449 s]
/proc/loadavg: 0.98 0.96 0.95 2/64 25565
/proc/meminfo: memFree=1652104/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=168536 CPUtime=79.98
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 184484 0 0 0 7931 67 0 0 25 0 1 0 199357032 172580864 40426 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 42134 40426 297 55 0 41026 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 168536

[startup+90.0509 s]
/proc/loadavg: 0.98 0.96 0.95 2/64 25565
/proc/meminfo: memFree=1641544/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=179096 CPUtime=89.97
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 187119 0 0 0 8924 73 0 0 25 0 1 0 199357032 183394304 43061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 44774 43061 297 55 0 43666 0
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 179096

[startup+100.057 s]
/proc/loadavg: 0.98 0.96 0.95 2/64 25565
/proc/meminfo: memFree=1631176/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=189472 CPUtime=99.98
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 189710 0 0 0 9919 79 0 0 25 0 1 0 199357032 194019328 45652 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 47368 45652 297 55 0 46260 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 189472

[startup+110.063 s]
/proc/loadavg: 0.98 0.96 0.95 2/64 25565
/proc/meminfo: memFree=1615432/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=205180 CPUtime=109.98
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 193627 0 0 0 10915 83 0 0 25 0 1 0 199357032 210104320 49569 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 51295 49569 297 55 0 50187 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 205180

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 25565
/proc/meminfo: memFree=1610312/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=210328 CPUtime=119.99
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 194910 0 0 0 11914 85 0 0 25 0 1 0 199357032 215375872 50852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7169659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 52582 50852 297 55 0 51474 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 210328

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 25565
/proc/meminfo: memFree=1605576/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=214948 CPUtime=129.99
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 196087 0 0 0 12913 86 0 0 25 0 1 0 199357032 220106752 52029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534854 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 53737 52029 297 55 0 52629 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 214948

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 25565
/proc/meminfo: memFree=1602056/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=218444 CPUtime=139.99
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 196954 0 0 0 13911 88 0 0 25 0 1 0 199357032 223686656 52896 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 54611 52896 297 55 0 53503 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 218444

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 25565
/proc/meminfo: memFree=1586952/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=233572 CPUtime=149.99
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 200728 0 0 0 14905 94 0 0 25 0 1 0 199357032 239177728 56670 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534935 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 58393 56670 297 55 0 57285 0
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 233572

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 25565
/proc/meminfo: memFree=1579208/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=241276 CPUtime=159.99
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 202660 0 0 0 15903 96 0 0 25 0 1 0 199357032 247066624 58602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 60319 58602 297 55 0 59211 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 241276

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 25565
/proc/meminfo: memFree=1575176/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=245236 CPUtime=169.99
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 203658 0 0 0 16902 97 0 0 25 0 1 0 199357032 251121664 59600 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 61309 59601 297 55 0 60201 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 245236

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 25565
/proc/meminfo: memFree=1569864/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=250648 CPUtime=180
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 204987 0 0 0 17901 99 0 0 25 0 1 0 199357032 256663552 60929 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719432 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 62662 60929 297 55 0 61554 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 250648

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 25565
/proc/meminfo: memFree=1568456/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=251968 CPUtime=190
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 205336 0 0 0 18900 100 0 0 25 0 1 0 199357032 258015232 61278 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537551 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 62992 61278 297 55 0 61884 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 251968

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 25565
/proc/meminfo: memFree=1566152/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=254352 CPUtime=200.01
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 205914 0 0 0 19900 101 0 0 25 0 1 0 199357032 260456448 61856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 63588 61856 297 55 0 62480 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 254352

[startup+210.126 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 25565
/proc/meminfo: memFree=1559176/2055920 swapFree=4182500/4192956

################
# More data... #
################

/proc/25565/statm: 161595 159780 297 55 0 160487 0
Current children cumulated CPU time (s) 1760.49
Current children cumulated vsize (Kb) 646380

[startup+1771.21 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1164880/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=654852 CPUtime=1770.5
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 307794 0 0 0 176739 311 0 0 25 0 1 0 199357032 670568448 161868 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163713 161868 297 55 0 162605 0
Current children cumulated CPU time (s) 1770.5
Current children cumulated vsize (Kb) 654852

[startup+1781.21 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1164880/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=654804 CPUtime=1780.51
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 307809 0 0 0 177739 312 0 0 25 0 1 0 199357032 670519296 161883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163701 161883 297 55 0 162593 0
Current children cumulated CPU time (s) 1780.51
Current children cumulated vsize (Kb) 654804

[startup+1782.22 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1164752/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=654936 CPUtime=1781.51
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 307825 0 0 0 177839 312 0 0 25 0 1 0 199357032 670654464 161899 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163734 161899 297 55 0 162626 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (Kb) 654936

[startup+1783.22 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1164752/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=654936 CPUtime=1782.52
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 307831 0 0 0 177940 312 0 0 25 0 1 0 199357032 670654464 161905 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163734 161905 297 55 0 162626 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 654936

[startup+1784.23 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1164624/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655068 CPUtime=1783.52
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 307869 0 0 0 178040 312 0 0 25 0 1 0 199357032 670789632 161943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163767 161943 297 55 0 162659 0
Current children cumulated CPU time (s) 1783.52
Current children cumulated vsize (Kb) 655068

[startup+1785.23 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1164496/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655200 CPUtime=1784.52
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 307895 0 0 0 178140 312 0 0 25 0 1 0 199357032 670924800 161969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163800 161969 297 55 0 162692 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (Kb) 655200

[startup+1786.24 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1164432/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655332 CPUtime=1785.53
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 307916 0 0 0 178241 312 0 0 25 0 1 0 199357032 671059968 161990 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163833 161990 297 55 0 162725 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (Kb) 655332

[startup+1787.24 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1164368/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655332 CPUtime=1786.53
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 307926 0 0 0 178341 312 0 0 25 0 1 0 199357032 671059968 162000 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163833 162000 297 55 0 162725 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (Kb) 655332

[startup+1788.25 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1164304/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655332 CPUtime=1787.54
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 307945 0 0 0 178442 312 0 0 25 0 1 0 199357032 671059968 162019 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163833 162019 297 55 0 162725 0
Current children cumulated CPU time (s) 1787.54
Current children cumulated vsize (Kb) 655332

[startup+1789.25 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1164240/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655464 CPUtime=1788.54
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 307963 0 0 0 178542 312 0 0 25 0 1 0 199357032 671195136 162037 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163866 162037 297 55 0 162758 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (Kb) 655464

[startup+1790.26 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1164112/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655596 CPUtime=1789.55
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 307988 0 0 0 178643 312 0 0 25 0 1 0 199357032 671330304 162062 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163899 162062 297 55 0 162791 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (Kb) 655596

[startup+1791.26 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1163984/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655728 CPUtime=1790.55
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 308023 0 0 0 178743 312 0 0 25 0 1 0 199357032 671465472 162097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163932 162097 297 55 0 162824 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (Kb) 655728

[startup+1792.27 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1163984/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655728 CPUtime=1791.55
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 308023 0 0 0 178843 312 0 0 25 0 1 0 199357032 671465472 162097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163932 162097 297 55 0 162824 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (Kb) 655728

[startup+1793.27 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1163920/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655728 CPUtime=1792.56
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 308044 0 0 0 178944 312 0 0 25 0 1 0 199357032 671465472 162118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534944 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163932 162118 297 55 0 162824 0
Current children cumulated CPU time (s) 1792.56
Current children cumulated vsize (Kb) 655728

[startup+1794.28 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1163920/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655728 CPUtime=1793.56
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 308044 0 0 0 179044 312 0 0 25 0 1 0 199357032 671465472 162118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163932 162118 297 55 0 162824 0
Current children cumulated CPU time (s) 1793.56
Current children cumulated vsize (Kb) 655728

[startup+1795.28 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1163856/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655860 CPUtime=1794.57
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 308057 0 0 0 179145 312 0 0 25 0 1 0 199357032 671600640 162131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163965 162131 297 55 0 162857 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (Kb) 655860

[startup+1796.29 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1163792/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655860 CPUtime=1795.57
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 308064 0 0 0 179245 312 0 0 25 0 1 0 199357032 671600640 162138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163965 162138 297 55 0 162857 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (Kb) 655860

[startup+1797.29 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1163664/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655992 CPUtime=1796.57
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 308096 0 0 0 179345 312 0 0 25 0 1 0 199357032 671735808 162170 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163998 162170 297 55 0 162890 0
Current children cumulated CPU time (s) 1796.57
Current children cumulated vsize (Kb) 655992

[startup+1798.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1163664/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=655992 CPUtime=1797.58
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 308110 0 0 0 179446 312 0 0 25 0 1 0 199357032 671735808 162184 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 163998 162184 297 55 0 162890 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (Kb) 655992

[startup+1799.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1163600/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=656124 CPUtime=1798.58
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 308123 0 0 0 179546 312 0 0 25 0 1 0 199357032 671870976 162197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548445 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 164031 162197 297 55 0 162923 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (Kb) 656124

[startup+1800.31 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 25567
/proc/meminfo: memFree=1163536/2055920 swapFree=4182500/4192956
[pid=25565] ppid=25563 vsize=656124 CPUtime=1799.59
/proc/25565/stat : 25565 (bsolo) R 25563 25565 25519 0 -1 0 308133 0 0 0 179647 312 0 0 25 0 1 0 199357032 671870976 162207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537551 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25565/statm: 164031 162207 297 55 0 162923 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (Kb) 656124

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.1
CPU user time (s): 1796.88
CPU system time (s): 3.22351
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (Kb): 656124

Launcher Data (download as text)

Begin job on node75 on Sat Jun  3 12:15:36 UTC 2006


FILE ID= 39943-1149336936

PBS_JOBID= 310205

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-cycle.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/39943-1149336936/instance-39943-1149336936.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-39943-1149336936 -o ROOT/results/node75/solver-39943-1149336936 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/39943-1149336936/instance-39943-1149336936.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  761eaefb829e7d3bf060fd5b86600997

RANDOM SEED= 181956676


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1812808 kB
Buffers:         21400 kB
Cached:         156344 kB
SwapCached:       2048 kB
Active:          45980 kB
Inactive:       140392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1812808 kB
SwapTotal:     4192956 kB
SwapFree:      4182500 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          16032 kB
Slab:            42696 kB
Committed_AS:   343004 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node75 on Sat Jun  3 12:45:37 UTC 2006