Trace number 39957

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/05SAT0 1800.17 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc105.opb
MD5SUM9af0146fd6df1c22fb98014c5db68dfb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables3090
Total number of constraints104
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 constraints104
Minimum length of a constraint60
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524370
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.01	c INFO: OSL Context initialized.
0.06	c Initial problem consists of 3090 variables and 149 constraints.
0.07	c No problem reductions applied in OPT. instance.
0.07	c	preprocess terminated. Elapsed time: 0.058
0.07	c After prepocess the problem consists of 2627 variables and 149 constraints.
0.07	c Initial Lower Bound: -1044
0.12	c Restart #1 #Var: 2627 LB: -1044 @ 0.109
0.22	c Restart #2 #Var: 2627 LB: -1044 @ 0.214
0.35	c Restart #3 #Var: 2627 LB: -1044 @ 0.339
0.55	c Restart #4 #Var: 2627 LB: -1044 @ 0.535
0.79	c Restart #5 #Var: 2627 LB: -1044 @ 0.778
1.06	c Restart #6 #Var: 2627 LB: -1044 @ 1.046
1.36	c Restart #7 #Var: 2627 LB: -1044 @ 1.345
1.73	c Restart #8 #Var: 2627 LB: -1044 @ 1.716
1.97	c Restart #9 #Var: 2627 LB: -1044 @ 1.963
2.19	c Restart #10 #Var: 2626 LB: -1044 @ 2.184
3.94	c Restart #11 #Var: 2623 LB: -1044 @ 3.931
5.03	c Restart #12 #Var: 2623 LB: -1044 @ 5.021
5.49	c Restart #13 #Var: 2601 LB: -1044 @ 5.484
7.92	c Restart #14 #Var: 2601 LB: -1044 @ 7.911
8.33	c Restart #15 #Var: 2601 LB: -1044 @ 8.317
9.00	c Restart #16 #Var: 2570 LB: -531 @ 8.987
10.18	c Restart #17 #Var: 2570 LB: -531 @ 10.163
12.94	c Restart #18 #Var: 2570 LB: -531 @ 12.922
13.37	c Restart #19 #Var: 2570 LB: -531 @ 13.353
14.78	c Restart #20 #Var: 2569 LB: -531 @ 14.765
15.34	c Restart #21 #Var: 2569 LB: -531 @ 15.326
21.93	c Restart #22 #Var: 2569 LB: -531 @ 21.914
28.14	c Restart #23 #Var: 2569 LB: -531 @ 28.114
28.21	c Sol. found (all assignments made)...
28.21	o 0
28.21	c NEW SOLUTION FOUND: 0 @ 28.186
29.17	c Restart #24 #Var: 2460 LB: -531 @ 29.152
29.79	c Restart #25 #Var: 2459 LB: -531 @ 29.77
30.93	c Restart #26 #Var: 2448 LB: -531 @ 30.904
32.17	c Restart #27 #Var: 2445 LB: -531 @ 32.145
33.73	c CHANGE to MIS mode... 	UB: 0	MIS: -531	LPR: -280 (0.0645)	Diff: 1.8964
33.73	c Restart #0 #Var: 2444 LB: -531 @ 33.7
33.86	c Restart #1 #Var: 2420 LB: -274 @ 33.826
34.07	c Restart #2 #Var: 2420 LB: -274 @ 34.039
34.23	c Restart #3 #Var: 2420 LB: -274 @ 34.197
34.49	c Restart #4 #Var: 2418 LB: -274 @ 34.455
35.26	c Restart #5 #Var: 2418 LB: -274 @ 35.231
37.54	c Restart #6 #Var: 2418 LB: -274 @ 37.503
38.65	c Restart #7 #Var: 2418 LB: -274 @ 38.62
40.95	c Restart #8 #Var: 2418 LB: -274 @ 40.918
41.28	c Restart #9 #Var: 2418 LB: -274 @ 41.249
42.42	c Restart #10 #Var: 2375 LB: -274 @ 42.386
43.20	c Restart #11 #Var: 2375 LB: -274 @ 43.168
44.53	c Restart #12 #Var: 2375 LB: -274 @ 44.494
47.30	c Restart #13 #Var: 2373 LB: -274 @ 47.261
51.85	c Restart #14 #Var: 2373 LB: -274 @ 51.811
55.25	c Restart #15 #Var: 2373 LB: -274 @ 55.212
56.81	c Restart #16 #Var: 2373 LB: -274 @ 56.776
59.80	c Restart #17 #Var: 2373 LB: -274 @ 59.756
64.06	c Restart #18 #Var: 2373 LB: -274 @ 64.015
64.91	c Restart #19 #Var: 2373 LB: -274 @ 64.865
66.67	c Restart #20 #Var: 2365 LB: -274 @ 66.627
73.51	c Restart #21 #Var: 2362 LB: -274 @ 73.47
78.09	c Restart #22 #Var: 2362 LB: -274 @ 78.045
83.18	c Restart #23 #Var: 2361 LB: -274 @ 83.134
85.65	c Restart #24 #Var: 2361 LB: -274 @ 85.606
87.43	c Restart #25 #Var: 2361 LB: -274 @ 87.384
95.18	c Restart #26 #Var: 2361 LB: -274 @ 95.126
99.55	c Restart #27 #Var: 2361 LB: -274 @ 99.5
106.16	c Restart #28 #Var: 2343 LB: -145 @ 106.11
111.45	c Restart #29 #Var: 2343 LB: -145 @ 111.39
125.65	c Restart #30 #Var: 2343 LB: -145 @ 125.59
134.12	c Restart #31 #Var: 2343 LB: -145 @ 134.06
136.48	c Restart #32 #Var: 2343 LB: -145 @ 136.42
155.55	c Restart #33 #Var: 2343 LB: -145 @ 155.48
171.53	c Restart #34 #Var: 2343 LB: -145 @ 171.45
177.59	c Restart #35 #Var: 2343 LB: -145 @ 177.51
194.57	c Restart #36 #Var: 2343 LB: -145 @ 194.49
198.54	c Restart #37 #Var: 2343 LB: -145 @ 198.46
222.40	c Restart #38 #Var: 2343 LB: -145 @ 222.31
236.20	c Restart #39 #Var: 2343 LB: -145 @ 236.1
238.02	c Restart #40 #Var: 2343 LB: -145 @ 237.92
292.57	c Restart #41 #Var: 2343 LB: -145 @ 292.46
307.97	c Restart #42 #Var: 2343 LB: -145 @ 307.86
312.68	c Restart #43 #Var: 2343 LB: -145 @ 312.57
316.49	c Restart #44 #Var: 2343 LB: -145 @ 316.38
331.12	c Restart #45 #Var: 2343 LB: -145 @ 331
336.59	c Restart #46 #Var: 2343 LB: -145 @ 336.47
369.80	c Restart #47 #Var: 2343 LB: -145 @ 369.67
421.28	c Restart #48 #Var: 2343 LB: -145 @ 421.13
507.06	c Restart #49 #Var: 2343 LB: -145 @ 506.89
509.37	c Restart #50 #Var: 2343 LB: -145 @ 509.2
520.64	c Restart #51 #Var: 2343 LB: -145 @ 520.47
559.00	c Restart #52 #Var: 2343 LB: -145 @ 558.81
591.09	c Restart #53 #Var: 2343 LB: -145 @ 590.89
634.37	c Restart #54 #Var: 2343 LB: -145 @ 634.16
682.69	c Restart #55 #Var: 2343 LB: -145 @ 682.47
693.10	c Restart #56 #Var: 2343 LB: -145 @ 692.88
706.02	c Restart #57 #Var: 2343 LB: -145 @ 705.79
735.17	c Restart #58 #Var: 2343 LB: -145 @ 734.94
737.67	c Restart #59 #Var: 2343 LB: -145 @ 737.43
778.91	c Restart #60 #Var: 2343 LB: -145 @ 778.66
804.85	c Restart #61 #Var: 2343 LB: -145 @ 804.59
963.24	c Restart #62 #Var: 2343 LB: -145 @ 962.93
974.60	c Restart #63 #Var: 2343 LB: -145 @ 974.29
1016.36	c Restart #64 #Var: 2343 LB: -145 @ 1016
1081.41	c Restart #65 #Var: 2343 LB: -145 @ 1081.1
1260.28	c Restart #66 #Var: 2343 LB: -145 @ 1259.9
1282.01	c Restart #67 #Var: 2343 LB: -145 @ 1281.6
1307.11	c Restart #68 #Var: 2343 LB: -145 @ 1306.7
1435.62	c Restart #69 #Var: 2343 LB: -145 @ 1435.2
1524.14	c Restart #70 #Var: 2343 LB: -145 @ 1523.7
1539.49	c Restart #71 #Var: 2341 LB: -145 @ 1539
1564.02	c Restart #72 #Var: 2341 LB: -145 @ 1563.5
1712.22	c Restart #73 #Var: 2341 LB: -145 @ 1711.7
1756.88	c Restart #74 #Var: 2341 LB: -145 @ 1756.3
1800.62	s SATISFIABLE
1800.62	c Cost: 0
1800.62	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112
1800.62	v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18
1800.62	v -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44
1800.62	v -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
1800.62	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x121 -x122 -x123 -x124 -x125
1800.62	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.62	v -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 x162 x163 -x164 -x165 -x166 -x167
1800.62	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.62	v -x189 -x190 -x191 -x192 -x193 x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.62	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.62	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 x250 -x251
1800.62	v -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.62	v x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 x283 x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.62	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.62	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.62	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.62	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.62	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.62	v -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.62	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.62	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.62	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.62	v x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 x492 x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
1800.62	v -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 x526
1800.62	v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 x547
1800.62	v -x548 x549 x550 x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1800.62	v -x569 -x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 -x580 x581 x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591
1800.62	v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 x602 x603 x604 -x605 x606 x607 -x608 x609 x610 x611 -x612 -x613
1800.62	v x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 x633 -x634
1800.62	v x635 -x636 -x637 -x638 -x639 -x640 x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655
1800.62	v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676
1800.62	v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697
1800.62	v -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718
1800.62	v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739
1800.62	v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
1800.62	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781
1800.62	v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802
1800.62	v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 x822 x823 x824 -x825
1800.62	v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 x842 -x843 x844 x845 x846 x847
1800.62	v x848 x849 -x850 x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868
1800.62	v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 x888 -x889
1800.62	v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 x904 x905 x906 x907 x908 x909 x910 x911 x912
1800.62	v x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933
1800.62	v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954
1800.62	v -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 x963 x964 x965 x966 x967 x968 x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977
1800.62	v -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998
1800.62	v -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015
1800.62	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032
1800.62	v -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049
1800.62	v -x1050 x1051 x1052 x1053 x1054 x1055 x1056 x1057 x1058 x1059 x1060 x1061 x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068
1800.62	v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085
1800.62	v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102
1800.62	v -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119
1800.62	v -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136
1800.62	v -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153
1800.62	v -x1154 x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171
1800.62	v x1172 x1173 x1174 x1175 x1176 x1177 -x1178 x1179 x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
1800.62	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207
1800.62	v -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225
1800.62	v -x1226 -x1227 -x1228 -x1229 -x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 x1242 x1243 x1244 x1245
1800.62	v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 x1263
1800.62	v -x1264 x1265 x1266 x1267 -x1268 x1269 x1270 x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281
1800.62	v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300
1800.62	v x1301 x1302 x1303 x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318
1800.62	v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335
1800.62	v -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352
1800.62	v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369
1800.62	v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386
1800.62	v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403
1800.62	v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
1800.62	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437
1800.62	v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454
1800.62	v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471
1800.62	v x1472 x1473 x1474 x1475 x1476 x1477 x1478 x1479 x1480 x1481 x1482 x1483 x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491
1800.62	v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 x1502 x1503 x1504 x1505 x1506 x1507 x1508 x1509 x1510
1800.62	v x1511 x1512 x1513 x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528
1800.62	v -x1529 -x1530 x1531 x1532 x1533 x1534 x1535 x1536 x1537 x1538 x1539 x1540 x1541 x1542 x1543 -x1544 -x1545 x1546 -x1547 x1548
1800.62	v -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 x1562 x1563 x1564 x1565 x1566
1800.62	v x1567 x1568 x1569 x1570 x1571 x1572 x1573 x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585
1800.62	v -x1586 -x1587 -x1588 -x1589 -x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605
1800.62	v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 x1622 -x1623
1800.62	v x1624 x1625 x1626 x1627 x1628 x1629 x1630 x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642
1800.62	v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659
1800.62	v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677
1800.62	v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694
1800.62	v -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711
1800.62	v -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728
1800.62	v -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745
1800.62	v -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762
1800.62	v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779
1800.62	v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796
1800.62	v -x1797 -x1798 -x1799 -x1800 x1801 x1802 x1803 x1804 x1805 x1806 x1807 x1808 x1809 x1810 x1811 x1812 x1813 x1814 -x1815 x1816
1800.62	v -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 x1832 x1833 x1834
1800.62	v x1835 x1836 x1837 x1838 x1839 x1840 x1841 x1842 x1843 x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853
1800.62	v -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 x1862 x1863 x1864 x1865 x1866 x1867 x1868 x1869 x1870 x1871 x1872
1800.62	v x1873 -x1874 -x1875 x1876 x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
1800.62	v x1891 x1892 x1893 x1894 x1895 x1896 x1897 x1898 x1899 x1900 x1901 x1902 x1903 x1904 x1905 x1906 x1907 -x1908 -x1909 -x1910
1800.62	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 x1924 x1925 x1926 x1927 x1928 x1929
1800.62	v x1930 x1931 x1932 x1933 x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947
1800.62	v -x1948 -x1949 -x1950 x1951 x1952 x1953 x1954 x1955 x1956 x1957 -x1958 x1959 -x1960 x1961 x1962 x1963 x1964 -x1965 x1966
1800.62	v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983
1800.62	v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000
1800.62	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017
1800.62	v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034
1800.62	v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051
1800.62	v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068
1800.62	v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085
1800.62	v -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102
1800.62	v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119
1800.62	v -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 x2133 x2134 x2135 x2136 x2137
1800.62	v x2138 x2139 x2140 x2141 x2142 x2143 -x2144 x2145 x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156
1800.62	v -x2157 -x2158 -x2159 -x2160 x2161 x2162 x2163 x2164 x2165 x2166 x2167 x2168 x2169 x2170 x2171 x2172 x2173 x2174 -x2175 x2176
1800.62	v x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 x2192 x2193 x2194
1800.62	v x2195 x2196 x2197 x2198 x2199 x2200 x2201 x2202 x2203 -x2204 -x2205 x2206 x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213
1800.62	v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 x2222 x2223 x2224 x2225 x2226 x2227 x2228 x2229 x2230 x2231 x2232
1800.62	v x2233 x2234 x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
1800.62	v x2251 x2252 x2253 x2254 x2255 x2256 x2257 x2258 x2259 x2260 x2261 x2262 x2263 x2264 -x2265 x2266 x2267 -x2268 -x2269 -x2270
1800.62	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 x2282 x2283 x2284 x2285 x2286 x2287 x2288 x2289
1800.62	v x2290 x2291 x2292 -x2293 x2294 x2295 x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307
1800.62	v -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324
1800.62	v -x2325 x2326 x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342
1800.62	v -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359
1800.62	v -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376
1800.62	v -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393
1800.62	v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
1800.62	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427
1800.62	v -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444
1800.62	v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461
1800.62	v x2462 x2463 x2464 x2465 x2466 x2467 x2468 x2469 x2470 x2471 x2472 x2473 x2474 x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481
1800.62	v -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 x2493 x2494 x2495 x2496 x2497 x2498 x2499 x2500
1800.62	v x2501 x2502 x2503 x2504 -x2505 x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518
1800.62	v -x2519 -x2520 x2521 x2522 x2523 x2524 x2525 x2526 x2527 x2528 x2529 x2530 x2531 x2532 x2533 -x2534 -x2535 x2536 x2537 x2538
1800.62	v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 x2552 x2553 x2554 x2555 x2556
1800.62	v x2557 x2558 x2559 x2560 x2561 x2562 x2563 x2564 x2565 x2566 x2567 x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575
1800.62	v -x2576 -x2577 -x2578 -x2579 -x2580 x2581 x2582 x2583 x2584 x2585 x2586 x2587 x2588 x2589 x2590 x2591 x2592 x2593 x2594 -x2595
1800.62	v x2596 x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 x2612 x2613
1800.62	v x2614 x2615 x2616 x2617 x2618 x2619 -x2620 x2621 x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632
1800.62	v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649
1800.62	v -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666
1800.62	v -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683
1800.62	v -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
1800.62	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717
1800.62	v -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734
1800.62	v -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751
1800.62	v -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768
1800.62	v -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785
1800.62	v -x2786 -x2787 -x2788 -x2789 -x2790 x2791 x2792 x2793 x2794 x2795 x2796 x2797 x2798 x2799 x2800 x2801 x2802 x2803 x2804 x2805
1800.62	v -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 x2822 x2823
1800.62	v x2824 x2825 x2826 x2827 x2828 x2829 x2830 x2831 x2832 x2833 x2834 -x2835 x2836 x2837 x2838 -x2839 -x2840 -x2841 -x2842 -x2843
1800.62	v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 x2851 x2852 x2853 x2854 x2855 x2856 x2857 x2858 x2859 x2860 x2861 x2862
1800.62	v x2863 x2864 -x2865 -x2866 -x2867 -x2868 x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
1800.62	v x2881 x2882 x2883 x2884 x2885 x2886 x2887 x2888 x2889 x2890 x2891 x2892 x2893 x2894 x2895 x2896 x2897 x2898 x2899 -x2900
1800.62	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 x2912 x2913 x2914 x2915 x2916 x2917 x2918 x2919
1800.62	v x2920 x2921 x2922 x2923 x2924 x2925 x2926 x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938
1800.62	v -x2939 -x2940 x2941 x2942 x2943 -x2944 x2945 x2946 x2947 x2948 -x2949 x2950 x2951 x2952 x2953 -x2954 x2955 -x2956 -x2957
1800.62	v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974
1800.62	v -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991
1800.62	v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008
1800.62	v -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025
1800.62	v -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042
1800.62	v -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059
1800.62	v -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076
1800.62	v -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
1800.62	c Exit Code: 10
1800.62	c Total time: 1800.1 s

Verifier Data (download as text)

OK	0

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.96 2/64 21213
/proc/meminfo: memFree=1824408/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=4924 CPUtime=0
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 272 0 0 0 0 0 0 0 19 0 1 0 199704510 5042176 242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696960 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 1231 245 156 55 0 123 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.95 0.96 2/64 21213
/proc/meminfo: memFree=1801832/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=27140 CPUtime=9.98
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 6044 0 0 0 988 10 0 0 25 0 1 0 199704510 27791360 5959 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 6785 5959 297 55 0 5677 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 27140

[startup+20.0084 s]
/proc/loadavg: 0.94 0.96 0.96 2/64 21213
/proc/meminfo: memFree=1783984/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=44956 CPUtime=19.98
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 10494 0 0 0 1983 15 0 0 25 0 1 0 199704510 46034944 10409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540632 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 11239 10409 297 55 0 10131 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 44956

[startup+30.0138 s]
/proc/loadavg: 0.95 0.96 0.96 2/64 21213
/proc/meminfo: memFree=1770032/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=58888 CPUtime=29.99
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 13980 0 0 0 2979 20 0 0 25 0 1 0 199704510 60301312 13895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 14722 13895 298 55 0 13614 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 58888

[startup+40.0192 s]
/proc/loadavg: 0.95 0.96 0.96 2/64 21213
/proc/meminfo: memFree=1746608/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=81220 CPUtime=39.98
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 19837 0 5 0 3973 25 0 0 25 0 1 0 199704510 83169280 19548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528509 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 20305 19548 426 55 0 19197 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 81220

[startup+50.0246 s]
/proc/loadavg: 0.96 0.96 0.96 2/64 21213
/proc/meminfo: memFree=1734128/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=93748 CPUtime=49.98
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 22971 0 5 0 4968 30 0 0 25 0 1 0 199704510 95997952 22682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 23437 22682 426 55 0 22329 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 93748

[startup+60.03 s]
/proc/loadavg: 0.97 0.96 0.96 2/64 21213
/proc/meminfo: memFree=1727792/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=100084 CPUtime=59.98
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 24547 0 5 0 5966 32 0 0 25 0 1 0 199704510 102486016 24258 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 25021 24258 426 55 0 23913 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 100084

[startup+70.0355 s]
/proc/loadavg: 0.97 0.96 0.96 2/64 21213
/proc/meminfo: memFree=1718128/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=109936 CPUtime=69.99
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 26987 0 5 0 6963 36 0 0 25 0 1 0 199704510 112574464 26698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 27484 26698 426 55 0 26376 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 109936

[startup+80.0409 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 21213
/proc/meminfo: memFree=1708656/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=119300 CPUtime=79.98
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 29344 0 5 0 7959 39 0 0 25 0 1 0 199704510 122163200 29055 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 29825 29055 426 55 0 28717 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 119300

[startup+90.0463 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 21213
/proc/meminfo: memFree=1694128/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=133816 CPUtime=89.99
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 32969 0 5 0 8955 44 0 0 25 0 1 0 199704510 137027584 32680 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 33454 32680 426 55 0 32346 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 133816

[startup+100.052 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 21213
/proc/meminfo: memFree=1687664/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=140280 CPUtime=99.99
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 34575 0 5 0 9952 47 0 0 25 0 1 0 199704510 143646720 34285 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 35070 34285 426 55 0 33962 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 140280

[startup+110.057 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 21213
/proc/meminfo: memFree=1678192/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=149840 CPUtime=109.99
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 37280 0 5 0 10950 49 0 0 25 0 1 0 199704510 153436160 36648 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 37460 36648 426 55 0 36352 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 149840

[startup+120.063 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21213
/proc/meminfo: memFree=1673904/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=154064 CPUtime=120
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 38363 0 5 0 11949 51 0 0 25 0 1 0 199704510 157761536 37731 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 38516 37731 426 55 0 37408 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 154064

[startup+130.068 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21213
/proc/meminfo: memFree=1668272/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=159740 CPUtime=129.99
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 39765 0 5 0 12946 53 0 0 25 0 1 0 199704510 163573760 39133 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550876 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 39935 39133 426 55 0 38827 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 159740

[startup+140.073 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21213
/proc/meminfo: memFree=1658736/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=169252 CPUtime=140
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 42145 0 5 0 13943 57 0 0 25 0 1 0 199704510 173314048 41513 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 42313 41513 426 55 0 41205 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 169252

[startup+150.079 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21213
/proc/meminfo: memFree=1655920/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=172024 CPUtime=150
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 42844 0 5 0 14942 58 0 0 25 0 1 0 199704510 176152576 42212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719535 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 43006 42212 426 55 0 41898 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 172024

[startup+160.084 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21213
/proc/meminfo: memFree=1650416/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=177560 CPUtime=160.01
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 44215 0 5 0 15941 60 0 0 25 0 1 0 199704510 181821440 43583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528656 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 44390 43583 426 55 0 43282 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 177560

[startup+170.09 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21213
/proc/meminfo: memFree=1645232/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=182728 CPUtime=170.01
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 45511 0 5 0 16939 62 0 0 25 0 1 0 199704510 187113472 44879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 45682 44879 426 55 0 44574 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 182728

[startup+180.096 s]
/proc/loadavg: 0.99 0.97 0.96 3/64 21213
/proc/meminfo: memFree=1633776/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=194228 CPUtime=180.01
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 48368 0 5 0 17936 65 0 0 25 0 1 0 199704510 198889472 47736 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 48557 47736 426 55 0 47449 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 194228

[startup+190.102 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21213
/proc/meminfo: memFree=1629552/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=198452 CPUtime=190.02
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 49414 0 5 0 18935 67 0 0 25 0 1 0 199704510 203214848 48782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 49613 48782 426 55 0 48505 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 198452

[startup+200.108 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21213
/proc/meminfo: memFree=1617712/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=210200 CPUtime=200.02
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 52368 0 5 0 19932 70 0 0 25 0 1 0 199704510 215244800 51734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 52550 51734 426 55 0 51442 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 210200

[startup+210.114 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21213
/proc/meminfo: memFree=1616368/2055920 swapFree=4181376/4192956

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

/proc/21213/statm: 158808 157629 426 55 0 157700 0
Current children cumulated CPU time (s) 1760.43
Current children cumulated vsize (Kb) 635232

[startup+1770.98 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1192632/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=635628 CPUtime=1770.43
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160453 0 5 0 176816 227 0 0 25 0 1 0 199704510 650883072 157721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 158907 157721 426 55 0 157799 0
Current children cumulated CPU time (s) 1770.43
Current children cumulated vsize (Kb) 635628

[startup+1780.99 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1192184/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636024 CPUtime=1780.43
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160569 0 5 0 177816 227 0 0 25 0 1 0 199704510 651288576 157837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159006 157837 426 55 0 157898 0
Current children cumulated CPU time (s) 1780.43
Current children cumulated vsize (Kb) 636024

[startup+1781.99 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1192120/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636156 CPUtime=1781.44
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160579 0 5 0 177917 227 0 0 25 0 1 0 199704510 651423744 157847 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159039 157847 426 55 0 157931 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (Kb) 636156

[startup+1783 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1192056/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636156 CPUtime=1782.44
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160592 0 5 0 178017 227 0 0 25 0 1 0 199704510 651423744 157860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159039 157860 426 55 0 157931 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (Kb) 636156

[startup+1784 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1192056/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636156 CPUtime=1783.45
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160601 0 5 0 178118 227 0 0 25 0 1 0 199704510 651423744 157869 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159039 157869 426 55 0 157931 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (Kb) 636156

[startup+1785.01 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191992/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636288 CPUtime=1784.45
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160614 0 5 0 178218 227 0 0 25 0 1 0 199704510 651558912 157882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159072 157882 426 55 0 157964 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (Kb) 636288

[startup+1786.01 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191928/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636288 CPUtime=1785.45
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160624 0 5 0 178318 227 0 0 25 0 1 0 199704510 651558912 157892 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159072 157892 426 55 0 157964 0
Current children cumulated CPU time (s) 1785.45
Current children cumulated vsize (Kb) 636288

[startup+1787.02 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191864/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636288 CPUtime=1786.46
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160634 0 5 0 178419 227 0 0 25 0 1 0 199704510 651558912 157902 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159072 157902 426 55 0 157964 0
Current children cumulated CPU time (s) 1786.46
Current children cumulated vsize (Kb) 636288

[startup+1788.02 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191864/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636420 CPUtime=1787.46
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160641 0 5 0 178519 227 0 0 25 0 1 0 199704510 651694080 157909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159105 157909 426 55 0 157997 0
Current children cumulated CPU time (s) 1787.46
Current children cumulated vsize (Kb) 636420

[startup+1789.03 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191800/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636420 CPUtime=1788.47
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160654 0 5 0 178620 227 0 0 25 0 1 0 199704510 651694080 157922 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159105 157922 426 55 0 157997 0
Current children cumulated CPU time (s) 1788.47
Current children cumulated vsize (Kb) 636420

[startup+1790.03 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191736/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636420 CPUtime=1789.48
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160666 0 5 0 178720 228 0 0 25 0 1 0 199704510 651694080 157934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159105 157934 426 55 0 157997 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (Kb) 636420

[startup+1791.04 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191736/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636552 CPUtime=1790.49
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160680 0 5 0 178821 228 0 0 25 0 1 0 199704510 651829248 157948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159138 157948 426 55 0 158030 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (Kb) 636552

[startup+1792.04 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191672/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636552 CPUtime=1791.49
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160687 0 5 0 178921 228 0 0 25 0 1 0 199704510 651829248 157955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159138 157955 426 55 0 158030 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (Kb) 636552

[startup+1793.05 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191672/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636552 CPUtime=1792.49
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160697 0 5 0 179021 228 0 0 25 0 1 0 199704510 651829248 157965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533922 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159138 157965 426 55 0 158030 0
Current children cumulated CPU time (s) 1792.49
Current children cumulated vsize (Kb) 636552

[startup+1794.05 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191608/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636684 CPUtime=1793.5
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160703 0 5 0 179122 228 0 0 25 0 1 0 199704510 651964416 157971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159171 157971 426 55 0 158063 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 636684

[startup+1795.06 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191608/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636684 CPUtime=1794.5
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160707 0 5 0 179222 228 0 0 25 0 1 0 199704510 651964416 157975 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159171 157975 426 55 0 158063 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (Kb) 636684

[startup+1796.06 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191544/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636684 CPUtime=1795.51
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160722 0 5 0 179323 228 0 0 25 0 1 0 199704510 651964416 157990 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159171 157990 426 55 0 158063 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (Kb) 636684

[startup+1797.07 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191480/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636816 CPUtime=1796.51
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160737 0 5 0 179423 228 0 0 25 0 1 0 199704510 652099584 158005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159204 158005 426 55 0 158096 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (Kb) 636816

[startup+1798.07 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191416/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636816 CPUtime=1797.52
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160752 0 5 0 179524 228 0 0 25 0 1 0 199704510 652099584 158020 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159204 158020 426 55 0 158096 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (Kb) 636816

[startup+1799.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191352/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636816 CPUtime=1798.52
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160768 0 5 0 179624 228 0 0 25 0 1 0 199704510 652099584 158036 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548506 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159204 158036 426 55 0 158096 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (Kb) 636816

[startup+1800.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 21215
/proc/meminfo: memFree=1191288/2055920 swapFree=4181376/4192956
[pid=21213] ppid=21211 vsize=636948 CPUtime=1799.52
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21167 0 -1 0 160783 0 5 0 179724 228 0 0 25 0 1 0 199704510 652234752 158051 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 159237 158051 426 55 0 158129 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (Kb) 636948

Child status: 10
Real time (s): 1800.73
CPU time (s): 1800.17
CPU user time (s): 1797.79
CPU system time (s): 2.38364
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (Kb): 636948

Launcher Data (download as text)

Begin job on node29 on Sat Jun  3 13:13:29 UTC 2006


FILE ID= 39957-1149340409

PBS_JOBID= 310390

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  9af0146fd6df1c22fb98014c5db68dfb

RANDOM SEED= 623295290


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1824616 kB
Buffers:         22444 kB
Cached:         145952 kB
SwapCached:       3236 kB
Active:          35248 kB
Inactive:       141764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1824616 kB
SwapTotal:     4192956 kB
SwapFree:      4181376 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            40304 kB
Committed_AS:   345288 kB
PageTables:       1504 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node29 on Sat Jun  3 13:43:30 UTC 2006