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 24378

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 22:42:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2225 boxname=wulflinc31 idbench=248 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6292e63147fb202dc159fbf5a9ff5c77  /oldhome/oroussel/tmp/wulflinc31/normalized-C432.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-C432.opb
IDLAUNCH: 2225
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        135908 kB
Buffers:         45744 kB
Cached:         818504 kB
SwapCached:        644 kB
Active:         493316 kB
Inactive:       373292 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        135656 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26440 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 22:53:01 (client local time) WITH STATUS 30 IN 622.803 SECONDS
stats: 2225 0 622.803 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.796 s
c Initial Lower Bound: 4748
c Lower Bound Elapsed time: 0.8718
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4904 @ 17.574
c NEW SOLUTION FOUND: 4879 @ 37.381
c NEW SOLUTION FOUND: 4875 @ 75.782
c NEW SOLUTION FOUND: 4863 @ 97.956
c NEW SOLUTION FOUND: 4841 @ 113.422
c NEW SOLUTION FOUND: 4829 @ 134.74
c NEW SOLUTION FOUND: 4828 @ 165.965
c NEW SOLUTION FOUND: 4822 @ 206.206
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: 622.772 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
Raw data (loadavg): 0.85 0.95 0.90 2/54 4181
Raw data (stat): 4181 (runsolver) R 4180 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 704290577 1056768 100 4294967295 134512640 135381576 3221221696 3221216912 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 7675 0 0 0 975 21 0 0 25 0 1 0 704290577 9310208 1591 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2273 1591 1111 63 0 2210 0
vsize: 9092
[startup+20.0021 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 10219 0 0 0 1969 27 0 0 25 0 1 0 704290577 9310208 1603 4294967295 134512640 134714508 3221221792 3221220040 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2273 1603 1111 63 0 2210 0
vsize: 9092
[startup+30.0035 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 16394 0 0 0 2953 43 0 0 25 0 1 0 704290577 11173888 1871 4294967295 134512640 134714508 3221221792 3221218560 1076084208 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2728 1871 1111 63 0 2665 0
vsize: 10912
[startup+40.004 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 22262 0 0 0 3938 58 0 0 25 0 1 0 704290577 11223040 1873 4294967295 134512640 134714508 3221221792 3221217920 1075561119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2740 1873 1111 63 0 2677 0
vsize: 10960
[startup+50.0039 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 28895 0 0 0 4922 74 0 0 25 0 1 0 704290577 9482240 1645 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2315 1645 1111 63 0 2252 0
vsize: 9260
[startup+60.0053 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 34159 0 0 0 5910 86 0 0 25 0 1 0 704290577 10014720 1743 4294967295 134512640 134714508 3221221792 3221219920 1075798885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2445 1743 1111 63 0 2382 0
vsize: 9780
[startup+70.0058 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 39708 0 0 0 6898 99 0 0 25 0 1 0 704290577 11460608 1953 4294967295 134512640 134714508 3221221792 3221217608 1074788440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2798 1953 1111 63 0 2735 0
vsize: 11192
[startup+80.0067 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 45285 0 0 0 7883 113 0 0 25 0 1 0 704290577 10420224 1842 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2544 1842 1111 63 0 2481 0
vsize: 10176
[startup+90.0071 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 50229 0 0 0 8871 125 0 0 25 0 1 0 704290577 12083200 2042 4294967295 134512640 134714508 3221221792 3221217852 1074878658 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2950 2042 1111 63 0 2887 0
vsize: 11800
[startup+100.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 54797 0 0 0 9861 136 0 0 25 0 1 0 704290577 12316672 2155 4294967295 134512640 134714508 3221221792 3221217668 1074786567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3007 2155 1111 63 0 2944 0
vsize: 12028
[startup+110.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 59645 0 0 0 10849 148 0 0 25 0 1 0 704290577 10952704 1991 4294967295 134512640 134714508 3221221792 3221220112 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2674 1991 1111 63 0 2611 0
vsize: 10696
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 63991 0 0 0 11839 158 0 0 25 0 1 0 704290577 10575872 1908 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2582 1908 1111 63 0 2519 0
vsize: 10328
[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 68892 0 0 0 12828 169 0 0 25 0 1 0 704290577 12627968 2243 4294967295 134512640 134714508 3221221792 3221217668 1074786556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3083 2243 1111 63 0 3020 0
vsize: 12332
[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 73525 0 0 0 13817 180 0 0 25 0 1 0 704290577 11448320 2102 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2795 2102 1111 63 0 2732 0
vsize: 11180
[startup+150.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 78061 0 0 0 14806 192 0 0 25 0 1 0 704290577 12845056 2322 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3136 2322 1111 63 0 3073 0
vsize: 12544
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 82211 0 0 0 15796 202 0 0 25 0 1 0 704290577 10919936 1996 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2666 1996 1111 63 0 2603 0
vsize: 10664
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 86330 0 0 0 16786 211 0 0 25 0 1 0 704290577 11309056 2091 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2761 2091 1111 63 0 2698 0
vsize: 11044
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 91468 0 0 0 17773 225 0 0 25 0 1 0 704290577 11370496 2106 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2776 2106 1111 63 0 2713 0
vsize: 11104
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 99543 0 0 0 18755 243 0 0 25 0 1 0 704290577 13774848 2540 4294967295 134512640 134714508 3221221792 3221218736 1074620363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3363 2540 1111 63 0 3300 0
vsize: 13452
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 104338 0 0 0 19744 254 0 0 25 0 1 0 704290577 12091392 2282 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2282 1111 63 0 2889 0
vsize: 11808
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 107724 0 0 0 20736 262 0 0 25 0 1 0 704290577 13922304 2559 4294967295 134512640 134714508 3221221792 3221218448 1075967892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3399 2559 1111 63 0 3336 0
vsize: 13596
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 113542 0 0 0 21721 278 0 0 25 0 1 0 704290577 12181504 2304 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2974 2304 1111 63 0 2911 0
vsize: 11896
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 116760 0 0 0 22714 285 0 0 25 0 1 0 704290577 14516224 2724 4294967295 134512640 134714508 3221221792 3221218448 1075968834 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2724 1111 63 0 3481 0
vsize: 14176
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 122939 0 0 0 23699 300 0 0 25 0 1 0 704290577 15450112 3049 4294967295 134512640 134714508 3221221792 3221218020 1075115141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3772 3049 1111 63 0 3709 0
vsize: 15088
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 128423 0 0 0 24684 315 0 0 25 0 1 0 704290577 13340672 2587 4294967295 134512640 134714508 3221221792 3221220192 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3257 2587 1111 63 0 3194 0
vsize: 13028
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 131412 0 0 0 25676 323 0 0 25 0 1 0 704290577 15319040 2998 4294967295 134512640 134714508 3221221792 3221218560 1076083615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3740 2998 1111 63 0 3677 0
vsize: 14960
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 134910 0 0 0 26668 332 0 0 25 0 1 0 704290577 13803520 2668 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3370 2668 1111 63 0 3307 0
vsize: 13480
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 139083 0 0 0 27657 342 0 0 25 0 1 0 704290577 13783040 2663 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2663 1111 63 0 3302 0
vsize: 13460
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 144136 0 0 0 28645 354 0 0 25 0 1 0 704290577 15765504 2964 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3849 2964 1111 63 0 3786 0
vsize: 15396
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 149297 0 0 0 29633 366 0 0 25 0 1 0 704290577 13631488 2658 4294967295 134512640 134714508 3221221792 3221220176 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3328 2658 1111 63 0 3265 0
vsize: 13312
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 154908 0 0 0 30621 379 0 0 25 0 1 0 704290577 16269312 3080 4294967295 134512640 134714508 3221221792 3221218064 1074961304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3080 1111 63 0 3909 0
vsize: 15888
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 159151 0 0 0 31610 389 0 0 25 0 1 0 704290577 14012416 2745 4294967295 134512640 134714508 3221221792 3221217872 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3421 2745 1111 63 0 3358 0
vsize: 13684
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 163037 0 0 0 32601 399 0 0 25 0 1 0 704290577 14020608 2753 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2753 1111 63 0 3360 0
vsize: 13692
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 167835 0 0 0 33590 411 0 0 25 0 1 0 704290577 16457728 3115 4294967295 134512640 134714508 3221221792 3221217756 1074860688 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4018 3115 1111 63 0 3955 0
vsize: 16072
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 172682 0 0 0 34578 422 0 0 25 0 1 0 704290577 16502784 3177 4294967295 134512640 134714508 3221221792 3221217596 1074787555 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4029 3177 1111 63 0 3966 0
vsize: 16116
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 177692 0 0 0 35567 434 0 0 25 0 1 0 704290577 16670720 3182 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4070 3182 1111 63 0 4007 0
vsize: 16280
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 183088 0 0 0 36555 446 0 0 25 0 1 0 704290577 15249408 3020 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3723 3020 1111 63 0 3660 0
vsize: 14892
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 188480 0 0 0 37541 460 0 0 25 0 1 0 704290577 15015936 2996 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3666 2996 1111 63 0 3603 0
vsize: 14664
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 194474 0 0 0 38527 474 0 0 25 0 1 0 704290577 15753216 3169 4294967295 134512640 134714508 3221221792 3221219792 1074916804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3846 3169 1111 63 0 3783 0
vsize: 15384
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 198273 0 0 0 39517 484 0 0 25 0 1 0 704290577 17563648 3418 4294967295 134512640 134714508 3221221792 3221217688 1074789542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4288 3418 1111 63 0 4225 0
vsize: 17152
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 202189 0 0 0 40508 494 0 0 25 0 1 0 704290577 17854464 3556 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4359 3556 1111 63 0 4296 0
vsize: 17436
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 205888 0 0 0 41499 502 0 0 25 0 1 0 704290577 16740352 3266 4294967295 134512640 134714508 3221221792 3221219264 1075890978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4087 3266 1111 63 0 4024 0
vsize: 16348
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 209182 0 0 0 42491 511 0 0 25 0 1 0 704290577 15552512 3127 4294967295 134512640 134714508 3221221792 3221220144 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3797 3127 1111 63 0 3734 0
vsize: 15188
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 213191 0 0 0 43480 522 0 0 25 0 1 0 704290577 15691776 3161 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3831 3161 1111 63 0 3768 0
vsize: 15324
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 218410 0 0 0 44469 534 0 0 25 0 1 0 704290577 16814080 3406 4294967295 134512640 134714508 3221221792 3221219136 1074839014 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4105 3406 1111 63 0 4042 0
vsize: 16420
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 222465 0 0 0 45459 543 0 0 25 0 1 0 704290577 16322560 3308 4294967295 134512640 134714508 3221221792 3221220224 134554893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3985 3308 1111 63 0 3922 0
vsize: 15940
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 228829 0 0 0 46445 558 0 0 25 0 1 0 704290577 19038208 3783 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4648 3783 1111 63 0 4585 0
vsize: 18592
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 233215 0 0 0 47434 569 0 0 25 0 1 0 704290577 17264640 3544 4294967295 134512640 134714508 3221221792 3221219792 1074918562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4215 3544 1111 63 0 4152 0
vsize: 16860
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 238737 0 0 0 48422 581 0 0 25 0 1 0 704290577 17235968 3505 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3505 1111 63 0 4145 0
vsize: 16832
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 244496 0 0 0 49407 596 0 0 25 0 1 0 704290577 19324928 3798 4294967295 134512640 134714508 3221221792 3221217952 1075090256 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4718 3798 1111 63 0 4655 0
vsize: 18872
[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 249415 0 0 0 50396 608 0 0 25 0 1 0 704290577 19623936 3900 4294967295 134512640 134714508 3221221792 3221217952 1075092807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4791 3900 1111 63 0 4728 0
vsize: 19164
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 252969 0 0 0 51388 615 0 0 25 0 1 0 704290577 19636224 3791 4294967295 134512640 134714508 3221221792 3221218020 1075114931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4794 3791 1111 63 0 4731 0
vsize: 19176
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 255785 0 0 0 52381 623 0 0 25 0 1 0 704290577 17825792 3651 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4352 3651 1111 63 0 4289 0
vsize: 17408
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 258908 0 0 0 53373 631 0 0 25 0 1 0 704290577 17530880 3607 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4280 3607 1111 63 0 4217 0
vsize: 17120
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 261619 0 0 0 54368 636 0 0 25 0 1 0 704290577 17465344 3595 4294967295 134512640 134714508 3221221792 3221220176 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4264 3595 1111 63 0 4201 0
vsize: 17056
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 264908 0 0 0 55361 644 0 0 25 0 1 0 704290577 17666048 3620 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4313 3621 1111 63 0 4250 0
vsize: 17252
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 268312 0 0 0 56353 652 0 0 25 0 1 0 704290577 18006016 3727 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4396 3727 1111 63 0 4333 0
vsize: 17584
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 271278 0 0 0 57346 659 0 0 25 0 1 0 704290577 19881984 3946 4294967295 134512640 134714508 3221221792 3221217728 1075965308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4854 3946 1111 63 0 4791 0
vsize: 19416
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 275118 0 0 0 58337 668 0 0 25 0 1 0 704290577 18026496 3727 4294967295 134512640 134714508 3221221792 3221220320 134648531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4401 3727 1111 63 0 4338 0
vsize: 17604
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 280163 0 0 0 59325 680 0 0 25 0 1 0 704290577 17678336 3647 4294967295 134512640 134714508 3221221792 3221219792 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4316 3647 1111 63 0 4253 0
vsize: 17264
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 283269 0 0 0 60318 687 0 0 25 0 1 0 704290577 18292736 3763 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4466 3763 1111 63 0 4403 0
vsize: 17864
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 287223 0 0 0 61307 698 0 0 25 0 1 0 704290577 17657856 3622 4294967295 134512640 134714508 3221221792 3221219360 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3622 1111 63 0 4248 0
vsize: 17244
[startup+622.772 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 4181
Raw data (stat): 4181 (bsolo_lpr_cuts) R 4180 7876 7672 0 -1 0 287223 0 0 0 61307 698 0 0 25 0 1 0 704290577 17657856 3622 4294967295 134512640 134714508 3221221792 3221219360 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3622 1111 63 0 4248 0
vsize: 0

Child status: 30
Real time (s): 622.772
CPU time (s): 622.803
CPU user time (s): 615.789
CPU system time (s): 7.01393
CPU usage (%): 100.005
Max. virtual memory (Kb): 19416
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4822
#### END VERIFIER DATA ####