PB'05 competition: run trace

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 in four parts:

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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.

General information on the benchmark

Name	normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUM	6292e63147fb202dc159fbf5a9ff5c77
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4822
Optimality of the best value was proved	NO
Number of terms in the objective function	771
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	33355
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	33355
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	771
Total number of constraints	1951
Number of constraints which are clauses	1949
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	1
Maximum length of a constraint	42

Trace number 40791

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 22:11:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28862 boxname=wulflinc3 idbench=248 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6292e63147fb202dc159fbf5a9ff5c77  /oldhome/oroussel/tmp/wulflinc3/normalized-C432.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-C432.opb
IDLAUNCH: 28862
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        734496 kB
Buffers:         29996 kB
Cached:         249968 kB
SwapCached:        808 kB
Active:          47460 kB
Inactive:       234640 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        734244 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12312 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:15:26 (client local time) WITH STATUS 30 IN 235.692 SECONDS
stats: 28862 0 235.692 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 771 variables and 1951 constraints.
c After prepocess the problem consists of 753 variables and 1726 constraints.
c preprocess terminated 0.792 s
c Initial Lower Bound: 4746
c Lower Bound Elapsed time: 0.490333
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4865 @ 12.43
c NEW SOLUTION FOUND: 4856 @ 14.311
c NEW SOLUTION FOUND: 4850 @ 23.24
c NEW SOLUTION FOUND: 4840 @ 28.073
c NEW SOLUTION FOUND: 4834 @ 86.095
c NEW SOLUTION FOUND: 4829 @ 163.172
c NEW SOLUTION FOUND: 4823 @ 167.241
c NEW SOLUTION FOUND: 4822 @ 197.142
s OPTIMUM FOUND
v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -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 -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 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 -x224 x225 x226 x227 x228 -x229 -x230 -x231 x232 -x233 -x234 x235 -x236 x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 -x297 -x298 -x299 x300 x301 -x302 x303 x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 x464 x465 -x466 -x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 x520 -x521 x522 x523 x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 x753 x754 x755 x756 x757 -x758 -x759 x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 -x771 
c Exit Code: 30
c Total time: 235.683 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.67 0.81 0.85 1/54 32306
Raw data (stat): 32306 (runsolver) R 32305 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905125662 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.72 0.82 0.85 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 4423 0 0 0 987 10 0 0 25 0 1 0 905125662 9101312 1371 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2222 1371 1111 63 0 2159 0
vsize: 8888
[startup+20.0026 s]
Raw data (loadavg): 0.77 0.82 0.85 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 8737 0 0 0 1975 22 0 0 25 0 1 0 905125662 8355840 1350 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2040 1350 1111 63 0 1977 0
vsize: 8160
[startup+30.003 s]
Raw data (loadavg): 0.96 0.86 0.86 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 13402 0 0 0 2964 32 0 0 25 0 1 0 905125662 8081408 1300 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1973 1300 1111 63 0 1910 0
vsize: 7892
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.86 0.87 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 16757 0 0 0 3957 40 0 0 25 0 1 0 905125662 8642560 1419 4294967295 134512640 134716908 3221224576 3221222456 1077378596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2110 1419 1111 63 0 2047 0
vsize: 8440
[startup+50.0041 s]
Raw data (loadavg): 0.97 0.87 0.87 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 19357 0 0 0 4952 45 0 0 25 0 1 0 905125662 8790016 1456 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2146 1456 1111 63 0 2083 0
vsize: 8584
[startup+60.0035 s]
Raw data (loadavg): 1.13 0.91 0.88 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 22924 0 0 0 5943 54 0 0 25 0 1 0 905125662 8966144 1475 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 1475 1111 63 0 2126 0
vsize: 8756
[startup+70.0051 s]
Raw data (loadavg): 1.11 0.91 0.88 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 26757 0 0 0 6934 63 0 0 25 0 1 0 905125662 9015296 1513 4294967295 134512640 134716908 3221224576 3221222928 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2201 1513 1111 63 0 2138 0
vsize: 8804
[startup+80.0056 s]
Raw data (loadavg): 1.09 0.91 0.88 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 30571 0 0 0 7925 73 0 0 25 0 1 0 905125662 10104832 1582 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2467 1582 1111 63 0 2404 0
vsize: 9868
[startup+90.0051 s]
Raw data (loadavg): 1.08 0.91 0.88 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 34199 0 0 0 8916 82 0 0 25 0 1 0 905125662 8880128 1495 4294967295 134512640 134716908 3221224576 3221222880 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2168 1495 1111 63 0 2105 0
vsize: 8672
[startup+100.005 s]
Raw data (loadavg): 1.06 0.92 0.88 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 38216 0 0 0 9905 92 0 0 25 0 1 0 905125662 9199616 1573 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2246 1573 1111 63 0 2183 0
vsize: 8984
[startup+110.006 s]
Raw data (loadavg): 1.05 0.92 0.88 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 40216 0 0 0 10900 98 0 0 25 0 1 0 905125662 9498624 1646 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2319 1646 1111 63 0 2256 0
vsize: 9276
[startup+120.007 s]
Raw data (loadavg): 1.04 0.92 0.88 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 42413 0 0 0 11894 105 0 0 25 0 1 0 905125662 9834496 1709 4294967295 134512640 134716908 3221224576 3221223192 134543174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2401 1709 1111 63 0 2338 0
vsize: 9604
[startup+130.007 s]
Raw data (loadavg): 1.04 0.92 0.88 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 44869 0 0 0 12888 111 0 0 25 0 1 0 905125662 10891264 1830 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2659 1830 1111 63 0 2596 0
vsize: 10636
[startup+140.007 s]
Raw data (loadavg): 1.03 0.92 0.89 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 47821 0 0 0 13879 119 0 0 25 0 1 0 905125662 11030528 1827 4294967295 134512640 134716908 3221224576 3221221600 1074810460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2693 1827 1111 63 0 2630 0
vsize: 10772
[startup+150.007 s]
Raw data (loadavg): 1.03 0.93 0.89 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 49697 0 0 0 14876 123 0 0 25 0 1 0 905125662 11014144 1862 4294967295 134512640 134716908 3221224576 3221220804 1075115014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2689 1862 1111 63 0 2626 0
vsize: 10756
[startup+160.007 s]
Raw data (loadavg): 1.02 0.93 0.89 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 51950 0 0 0 15869 130 0 0 25 0 1 0 905125662 9805824 1721 4294967295 134512640 134716908 3221224576 3221222960 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2394 1721 1111 63 0 2331 0
vsize: 9576
[startup+170.008 s]
Raw data (loadavg): 1.02 0.93 0.89 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 54579 0 0 0 16862 137 0 0 25 0 1 0 905125662 10948608 1923 4294967295 134512640 134716908 3221224576 3221220736 1075093371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2673 1923 1111 63 0 2610 0
vsize: 10692
[startup+180.008 s]
Raw data (loadavg): 1.01 0.93 0.89 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 56914 0 0 0 17856 143 0 0 25 0 1 0 905125662 10125312 1799 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2472 1799 1111 63 0 2409 0
vsize: 9888
[startup+190.008 s]
Raw data (loadavg): 1.01 0.93 0.89 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 59172 0 0 0 18850 149 0 0 25 0 1 0 905125662 10125312 1799 4294967295 134512640 134716908 3221224576 3221222960 1074153893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2472 1799 1111 63 0 2409 0
vsize: 9888
[startup+200.009 s]
Raw data (loadavg): 1.01 0.93 0.89 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 61945 0 0 0 19844 156 0 0 25 0 1 0 905125662 11464704 1950 4294967295 134512640 134716908 3221224576 3221221232 1075968176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2799 1950 1111 63 0 2736 0
vsize: 11196
[startup+210.008 s]
Raw data (loadavg): 1.01 0.94 0.89 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 64906 0 0 0 20837 163 0 0 25 0 1 0 905125662 11583488 1997 4294967295 134512640 134716908 3221224576 3221221568 1075338859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2828 1997 1111 63 0 2765 0
vsize: 11312
[startup+220.009 s]
Raw data (loadavg): 1.01 0.94 0.89 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 68578 0 0 0 21827 174 0 0 25 0 1 0 905125662 10711040 1906 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2615 1906 1111 63 0 2552 0
vsize: 10460
[startup+230.009 s]
Raw data (loadavg): 1.00 0.94 0.89 2/54 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 72321 0 0 0 22818 182 0 0 25 0 1 0 905125662 11653120 2026 4294967295 134512640 134716908 3221224576 3221220444 1074787514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2845 2026 1111 63 0 2782 0
vsize: 11380
[startup+235.689 s]
Raw data (loadavg): 1.00 0.94 0.89 1/53 32306
Raw data (stat): 32306 (bsolo_lpr_cuts-) R 32305 20224 20223 0 -1 0 72321 0 0 0 22818 182 0 0 25 0 1 0 905125662 11653120 2026 4294967295 134512640 134716908 3221224576 3221220444 1074787514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2845 2026 1111 63 0 2782 0
vsize: 0

Child status: 30
Real time (s): 235.688
CPU time (s): 235.692
CPU user time (s): 233.806
CPU system time (s): 1.88571
CPU usage (%): 100.002
Max. virtual memory (Kb): 11380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4822
#### END VERIFIER DATA ####