Trace number 39773

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.03 1800.65

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-aflow30a.opb
MD5SUMd5ffb80d8d2a9d2ae5f84f17eeb42612
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2754
Best CPU time to get the best result obtained on this benchmark1782.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2754
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints900
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)29
Number of constraints which are nor clauses,nor cardinality constraints871
Minimum length of a constraint10
Maximum length of a constraint555
Number of terms in the objective function 421
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 72290
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 3334110
Number of bits of the biggest sum of numbers22
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.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.19	c Initial problem consists of 7195 variables and 958 constraints.
0.22	c No problem reductions applied in OPT. instance.
0.22	c	preprocess terminated. Elapsed time: 0.207
0.22	c After prepocess the problem consists of 7195 variables and 958 constraints.
0.22	c Initial Lower Bound: 0
0.48	c Restart #1 #Var: 7195 LB: 0 @ 0.469
0.91	c Restart #2 #Var: 7195 LB: 0 @ 0.9
1.52	c Restart #3 #Var: 7195 LB: 0 @ 1.511
2.28	c Restart #4 #Var: 7195 LB: 0 @ 2.266
3.12	c Restart #5 #Var: 7195 LB: 0 @ 3.109
4.06	c Restart #6 #Var: 7195 LB: 0 @ 4.049
6.00	c Restart #7 #Var: 7195 LB: 0 @ 5.992
7.98	c Restart #8 #Var: 7195 LB: 0 @ 7.963
9.20	c Restart #9 #Var: 7195 LB: 0 @ 9.183
11.17	c Restart #10 #Var: 7195 LB: 0 @ 11.156
12.18	c Restart #11 #Var: 7195 LB: 0 @ 12.166
12.95	c Restart #12 #Var: 7195 LB: 0 @ 12.932
14.27	c Restart #13 #Var: 7195 LB: 0 @ 14.249
18.37	c Restart #14 #Var: 7195 LB: 0 @ 18.351
19.24	c Restart #15 #Var: 7195 LB: 0 @ 19.217
20.63	c Restart #16 #Var: 7195 LB: 0 @ 20.611
22.96	c Restart #17 #Var: 7195 LB: 0 @ 22.937
24.67	c Restart #18 #Var: 7195 LB: 0 @ 24.653
25.95	c Restart #19 #Var: 7195 LB: 0 @ 25.924
27.78	c Restart #20 #Var: 7195 LB: 0 @ 27.756
29.49	c Restart #21 #Var: 7195 LB: 0 @ 29.466
31.68	c Restart #22 #Var: 7195 LB: 0 @ 31.653
33.59	c Restart #23 #Var: 7195 LB: 0 @ 33.568
35.99	c Restart #24 #Var: 7195 LB: 0 @ 35.963
38.65	c Restart #25 #Var: 7195 LB: 0 @ 38.627
40.71	c Restart #26 #Var: 7195 LB: 0 @ 40.679
43.90	c Restart #27 #Var: 7195 LB: 0 @ 43.871
48.41	c Restart #28 #Var: 7195 LB: 0 @ 48.381
50.92	c Restart #29 #Var: 7195 LB: 0 @ 50.893
54.91	c Restart #30 #Var: 7195 LB: 0 @ 54.878
58.31	c Restart #31 #Var: 7195 LB: 0 @ 58.275
61.55	c Restart #32 #Var: 7195 LB: 0 @ 61.515
64.36	c Restart #33 #Var: 7195 LB: 0 @ 64.326
67.56	c Restart #34 #Var: 7195 LB: 0 @ 67.524
71.16	c Restart #35 #Var: 7195 LB: 0 @ 71.124
74.85	c Restart #36 #Var: 7195 LB: 0 @ 74.813
80.94	c Restart #37 #Var: 7195 LB: 0 @ 80.898
86.08	c Restart #38 #Var: 7195 LB: 0 @ 86.042
89.46	c Restart #39 #Var: 7195 LB: 0 @ 89.421
96.92	c Restart #40 #Var: 7195 LB: 0 @ 96.879
101.15	c Restart #41 #Var: 7195 LB: 0 @ 101.11
103.87	c Restart #42 #Var: 7195 LB: 0 @ 103.82
108.68	c Restart #43 #Var: 7195 LB: 0 @ 108.63
114.22	c Restart #44 #Var: 7195 LB: 0 @ 114.17
120.33	c Restart #45 #Var: 7195 LB: 0 @ 120.27
125.32	c Restart #46 #Var: 7195 LB: 0 @ 125.27
134.82	c Restart #47 #Var: 7195 LB: 0 @ 134.76
140.62	c Restart #48 #Var: 7195 LB: 0 @ 140.56
144.61	c Restart #49 #Var: 7195 LB: 0 @ 144.54
149.67	c Restart #50 #Var: 7195 LB: 0 @ 149.61
155.66	c Restart #51 #Var: 7195 LB: 0 @ 155.6
161.75	c Restart #52 #Var: 7195 LB: 0 @ 161.68
171.04	c Restart #53 #Var: 7195 LB: 0 @ 170.97
176.52	c Restart #54 #Var: 7195 LB: 0 @ 176.44
186.55	c Restart #55 #Var: 7195 LB: 0 @ 186.48
192.33	c Restart #56 #Var: 7195 LB: 0 @ 192.25
201.13	c Restart #57 #Var: 7195 LB: 0 @ 201.05
212.67	c Restart #58 #Var: 7195 LB: 0 @ 212.58
218.57	c Restart #59 #Var: 7195 LB: 0 @ 218.49
225.29	c Restart #60 #Var: 7195 LB: 0 @ 225.21
249.65	c Restart #61 #Var: 7195 LB: 0 @ 249.56
255.79	c Restart #62 #Var: 7195 LB: 0 @ 255.69
263.88	c Restart #63 #Var: 7195 LB: 0 @ 263.78
271.46	c Restart #64 #Var: 7195 LB: 0 @ 271.35
278.86	c Restart #65 #Var: 7195 LB: 0 @ 278.75
289.07	c Restart #66 #Var: 7195 LB: 0 @ 288.96
304.56	c Restart #67 #Var: 7195 LB: 0 @ 304.44
316.84	c Restart #68 #Var: 7195 LB: 0 @ 316.72
340.98	c Restart #69 #Var: 7195 LB: 0 @ 340.85
349.25	c Restart #70 #Var: 7195 LB: 0 @ 349.12
362.88	c Restart #71 #Var: 7195 LB: 0 @ 362.75
370.57	c Restart #72 #Var: 7195 LB: 0 @ 370.43
387.22	c Restart #73 #Var: 7195 LB: 0 @ 387.08
401.12	c Restart #74 #Var: 7195 LB: 0 @ 400.98
416.29	c Restart #75 #Var: 7195 LB: 0 @ 416.13
432.17	c Restart #76 #Var: 7195 LB: 0 @ 432.01
451.01	c Restart #77 #Var: 7195 LB: 0 @ 450.85
461.53	c Restart #78 #Var: 7195 LB: 0 @ 461.37
481.48	c Restart #79 #Var: 7195 LB: 0 @ 481.31
493.70	c Restart #80 #Var: 7195 LB: 0 @ 493.52
514.19	c Restart #81 #Var: 7195 LB: 0 @ 514.01
536.96	c Restart #82 #Var: 7195 LB: 0 @ 536.77
549.23	c Restart #83 #Var: 7195 LB: 0 @ 549.03
559.24	c Restart #84 #Var: 7195 LB: 0 @ 559.04
572.07	c Restart #85 #Var: 7195 LB: 0 @ 571.87
588.36	c Restart #86 #Var: 7195 LB: 0 @ 588.15
600.91	c Restart #87 #Var: 7195 LB: 0 @ 600.7
628.53	c Restart #88 #Var: 7195 LB: 0 @ 628.31
644.68	c Restart #89 #Var: 7195 LB: 0 @ 644.45
689.54	c Restart #90 #Var: 7195 LB: 0 @ 689.29
713.15	c Restart #91 #Var: 7195 LB: 0 @ 712.9
730.95	c Restart #92 #Var: 7195 LB: 0 @ 730.69
742.70	c Restart #93 #Var: 7195 LB: 0 @ 742.44
762.19	c Restart #94 #Var: 7195 LB: 0 @ 761.92
777.43	c Restart #95 #Var: 7195 LB: 0 @ 777.16
808.65	c Restart #96 #Var: 7194 LB: 0 @ 808.37
823.03	c Restart #97 #Var: 7194 LB: 0 @ 822.74
851.75	c Restart #98 #Var: 7194 LB: 0 @ 851.46
869.00	c Restart #99 #Var: 7194 LB: 0 @ 868.7
909.28	c CHANGE Heuristic... 
909.28	c Restart #0 #Var: 7194 LB: 0 @ 908.96
909.67	c Restart #1 #Var: 7194 LB: 0 @ 909.36
909.99	c Restart #2 #Var: 7194 LB: 0 @ 909.68
910.44	c Restart #3 #Var: 7194 LB: 0 @ 910.12
911.13	c Restart #4 #Var: 7194 LB: 0 @ 910.82
914.18	c Restart #5 #Var: 7194 LB: 0 @ 913.86
916.37	c Restart #6 #Var: 7194 LB: 0 @ 916.05
918.71	c Restart #7 #Var: 7193 LB: 0 @ 918.39
921.08	c Restart #8 #Var: 7193 LB: 0 @ 920.76
922.77	c Restart #9 #Var: 7193 LB: 0 @ 922.45
923.96	c Restart #10 #Var: 7193 LB: 0 @ 923.64
926.57	c Restart #11 #Var: 7192 LB: 0 @ 926.25
930.36	c Restart #12 #Var: 7191 LB: 0 @ 930.04
931.78	c Restart #13 #Var: 7191 LB: 0 @ 931.46
942.64	c Restart #14 #Var: 7190 LB: 0 @ 942.31
944.87	c Restart #15 #Var: 7190 LB: 0 @ 944.55
947.38	c Restart #16 #Var: 7190 LB: 0 @ 947.05
951.24	c Restart #17 #Var: 7185 LB: 0 @ 950.91
959.44	c Restart #18 #Var: 7185 LB: 0 @ 959.11
964.69	c Restart #19 #Var: 7185 LB: 0 @ 964.35
971.06	c Restart #20 #Var: 7185 LB: 0 @ 970.72
976.12	c Restart #21 #Var: 7185 LB: 0 @ 975.78
981.84	c Restart #22 #Var: 7185 LB: 0 @ 981.5
987.55	c Restart #23 #Var: 7185 LB: 0 @ 987.21
996.06	c Restart #24 #Var: 7185 LB: 0 @ 995.72
1000.90	c Restart #25 #Var: 7185 LB: 0 @ 1000.5
1006.03	c Restart #26 #Var: 7185 LB: 0 @ 1005.7
1010.85	c Restart #27 #Var: 7185 LB: 0 @ 1010.5
1017.55	c Restart #28 #Var: 7185 LB: 0 @ 1017.2
1025.60	c Restart #29 #Var: 7185 LB: 0 @ 1025.2
1034.85	c Restart #30 #Var: 7184 LB: 0 @ 1034.5
1042.59	c Restart #31 #Var: 7184 LB: 0 @ 1042.2
1048.29	c Restart #32 #Var: 7184 LB: 0 @ 1047.9
1056.13	c Restart #33 #Var: 7184 LB: 0 @ 1055.8
1061.80	c Restart #34 #Var: 7184 LB: 0 @ 1061.4
1074.49	c Restart #35 #Var: 7184 LB: 0 @ 1074.1
1084.10	c Restart #36 #Var: 7184 LB: 0 @ 1083.7
1087.56	c Restart #37 #Var: 7184 LB: 0 @ 1087.2
1095.31	c Restart #38 #Var: 7184 LB: 0 @ 1094.9
1118.04	c Restart #39 #Var: 7184 LB: 0 @ 1117.7
1124.80	c Restart #40 #Var: 7184 LB: 0 @ 1124.4
1131.39	c Restart #41 #Var: 7184 LB: 0 @ 1131
1139.36	c Restart #42 #Var: 7184 LB: 0 @ 1139
1146.63	c Restart #43 #Var: 7184 LB: 0 @ 1146.2
1156.47	c Restart #44 #Var: 7184 LB: 0 @ 1156.1
1166.67	c Restart #45 #Var: 7184 LB: 0 @ 1166.3
1172.99	c Restart #46 #Var: 7184 LB: 0 @ 1172.6
1186.46	c Restart #47 #Var: 7184 LB: 0 @ 1186.1
1195.34	c Restart #48 #Var: 7184 LB: 0 @ 1194.9
1206.19	c Restart #49 #Var: 7184 LB: 0 @ 1205.8
1213.93	c Restart #50 #Var: 7184 LB: 0 @ 1213.5
1223.14	c Restart #51 #Var: 7184 LB: 0 @ 1222.7
1240.00	c Restart #52 #Var: 7184 LB: 0 @ 1239.6
1256.28	c Restart #53 #Var: 7184 LB: 0 @ 1255.9
1272.32	c Restart #54 #Var: 7184 LB: 0 @ 1271.9
1296.22	c Restart #55 #Var: 7184 LB: 0 @ 1295.8
1307.94	c Restart #56 #Var: 7184 LB: 0 @ 1307.5
1318.15	c Restart #57 #Var: 7184 LB: 0 @ 1317.7
1336.94	c Restart #58 #Var: 7184 LB: 0 @ 1336.5
1351.69	c Restart #59 #Var: 7184 LB: 0 @ 1351.2
1362.77	c Restart #60 #Var: 7184 LB: 0 @ 1362.3
1372.77	c Restart #61 #Var: 7184 LB: 0 @ 1372.3
1390.89	c Restart #62 #Var: 7184 LB: 0 @ 1390.4
1405.96	c Restart #63 #Var: 7184 LB: 0 @ 1405.5
1421.23	c Restart #64 #Var: 7184 LB: 0 @ 1420.7
1435.01	c Restart #65 #Var: 7184 LB: 0 @ 1434.5
1446.74	c Restart #66 #Var: 7183 LB: 0 @ 1446.2
1455.48	c Restart #67 #Var: 7183 LB: 0 @ 1455
1484.62	c Restart #68 #Var: 7183 LB: 0 @ 1484.1
1500.15	c Restart #69 #Var: 7183 LB: 0 @ 1499.6
1520.43	c Restart #70 #Var: 7183 LB: 0 @ 1519.9
1531.04	c Restart #71 #Var: 7183 LB: 0 @ 1530.5
1542.97	c Restart #72 #Var: 7183 LB: 0 @ 1542.4
1553.38	c Restart #73 #Var: 7183 LB: 0 @ 1552.8
1565.72	c Restart #74 #Var: 7183 LB: 0 @ 1565.2
1579.17	c Restart #75 #Var: 7183 LB: 0 @ 1578.6
1592.26	c Restart #76 #Var: 7183 LB: 0 @ 1591.7
1602.94	c Restart #77 #Var: 7183 LB: 0 @ 1602.4
1615.53	c Restart #78 #Var: 7183 LB: 0 @ 1615
1627.01	c Restart #79 #Var: 7183 LB: 0 @ 1626.5
1640.42	c Restart #80 #Var: 7183 LB: 0 @ 1639.9
1651.91	c Restart #81 #Var: 7183 LB: 0 @ 1651.3
1665.07	c Restart #82 #Var: 7183 LB: 0 @ 1664.5
1677.14	c Restart #83 #Var: 7183 LB: 0 @ 1676.6
1691.22	c Restart #84 #Var: 7183 LB: 0 @ 1690.7
1703.38	c Restart #85 #Var: 7183 LB: 0 @ 1702.8
1717.17	c Restart #86 #Var: 7183 LB: 0 @ 1716.6
1729.61	c Restart #87 #Var: 7183 LB: 0 @ 1729
1742.92	c Restart #88 #Var: 7183 LB: 0 @ 1742.3
1756.49	c Restart #89 #Var: 7183 LB: 0 @ 1755.9
1770.16	c Restart #90 #Var: 7183 LB: 0 @ 1769.6
1784.22	c Restart #91 #Var: 7183 LB: 0 @ 1783.6
1798.68	c Restart #92 #Var: 7183 LB: 0 @ 1798.1
1800.61	s UNKNOWN
1800.61	c Exit Code: 0
1800.61	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/node60/watcher-39773-1149537816 -o ROOT/results/node60/solver-39773-1149537816 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/39773-1149537816/instance-39773-1149537816.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.00 0.09 0.38 3/64 9082
/proc/meminfo: memFree=1558648/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=4664 CPUtime=0
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 159 0 0 0 0 0 0 0 18 0 1 0 219449416 4775936 140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5504289 0 0 4096 0 0 0 0 17 1 0 0
/proc/9082/statm: 1166 146 108 55 0 46 0

[startup+10.0018 s]
/proc/loadavg: 0.15 0.12 0.38 2/64 9082
/proc/meminfo: memFree=1548096/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=15228 CPUtime=9.97
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 3205 0 0 0 992 5 0 0 25 0 1 0 219449416 15593472 2951 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 3807 2951 297 55 0 2699 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 15228

[startup+20.0076 s]
/proc/loadavg: 0.28 0.15 0.39 2/64 9082
/proc/meminfo: memFree=1546368/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=16996 CPUtime=19.98
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 3650 0 0 0 1991 7 0 0 25 0 1 0 219449416 17403904 3393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 4249 3393 297 55 0 3141 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 16996

[startup+30.0134 s]
/proc/loadavg: 0.39 0.17 0.39 2/64 9082
/proc/meminfo: memFree=1543616/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=19864 CPUtime=29.98
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 4352 0 0 0 2988 10 0 0 25 0 1 0 219449416 20340736 4092 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718462 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 4966 4092 297 55 0 3858 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 19864

[startup+40.0192 s]
/proc/loadavg: 0.49 0.20 0.40 2/64 9082
/proc/meminfo: memFree=1537152/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=26252 CPUtime=39.99
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 6001 0 0 0 3983 16 0 0 25 0 1 0 219449416 26882048 5692 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 6563 5692 297 55 0 5455 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 26252

[startup+50.025 s]
/proc/loadavg: 0.56 0.23 0.40 2/64 9082
/proc/meminfo: memFree=1534080/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=29404 CPUtime=49.98
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 6787 0 0 0 4977 21 0 0 25 0 1 0 219449416 30109696 6478 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542206 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 7351 6478 297 55 0 6243 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 29404

[startup+60.0308 s]
/proc/loadavg: 0.63 0.25 0.41 2/64 9082
/proc/meminfo: memFree=1528896/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=34536 CPUtime=59.98
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 8104 0 0 0 5970 28 0 0 25 0 1 0 219449416 35364864 7770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 8634 7770 297 55 0 7526 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 34536

[startup+70.0366 s]
/proc/loadavg: 0.69 0.28 0.42 2/64 9082
/proc/meminfo: memFree=1526080/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=37332 CPUtime=69.99
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 8849 0 0 0 6967 32 0 0 25 0 1 0 219449416 38227968 8466 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542231 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 9333 8466 297 55 0 8225 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 37332

[startup+80.0424 s]
/proc/loadavg: 0.73 0.30 0.42 2/64 9082
/proc/meminfo: memFree=1521984/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=41408 CPUtime=79.99
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 9865 0 0 0 7963 36 0 0 25 0 1 0 219449416 42401792 9482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 10352 9482 297 55 0 9244 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 41408

[startup+90.0482 s]
/proc/loadavg: 0.77 0.32 0.43 2/64 9082
/proc/meminfo: memFree=1518656/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=44672 CPUtime=90
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 10701 0 0 0 8959 41 0 0 25 0 1 0 219449416 45744128 10311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 11168 10311 297 55 0 10060 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 44672

[startup+100.054 s]
/proc/loadavg: 0.81 0.34 0.43 2/64 9082
/proc/meminfo: memFree=1516224/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=47164 CPUtime=100
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 11368 0 0 0 9958 42 0 0 25 0 1 0 219449416 48295936 10932 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 11791 10932 297 55 0 10683 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 47164

[startup+110.06 s]
/proc/loadavg: 0.84 0.37 0.44 2/64 9082
/proc/meminfo: memFree=1515968/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=47368 CPUtime=110
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 11419 0 0 0 10954 46 0 0 25 0 1 0 219449416 48504832 10983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 11842 10983 297 55 0 10734 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 47368

[startup+120.066 s]
/proc/loadavg: 0.86 0.39 0.45 2/64 9082
/proc/meminfo: memFree=1514176/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=49224 CPUtime=120
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 11947 0 0 0 11951 49 0 0 25 0 1 0 219449416 50405376 11427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 12306 11427 297 55 0 11198 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 49224

[startup+130.071 s]
/proc/loadavg: 0.88 0.41 0.45 2/64 9082
/proc/meminfo: memFree=1511680/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=51600 CPUtime=130.01
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 12579 0 0 0 12950 51 0 0 25 0 1 0 219449416 52838400 12044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 12900 12044 297 55 0 11792 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 51600

[startup+140.077 s]
/proc/loadavg: 0.90 0.42 0.46 2/64 9082
/proc/meminfo: memFree=1511424/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=52028 CPUtime=140
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 12681 0 0 0 13948 52 0 0 25 0 1 0 219449416 53276672 12121 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5963819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 13007 12121 297 55 0 11899 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 52028

[startup+150.083 s]
/proc/loadavg: 0.92 0.44 0.46 2/64 9082
/proc/meminfo: memFree=1507648/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=55720 CPUtime=150.02
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 13627 0 0 0 14947 55 0 0 25 0 1 0 219449416 57057280 13059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 13930 13059 297 55 0 12822 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 55720

[startup+160.09 s]
/proc/loadavg: 0.93 0.46 0.47 2/64 9082
/proc/meminfo: memFree=1506304/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=57056 CPUtime=160.02
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 13969 0 0 0 15944 58 0 0 25 0 1 0 219449416 58425344 13401 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 14264 13401 297 55 0 13156 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 57056

[startup+170.097 s]
/proc/loadavg: 0.94 0.48 0.47 2/64 9082
/proc/meminfo: memFree=1502784/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=60396 CPUtime=170.02
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 14894 0 0 0 16942 60 0 0 25 0 1 0 219449416 61845504 14243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 15099 14243 297 55 0 13991 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 60396

[startup+180.102 s]
/proc/loadavg: 0.95 0.50 0.48 2/64 9082
/proc/meminfo: memFree=1501760/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=61588 CPUtime=180.02
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 15182 0 0 0 17940 62 0 0 25 0 1 0 219449416 63066112 14531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 15397 14531 297 55 0 14289 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 61588

[startup+190.108 s]
/proc/loadavg: 0.95 0.51 0.48 2/64 9082
/proc/meminfo: memFree=1501376/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=61788 CPUtime=190.02
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 15266 0 0 0 18938 64 0 0 25 0 1 0 219449416 63270912 14591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 15447 14591 297 55 0 14339 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 61788

[startup+200.115 s]
/proc/loadavg: 0.96 0.53 0.49 2/64 9082
/proc/meminfo: memFree=1497600/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=65728 CPUtime=200.03
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 16283 0 0 0 19935 68 0 0 25 0 1 0 219449416 67305472 15576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 16432 15576 297 55 0 15324 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 65728

[startup+210.121 s]
/proc/loadavg: 0.97 0.54 0.49 2/64 9082
/proc/meminfo: memFree=1495488/2055920 swapFree=4181460/4192956

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

/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1760.43
Current children cumulated vsize (Kb) 170592

[startup+1771.04 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1770.43
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 176781 262 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1770.43
Current children cumulated vsize (Kb) 170592

[startup+1781.05 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1780.44
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 177781 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1780.44
Current children cumulated vsize (Kb) 170592

[startup+1782.05 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1781.44
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 177881 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (Kb) 170592

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1782.44
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 177981 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541442 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (Kb) 170592

[startup+1784.06 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1783.45
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178082 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (Kb) 170592

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1784.45
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178182 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (Kb) 170592

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1785.46
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178283 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1785.46
Current children cumulated vsize (Kb) 170592

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1786.46
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178383 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1786.46
Current children cumulated vsize (Kb) 170592

[startup+1788.08 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1787.46
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178483 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1787.46
Current children cumulated vsize (Kb) 170592

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1788.47
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178583 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1788.47
Current children cumulated vsize (Kb) 170592

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1789.48
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178684 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (Kb) 170592

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1790.48
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178784 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1790.48
Current children cumulated vsize (Kb) 170592

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1791.49
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178885 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (Kb) 170592

[startup+1793.1 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1792.49
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178985 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1792.49
Current children cumulated vsize (Kb) 170592

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1793.49
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179085 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1793.49
Current children cumulated vsize (Kb) 170592

[startup+1795.11 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1794.5
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179186 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (Kb) 170592

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1795.5
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179286 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1795.5
Current children cumulated vsize (Kb) 170592

[startup+1797.12 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1796.51
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179387 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (Kb) 170592

[startup+1798.13 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1797.51
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179487 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (Kb) 170592

[startup+1799.13 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1798.52
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179588 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (Kb) 170592

[startup+1800.14 s]
/proc/loadavg: 0.99 0.97 0.86 2/64 9082
/proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956
[pid=9082] ppid=9080 vsize=170592 CPUtime=1799.52
/proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179688 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9082/statm: 42648 41781 297 55 0 41540 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (Kb) 170592

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.03
CPU user time (s): 1797.36
CPU system time (s): 2.67359
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (Kb): 170592

Launcher Data (download as text)

Begin job on node60 on Mon Jun  5 20:03:36 UTC 2006


FILE ID= 39773-1149537816

PBS_JOBID= 315914

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/39773-1149537816/instance-39773-1149537816.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-39773-1149537816 -o ROOT/results/node60/solver-39773-1149537816 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/39773-1149537816/instance-39773-1149537816.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  d5ffb80d8d2a9d2ae5f84f17eeb42612

RANDOM SEED= 166783436


/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.257
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.257
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1559048 kB
Buffers:         31764 kB
Cached:         388824 kB
SwapCached:       3188 kB
Active:          76728 kB
Inactive:       352564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1559048 kB
SwapTotal:     4192956 kB
SwapFree:      4181460 kB
Dirty:             224 kB
Writeback:           0 kB
Mapped:          14744 kB
Slab:            53536 kB
Committed_AS:   420476 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node60 on Mon Jun  5 20:33:37 UTC 2006