Trace number 50349

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/05SAT61 1800.09 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_10.opb
MD5SUMdd415565c40b70127defa3137ccd18d3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark1671.99
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 55
Optimality of the best value was proved YES
Number of variables895
Total number of constraints1660
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1659
Minimum length of a constraint1
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 45
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 108
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 144
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 741
Number of bits of the biggest sum of numbers10
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.19	c Initial problem consists of 895 variables and 1660 constraints.
0.22	c No problem reductions applied in OPT. instance.
0.22	c	preprocess terminated. Elapsed time: 0.209
0.22	c After prepocess the problem consists of 894 variables and 1659 constraints.
0.22	c Initial Lower Bound: 45
1.02	c Restart #1 #Var: 894 LB: 45 @ 1.011
2.73	c Restart #2 #Var: 894 LB: 45 @ 2.721
5.98	c Restart #3 #Var: 894 LB: 45 @ 5.962
8.66	c Sol. found (all assignments made)...
8.66	o 92
8.66	c NEW SOLUTION FOUND: 92 @ 8.643
11.91	c Restart #4 #Var: 894 LB: 45 @ 11.893
16.13	c Restart #5 #Var: 894 LB: 45 @ 16.113
20.74	c Restart #6 #Var: 894 LB: 45 @ 20.716
25.25	c Restart #7 #Var: 894 LB: 45 @ 25.228
25.97	c Sol. found (all assignments made)...
25.97	o 91
25.97	c NEW SOLUTION FOUND: 91 @ 25.948
27.38	c Sol. found (all assignments made)...
27.38	o 81
27.38	c NEW SOLUTION FOUND: 81 @ 27.352
28.92	c Restart #8 #Var: 891 LB: 45 @ 28.9
30.64	c Sol. found (all assignments made)...
30.64	o 77
30.64	c NEW SOLUTION FOUND: 77 @ 30.618
32.28	c Restart #9 #Var: 886 LB: 45 @ 32.252
33.34	c Sol. found (all assignments made)...
33.34	o 74
33.34	c NEW SOLUTION FOUND: 74 @ 33.315
35.26	c Restart #10 #Var: 886 LB: 45 @ 35.238
37.36	c Restart #11 #Var: 886 LB: 45 @ 37.331
40.06	c Restart #12 #Var: 886 LB: 45 @ 40.028
42.37	c Restart #13 #Var: 886 LB: 45 @ 42.342
44.62	c Sol. found (all assignments made)...
44.62	o 73
44.62	c NEW SOLUTION FOUND: 73 @ 44.594
47.59	c Restart #14 #Var: 886 LB: 45 @ 47.553
50.57	c Restart #15 #Var: 886 LB: 45 @ 50.536
54.27	c Restart #16 #Var: 886 LB: 45 @ 54.237
58.48	c Restart #17 #Var: 886 LB: 45 @ 58.445
58.66	c Sol. found (all assignments made)...
58.66	o 72
58.66	c NEW SOLUTION FOUND: 72 @ 58.62
58.84	c Sol. found (all assignments made)...
58.84	o 71
58.84	c NEW SOLUTION FOUND: 71 @ 58.8
60.43	c Sol. found (all assignments made)...
60.43	o 70
60.43	c NEW SOLUTION FOUND: 70 @ 60.393
66.47	c Restart #18 #Var: 886 LB: 45 @ 66.434
71.81	c Restart #19 #Var: 886 LB: 45 @ 71.768
73.62	c Sol. found (all assignments made)...
73.62	o 69
73.62	c NEW SOLUTION FOUND: 69 @ 73.577
81.06	c Restart #20 #Var: 886 LB: 45 @ 81.005
89.27	c Restart #21 #Var: 885 LB: 45 @ 89.189
93.60	c Sol. found (all assignments made)...
93.60	o 68
93.60	c NEW SOLUTION FOUND: 68 @ 93.511
100.19	c Sol. found (all assignments made)...
100.19	o 67
100.19	c NEW SOLUTION FOUND: 67 @ 100.07
107.58	c Restart #22 #Var: 885 LB: 45 @ 107.46
113.46	c Restart #23 #Var: 885 LB: 45 @ 113.34
122.66	c Restart #24 #Var: 885 LB: 45 @ 122.54
125.07	c Sol. found (all assignments made)...
125.07	o 63
125.07	c NEW SOLUTION FOUND: 63 @ 124.94
132.56	c Restart #25 #Var: 885 LB: 45 @ 132.43
148.08	c Restart #26 #Var: 885 LB: 45 @ 147.95
154.12	c Restart #27 #Var: 885 LB: 45 @ 153.99
166.77	c Restart #28 #Var: 885 LB: 45 @ 166.62
176.30	c CHANGE to MIS mode... 	UB: 63	MIS: 45	LPR: 45 (0.16475)	Diff: 1
176.30	c Restart #0 #Var: 885 LB: 45 @ 176.15
177.09	c Restart #1 #Var: 885 LB: 45 @ 176.95
178.12	c Restart #2 #Var: 885 LB: 45 @ 177.97
180.59	c Restart #3 #Var: 884 LB: 45 @ 180.44
182.56	c Restart #4 #Var: 884 LB: 45 @ 182.41
184.33	c Restart #5 #Var: 884 LB: 45 @ 184.18
188.76	c Restart #6 #Var: 884 LB: 45 @ 188.61
191.06	c Restart #7 #Var: 884 LB: 45 @ 190.91
193.46	c Restart #8 #Var: 884 LB: 45 @ 193.31
197.22	c Restart #9 #Var: 884 LB: 45 @ 197.07
203.43	c Restart #10 #Var: 884 LB: 45 @ 203.27
207.63	c Restart #11 #Var: 884 LB: 45 @ 207.47
214.01	c Restart #12 #Var: 884 LB: 45 @ 213.85
219.78	c Restart #13 #Var: 884 LB: 45 @ 219.62
224.98	c Restart #14 #Var: 884 LB: 45 @ 224.82
236.19	c Restart #15 #Var: 883 LB: 45 @ 236.03
242.90	c Restart #16 #Var: 883 LB: 45 @ 242.73
246.88	c Restart #17 #Var: 883 LB: 45 @ 246.71
257.30	c Restart #18 #Var: 883 LB: 45 @ 257.12
264.62	c Restart #19 #Var: 883 LB: 45 @ 264.44
278.46	c Restart #20 #Var: 883 LB: 45 @ 278.28
291.91	c Restart #21 #Var: 883 LB: 45 @ 291.73
299.51	c Restart #22 #Var: 883 LB: 45 @ 299.32
306.69	c Restart #23 #Var: 883 LB: 45 @ 306.5
322.93	c Restart #24 #Var: 883 LB: 45 @ 322.73
331.42	c Restart #25 #Var: 883 LB: 45 @ 331.22
347.77	c Restart #26 #Var: 883 LB: 45 @ 347.56
365.83	c Restart #27 #Var: 883 LB: 45 @ 365.61
388.23	c Restart #28 #Var: 883 LB: 45 @ 388.01
401.60	c Restart #29 #Var: 883 LB: 45 @ 401.38
417.81	c Restart #30 #Var: 882 LB: 45 @ 417.57
428.92	c Restart #31 #Var: 882 LB: 45 @ 428.68
446.69	c Restart #32 #Var: 882 LB: 45 @ 446.45
459.60	c Restart #33 #Var: 882 LB: 45 @ 459.36
470.95	c Restart #34 #Var: 879 LB: 45 @ 470.7
488.36	c Restart #35 #Var: 879 LB: 45 @ 488.1
496.14	c Sol. found (all assignments made)...
496.14	o 62
496.14	c NEW SOLUTION FOUND: 62 @ 495.87
510.88	c Restart #36 #Var: 879 LB: 45 @ 510.61
530.56	c Restart #37 #Var: 879 LB: 45 @ 530.29
561.37	c Restart #38 #Var: 879 LB: 45 @ 561.09
581.19	c Restart #39 #Var: 879 LB: 45 @ 580.89
598.84	c Restart #40 #Var: 879 LB: 45 @ 598.54
616.91	c Restart #41 #Var: 879 LB: 45 @ 616.61
642.12	c Restart #42 #Var: 879 LB: 45 @ 641.8
662.63	c Restart #43 #Var: 879 LB: 45 @ 662.3
688.13	c Restart #44 #Var: 879 LB: 45 @ 687.8
708.38	c Restart #45 #Var: 879 LB: 45 @ 708.04
760.99	c Restart #46 #Var: 879 LB: 45 @ 760.63
787.29	c Restart #47 #Var: 879 LB: 45 @ 786.92
793.09	c Sol. found (all assignments made)...
793.09	o 61
793.09	c NEW SOLUTION FOUND: 61 @ 792.72
826.07	c Restart #48 #Var: 875 LB: 45 @ 825.68
853.12	c Restart #49 #Var: 875 LB: 45 @ 852.73
882.21	c Restart #50 #Var: 875 LB: 45 @ 881.81
929.42	c Restart #51 #Var: 873 LB: 45 @ 929
954.40	c Restart #52 #Var: 873 LB: 45 @ 953.98
993.18	c Restart #53 #Var: 873 LB: 45 @ 992.74
1018.07	c Restart #54 #Var: 873 LB: 45 @ 1017.6
1055.86	c Restart #55 #Var: 873 LB: 45 @ 1055.4
1079.88	c Restart #56 #Var: 873 LB: 45 @ 1079.4
1109.92	c Restart #57 #Var: 873 LB: 45 @ 1109.4
1140.51	c Restart #58 #Var: 873 LB: 45 @ 1140
1185.29	c Restart #59 #Var: 873 LB: 45 @ 1184.8
1217.27	c Restart #60 #Var: 873 LB: 45 @ 1216.7
1241.86	c Restart #61 #Var: 873 LB: 45 @ 1241.3
1293.42	c Restart #62 #Var: 873 LB: 45 @ 1292.9
1347.98	c Restart #63 #Var: 873 LB: 45 @ 1347.4
1426.13	c Restart #64 #Var: 873 LB: 45 @ 1425.5
1524.77	c Restart #65 #Var: 873 LB: 45 @ 1524.1
1567.74	c Restart #66 #Var: 873 LB: 45 @ 1567.1
1634.81	c Restart #67 #Var: 873 LB: 45 @ 1634.1
1684.11	c Restart #68 #Var: 873 LB: 45 @ 1683.4
1710.73	c Restart #69 #Var: 873 LB: 45 @ 1710
1800.74	s SATISFIABLE
1800.74	c Cost: 61
1800.74	v -x1 -x2 -x3 -x4 x5 -x6 x895 x56 x57 -x58 x59 x60 -x61 -x62 -x63 -x64 -x65 x66 x67 -x68 -x69 -x894 -x49 -x50 -x51 -x52 -x53 x54 -x55
1800.74	v -x893 -x892 -x891 x890 x889 -x42 -x43 x44 x45 x46 -x47 -x48 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878
1800.74	v -x877 -x876 -x875 x35 -x36 -x37 -x38 x39 -x40 -x41 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863
1800.74	v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 x848 x847 -x846 -x845 -x28 x29 -x30 -x31
1800.74	v x32 -x33 -x34 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 x831 -x830 -x829 -x828 -x827 -x826
1800.74	v -x825 -x824 -x823 -x822 x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 x808 x807 x806 x805 -x804
1800.74	v x803 x802 x801 x800 -x799 x798 x797 x796 x795 x794 x793 x792 x791 x790 -x21 x22 -x23 x24 -x25 -x26 -x27 -x789 -x788 -x787 -x786
1800.74	v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765
1800.74	v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 x746 -x745 -x744
1800.74	v x743 x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 x732 -x731 -x730 x729 x728 x727 x726 x725 x724 x723 x722 x721
1800.74	v x720 -x719 -x718 -x717 -x716 -x715 -x714 x713 x712 x711 -x710 x709 x708 x707 x706 x705 x704 x703 x702 x701 x700 -x699 x7 x8 -x9
1800.74	v -x10 -x11 -x12 -x13 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682
1800.74	v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661
1800.74	v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 x641 x640
1800.74	v x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 x627 x626 x625 -x624 x623 x622 x621 x620 -x619 x618 x617
1800.74	v x616 x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 x603 x602 x601 x600 -x599 x598 x597 x596 x595 -x594
1800.74	v -x593 x592 x591 x590 x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 x580 x579 x578 x577 x576 x575 x574 x573 x572 x571 x570
1800.74	v x569 x568 x567 -x566 x565 x564 x563 x562 x561 x560 x559 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x558 -x557 -x556 -x555 -x554 -x553
1800.74	v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 x537 x536 -x535 -x534 -x533 -x532
1800.74	v -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 x516 -x515 -x514 -x513 -x512 -x511
1800.74	v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 x495 -x494 -x493 x492 x491 x490 x489
1800.74	v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 x477 x476 -x475 -x474 x473 x472 x471 x470 -x469 x468 x467
1800.74	v x466 x465 x464 x463 x462 x461 x460 x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 x447 x446 x445 -x444
1800.74	v x443 x442 x441 x440 -x439 -x438 x437 x436 x435 x434 x433 -x432 x431 x430 x429 x428 x427 -x426 -x425 -x424 -x423 -x422 -x421
1800.74	v -x420 x419 x418 -x417 -x416 x415 x414 x413 x412 x411 x410 x409 x408 x407 x406 -x405 x404 x403 x402 x401 x400 x399 -x398 x397
1800.74	v x396 x395 x394 x393 x392 x391 -x390 x389 x388 x387 x386 -x385 x384 x383 x382 x381 x380 x379 x378 x377 x376 x375 x374 x373 x372
1800.74	v x371 -x370 x369 x368 x367 x366 x365 x364 x363 x362 x361 x360 x359 x358 x357 x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1800.74	v -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 x332 x331 x330 x329 -x328 -x327 -x326
1800.74	v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 x309 -x308 x307 x306 x305 -x304
1800.74	v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 x285 -x284 -x283
1800.74	v x282 x281 x280 x279 x278 x277 x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 x263 x262 -x261 -x260
1800.74	v x259 x258 x257 x256 -x255 x254 x253 x252 x251 x250 x249 x248 x247 x246 x245 x244 x243 x242 x241 x240 -x239 -x238 -x237 -x236
1800.74	v -x235 -x234 -x233 -x232 -x231 -x230 x229 x228 x227 x226 -x225 x224 x223 x222 x221 -x220 -x219 x218 x217 x216 x215 x214 -x213
1800.74	v x212 x211 x210 x209 x208 -x207 x206 x205 x204 x203 x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 x193 -x192 -x191 x190
1800.74	v x189 x188 x187 x186 x185 x184 x183 x182 x181 -x180 x179 x178 x177 x176 x175 x174 -x173 x172 x171 x170 x169 x168 x167 x166 x165
1800.74	v x164 x163 x162 x161 x160 x159 -x158 x157 x156 x155 x154 -x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140
1800.74	v x139 -x138 x137 x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115
1800.74	v x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86
1800.74	v x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70
1800.74	c Exit Code: 10
1800.74	c Total time: 1800 s

Verifier Data (download as text)

OK	61

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

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node7/watcher-50349-1154113188 -o ROOT/results/node7/solver-50349-1154113188 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/50349-1154113188/instance-50349-1154113188.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 3/64 4899
/proc/meminfo: memFree=1445688/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=3436 CPUtime=0
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 66 0 0 0 0 0 0 0 19 0 1 0 158180213 3518464 47 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 1 0 0
/proc/4899/statm: 859 49 36 55 0 42 0

[startup+10.0028 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4899
/proc/meminfo: memFree=1438584/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=11604 CPUtime=9.97
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 2159 0 0 0 996 1 0 0 25 0 1 0 158180213 11882496 2073 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 2901 2073 298 55 0 1793 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 11604

[startup+20.0096 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4899
/proc/meminfo: memFree=1436472/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=13716 CPUtime=19.98
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 2687 0 0 0 1996 2 0 0 25 0 1 0 158180213 14045184 2601 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 3429 2601 298 55 0 2321 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 13716

[startup+30.0155 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4899
/proc/meminfo: memFree=1432440/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=17808 CPUtime=29.98
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 3703 0 0 0 2994 4 0 0 25 0 1 0 158180213 18235392 3617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 4452 3617 298 55 0 3344 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 17808

[startup+40.0213 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4899
/proc/meminfo: memFree=1423864/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=26264 CPUtime=39.98
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 5832 0 0 0 3990 8 0 0 25 0 1 0 158180213 26894336 5746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 6566 5746 298 55 0 5458 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 26264

[startup+50.0272 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4899
/proc/meminfo: memFree=1415544/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=34604 CPUtime=49.98
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 7911 0 0 0 4986 12 0 0 25 0 1 0 158180213 35434496 7825 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 8651 7825 298 55 0 7543 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 34604

[startup+60.0331 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4899
/proc/meminfo: memFree=1408568/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=41612 CPUtime=59.99
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 9652 0 0 0 5984 15 0 0 25 0 1 0 158180213 42610688 9565 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 10403 9565 298 55 0 9295 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 41612

[startup+70.0389 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4899
/proc/meminfo: memFree=1403448/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=46776 CPUtime=69.99
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 10938 0 0 0 6982 17 0 0 25 0 1 0 158180213 47898624 10849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 11694 10849 298 55 0 10586 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 46776

[startup+80.0448 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 4973
/proc/meminfo: memFree=1397320/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=51676 CPUtime=79.99
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 12146 0 0 0 7976 23 0 0 25 0 1 0 158180213 52916224 12057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 12919 12057 298 55 0 11811 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 51676

[startup+90.0516 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 5033
/proc/meminfo: memFree=1393160/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=55776 CPUtime=89.96
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 13175 0 0 0 8971 25 0 0 25 0 1 0 158180213 57114624 13086 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 13944 13086 298 55 0 12836 0
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 55776

[startup+100.057 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=1390264/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=59736 CPUtime=99.93
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 14146 0 0 0 9966 27 0 0 25 0 1 0 158180213 61169664 14057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 14934 14057 298 55 0 13826 0
Current children cumulated CPU time (s) 99.93
Current children cumulated vsize (Kb) 59736

[startup+110.063 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=1385592/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=64368 CPUtime=109.94
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 15315 0 0 0 10964 30 0 0 25 0 1 0 158180213 65912832 15224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548445 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 16092 15224 298 55 0 14984 0
Current children cumulated CPU time (s) 109.94
Current children cumulated vsize (Kb) 64368

[startup+120.069 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=1380792/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=69252 CPUtime=119.93
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 16528 0 0 0 11962 31 0 0 25 0 1 0 158180213 70914048 16436 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 17313 16436 298 55 0 16205 0
Current children cumulated CPU time (s) 119.93
Current children cumulated vsize (Kb) 69252

[startup+130.075 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=1375736/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=74268 CPUtime=129.94
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 17780 0 0 0 12961 33 0 0 25 0 1 0 158180213 76050432 17688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 18567 17688 298 55 0 17459 0
Current children cumulated CPU time (s) 129.94
Current children cumulated vsize (Kb) 74268

[startup+140.081 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=1372216/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=78016 CPUtime=139.94
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 18685 0 0 0 13960 34 0 0 25 0 1 0 158180213 79888384 18590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 19504 18590 298 55 0 18396 0
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 78016

[startup+150.087 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=1368888/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=81220 CPUtime=149.94
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 19511 0 0 0 14959 35 0 0 25 0 1 0 158180213 83169280 19414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 20305 19414 298 55 0 19197 0
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 81220

[startup+160.093 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=1364600/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=85576 CPUtime=159.95
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 20577 0 0 0 15958 37 0 0 25 0 1 0 158180213 87629824 20480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 21394 20480 298 55 0 20286 0
Current children cumulated CPU time (s) 159.95
Current children cumulated vsize (Kb) 85576

[startup+170.099 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=1360184/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=90064 CPUtime=169.95
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 21684 0 0 0 16956 39 0 0 25 0 1 0 158180213 92225536 21587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540566 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 22516 21587 298 55 0 21408 0
Current children cumulated CPU time (s) 169.95
Current children cumulated vsize (Kb) 90064

[startup+180.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=1352120/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=98336 CPUtime=179.95
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 28622 0 0 0 17953 42 0 0 25 0 1 0 158180213 100696064 23725 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 24584 23725 435 55 0 23476 0
Current children cumulated CPU time (s) 179.95
Current children cumulated vsize (Kb) 98336

[startup+190.113 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=1348920/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=101652 CPUtime=189.96
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 29424 0 0 0 18952 44 0 0 25 0 1 0 158180213 104091648 24526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 25413 24526 435 55 0 24305 0
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (Kb) 101652

[startup+200.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=1345208/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=105348 CPUtime=199.96
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 30353 0 0 0 19951 45 0 0 25 0 1 0 158180213 107876352 25455 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 26337 25455 435 55 0 25229 0
Current children cumulated CPU time (s) 199.96
Current children cumulated vsize (Kb) 105348

[startup+210.127 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097

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

Current children cumulated CPU time (s) 1760.34
Current children cumulated vsize (Kb) 515208

[startup+1771.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=937464/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=516264 CPUtime=1770.33
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 134462 0 0 0 176812 221 0 0 25 0 1 0 158180213 528654336 127195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129066 127195 435 55 0 127958 0
Current children cumulated CPU time (s) 1770.33
Current children cumulated vsize (Kb) 516264

[startup+1781.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=935928/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=517716 CPUtime=1780.34
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 134834 0 0 0 177812 222 0 0 25 0 1 0 158180213 530141184 127567 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129429 127567 435 55 0 128321 0
Current children cumulated CPU time (s) 1780.34
Current children cumulated vsize (Kb) 517716

[startup+1782.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=935736/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=517980 CPUtime=1781.35
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 134880 0 0 0 177912 223 0 0 25 0 1 0 158180213 530411520 127613 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129495 127613 435 55 0 128387 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (Kb) 517980

[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=935608/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=518112 CPUtime=1782.35
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 134915 0 0 0 178012 223 0 0 25 0 1 0 158180213 530546688 127648 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541442 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129528 127648 435 55 0 128420 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (Kb) 518112

[startup+1784.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=935480/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=518244 CPUtime=1783.36
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 134955 0 0 0 178113 223 0 0 25 0 1 0 158180213 530681856 127688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129561 127688 435 55 0 128453 0
Current children cumulated CPU time (s) 1783.36
Current children cumulated vsize (Kb) 518244

[startup+1785.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=935352/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=518376 CPUtime=1784.36
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 134980 0 0 0 178213 223 0 0 25 0 1 0 158180213 530817024 127713 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129594 127713 435 55 0 128486 0
Current children cumulated CPU time (s) 1784.36
Current children cumulated vsize (Kb) 518376

[startup+1786.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=935224/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=518508 CPUtime=1785.37
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135013 0 0 0 178314 223 0 0 25 0 1 0 158180213 530952192 127746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129627 127746 435 55 0 128519 0
Current children cumulated CPU time (s) 1785.37
Current children cumulated vsize (Kb) 518508

[startup+1787.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=935160/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=518508 CPUtime=1786.37
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135033 0 0 0 178414 223 0 0 25 0 1 0 158180213 530952192 127766 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129627 127766 435 55 0 128519 0
Current children cumulated CPU time (s) 1786.37
Current children cumulated vsize (Kb) 518508

[startup+1788.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=935032/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=518640 CPUtime=1787.38
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135058 0 0 0 178515 223 0 0 25 0 1 0 158180213 531087360 127791 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129660 127791 435 55 0 128552 0
Current children cumulated CPU time (s) 1787.38
Current children cumulated vsize (Kb) 518640

[startup+1789.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=934904/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=518772 CPUtime=1788.38
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135087 0 0 0 178615 223 0 0 25 0 1 0 158180213 531222528 127820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129693 127820 435 55 0 128585 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (Kb) 518772

[startup+1790.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=934776/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=518904 CPUtime=1789.38
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135118 0 0 0 178715 223 0 0 25 0 1 0 158180213 531357696 127851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129726 127851 435 55 0 128618 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (Kb) 518904

[startup+1791.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=934712/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=519036 CPUtime=1790.39
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135143 0 0 0 178816 223 0 0 25 0 1 0 158180213 531492864 127876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129759 127876 435 55 0 128651 0
Current children cumulated CPU time (s) 1790.39
Current children cumulated vsize (Kb) 519036

[startup+1792.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=934584/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=519168 CPUtime=1791.39
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135172 0 0 0 178916 223 0 0 25 0 1 0 158180213 531628032 127905 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129792 127905 435 55 0 128684 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (Kb) 519168

[startup+1793.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=934456/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=519168 CPUtime=1792.39
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135200 0 0 0 179016 223 0 0 25 0 1 0 158180213 531628032 127933 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129792 127933 435 55 0 128684 0
Current children cumulated CPU time (s) 1792.39
Current children cumulated vsize (Kb) 519168

[startup+1794.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=934328/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=519300 CPUtime=1793.4
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135236 0 0 0 179117 223 0 0 25 0 1 0 158180213 531763200 127969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129825 127969 435 55 0 128717 0
Current children cumulated CPU time (s) 1793.4
Current children cumulated vsize (Kb) 519300

[startup+1795.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=934264/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=519432 CPUtime=1794.4
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135257 0 0 0 179217 223 0 0 25 0 1 0 158180213 531898368 127990 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548654 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129858 127990 435 55 0 128750 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (Kb) 519432

[startup+1796.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=934136/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=519564 CPUtime=1795.4
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135285 0 0 0 179317 223 0 0 25 0 1 0 158180213 532033536 128018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129891 128018 435 55 0 128783 0
Current children cumulated CPU time (s) 1795.4
Current children cumulated vsize (Kb) 519564

[startup+1797.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=934008/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=519696 CPUtime=1796.41
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135318 0 0 0 179418 223 0 0 25 0 1 0 158180213 532168704 128051 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129924 128051 435 55 0 128816 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (Kb) 519696

[startup+1798.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=933880/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=519828 CPUtime=1797.42
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135353 0 0 0 179518 224 0 0 25 0 1 0 158180213 532303872 128086 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129957 128086 435 55 0 128849 0
Current children cumulated CPU time (s) 1797.42
Current children cumulated vsize (Kb) 519828

[startup+1799.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=933688/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=519960 CPUtime=1798.42
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135389 0 0 0 179618 224 0 0 25 0 1 0 158180213 532439040 128122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 129990 128122 435 55 0 128882 0
Current children cumulated CPU time (s) 1798.42
Current children cumulated vsize (Kb) 519960

[startup+1800.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5097
/proc/meminfo: memFree=933560/2055920 swapFree=4182852/4192956
[pid=4899] ppid=4897 vsize=520092 CPUtime=1799.43
/proc/4899/stat : 4899 (bsolo) R 4897 4899 4850 0 -1 0 135420 0 0 0 179719 224 0 0 25 0 1 0 158180213 532574208 128153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4899/statm: 130023 128153 435 55 0 128915 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (Kb) 520092

Child status: 10
Real time (s): 1800.83
CPU time (s): 1800.09
CPU user time (s): 1797.76
CPU system time (s): 2.33465
CPU usage (%): 99.9589
Max. virtual memory (cumulated for all children) (Kb): 520092
The end

Launcher Data (download as text)

Begin job on node7 on Fri Jul 28 18:59:48 UTC 2006


FILE ID= 50349-1154113188

PBS_JOBID= 886592

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_10.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/50349-1154113188/instance-50349-1154113188.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-50349-1154113188 -o ROOT/results/node7/solver-50349-1154113188 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/50349-1154113188/instance-50349-1154113188.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  dd415565c40b70127defa3137ccd18d3

RANDOM SEED= 569008624

TIMEOUT= 1800 seconds


/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.281
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.281
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:       1445896 kB
Buffers:         35172 kB
Cached:         498632 kB
SwapCached:       4484 kB
Active:          40988 kB
Inactive:       502116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1445896 kB
SwapTotal:     4192956 kB
SwapFree:      4182852 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          14488 kB
Slab:            52864 kB
Committed_AS:   721164 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node7 on Fri Jul 28 19:29:49 UTC 2006