Trace number 39776

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/05SAT44712 1800.05 1800.7

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-gt2.opb
MD5SUMfbf213ed65afe4e66abc3948eb02a29f
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21166
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 21166
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 62376
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 3092598
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 62376
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 3092598
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

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.035
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.32
0.48	c Restart #6 #Var: 556 LB: 0 @ 0.463
0.63	c Restart #7 #Var: 556 LB: 0 @ 0.618
0.90	c Restart #8 #Var: 556 LB: 0 @ 0.887
1.10	c Restart #9 #Var: 556 LB: 0 @ 1.091
1.51	c Restart #10 #Var: 556 LB: 0 @ 1.501
1.79	c Restart #11 #Var: 556 LB: 0 @ 1.774
2.20	c Restart #12 #Var: 556 LB: 0 @ 2.189
2.48	c Restart #13 #Var: 556 LB: 0 @ 2.464
2.96	c Restart #14 #Var: 556 LB: 0 @ 2.944
3.77	c Restart #15 #Var: 556 LB: 0 @ 3.755
4.72	c Restart #16 #Var: 556 LB: 0 @ 4.706
5.41	c Restart #17 #Var: 556 LB: 0 @ 5.394
5.94	c Restart #18 #Var: 556 LB: 0 @ 5.922
6.53	c Restart #19 #Var: 556 LB: 0 @ 6.509
7.41	c Restart #20 #Var: 556 LB: 0 @ 7.395
7.66	c Sol. found (all assignments made)...
7.66	o 369550
7.66	c NEW SOLUTION FOUND: 369550 @ 7.645
7.66	c Sol. found (all assignments made)...
7.66	c Sol. found (all assignments made)...
7.66	o 367624
7.66	c NEW SOLUTION FOUND: 367624 @ 7.645
7.67	c Sol. found (all assignments made)...
7.67	c Sol. found (all assignments made)...
7.67	c Sol. found (all assignments made)...
7.67	o 365698
7.67	c NEW SOLUTION FOUND: 365698 @ 7.65
8.42	c Restart #21 #Var: 556 LB: 0 @ 8.397
9.29	c Restart #22 #Var: 556 LB: 0 @ 9.268
10.18	c Restart #23 #Var: 556 LB: 0 @ 10.163
10.90	c Restart #24 #Var: 556 LB: 0 @ 10.882
12.69	c CHANGE to LPR mode... 	UB: 365698	MIS: 0	LPR: 13790 (0.0099)	Diff: 0
12.69	c Restart #0 #Var: 556 LB: 0 @ 12.662
14.42	o 207891
14.42	c NEW SOLUTION FOUND: 207891 @ 14.399
14.43	o 200701
14.43	c NEW SOLUTION FOUND: 200701 @ 14.402
14.43	o 200046
14.43	c NEW SOLUTION FOUND: 200046 @ 14.405
14.44	o 197601
14.44	c NEW SOLUTION FOUND: 197601 @ 14.419
14.45	o 196451
14.45	c NEW SOLUTION FOUND: 196451 @ 14.422
14.52	o 193351
14.52	c NEW SOLUTION FOUND: 193351 @ 14.499
14.54	o 190746
14.54	c NEW SOLUTION FOUND: 190746 @ 14.513
14.55	o 190251
14.55	c NEW SOLUTION FOUND: 190251 @ 14.521
14.60	o 187646
14.60	c NEW SOLUTION FOUND: 187646 @ 14.579
14.62	o 187151
14.62	c NEW SOLUTION FOUND: 187151 @ 14.59
14.68	o 185880
14.68	c NEW SOLUTION FOUND: 185880 @ 14.657
14.70	o 185720
14.70	c NEW SOLUTION FOUND: 185720 @ 14.673
14.70	o 185225
14.70	c NEW SOLUTION FOUND: 185225 @ 14.674
14.79	o 182028
14.79	c NEW SOLUTION FOUND: 182028 @ 14.762
14.79	o 181533
14.79	c NEW SOLUTION FOUND: 181533 @ 14.764
14.81	o 181373
14.81	c NEW SOLUTION FOUND: 181373 @ 14.784
14.90	o 180102
14.90	c NEW SOLUTION FOUND: 180102 @ 14.873
14.90	o 179607
14.90	c NEW SOLUTION FOUND: 179607 @ 14.874
14.92	o 179447
14.92	c NEW SOLUTION FOUND: 179447 @ 14.897
14.95	o 177521
14.95	c NEW SOLUTION FOUND: 177521 @ 14.925
15.20	o 173829
15.20	c NEW SOLUTION FOUND: 173829 @ 15.178
15.24	o 173669
15.24	c NEW SOLUTION FOUND: 173669 @ 15.213
15.46	o 171903
15.46	c NEW SOLUTION FOUND: 171903 @ 15.433
15.49	o 171743
15.49	c NEW SOLUTION FOUND: 171743 @ 15.465
16.37	c Restart #1 #Var: 556 LB: 13790 @ 16.343
16.53	o 80139
16.53	c NEW SOLUTION FOUND: 80139 @ 16.509
16.54	o 77869
16.54	c NEW SOLUTION FOUND: 77869 @ 16.516
16.63	o 77709
16.63	c NEW SOLUTION FOUND: 77709 @ 16.603
16.71	o 77454
16.71	c NEW SOLUTION FOUND: 77454 @ 16.685
18.04	o 77277
18.04	c NEW SOLUTION FOUND: 77277 @ 18.009
18.04	o 71907
18.04	c NEW SOLUTION FOUND: 71907 @ 18.015
18.05	o 69222
18.05	c NEW SOLUTION FOUND: 69222 @ 18.02
21.04	c Restart #2 #Var: 556 LB: 13790 @ 21.014
25.91	c Restart #3 #Var: 556 LB: 13790 @ 25.885
28.70	o 68818
28.70	c NEW SOLUTION FOUND: 68818 @ 28.667
32.38	c Restart #4 #Var: 556 LB: 13790 @ 32.354
34.38	o 68366
34.38	c NEW SOLUTION FOUND: 68366 @ 34.344
38.53	o 67738
38.53	c NEW SOLUTION FOUND: 67738 @ 38.495
40.87	o 67559
40.87	c NEW SOLUTION FOUND: 67559 @ 40.833
43.78	o 66585
43.78	c NEW SOLUTION FOUND: 66585 @ 43.743
44.86	o 65755
44.86	c NEW SOLUTION FOUND: 65755 @ 44.827
47.99	o 65576
47.99	c NEW SOLUTION FOUND: 65576 @ 47.953
49.62	o 65542
49.62	c NEW SOLUTION FOUND: 65542 @ 49.587
49.87	o 65127
49.87	c NEW SOLUTION FOUND: 65127 @ 49.835
52.64	o 64948
52.64	c NEW SOLUTION FOUND: 64948 @ 52.603
54.16	o 64772
54.16	c NEW SOLUTION FOUND: 64772 @ 54.121
58.28	o 64357
58.28	c NEW SOLUTION FOUND: 64357 @ 58.237
62.89	c Restart #5 #Var: 556 LB: 13790 @ 62.848
68.73	c Restart #6 #Var: 556 LB: 13790 @ 68.688
79.22	c Restart #7 #Var: 556 LB: 13790 @ 79.17
88.06	c Restart #8 #Var: 556 LB: 13790 @ 88.013
103.74	c Restart #9 #Var: 556 LB: 13790 @ 103.69
120.41	c Restart #10 #Var: 556 LB: 13790 @ 120.35
121.99	o 64210
121.99	c NEW SOLUTION FOUND: 64210 @ 121.92
124.14	o 64031
124.14	c NEW SOLUTION FOUND: 64031 @ 124.08
139.77	o 63635
139.77	c NEW SOLUTION FOUND: 63635 @ 139.7
143.63	o 62775
143.63	c NEW SOLUTION FOUND: 62775 @ 143.56
143.64	o 62280
143.64	c NEW SOLUTION FOUND: 62280 @ 143.57
143.70	o 60919
143.70	c NEW SOLUTION FOUND: 60919 @ 143.63
143.72	o 60089
143.72	c NEW SOLUTION FOUND: 60089 @ 143.65
147.41	o 59929
147.41	c NEW SOLUTION FOUND: 59929 @ 147.34
149.37	o 58809
149.37	c NEW SOLUTION FOUND: 58809 @ 149.3
149.38	o 58314
149.38	c NEW SOLUTION FOUND: 58314 @ 149.31
154.81	o 57957
154.81	c NEW SOLUTION FOUND: 57957 @ 154.74
154.81	o 57462
154.81	c NEW SOLUTION FOUND: 57462 @ 154.74
154.92	o 57365
154.92	c NEW SOLUTION FOUND: 57365 @ 154.85
156.87	o 56950
156.87	c NEW SOLUTION FOUND: 56950 @ 156.79
158.44	o 56085
158.44	c NEW SOLUTION FOUND: 56085 @ 158.37
158.45	o 55590
158.45	c NEW SOLUTION FOUND: 55590 @ 158.38
162.00	o 55460
162.00	c NEW SOLUTION FOUND: 55460 @ 161.92
162.01	o 54965
162.01	c NEW SOLUTION FOUND: 54965 @ 161.94
171.30	o 54232
171.30	c NEW SOLUTION FOUND: 54232 @ 171.22
171.33	o 53242
171.33	c NEW SOLUTION FOUND: 53242 @ 171.25
171.34	o 52412
171.34	c NEW SOLUTION FOUND: 52412 @ 171.26
172.72	o 51997
172.72	c NEW SOLUTION FOUND: 51997 @ 172.65
173.11	o 51132
173.11	c NEW SOLUTION FOUND: 51132 @ 173.04
173.13	o 50637
173.13	c NEW SOLUTION FOUND: 50637 @ 173.05
176.17	o 50222
176.17	c NEW SOLUTION FOUND: 50222 @ 176.09
183.26	o 49312
183.26	c NEW SOLUTION FOUND: 49312 @ 183.18
184.27	o 48897
184.27	c NEW SOLUTION FOUND: 48897 @ 184.19
184.63	o 48032
184.63	c NEW SOLUTION FOUND: 48032 @ 184.55
184.70	o 47537
184.70	c NEW SOLUTION FOUND: 47537 @ 184.62
186.51	o 47407
186.51	c NEW SOLUTION FOUND: 47407 @ 186.43
186.61	o 46912
186.61	c NEW SOLUTION FOUND: 46912 @ 186.53
207.12	o 46733
207.12	c NEW SOLUTION FOUND: 46733 @ 207.03
268.95	c Restart #11 #Var: 556 LB: 13790 @ 268.82
297.61	c Restart #12 #Var: 556 LB: 13790 @ 297.48
361.26	c Restart #13 #Var: 556 LB: 13790 @ 361.11
381.95	o 46627
381.95	c NEW SOLUTION FOUND: 46627 @ 381.78
405.75	c Restart #14 #Var: 556 LB: 13791 @ 405.58
477.47	o 46609
477.47	c NEW SOLUTION FOUND: 46609 @ 477.27
505.53	o 46251
505.53	c NEW SOLUTION FOUND: 46251 @ 505.32
513.03	o 46194
513.03	c NEW SOLUTION FOUND: 46194 @ 512.82
560.20	o 46072
560.20	c NEW SOLUTION FOUND: 46072 @ 559.97
560.24	o 46069
560.24	c NEW SOLUTION FOUND: 46069 @ 560.02
560.28	o 45444
560.28	c NEW SOLUTION FOUND: 45444 @ 560.05
570.42	o 45265
570.42	c NEW SOLUTION FOUND: 45265 @ 570.19
610.90	c Restart #15 #Var: 556 LB: 13791 @ 610.66
673.92	c Restart #16 #Var: 556 LB: 13791 @ 673.65
698.65	c Sol. found (all assignments made)...
700.96	c Sol. found (all assignments made)...
701.50	c Restart #17 #Var: 556 LB: 13791 @ 701.23
745.83	c Restart #18 #Var: 556 LB: 13791 @ 745.54
838.09	c Restart #19 #Var: 556 LB: 13791 @ 837.77
910.55	c Restart #20 #Var: 556 LB: 13791 @ 910.21
988.41	c Restart #21 #Var: 556 LB: 13791 @ 988.04
1059.96	c Restart #22 #Var: 556 LB: 13791 @ 1059.6
1195.75	c Restart #23 #Var: 556 LB: 13797 @ 1195.3
1317.35	c Restart #24 #Var: 556 LB: 13797 @ 1316.9
1419.45	c Restart #25 #Var: 556 LB: 13797 @ 1418.9
1437.11	o 44712
1437.11	c NEW SOLUTION FOUND: 44712 @ 1436.6
1545.47	c Restart #26 #Var: 556 LB: 13797 @ 1544.9
1800.66	s SATISFIABLE
1800.66	c Cost: 44712
1800.66	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.66	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.66	v -x152 -x193 -x194 -x195 -x196 -x236 -x237 -x238 -x239 -x283 -x284 -x285 -x286 -x331 -x332 -x333 -x334 -x379 -x380 -x381 -x382
1800.66	v -x427 -x428 -x429 -x430 -x471 -x472 -x473 -x474 -x514 -x515 -x516 -x517 -x9 -x10 -x11 -x12 -x57 -x58 -x59 -x60 -x105 -x106
1800.66	v -x107 -x108 -x153 -x154 -x155 -x156 -x197 -x198 -x199 -x200 -x240 -x241 -x242 -x243 -x287 -x288 -x289 -x290 -x335 -x336 -x337
1800.66	v -x338 -x383 -x384 -x385 -x386 -x431 -x432 -x433 -x434 -x475 -x476 -x477 -x478 -x518 -x519 -x520 -x521 -x13 -x61 -x109 -x157
1800.66	v -x201 -x244 -x291 -x339 -x387 -x435 -x479 -x522 -x14 -x15 -x16 -x62 -x63 -x64 -x110 -x111 -x112 -x158 -x159 -x160 -x202 -x203
1800.66	v -x204 -x245 -x246 -x247 -x292 -x293 -x294 -x340 -x341 -x342 -x388 -x389 -x390 -x436 -x437 -x438 -x480 -x481 -x482 -x523 -x524
1800.66	v -x525 -x17 -x18 -x19 -x20 -x65 -x66 -x67 -x68 x113 -x114 -x115 -x116 -x161 -x162 x163 -x164 -x205 -x206 -x207 -x208 -x248 -x249
1800.66	v -x250 -x251 -x295 -x296 -x297 -x298 -x343 -x344 -x345 -x346 -x391 -x392 -x393 -x394 -x439 -x440 -x441 -x442 -x483 -x484 -x485
1800.66	v -x486 -x526 -x527 -x528 -x529 -x209 -x210 -x211 -x252 -x253 -x254 -x487 -x488 -x489 -x530 -x531 -x532 -x21 -x22 -x23 -x24
1800.66	v -x69 -x70 -x71 -x72 -x117 -x118 x119 -x120 -x165 -x166 -x167 -x168 -x299 -x300 -x301 -x302 -x347 -x348 -x349 -x350 -x395 -x396
1800.66	v -x397 -x398 -x443 -x444 -x445 -x446 -x25 -x26 -x27 -x73 -x74 -x75 -x121 -x122 -x123 -x169 -x170 -x171 -x212 -x213 -x214 -x255
1800.66	v -x256 x257 -x303 -x304 -x305 -x351 -x352 -x353 x399 -x400 -x401 -x447 -x448 -x449 -x490 -x491 -x492 -x533 -x534 -x535 -x28
1800.66	v -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 -x82
1800.66	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134
1800.66	v -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183
1800.66	v -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227
1800.66	v x228 -x229 -x230 -x231 -x232 -x233 -x234 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1800.66	v -x272 -x273 -x274 -x275 -x276 -x277 -x306 -x307 x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
1800.66	v -x321 -x322 -x323 -x324 -x325 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369
1800.66	v -x370 -x371 -x372 -x373 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
1800.66	v -x419 -x420 -x421 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467
1800.66	v -x468 -x469 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 x507 -x508 -x509 -x510 -x511
1800.66	v -x512 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555
1800.66	v -x48 -x96 -x144 -x192 -x235 -x278 -x326 x374 -x422 -x470 -x513 -x556
1800.66	c Exit Code: 10
1800.66	c Total time: 1800 s

Verifier Data (download as text)

OK	44712

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 12422
/proc/meminfo: memFree=1348176/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=4664 CPUtime=0
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 139 0 0 0 0 0 0 0 18 0 1 0 190247316 4775936 120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11244736 0 0 4096 0 0 0 0 17 1 0 0
/proc/12422/statm: 1166 123 103 55 0 46 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 12422
/proc/meminfo: memFree=1319128/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=33456 CPUtime=9.98
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 7633 0 0 0 991 7 0 0 25 0 1 0 190247316 34258944 7548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 8364 7548 297 55 0 7256 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 33456

[startup+20.0098 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 12422
/proc/meminfo: memFree=1311192/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=40884 CPUtime=19.98
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 18752 0 2 0 1977 21 0 0 25 0 1 0 190247316 41865216 9524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 10221 9524 428 55 0 9113 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 40884

[startup+30.0167 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 12422
/proc/meminfo: memFree=1309080/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=42992 CPUtime=29.98
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 44077 0 2 0 2950 48 0 0 25 0 1 0 190247316 44023808 10050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 10748 10050 428 55 0 9640 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 42992

[startup+40.0225 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 12422
/proc/meminfo: memFree=1306392/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=45668 CPUtime=39.98
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 66327 0 2 0 3925 73 0 0 25 0 1 0 190247316 46764032 10712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 11417 10712 428 55 0 10309 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 45668

[startup+50.0294 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 12422
/proc/meminfo: memFree=1303704/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=48372 CPUtime=49.98
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 84550 0 2 0 4904 94 0 0 25 0 1 0 190247316 49532928 11396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 12093 11396 428 55 0 10985 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 48372

[startup+60.0352 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 12422
/proc/meminfo: memFree=1301592/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=50612 CPUtime=59.98
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 102091 0 2 0 5881 117 0 0 25 0 1 0 190247316 51826688 11922 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159473525 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 12625 11921 428 55 0 11517 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 50612

[startup+70.041 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 12422
/proc/meminfo: memFree=1298904/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=53164 CPUtime=69.99
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 119896 0 2 0 6858 141 0 0 25 0 1 0 190247316 54439936 12587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 13291 12587 428 55 0 12183 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 53164

[startup+80.0469 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 12422
/proc/meminfo: memFree=1296408/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=55652 CPUtime=80
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 136538 0 2 0 7843 157 0 0 25 0 1 0 190247316 56987648 13216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134683336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 13913 13216 428 55 0 12805 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 55652

[startup+90.0527 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 12422
/proc/meminfo: memFree=1294296/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=57652 CPUtime=90
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 148195 0 2 0 8829 171 0 0 25 0 1 0 190247316 59035648 13714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 14413 13714 428 55 0 13305 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 57652

[startup+100.059 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 12422
/proc/meminfo: memFree=1292056/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=60012 CPUtime=100
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 157968 0 2 0 9814 186 0 0 25 0 1 0 190247316 61452288 14304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 15003 14304 428 55 0 13895 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 60012

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 12422
/proc/meminfo: memFree=1290200/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=61908 CPUtime=110
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 173935 0 2 0 10798 202 0 0 25 0 1 0 190247316 63393792 14775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 15477 14775 428 55 0 14369 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 61908

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12422
/proc/meminfo: memFree=1288792/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=63276 CPUtime=120
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 185177 0 2 0 11783 217 0 0 25 0 1 0 190247316 64794624 15119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535944 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 15819 15119 428 55 0 14711 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 63276

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12422
/proc/meminfo: memFree=1287384/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=64628 CPUtime=130.01
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 193373 0 2 0 12770 231 0 0 25 0 1 0 190247316 66179072 15458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 16157 15458 428 55 0 15049 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 64628

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12422
/proc/meminfo: memFree=1286488/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=65580 CPUtime=140.01
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 206354 0 2 0 13749 252 0 0 25 0 1 0 190247316 67153920 15684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 16395 15684 428 55 0 15287 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 65580

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12422
/proc/meminfo: memFree=1285272/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=66744 CPUtime=150.01
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 221269 0 2 0 14730 271 0 0 25 0 1 0 190247316 68345856 15987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 16686 15987 428 55 0 15578 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 66744

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12422
/proc/meminfo: memFree=1284440/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=67728 CPUtime=160.01
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 234435 0 2 0 15714 287 0 0 25 0 1 0 190247316 69353472 16195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 16932 16196 428 55 0 15824 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 67728

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12422
/proc/meminfo: memFree=1283800/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=68264 CPUtime=170.02
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 244381 0 2 0 16700 302 0 0 25 0 1 0 190247316 69902336 16362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 17066 16362 428 55 0 15958 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 68264

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12422
/proc/meminfo: memFree=1282968/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=69092 CPUtime=180.02
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 256915 0 2 0 17684 318 0 0 25 0 1 0 190247316 70750208 16573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 17273 16573 428 55 0 16165 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 69092

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12422
/proc/meminfo: memFree=1282264/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=69780 CPUtime=190.02
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 267852 0 2 0 18669 333 0 0 25 0 1 0 190247316 71454720 16745 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 17445 16745 428 55 0 16337 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 69780

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12422
/proc/meminfo: memFree=1281688/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=70332 CPUtime=200.02
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 278122 0 2 0 19657 345 0 0 25 0 1 0 190247316 72019968 16880 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 17583 16880 428 55 0 16475 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 70332

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12422
/proc/meminfo: memFree=1281112/2055920 swapFree=4181400/4192956

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

/proc/12422/statm: 49256 48538 431 55 0 48148 0
Current children cumulated CPU time (s) 1760.41
Current children cumulated vsize (Kb) 197024

[startup+1771.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197440 CPUtime=1770.41
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1240132 0 2 0 175477 1564 0 0 25 0 1 0 190247316 202178560 48642 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49360 48642 431 55 0 48252 0
Current children cumulated CPU time (s) 1770.41
Current children cumulated vsize (Kb) 197440

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1780.42
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1241781 0 2 0 176474 1568 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1780.42
Current children cumulated vsize (Kb) 197428

[startup+1782.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1781.42
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1241904 0 2 0 176574 1568 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (Kb) 197428

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1782.43
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1242024 0 2 0 176674 1569 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1782.43
Current children cumulated vsize (Kb) 197428

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1783.43
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1242144 0 2 0 176774 1569 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1783.43
Current children cumulated vsize (Kb) 197428

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1784.43
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1242291 0 2 0 176874 1569 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1784.43
Current children cumulated vsize (Kb) 197428

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1785.44
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1242392 0 2 0 176974 1570 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (Kb) 197428

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1786.44
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1242520 0 2 0 177074 1570 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1786.44
Current children cumulated vsize (Kb) 197428

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1787.45
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1242658 0 2 0 177174 1571 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1787.45
Current children cumulated vsize (Kb) 197428

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1788.45
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1243000 0 2 0 177274 1571 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1788.45
Current children cumulated vsize (Kb) 197428

[startup+1790.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1789.46
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1243128 0 2 0 177375 1571 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520355 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1789.46
Current children cumulated vsize (Kb) 197428

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1790.46
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1243308 0 2 0 177475 1571 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1790.46
Current children cumulated vsize (Kb) 197428

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1791.47
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1243657 0 2 0 177575 1572 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (Kb) 197428

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1792.47
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1243791 0 2 0 177675 1572 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1792.47
Current children cumulated vsize (Kb) 197428

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1793.48
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1243930 0 2 0 177775 1573 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1793.48
Current children cumulated vsize (Kb) 197428

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1794.48
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1244306 0 2 0 177875 1573 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (Kb) 197428

[startup+1796.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1795.49
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1244441 0 2 0 177975 1574 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1795.49
Current children cumulated vsize (Kb) 197428

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1796.49
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1244695 0 2 0 178075 1574 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (Kb) 197428

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1797.5
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1244835 0 2 0 178175 1575 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158589737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (Kb) 197428

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197484 CPUtime=1798.5
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1245181 0 2 0 178275 1575 0 0 25 0 1 0 190247316 202223616 48640 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49371 48640 431 55 0 48263 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (Kb) 197484

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12617
/proc/meminfo: memFree=1153880/2055920 swapFree=4181400/4192956
[pid=12422] ppid=12420 vsize=197428 CPUtime=1799.5
/proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1245455 0 2 0 178375 1575 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12422/statm: 49357 48639 431 55 0 48249 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (Kb) 197428

Child status: 10
Real time (s): 1800.7
CPU time (s): 1800.05
CPU user time (s): 1784.26
CPU system time (s): 15.7916
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (Kb): 197484

Launcher Data (download as text)

Begin job on node44 on Fri Jun  2 10:56:45 UTC 2006


FILE ID= 39776-1149245805

PBS_JOBID= 297731

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  fbf213ed65afe4e66abc3948eb02a29f

RANDOM SEED= 909928425


/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.261
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.261
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:       1348384 kB
Buffers:         25024 kB
Cached:         610688 kB
SwapCached:       3488 kB
Active:          67440 kB
Inactive:       577264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1348384 kB
SwapTotal:     4192956 kB
SwapFree:      4181400 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14948 kB
Slab:            48828 kB
Committed_AS:   230920 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node44 on Fri Jun  2 11:26:46 UTC 2006