Trace number 40074

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/05SAT6743 1800.04 1800.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb
MD5SUM08913f3dd730f4c3a659694fd4c06001
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3591
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3591
Optimality of the best value was proved NO
Number of variables556
Total number of constraints180
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints178
Minimum length of a constraint2
Maximum length of a constraint48
Number of terms in the objective function 304
Biggest coefficient in the objective function 10575
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 524466
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 20152
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 524466
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.02	c Initial problem consists of 556 variables and 180 constraints.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.012
0.02	c After prepocess the problem consists of 556 variables and 180 constraints.
0.02	c Initial Lower Bound: 0
0.05	c Restart #1 #Var: 556 LB: 0 @ 0.036
0.09	c Restart #2 #Var: 556 LB: 0 @ 0.074
0.14	c Restart #3 #Var: 556 LB: 0 @ 0.131
0.23	c Restart #4 #Var: 556 LB: 0 @ 0.221
0.33	c Restart #5 #Var: 556 LB: 0 @ 0.321
0.48	c Restart #6 #Var: 556 LB: 0 @ 0.464
0.63	c Restart #7 #Var: 556 LB: 0 @ 0.619
0.90	c Restart #8 #Var: 556 LB: 0 @ 0.888
1.10	c Restart #9 #Var: 556 LB: 0 @ 1.091
1.51	c Restart #10 #Var: 556 LB: 0 @ 1.498
1.78	c Restart #11 #Var: 556 LB: 0 @ 1.77
2.20	c Restart #12 #Var: 556 LB: 0 @ 2.184
2.47	c Restart #13 #Var: 556 LB: 0 @ 2.458
2.93	c Restart #14 #Var: 556 LB: 0 @ 2.915
3.69	c Restart #15 #Var: 556 LB: 0 @ 3.681
4.59	c Restart #16 #Var: 556 LB: 0 @ 4.581
5.24	c Restart #17 #Var: 556 LB: 0 @ 5.23
5.74	c Restart #18 #Var: 556 LB: 0 @ 5.727
6.29	c Restart #19 #Var: 556 LB: 0 @ 6.28
7.13	c Restart #20 #Var: 556 LB: 0 @ 7.112
7.36	c Sol. found (all assignments made)...
7.36	o 62663
7.36	c NEW SOLUTION FOUND: 62663 @ 7.348
7.36	c Sol. found (all assignments made)...
7.36	c Sol. found (all assignments made)...
7.36	o 62336
7.36	c NEW SOLUTION FOUND: 62336 @ 7.348
7.37	c Sol. found (all assignments made)...
7.37	c Sol. found (all assignments made)...
7.37	c Sol. found (all assignments made)...
7.37	o 62009
7.37	c NEW SOLUTION FOUND: 62009 @ 7.353
8.07	c Restart #21 #Var: 556 LB: 0 @ 8.059
8.90	c Restart #22 #Var: 556 LB: 0 @ 8.884
9.74	c Restart #23 #Var: 556 LB: 0 @ 9.729
10.45	c Restart #24 #Var: 556 LB: 0 @ 10.432
12.35	c CHANGE to LPR mode... 	UB: 62009	MIS: 0	LPR: 2333 (0.010222)	Diff: 0
12.35	c Restart #0 #Var: 556 LB: 0 @ 12.189
13.58	o 33118
13.58	c NEW SOLUTION FOUND: 33118 @ 13.416
13.58	o 32465
13.58	c NEW SOLUTION FOUND: 32465 @ 13.422
13.59	o 32138
13.59	c NEW SOLUTION FOUND: 32138 @ 13.427
13.61	o 31939
13.62	c NEW SOLUTION FOUND: 31939 @ 13.452
13.63	o 31612
13.63	c NEW SOLUTION FOUND: 31612 @ 13.464
13.82	o 31086
13.82	c NEW SOLUTION FOUND: 31086 @ 13.659
14.08	o 31023
14.08	c NEW SOLUTION FOUND: 31023 @ 13.912
14.79	c Restart #1 #Var: 556 LB: 2333 @ 14.627
15.00	o 12848
15.00	c NEW SOLUTION FOUND: 12848 @ 14.834
15.02	o 12394
15.02	c NEW SOLUTION FOUND: 12394 @ 14.857
15.38	o 12337
15.38	c NEW SOLUTION FOUND: 12337 @ 15.219
15.40	o 12138
15.40	c NEW SOLUTION FOUND: 12138 @ 15.232
15.58	o 11938
15.58	c NEW SOLUTION FOUND: 11938 @ 15.419
15.94	o 11882
15.94	c NEW SOLUTION FOUND: 11882 @ 15.775
15.94	o 11683
15.94	c NEW SOLUTION FOUND: 11683 @ 15.78
17.00	o 11637
17.00	c NEW SOLUTION FOUND: 11637 @ 16.832
17.34	o 11028
17.34	c NEW SOLUTION FOUND: 11028 @ 17.18
17.35	o 9977
17.35	c NEW SOLUTION FOUND: 9977 @ 17.19
17.77	o 9788
17.77	c NEW SOLUTION FOUND: 9788 @ 17.601
17.93	o 9787
17.93	c NEW SOLUTION FOUND: 9787 @ 17.764
18.09	o 9681
18.09	c NEW SOLUTION FOUND: 9681 @ 17.927
18.16	o 9651
18.16	c NEW SOLUTION FOUND: 9651 @ 17.998
18.54	o 9451
18.54	c NEW SOLUTION FOUND: 9451 @ 18.37
18.93	o 8926
18.93	c NEW SOLUTION FOUND: 8926 @ 18.766
18.97	o 8785
18.97	c NEW SOLUTION FOUND: 8785 @ 18.8
19.05	o 8729
19.05	c NEW SOLUTION FOUND: 8729 @ 18.887
19.10	o 8530
19.10	c NEW SOLUTION FOUND: 8530 @ 18.929
20.55	o 8484
20.55	c NEW SOLUTION FOUND: 8484 @ 20.386
20.67	o 8400
20.67	c NEW SOLUTION FOUND: 8400 @ 20.498
20.74	o 7874
20.74	c NEW SOLUTION FOUND: 7874 @ 20.569
23.12	c Restart #2 #Var: 556 LB: 2333 @ 22.953
27.21	c Restart #3 #Var: 556 LB: 2333 @ 27.038
31.61	c Restart #4 #Var: 556 LB: 2339 @ 31.439
38.79	c Restart #5 #Var: 556 LB: 2339 @ 38.617
50.57	c Restart #6 #Var: 556 LB: 2339 @ 50.389
59.32	c Restart #7 #Var: 556 LB: 2339 @ 59.143
71.54	c Restart #8 #Var: 556 LB: 2339 @ 71.358
87.08	c Restart #9 #Var: 556 LB: 2340 @ 86.891
104.73	c Restart #10 #Var: 556 LB: 2340 @ 104.54
123.26	c Restart #11 #Var: 556 LB: 2340 @ 123.06
146.39	c Restart #12 #Var: 556 LB: 2340 @ 146.18
152.39	o 7847
152.39	c NEW SOLUTION FOUND: 7847 @ 152.18
153.24	o 7777
153.24	c NEW SOLUTION FOUND: 7777 @ 153.03
160.26	o 7734
160.26	c NEW SOLUTION FOUND: 7734 @ 160.05
161.83	o 7648
161.83	c NEW SOLUTION FOUND: 7648 @ 161.62
162.67	o 7578
162.67	c NEW SOLUTION FOUND: 7578 @ 162.46
169.66	o 7535
169.66	c NEW SOLUTION FOUND: 7535 @ 169.45
224.85	o 7534
224.85	c NEW SOLUTION FOUND: 7534 @ 224.62
227.81	o 7263
227.81	c NEW SOLUTION FOUND: 7263 @ 227.58
229.20	o 7233
229.20	c NEW SOLUTION FOUND: 7233 @ 228.97
229.31	o 7179
229.31	c NEW SOLUTION FOUND: 7179 @ 229.08
229.94	o 7149
229.94	c NEW SOLUTION FOUND: 7149 @ 229.71
238.86	o 7109
238.86	c NEW SOLUTION FOUND: 7109 @ 238.63
239.52	o 7079
239.52	c NEW SOLUTION FOUND: 7079 @ 239.28
260.18	c Restart #13 #Var: 556 LB: 2340 @ 259.94
293.38	c Restart #14 #Var: 556 LB: 2340 @ 293.12
320.88	c Restart #15 #Var: 556 LB: 2340 @ 320.62
355.40	c Restart #16 #Var: 556 LB: 2340 @ 355.13
358.31	o 6964
358.31	c NEW SOLUTION FOUND: 6964 @ 358.04
412.72	c Restart #17 #Var: 556 LB: 2340 @ 412.42
441.23	c Restart #18 #Var: 556 LB: 2340 @ 440.93
490.12	c Restart #19 #Var: 556 LB: 2340 @ 489.8
546.51	c Restart #20 #Var: 556 LB: 2340 @ 546.17
594.81	c Restart #21 #Var: 556 LB: 2340 @ 594.46
641.43	c Restart #22 #Var: 556 LB: 2340 @ 641.06
711.03	c Restart #23 #Var: 556 LB: 2340 @ 710.64
779.92	c Restart #24 #Var: 556 LB: 2340 @ 779.5
924.87	c Restart #25 #Var: 556 LB: 2340 @ 924.41
1133.80	c Restart #26 #Var: 556 LB: 2340 @ 1133.3
1191.07	o 6937
1191.07	c NEW SOLUTION FOUND: 6937 @ 1190.5
1205.93	o 6837
1205.93	c NEW SOLUTION FOUND: 6837 @ 1205.4
1206.65	o 6813
1206.65	c NEW SOLUTION FOUND: 6813 @ 1206.1
1279.90	o 6767
1279.90	c NEW SOLUTION FOUND: 6767 @ 1279.3
1281.11	o 6743
1281.11	c NEW SOLUTION FOUND: 6743 @ 1280.5
1374.11	c Restart #27 #Var: 556 LB: 2340 @ 1373.5
1500.59	c Restart #28 #Var: 556 LB: 2340 @ 1499.9
1718.00	c Restart #29 #Var: 556 LB: 2340 @ 1717.3
1800.78	s SATISFIABLE
1800.78	c Cost: 6743
1800.78	v -x1 -x2 -x3 -x4 -x49 -x50 -x51 -x52 -x97 -x98 -x99 -x100 -x145 -x146 -x147 -x148 -x279 -x280 -x281 -x282 -x327 -x328 -x329 -x330
1800.78	v -x375 -x376 -x377 -x378 -x423 -x424 -x425 -x426 -x5 -x6 -x7 -x8 -x53 -x54 -x55 -x56 -x101 x102 -x103 -x104 -x149 -x150 -x151
1800.78	v -x152 -x193 -x194 -x195 -x196 -x236 -x237 -x238 -x239 -x283 -x284 -x285 -x286 -x331 -x332 -x333 -x334 -x379 -x380 -x381 -x382
1800.78	v -x427 -x428 -x429 -x430 -x471 -x472 -x473 -x474 -x514 -x515 -x516 -x517 -x9 -x10 -x11 -x12 -x57 -x58 -x59 -x60 -x105 -x106
1800.78	v -x107 -x108 -x153 -x154 -x155 -x156 -x197 x198 -x199 -x200 -x240 -x241 -x242 -x243 x287 -x288 -x289 -x290 -x335 -x336 -x337
1800.78	v -x338 -x383 -x384 -x385 -x386 -x431 -x432 -x433 -x434 -x475 -x476 -x477 -x478 -x518 -x519 -x520 -x521 -x13 -x61 -x109 -x157
1800.78	v -x201 -x244 -x291 -x339 -x387 -x435 -x479 -x522 -x14 -x15 -x16 -x62 -x63 -x64 -x110 -x111 -x112 -x158 -x159 -x160 -x202 -x203
1800.78	v -x204 -x245 -x246 -x247 -x292 -x293 -x294 -x340 -x341 -x342 -x388 -x389 -x390 -x436 -x437 -x438 -x480 -x481 -x482 -x523 -x524
1800.78	v -x525 -x17 -x18 -x19 -x20 -x65 -x66 -x67 -x68 -x113 x114 -x115 -x116 -x161 -x162 -x163 -x164 -x205 -x206 -x207 -x208 -x248
1800.78	v -x249 -x250 -x251 -x295 -x296 -x297 -x298 x343 -x344 -x345 -x346 -x391 -x392 -x393 -x394 -x439 -x440 -x441 -x442 -x483 -x484
1800.78	v -x485 -x486 -x526 -x527 -x528 -x529 -x209 -x210 -x211 -x252 -x253 -x254 -x487 -x488 -x489 -x530 -x531 -x532 -x21 -x22 -x23
1800.78	v -x24 -x69 -x70 -x71 -x72 -x117 -x118 -x119 -x120 -x165 -x166 -x167 -x168 -x299 -x300 -x301 -x302 -x347 -x348 -x349 -x350 -x395
1800.78	v -x396 -x397 -x398 -x443 -x444 -x445 -x446 -x25 -x26 -x27 -x73 -x74 -x75 -x121 -x122 -x123 -x169 -x170 -x171 -x212 -x213 -x214
1800.78	v -x255 -x256 x257 -x303 -x304 -x305 -x351 -x352 -x353 x399 -x400 -x401 -x447 -x448 -x449 -x490 -x491 -x492 -x533 -x534 -x535
1800.78	v -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x76 -x77 -x78 -x79 -x80 -x81
1800.78	v -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133
1800.78	v -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x172 -x173 -x174 -x175 -x176 x177 x178 -x179 -x180 -x181 -x182
1800.78	v -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226
1800.78	v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.78	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319
1800.78	v -x320 -x321 -x322 -x323 x324 -x325 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368
1800.78	v -x369 -x370 -x371 x372 -x373 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.78	v -x418 -x419 -x420 -x421 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466
1800.78	v -x467 -x468 -x469 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510
1800.78	v -x511 -x512 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554
1800.78	v -x555 -x48 x96 -x144 -x192 -x235 -x278 -x326 -x374 -x422 -x470 -x513 -x556
1800.78	c Exit Code: 10
1800.78	c Total time: 1800 s

Verifier Data (download as text)

OK	6743

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 17962
/proc/meminfo: memFree=836296/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=4656 CPUtime=0
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 73 0 0 0 0 0 0 0 19 0 1 0 192984564 4767744 55 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7723661 0 0 4096 0 0 0 0 17 1 0 0
/proc/17962/statm: 1165 61 45 55 0 45 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 17962
/proc/meminfo: memFree=805928/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=34780 CPUtime=9.98
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 7971 0 0 0 992 6 0 0 25 0 1 0 192984564 35614720 7886 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 8695 7886 297 55 0 7587 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 34780

[startup+20.0093 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 17962
/proc/meminfo: memFree=799208/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=41048 CPUtime=19.83
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 18628 0 2 0 1964 19 0 0 25 0 1 0 192984564 42033152 9567 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 10262 9567 431 55 0 9154 0
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 41048

[startup+30.016 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 17962
/proc/meminfo: memFree=798312/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=41788 CPUtime=29.83
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 31789 0 2 0 2949 34 0 0 25 0 1 0 192984564 42790912 9753 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 10447 9753 431 55 0 9339 0
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 41788

[startup+40.0217 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 17962
/proc/meminfo: memFree=795816/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=44464 CPUtime=39.83
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 47190 0 2 0 3933 50 0 0 25 0 1 0 192984564 45531136 10371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8156741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 11116 10372 431 55 0 10008 0
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 44464

[startup+50.0274 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 17962
/proc/meminfo: memFree=794088/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=46136 CPUtime=49.84
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 64407 0 2 0 4914 70 0 0 25 0 1 0 192984564 47243264 10836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 11534 10836 431 55 0 10426 0
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (Kb) 46136

[startup+60.0331 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 17964
/proc/meminfo: memFree=790696/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=49596 CPUtime=59.85
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 84937 0 2 0 5895 90 0 0 25 0 1 0 192984564 50786304 11657 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8156741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 12399 11657 431 55 0 11291 0
Current children cumulated CPU time (s) 59.85
Current children cumulated vsize (Kb) 49596

[startup+70.0398 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 17964
/proc/meminfo: memFree=788968/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=51244 CPUtime=69.85
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 99244 0 2 0 6879 106 0 0 25 0 1 0 192984564 52473856 12113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 12811 12113 431 55 0 11703 0
Current children cumulated CPU time (s) 69.85
Current children cumulated vsize (Kb) 51244

[startup+80.0465 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 17964
/proc/meminfo: memFree=786024/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=54172 CPUtime=79.85
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 115606 0 2 0 7862 123 0 0 25 0 1 0 192984564 55472128 12845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 13543 12845 431 55 0 12435 0
Current children cumulated CPU time (s) 79.85
Current children cumulated vsize (Kb) 54172

[startup+90.0522 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 17964
/proc/meminfo: memFree=784296/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=55860 CPUtime=89.86
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 133749 0 2 0 8844 142 0 0 25 0 1 0 192984564 57200640 13271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 13965 13271 431 55 0 12857 0
Current children cumulated CPU time (s) 89.86
Current children cumulated vsize (Kb) 55860

[startup+100.058 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 17964
/proc/meminfo: memFree=784296/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=55936 CPUtime=99.86
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 142376 0 2 0 9834 152 0 0 25 0 1 0 192984564 57278464 13290 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 13984 13290 431 55 0 12876 0
Current children cumulated CPU time (s) 99.86
Current children cumulated vsize (Kb) 55936

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 17964
/proc/meminfo: memFree=784104/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=55928 CPUtime=109.86
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 148484 0 2 0 10824 162 0 0 25 0 1 0 192984564 57270272 13288 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 13982 13288 431 55 0 12874 0
Current children cumulated CPU time (s) 109.86
Current children cumulated vsize (Kb) 55928

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17964
/proc/meminfo: memFree=784104/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=56004 CPUtime=119.86
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 156673 0 2 0 11815 171 0 0 25 0 1 0 192984564 57348096 13307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 14001 13307 431 55 0 12893 0
Current children cumulated CPU time (s) 119.86
Current children cumulated vsize (Kb) 56004

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17964
/proc/meminfo: memFree=783464/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=56768 CPUtime=129.86
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 169534 0 2 0 12801 185 0 0 25 0 1 0 192984564 58130432 13498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 14192 13498 431 55 0 13084 0
Current children cumulated CPU time (s) 129.86
Current children cumulated vsize (Kb) 56768

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17964
/proc/meminfo: memFree=781544/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=58636 CPUtime=139.87
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 187240 0 2 0 13787 200 0 0 25 0 1 0 192984564 60043264 13965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 14659 13965 431 55 0 13551 0
Current children cumulated CPU time (s) 139.87
Current children cumulated vsize (Kb) 58636

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17964
/proc/meminfo: memFree=781224/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=58836 CPUtime=149.87
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 195766 0 2 0 14775 212 0 0 25 0 1 0 192984564 60248064 14015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 14709 14015 431 55 0 13601 0
Current children cumulated CPU time (s) 149.87
Current children cumulated vsize (Kb) 58836

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17964
/proc/meminfo: memFree=781224/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=58836 CPUtime=159.87
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 200571 0 2 0 15764 223 0 0 25 0 1 0 192984564 60248064 14015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 14709 14015 431 55 0 13601 0
Current children cumulated CPU time (s) 159.87
Current children cumulated vsize (Kb) 58836

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17964
/proc/meminfo: memFree=781160/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=59020 CPUtime=169.87
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 210039 0 2 0 16749 238 0 0 25 0 1 0 192984564 60436480 14061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160211734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 14755 14061 431 55 0 13647 0
Current children cumulated CPU time (s) 169.87
Current children cumulated vsize (Kb) 59020

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17964
/proc/meminfo: memFree=780904/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=59248 CPUtime=179.87
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 219638 0 2 0 17735 252 0 0 25 0 1 0 192984564 60669952 14118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 14812 14118 431 55 0 13704 0
Current children cumulated CPU time (s) 179.87
Current children cumulated vsize (Kb) 59248

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17964
/proc/meminfo: memFree=780648/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=59520 CPUtime=189.88
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 229144 0 2 0 18722 266 0 0 25 0 1 0 192984564 60948480 14186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 14880 14186 431 55 0 13772 0
Current children cumulated CPU time (s) 189.88
Current children cumulated vsize (Kb) 59520

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17964
/proc/meminfo: memFree=780456/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=59792 CPUtime=199.88
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 238819 0 2 0 19707 281 0 0 25 0 1 0 192984564 61227008 14242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 14948 14242 431 55 0 13840 0
Current children cumulated CPU time (s) 199.88
Current children cumulated vsize (Kb) 59792

[startup+210.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 17964
/proc/meminfo: memFree=780264/2055920 swapFree=4181356/4192956

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

/proc/17962/statm: 40832 40116 433 55 0 39724 0
Current children cumulated CPU time (s) 1760.26
Current children cumulated vsize (Kb) 163328

[startup+1771.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=676072/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=163544 CPUtime=1770.26
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1690071 0 2 0 175384 1642 0 0 25 0 1 0 192984564 167469056 40170 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 40886 40170 433 55 0 39778 0
Current children cumulated CPU time (s) 1770.26
Current children cumulated vsize (Kb) 163544

[startup+1781.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675944/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=163664 CPUtime=1780.27
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1696803 0 2 0 176379 1648 0 0 25 0 1 0 192984564 167591936 40197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 40916 40197 433 55 0 39808 0
Current children cumulated CPU time (s) 1780.27
Current children cumulated vsize (Kb) 163664

[startup+1782.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675880/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=163712 CPUtime=1781.27
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1697617 0 2 0 176478 1649 0 0 25 0 1 0 192984564 167641088 40210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 40928 40210 433 55 0 39820 0
Current children cumulated CPU time (s) 1781.27
Current children cumulated vsize (Kb) 163712

[startup+1783.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675816/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=163836 CPUtime=1782.27
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1698314 0 2 0 176578 1649 0 0 25 0 1 0 192984564 167768064 40243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 40959 40243 433 55 0 39851 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (Kb) 163836

[startup+1784.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675752/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=163844 CPUtime=1783.28
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1698670 0 2 0 176678 1650 0 0 25 0 1 0 192984564 167776256 40245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 40961 40245 433 55 0 39853 0
Current children cumulated CPU time (s) 1783.28
Current children cumulated vsize (Kb) 163844

[startup+1785.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675752/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=163844 CPUtime=1784.28
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1698874 0 2 0 176778 1650 0 0 25 0 1 0 192984564 167776256 40245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 40961 40245 433 55 0 39853 0
Current children cumulated CPU time (s) 1784.28
Current children cumulated vsize (Kb) 163844

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675752/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=163844 CPUtime=1785.29
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1699527 0 2 0 176878 1651 0 0 25 0 1 0 192984564 167776256 40245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 40961 40245 433 55 0 39853 0
Current children cumulated CPU time (s) 1785.29
Current children cumulated vsize (Kb) 163844

[startup+1787.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675752/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=163856 CPUtime=1786.29
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1700264 0 2 0 176978 1651 0 0 25 0 1 0 192984564 167788544 40248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 40964 40248 433 55 0 39856 0
Current children cumulated CPU time (s) 1786.29
Current children cumulated vsize (Kb) 163856

[startup+1788.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675752/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=163900 CPUtime=1787.29
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1700992 0 2 0 177077 1652 0 0 25 0 1 0 192984564 167833600 40251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 40975 40251 433 55 0 39867 0
Current children cumulated CPU time (s) 1787.29
Current children cumulated vsize (Kb) 163900

[startup+1789.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675560/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=164072 CPUtime=1788.3
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1701742 0 2 0 177177 1653 0 0 25 0 1 0 192984564 168009728 40293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 41018 40293 433 55 0 39910 0
Current children cumulated CPU time (s) 1788.3
Current children cumulated vsize (Kb) 164072

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675496/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=164124 CPUtime=1789.31
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1702351 0 2 0 177277 1654 0 0 25 0 1 0 192984564 168062976 40312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 41031 40312 433 55 0 39923 0
Current children cumulated CPU time (s) 1789.31
Current children cumulated vsize (Kb) 164124

[startup+1791.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675432/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=164140 CPUtime=1790.31
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1702846 0 2 0 177377 1654 0 0 25 0 1 0 192984564 168079360 40319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 41035 40319 433 55 0 39927 0
Current children cumulated CPU time (s) 1790.31
Current children cumulated vsize (Kb) 164140

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675432/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=164188 CPUtime=1791.32
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1703289 0 2 0 177477 1655 0 0 25 0 1 0 192984564 168128512 40331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 41047 40331 433 55 0 39939 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (Kb) 164188

[startup+1793.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675432/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=164188 CPUtime=1792.32
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1703523 0 2 0 177577 1655 0 0 25 0 1 0 192984564 168128512 40331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 41047 40331 433 55 0 39939 0
Current children cumulated CPU time (s) 1792.32
Current children cumulated vsize (Kb) 164188

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675432/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=164188 CPUtime=1793.32
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1703798 0 2 0 177677 1655 0 0 25 0 1 0 192984564 168128512 40331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 41047 40331 433 55 0 39939 0
Current children cumulated CPU time (s) 1793.32
Current children cumulated vsize (Kb) 164188

[startup+1795.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675368/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=164200 CPUtime=1794.32
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1704340 0 2 0 177777 1655 0 0 25 0 1 0 192984564 168140800 40334 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159299589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 41050 40334 433 55 0 39942 0
Current children cumulated CPU time (s) 1794.32
Current children cumulated vsize (Kb) 164200

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675304/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=164284 CPUtime=1795.33
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1705015 0 2 0 177877 1656 0 0 25 0 1 0 192984564 168226816 40355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 41071 40355 433 55 0 39963 0
Current children cumulated CPU time (s) 1795.33
Current children cumulated vsize (Kb) 164284

[startup+1797.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675304/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=164300 CPUtime=1796.34
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1705645 0 2 0 177977 1657 0 0 25 0 1 0 192984564 168243200 40359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 41075 40359 433 55 0 39967 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (Kb) 164300

[startup+1798.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675240/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=164360 CPUtime=1797.34
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1706239 0 2 0 178077 1657 0 0 25 0 1 0 192984564 168304640 40374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 41090 40374 433 55 0 39982 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (Kb) 164360

[startup+1799.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675240/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=164416 CPUtime=1798.35
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1707139 0 2 0 178177 1658 0 0 25 0 1 0 192984564 168361984 40378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 41104 40378 433 55 0 39996 0
Current children cumulated CPU time (s) 1798.35
Current children cumulated vsize (Kb) 164416

[startup+1800.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 18159
/proc/meminfo: memFree=675112/2055920 swapFree=4181356/4192956
[pid=17962] ppid=17960 vsize=164520 CPUtime=1799.35
/proc/17962/stat : 17962 (bsolo) R 17960 17962 17916 0 -1 0 1708197 0 2 0 178276 1659 0 0 25 0 1 0 192984564 168468480 40403 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17962/statm: 41130 40403 433 55 0 40022 0
Current children cumulated CPU time (s) 1799.35
Current children cumulated vsize (Kb) 164520

Child status: 10
Real time (s): 1800.88
CPU time (s): 1800.04
CPU user time (s): 1783.41
CPU system time (s): 16.6325
CPU usage (%): 99.9535
Max. virtual memory (cumulated for all children) (Kb): 164520

Launcher Data (download as text)

Begin job on node34 on Fri Jun  2 18:33:27 UTC 2006


FILE ID= 40074-1149273207

PBS_JOBID= 301575

BENCH NAME= ROOT/tmp/node34/40074-1149273207/instance-40074-1149273207.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40074-1149273207/instance-40074-1149273207.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-40074-1149273207 -o ROOT/results/node34/solver-40074-1149273207 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40074-1149273207/instance-40074-1149273207.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  08913f3dd730f4c3a659694fd4c06001

RANDOM SEED= 126372584


/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.277
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.277
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:        836504 kB
Buffers:         31748 kB
Cached:        1113112 kB
SwapCached:       3524 kB
Active:          44028 kB
Inactive:      1109788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        836504 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14900 kB
Slab:            51640 kB
Committed_AS:   293492 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node34 on Fri Jun  2 19:03:28 UTC 2006