Trace number 40031

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/05Signal 1643.36 1643.94

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-timtab2.opb
MD5SUM1f089a89b25a106d39527c716bfdba75
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark197999
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 197642
Optimality of the best value was proved NO
Number of variables6363
Total number of constraints785
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 constraints785
Minimum length of a constraint2
Maximum length of a constraint141
Number of terms in the objective function 3774
Biggest coefficient in the objective function 3908
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 526487
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 165132
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 526487
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.00	c Time Limit set via PBTIMEOUT to 1800
0.02	c INFO: OSL Context initialized.
0.21	c Initial problem consists of 6363 variables and 1079 constraints.
0.23	c No problem reductions applied in OPT. instance.
0.23	c	preprocess terminated. Elapsed time: 0.212
0.23	c After prepocess the problem consists of 6363 variables and 1079 constraints.
0.23	c Initial Lower Bound: 0
0.55	c Restart #1 #Var: 6363 LB: 0 @ 0.537
1.20	c Restart #2 #Var: 6363 LB: 0 @ 1.185
2.04	c Restart #3 #Var: 6363 LB: 0 @ 2.021
3.22	c Restart #4 #Var: 6363 LB: 0 @ 3.199
4.45	c Restart #5 #Var: 6363 LB: 0 @ 4.435
5.37	c Restart #6 #Var: 6363 LB: 0 @ 5.355
5.92	c Restart #7 #Var: 6363 LB: 0 @ 5.901
6.24	c Restart #8 #Var: 6363 LB: 0 @ 6.221
6.48	c Restart #9 #Var: 6363 LB: 0 @ 6.459
6.73	c Restart #10 #Var: 6363 LB: 0 @ 6.713
7.15	c Restart #11 #Var: 6363 LB: 0 @ 7.129
7.31	c Restart #12 #Var: 6363 LB: 0 @ 7.288
7.42	c Restart #13 #Var: 6363 LB: 0 @ 7.399
7.76	c Restart #14 #Var: 6363 LB: 0 @ 7.744
8.02	c Restart #15 #Var: 6363 LB: 0 @ 8.003
8.29	c Restart #16 #Var: 6363 LB: 0 @ 8.272
8.63	c Restart #17 #Var: 6363 LB: 0 @ 8.612
9.03	c Restart #18 #Var: 6363 LB: 0 @ 9.014
9.45	c Restart #19 #Var: 6363 LB: 0 @ 9.432
9.78	c Restart #20 #Var: 6363 LB: 0 @ 9.758
10.11	c Restart #21 #Var: 6363 LB: 0 @ 10.094
10.36	c Restart #22 #Var: 6363 LB: 0 @ 10.335
10.95	c Restart #23 #Var: 6363 LB: 0 @ 10.928
11.36	c Restart #24 #Var: 6363 LB: 0 @ 11.342
12.04	c Restart #25 #Var: 6363 LB: 0 @ 12.022
12.56	c Restart #26 #Var: 6363 LB: 0 @ 12.535
13.34	c Restart #27 #Var: 6363 LB: 0 @ 13.318
14.05	c Restart #28 #Var: 6363 LB: 0 @ 14.028
15.58	c Restart #29 #Var: 6363 LB: 0 @ 15.555
17.72	c Restart #30 #Var: 6363 LB: 0 @ 17.692
18.69	c Restart #31 #Var: 6363 LB: 0 @ 18.671
20.60	c Restart #32 #Var: 6363 LB: 0 @ 20.579
22.93	c Restart #33 #Var: 6363 LB: 0 @ 22.905
24.08	c Restart #34 #Var: 6363 LB: 0 @ 24.052
25.31	c Restart #35 #Var: 6363 LB: 0 @ 25.287
27.26	c Restart #36 #Var: 6363 LB: 0 @ 27.233
28.21	c Restart #37 #Var: 6363 LB: 0 @ 28.183
29.24	c Restart #38 #Var: 6363 LB: 0 @ 29.209
30.76	c Restart #39 #Var: 6363 LB: 0 @ 30.73
32.70	c Restart #40 #Var: 6363 LB: 0 @ 32.675
41.48	c Restart #41 #Var: 6363 LB: 0 @ 41.449
44.76	c Restart #42 #Var: 6363 LB: 0 @ 44.733
47.70	c Restart #43 #Var: 6363 LB: 0 @ 47.668
50.44	c Restart #44 #Var: 6363 LB: 0 @ 50.402
51.65	c Restart #45 #Var: 6363 LB: 0 @ 51.62
56.22	c Restart #46 #Var: 6362 LB: 0 @ 56.184
63.33	c Restart #47 #Var: 6362 LB: 0 @ 63.298
66.61	c Restart #48 #Var: 6362 LB: 0 @ 66.57
68.62	c Restart #49 #Var: 6362 LB: 0 @ 68.579
71.12	c Restart #50 #Var: 6362 LB: 0 @ 71.082
73.30	c Restart #51 #Var: 6362 LB: 0 @ 73.258
77.01	c Restart #52 #Var: 6362 LB: 0 @ 76.969
78.88	c Restart #53 #Var: 6362 LB: 0 @ 78.837
87.58	c Restart #54 #Var: 6362 LB: 0 @ 87.536
97.87	c Restart #55 #Var: 6362 LB: 0 @ 97.828
102.12	c Restart #56 #Var: 6362 LB: 0 @ 102.08
108.93	c Restart #57 #Var: 6362 LB: 0 @ 108.88
119.85	c Restart #58 #Var: 6362 LB: 0 @ 119.8
121.79	c Restart #59 #Var: 6362 LB: 0 @ 121.74
135.08	c Restart #60 #Var: 6362 LB: 0 @ 135.02
140.36	c Restart #61 #Var: 6362 LB: 0 @ 140.3
147.09	c Restart #62 #Var: 6362 LB: 0 @ 147.03
148.03	c Restart #63 #Var: 6362 LB: 0 @ 147.97
158.70	c Restart #64 #Var: 6362 LB: 0 @ 158.64
162.28	c Restart #65 #Var: 6362 LB: 0 @ 162.22
163.15	c Restart #66 #Var: 6362 LB: 0 @ 163.09
165.47	c Restart #67 #Var: 6362 LB: 0 @ 165.4
167.42	c Restart #68 #Var: 6362 LB: 0 @ 167.35
179.69	c Restart #69 #Var: 6362 LB: 0 @ 179.62
192.02	c Restart #70 #Var: 6362 LB: 0 @ 191.94
194.10	c Restart #71 #Var: 6362 LB: 0 @ 194.02
204.84	c Restart #72 #Var: 6362 LB: 0 @ 204.77
211.14	c Restart #73 #Var: 6362 LB: 0 @ 211.06
216.63	c Restart #74 #Var: 6362 LB: 0 @ 216.55
229.70	c Restart #75 #Var: 6362 LB: 0 @ 229.62
253.78	c Restart #76 #Var: 6362 LB: 0 @ 253.69
270.46	c Restart #77 #Var: 6362 LB: 0 @ 270.37
279.38	c Restart #78 #Var: 6362 LB: 0 @ 279.28
321.51	c Restart #79 #Var: 6362 LB: 0 @ 321.4
327.36	c Restart #80 #Var: 6362 LB: 0 @ 327.25
334.36	c Restart #81 #Var: 6362 LB: 0 @ 334.25
346.11	c Restart #82 #Var: 6362 LB: 0 @ 346
358.08	c Restart #83 #Var: 6362 LB: 0 @ 357.95
381.21	c Restart #84 #Var: 6362 LB: 0 @ 381.08
398.93	c Restart #85 #Var: 6362 LB: 0 @ 398.79
406.66	c Restart #86 #Var: 6362 LB: 0 @ 406.52
425.55	c Restart #87 #Var: 6362 LB: 0 @ 425.41
449.95	c Restart #88 #Var: 6362 LB: 0 @ 449.81
454.63	c Restart #89 #Var: 6362 LB: 0 @ 454.49
462.12	c Restart #90 #Var: 6362 LB: 0 @ 461.97
512.02	c Restart #91 #Var: 6362 LB: 0 @ 511.85
555.14	c Restart #92 #Var: 6362 LB: 0 @ 554.96
565.87	c Restart #93 #Var: 6362 LB: 0 @ 565.69
596.36	c Restart #94 #Var: 6362 LB: 0 @ 596.17
603.43	c Restart #95 #Var: 6362 LB: 0 @ 603.24
624.75	c Restart #96 #Var: 6362 LB: 0 @ 624.55
632.78	c Restart #97 #Var: 6362 LB: 0 @ 632.58
678.11	c Restart #98 #Var: 6362 LB: 0 @ 677.89
720.32	c Restart #99 #Var: 6362 LB: 0 @ 720.09
759.42	c Restart #100 #Var: 6362 LB: 0 @ 759.18
773.39	c Restart #101 #Var: 6362 LB: 0 @ 773.15
783.58	c Restart #102 #Var: 6362 LB: 0 @ 783.33
813.78	c Restart #103 #Var: 6362 LB: 0 @ 813.52
830.78	c Restart #104 #Var: 6362 LB: 0 @ 830.52
861.38	c Restart #105 #Var: 6362 LB: 0 @ 861.11
881.99	c Restart #106 #Var: 6362 LB: 0 @ 881.72
998.15	c CHANGE Heuristic... 
998.15	c Restart #0 #Var: 6362 LB: 0 @ 997.84
999.89	c Restart #1 #Var: 6362 LB: 0 @ 999.58
1000.73	c Restart #2 #Var: 6362 LB: 0 @ 1000.4
1003.18	c Restart #3 #Var: 6362 LB: 0 @ 1002.9
1005.77	c Restart #4 #Var: 6362 LB: 0 @ 1005.5
1007.63	c Restart #5 #Var: 6362 LB: 0 @ 1007.3
1007.73	c Restart #6 #Var: 6362 LB: 0 @ 1007.4
1016.03	c Restart #7 #Var: 6362 LB: 0 @ 1015.7
1023.24	c Restart #8 #Var: 6362 LB: 0 @ 1022.9
1023.92	c Restart #9 #Var: 6362 LB: 0 @ 1023.6
1024.88	c Restart #10 #Var: 6362 LB: 0 @ 1024.6
1025.17	c Restart #11 #Var: 6362 LB: 0 @ 1024.9
1025.61	c Restart #12 #Var: 6362 LB: 0 @ 1025.3
1026.14	c Restart #13 #Var: 6362 LB: 0 @ 1025.8
1026.77	c Restart #14 #Var: 6362 LB: 0 @ 1026.5
1034.98	c Restart #15 #Var: 6362 LB: 0 @ 1034.7
1038.11	c Restart #16 #Var: 6362 LB: 0 @ 1037.8
1040.56	c Restart #17 #Var: 6362 LB: 0 @ 1040.2
1046.94	c Restart #18 #Var: 6362 LB: 0 @ 1046.6
1062.37	c Restart #19 #Var: 6362 LB: 0 @ 1062
1073.11	c Restart #20 #Var: 6362 LB: 0 @ 1072.8
1093.24	c Restart #21 #Var: 6362 LB: 0 @ 1092.9
1112.70	c Restart #22 #Var: 6362 LB: 0 @ 1112.4
1116.41	c Restart #23 #Var: 6362 LB: 0 @ 1116.1
1127.09	c Restart #24 #Var: 6362 LB: 0 @ 1126.7
1129.55	c Restart #25 #Var: 6362 LB: 0 @ 1129.2
1145.08	c Restart #26 #Var: 6362 LB: 0 @ 1144.7
1160.32	c Restart #27 #Var: 6362 LB: 0 @ 1160
1170.07	c Restart #28 #Var: 6362 LB: 0 @ 1169.7
1182.11	c Restart #29 #Var: 6362 LB: 0 @ 1181.8
1199.09	c Restart #30 #Var: 6362 LB: 0 @ 1198.7
1199.35	c Restart #31 #Var: 6362 LB: 0 @ 1199
1199.64	c Restart #32 #Var: 6362 LB: 0 @ 1199.3
1199.97	c Restart #33 #Var: 6362 LB: 0 @ 1199.6
1200.42	c Restart #34 #Var: 6362 LB: 0 @ 1200.1
1200.82	c Restart #35 #Var: 6362 LB: 0 @ 1200.5
1201.32	c Restart #36 #Var: 6362 LB: 0 @ 1200.9
1201.95	c Restart #37 #Var: 6362 LB: 0 @ 1201.6
1202.52	c Restart #38 #Var: 6362 LB: 0 @ 1202.2
1203.05	c Restart #39 #Var: 6362 LB: 0 @ 1202.7
1203.97	c Restart #40 #Var: 6362 LB: 0 @ 1203.6
1204.90	c Restart #41 #Var: 6362 LB: 0 @ 1204.5
1205.70	c Restart #42 #Var: 6362 LB: 0 @ 1205.3
1206.53	c Restart #43 #Var: 6362 LB: 0 @ 1206.2
1207.30	c Restart #44 #Var: 6362 LB: 0 @ 1206.9
1208.16	c Restart #45 #Var: 6362 LB: 0 @ 1207.8
1209.08	c Restart #46 #Var: 6362 LB: 0 @ 1208.7
1209.86	c Restart #47 #Var: 6362 LB: 0 @ 1209.5
1215.45	c Restart #48 #Var: 6362 LB: 0 @ 1215.1
1227.88	c Restart #49 #Var: 6362 LB: 0 @ 1227.5
1232.23	c Restart #50 #Var: 6362 LB: 0 @ 1231.9
1235.30	c Restart #51 #Var: 6362 LB: 0 @ 1234.9
1244.31	c Restart #52 #Var: 6362 LB: 0 @ 1243.9
1251.66	c Restart #53 #Var: 6362 LB: 0 @ 1251.3
1308.70	c Restart #54 #Var: 6362 LB: 0 @ 1308.3
1353.35	c Restart #55 #Var: 6362 LB: 0 @ 1352.9
1391.49	c Restart #56 #Var: 6362 LB: 0 @ 1391.1
1399.46	c Restart #57 #Var: 6362 LB: 0 @ 1399
1424.32	c Restart #58 #Var: 6362 LB: 0 @ 1423.9
1445.89	c Restart #59 #Var: 6362 LB: 0 @ 1445.5
1481.85	c Restart #60 #Var: 6362 LB: 0 @ 1481.4
1487.09	c Restart #61 #Var: 6362 LB: 0 @ 1486.6
1490.76	c Restart #62 #Var: 6362 LB: 0 @ 1490.3
1494.08	c Restart #63 #Var: 6362 LB: 0 @ 1493.6
1496.98	c Restart #64 #Var: 6362 LB: 0 @ 1496.5
1502.99	c Restart #65 #Var: 6362 LB: 0 @ 1502.5
1508.85	c Restart #66 #Var: 6362 LB: 0 @ 1508.4
1512.85	c Restart #67 #Var: 6362 LB: 0 @ 1512.4
1517.18	c Restart #68 #Var: 6362 LB: 0 @ 1516.7
1524.74	c Restart #69 #Var: 6362 LB: 0 @ 1524.3
1526.85	c Restart #70 #Var: 6362 LB: 0 @ 1526.4
1536.12	c Restart #71 #Var: 6362 LB: 0 @ 1535.7
1538.24	c Restart #72 #Var: 6362 LB: 0 @ 1537.8
1545.68	c Restart #73 #Var: 6362 LB: 0 @ 1545.2
1547.73	c Restart #74 #Var: 6362 LB: 0 @ 1547.3
1571.18	c Restart #75 #Var: 6362 LB: 0 @ 1570.7
1585.91	c Restart #76 #Var: 6362 LB: 0 @ 1585.4
1588.25	c Restart #77 #Var: 6362 LB: 0 @ 1587.8
1608.64	c Restart #78 #Var: 6362 LB: 0 @ 1608.1
1611.09	c Restart #79 #Var: 6362 LB: 0 @ 1610.6
1613.39	c Restart #80 #Var: 6362 LB: 0 @ 1612.9
1637.16	c Restart #81 #Var: 6362 LB: 0 @ 1636.6
1640.01	c Restart #82 #Var: 6362 LB: 0 @ 1639.5
1642.68	c Restart #83 #Var: 6362 LB: 0 @ 1642.1

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/node23/watcher-40031-1149357970 -o ROOT/results/node23/solver-40031-1149357970 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/40031-1149357970/instance-40031-1149357970.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1741600/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=4932 CPUtime=0
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 364 0 0 0 0 0 0 0 19 0 1 0 201460668 5050368 328 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2777415 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 1233 330 226 55 0 125 0

[startup+10.0024 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1670576/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=75564 CPUtime=9.97
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 18110 0 0 0 962 35 0 0 25 0 1 0 201460668 77377536 18025 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 18891 18025 297 55 0 17783 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 75564

[startup+20.0086 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1598320/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=147772 CPUtime=19.98
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 36142 0 0 0 1950 48 0 0 25 0 1 0 201460668 151318528 36057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 36943 36057 297 55 0 35835 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 147772

[startup+30.0147 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1556528/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=189496 CPUtime=29.97
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 46560 0 0 0 2943 54 0 0 25 0 1 0 201460668 194043904 46475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 47374 46475 297 55 0 46266 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 189496

[startup+40.0208 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1536688/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=209296 CPUtime=39.98
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 51505 0 0 0 3938 60 0 0 25 0 1 0 201460668 214319104 51420 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 52324 51420 297 55 0 51216 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 209296

[startup+50.027 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1513200/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=232668 CPUtime=49.98
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 57374 0 0 0 4930 68 0 0 25 0 1 0 201460668 238252032 57289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 58167 57290 297 55 0 57059 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 232668

[startup+60.0331 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1492016/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=253916 CPUtime=59.99
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 62670 0 0 0 5924 75 0 0 25 0 1 0 201460668 260009984 62585 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 63479 62585 297 55 0 62371 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 253916

[startup+70.0392 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1459504/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=286392 CPUtime=69.99
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 70776 0 0 0 6917 82 0 0 25 0 1 0 201460668 293265408 70689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 71598 70689 297 55 0 70490 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 286392

[startup+80.0454 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1419760/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=326160 CPUtime=80
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 80686 0 0 0 7911 89 0 0 25 0 1 0 201460668 333987840 80597 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 81540 80597 297 55 0 80432 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 326160

[startup+90.0515 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1403888/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=342000 CPUtime=89.99
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 84657 0 0 0 8906 93 0 0 25 0 1 0 201460668 350208000 84568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718470 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 85500 84568 297 55 0 84392 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 342000

[startup+100.058 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1391216/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=354704 CPUtime=100
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 87817 0 0 0 9901 99 0 0 25 0 1 0 201460668 363216896 87727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 88676 87727 297 55 0 87568 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 354704

[startup+110.064 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1377072/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=368828 CPUtime=110
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 91349 0 0 0 10896 104 0 0 25 0 1 0 201460668 377679872 91259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 92207 91259 297 55 0 91099 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 368828

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1370288/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=375560 CPUtime=120.01
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 93028 0 0 0 11893 108 0 0 25 0 1 0 201460668 384573440 92938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 93890 92938 297 55 0 92782 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 375560

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1351536/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=394488 CPUtime=130.01
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 97716 0 0 0 12888 113 0 0 25 0 1 0 201460668 403955712 97623 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 98622 97623 297 55 0 97514 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 394488

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1328944/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=416952 CPUtime=140.02
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 103347 0 0 0 13883 119 0 0 25 0 1 0 201460668 426958848 103254 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 104238 103254 297 55 0 103130 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 416952

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1295920/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=450116 CPUtime=150.02
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 111600 0 0 0 14876 126 0 0 25 0 1 0 201460668 460918784 111505 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 112529 111505 297 55 0 111421 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 450116

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1288880/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=457240 CPUtime=160.02
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 113361 0 0 0 15873 129 0 0 25 0 1 0 201460668 468213760 113266 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 114310 113266 297 55 0 113202 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 457240

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1247664/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=498448 CPUtime=170.03
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 123636 0 0 0 16866 137 0 0 25 0 1 0 201460668 510410752 123534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 124612 123534 297 55 0 123504 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 498448

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1231216/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=514992 CPUtime=180.03
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 127754 0 0 0 17863 140 0 0 25 0 1 0 201460668 527351808 127649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 128748 127649 297 55 0 127640 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 514992

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1226672/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=519496 CPUtime=190.04
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 128888 0 0 0 18862 142 0 0 25 0 1 0 201460668 531963904 128782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 129874 128782 297 55 0 128766 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 519496

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1202992/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=543200 CPUtime=200.04
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 134799 0 0 0 19857 147 0 0 25 0 1 0 201460668 556236800 134687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 135800 134687 297 55 0 134692 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 543200

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 27225
/proc/meminfo: memFree=1187440/2055920 swapFree=4180884/4192956

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

Current children cumulated CPU time (s) 1430.43
Current children cumulated vsize (Kb) 1462184

[startup+1440.88 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=286200/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1463776 CPUtime=1440.44
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 363803 0 0 0 143614 430 0 0 25 0 1 0 201460668 1498906624 363370 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719391 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 365944 363370 297 55 0 364836 0
Current children cumulated CPU time (s) 1440.44
Current children cumulated vsize (Kb) 1463776

[startup+1450.89 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=277304/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1472776 CPUtime=1450.45
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 366046 0 0 0 144612 433 0 0 25 0 1 0 201460668 1508122624 365613 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 368194 365613 297 55 0 367086 0
Current children cumulated CPU time (s) 1450.45
Current children cumulated vsize (Kb) 1472776

[startup+1460.9 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=276216/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1473868 CPUtime=1460.45
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 366304 0 0 0 145611 434 0 0 25 0 1 0 201460668 1509240832 365871 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 368467 365871 297 55 0 367359 0
Current children cumulated CPU time (s) 1460.45
Current children cumulated vsize (Kb) 1473868

[startup+1470.9 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=271480/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1478488 CPUtime=1470.45
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 367486 0 0 0 146610 435 0 0 25 0 1 0 201460668 1513971712 367053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 369622 367053 297 55 0 368514 0
Current children cumulated CPU time (s) 1470.45
Current children cumulated vsize (Kb) 1478488

[startup+1480.91 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=268024/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1482052 CPUtime=1480.45
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 368349 0 0 0 147609 436 0 0 25 0 1 0 201460668 1517621248 367916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 370513 367916 297 55 0 369405 0
Current children cumulated CPU time (s) 1480.45
Current children cumulated vsize (Kb) 1482052

[startup+1490.91 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=240760/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1509472 CPUtime=1490.45
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 375239 0 0 0 148604 441 0 0 25 0 1 0 201460668 1545699328 374723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 377368 374723 297 55 0 376260 0
Current children cumulated CPU time (s) 1490.45
Current children cumulated vsize (Kb) 1509472

[startup+1500.92 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=205368/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1544896 CPUtime=1500.45
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 384069 0 0 0 149597 448 0 0 25 0 1 0 201460668 1581973504 383549 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 386224 383550 297 55 0 385116 0
Current children cumulated CPU time (s) 1500.45
Current children cumulated vsize (Kb) 1544896

[startup+1510.93 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=181624/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1568760 CPUtime=1510.46
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 390005 0 0 0 150594 452 0 0 25 0 1 0 201460668 1606410240 389477 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 392190 389478 297 55 0 391082 0
Current children cumulated CPU time (s) 1510.46
Current children cumulated vsize (Kb) 1568760

[startup+1520.93 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=149496/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1600884 CPUtime=1520.47
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 398013 0 0 0 151587 460 0 0 25 0 1 0 201460668 1639305216 397473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 400221 397473 297 55 0 399113 0
Current children cumulated CPU time (s) 1520.47
Current children cumulated vsize (Kb) 1600884

[startup+1530.94 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=121208/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1629312 CPUtime=1530.47
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 405083 0 0 0 152583 464 0 0 25 0 1 0 201460668 1668415488 404534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 407328 404534 297 55 0 406220 0
Current children cumulated CPU time (s) 1530.47
Current children cumulated vsize (Kb) 1629312

[startup+1540.95 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=88120/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1662648 CPUtime=1540.47
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 413362 0 0 0 153576 471 0 0 25 0 1 0 201460668 1702551552 412799 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 415662 412799 297 55 0 414554 0
Current children cumulated CPU time (s) 1540.47
Current children cumulated vsize (Kb) 1662648

[startup+1550.95 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=58616/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1692280 CPUtime=1550.47
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 420733 0 0 0 154572 475 0 0 25 0 1 0 201460668 1732894720 420153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 423070 420153 297 55 0 421962 0
Current children cumulated CPU time (s) 1550.47
Current children cumulated vsize (Kb) 1692280

[startup+1560.96 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=52344/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1698536 CPUtime=1560.48
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 422305 0 0 0 155570 478 0 0 25 0 1 0 201460668 1739300864 421721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 424634 421721 297 55 0 423526 0
Current children cumulated CPU time (s) 1560.48
Current children cumulated vsize (Kb) 1698536

[startup+1570.96 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=48568/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1702364 CPUtime=1570.48
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 423253 0 0 0 156569 479 0 0 25 0 1 0 201460668 1743220736 422669 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 425591 422669 297 55 0 424483 0
Current children cumulated CPU time (s) 1570.48
Current children cumulated vsize (Kb) 1702364

[startup+1580.97 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=37752/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1713364 CPUtime=1580.48
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 425956 0 0 0 157566 482 0 0 25 0 1 0 201460668 1754484736 425364 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 428341 425364 297 55 0 427233 0
Current children cumulated CPU time (s) 1580.48
Current children cumulated vsize (Kb) 1713364

[startup+1590.98 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=15736/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1735808 CPUtime=1590.49
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 431558 0 0 0 158562 487 0 0 25 0 1 0 201460668 1777467392 430863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 433952 430863 297 55 0 432844 0
Current children cumulated CPU time (s) 1590.49
Current children cumulated vsize (Kb) 1735808

[startup+1600.98 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=15224/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1744124 CPUtime=1600.48
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 433634 0 0 0 159559 489 0 0 25 0 1 0 201460668 1785982976 432939 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 436031 432939 297 55 0 434923 0
Current children cumulated CPU time (s) 1600.48
Current children cumulated vsize (Kb) 1744124

[startup+1610.99 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=15160/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1767364 CPUtime=1610.46
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 439467 0 0 0 160552 494 0 0 25 0 1 0 201460668 1809780736 438772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550907 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 441841 438772 297 55 0 440733 0
Current children cumulated CPU time (s) 1610.46
Current children cumulated vsize (Kb) 1767364

[startup+1620.99 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=15608/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1790576 CPUtime=1620.45
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 445241 0 0 0 161547 498 0 0 25 0 1 0 201460668 1833549824 444536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 447644 444536 297 55 0 446536 0
Current children cumulated CPU time (s) 1620.45
Current children cumulated vsize (Kb) 1790576

[startup+1631 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=16184/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1797912 CPUtime=1630.48
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 447090 0 0 0 162547 501 0 0 25 0 1 0 201460668 1841061888 446383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 449478 446383 297 55 0 448370 0
Current children cumulated CPU time (s) 1630.48
Current children cumulated vsize (Kb) 1797912

[startup+1641.04 s]
/proc/loadavg: 1.00 0.99 0.96 2/64 27225
/proc/meminfo: memFree=16248/2055920 swapFree=4180884/4192956
[pid=27225] ppid=27223 vsize=1826084 CPUtime=1640.47
/proc/27225/stat : 27225 (bsolo) R 27223 27225 27179 0 -1 0 454048 0 0 0 163541 506 0 0 25 0 1 0 201460668 1869910016 453321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27225/statm: 456521 453321 297 55 0 455413 0
Current children cumulated CPU time (s) 1640.47
Current children cumulated vsize (Kb) 1826084

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 1643.94
CPU time (s): 1643.36
CPU user time (s): 1638.01
CPU system time (s): 5.35019
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (Kb): 1826084
The end

Launcher Data (download as text)

Begin job on node23 on Sat Jun  3 18:06:10 UTC 2006


FILE ID= 40031-1149357970

PBS_JOBID= 311350

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-timtab2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/40031-1149357970/instance-40031-1149357970.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-40031-1149357970 -o ROOT/results/node23/solver-40031-1149357970 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/40031-1149357970/instance-40031-1149357970.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  1f089a89b25a106d39527c716bfdba75

RANDOM SEED= 106657794


/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.213
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	: 5931.00
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.213
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:       1741808 kB
Buffers:         12792 kB
Cached:         241448 kB
SwapCached:       3412 kB
Active:          47252 kB
Inactive:       215292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1741808 kB
SwapTotal:     4192956 kB
SwapFree:      4180884 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          14696 kB
Slab:            37596 kB
Committed_AS:   374944 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node23 on Sat Jun  3 18:33:34 UTC 2006