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/primes-dimacs-cnf/normalized-par16-5-c.opb
MD5SUM	5b3b72cfc97a7b1e471b28e18b610f1a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	341
Optimality of the best value was proved	NO
Number of terms in the objective function	682
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	682
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	682
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.19167
Number of variables	682
Total number of constraints	1701
Number of constraints which are clauses	1701
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 24143

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 09:22:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1802 boxname=wulflinc31 idbench=201 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5b3b72cfc97a7b1e471b28e18b610f1a  /oldhome/oroussel/tmp/wulflinc31/normalized-par16-5-c.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-par16-5-c.opb
IDLAUNCH: 1802
/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:        141296 kB
Buffers:         41520 kB
Cached:         817628 kB
SwapCached:        644 kB
Active:         492000 kB
Inactive:       369540 kB
HighTotal:      131008 kB
HighFree:         3948 kB
LowTotal:       903652 kB
LowFree:        137348 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26244 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 09:42:22 (client local time) WITH STATUS 10 IN 1185 SECONDS
stats: 1802 0 1185 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 682 variables and 1701 constraints.
c After prepocess the problem consists of 652 variables and 2121 constraints.
c preprocess terminated 2.685 s
c Initial Lower Bound: 228
c Lower Bound Elapsed time: 1.1285
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 341 @ 384.735
s SATISFIABLE
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 
c Exit Code: 10
c Total time: 1184.96 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.99 0.97 0.91 2/54 14208
Raw data (stat): 14208 (runsolver) R 14207 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 690848862 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 5327 0 0 0 981 14 0 0 25 0 1 0 690848862 10874880 1932 4294967295 134512640 134714508 3221221776 3221220000 1073990306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2655 1932 1111 63 0 2592 0
vsize: 10620
[startup+20.0016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 7890 0 0 0 1975 21 0 0 25 0 1 0 690848862 10739712 1947 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2622 1947 1111 63 0 2559 0
vsize: 10488
[startup+30.0021 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 7928 0 0 0 2974 21 0 0 25 0 1 0 690848862 11010048 1985 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2688 1985 1111 63 0 2625 0
vsize: 10752
[startup+40.0029 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 8067 0 0 0 3973 22 0 0 25 0 1 0 690848862 11550720 2124 4294967295 134512640 134714508 3221221776 3221220460 134536746 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2820 2124 1111 63 0 2757 0
vsize: 11280
[startup+50.0041 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 8205 0 0 0 4972 23 0 0 25 0 1 0 690848862 12091392 2262 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2262 1111 63 0 2889 0
vsize: 11808
[startup+60.0037 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 8344 0 0 0 5971 24 0 0 25 0 1 0 690848862 12632064 2401 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3084 2401 1111 63 0 3021 0
vsize: 12336
[startup+70.0047 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 8486 0 0 0 6970 25 0 0 25 0 1 0 690848862 13307904 2543 4294967295 134512640 134714508 3221221776 3221220284 134535911 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3249 2543 1111 63 0 3186 0
vsize: 12996
[startup+80.0049 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 8607 0 0 0 7970 26 0 0 25 0 1 0 690848862 13713408 2664 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3348 2664 1111 63 0 3285 0
vsize: 13392
[startup+90.0055 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 8730 0 0 0 8969 27 0 0 25 0 1 0 690848862 14254080 2787 4294967295 134512640 134714508 3221221776 3221220344 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+100.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 8838 0 0 0 9968 27 0 0 25 0 1 0 690848862 14659584 2895 4294967295 134512640 134714508 3221221776 3221220320 134539338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3579 2895 1111 63 0 3516 0
vsize: 14316
[startup+110.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 8945 0 0 0 10967 28 0 0 25 0 1 0 690848862 15065088 3002 4294967295 134512640 134714508 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3678 3002 1111 63 0 3615 0
vsize: 14712
[startup+120.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 9054 0 0 0 11967 29 0 0 25 0 1 0 690848862 15605760 3111 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3810 3111 1111 63 0 3747 0
vsize: 15240
[startup+130.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 9159 0 0 0 12966 30 0 0 25 0 1 0 690848862 16011264 3216 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3909 3216 1111 63 0 3846 0
vsize: 15636
[startup+140.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 9264 0 0 0 13965 31 0 0 25 0 1 0 690848862 16416768 3321 4294967295 134512640 134714508 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4008 3321 1111 63 0 3945 0
vsize: 16032
[startup+150.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 9370 0 0 0 14965 31 0 0 25 0 1 0 690848862 16822272 3427 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4107 3427 1111 63 0 4044 0
vsize: 16428
[startup+160.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 9471 0 0 0 15965 32 0 0 25 0 1 0 690848862 17362944 3528 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4239 3528 1111 63 0 4176 0
vsize: 16956
[startup+170.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 9575 0 0 0 16964 33 0 0 25 0 1 0 690848862 17768448 3632 4294967295 134512640 134714508 3221221776 3221220432 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4338 3632 1111 63 0 4275 0
vsize: 17352
[startup+180.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 9678 0 0 0 17963 33 0 0 25 0 1 0 690848862 18173952 3735 4294967295 134512640 134714508 3221221776 3221220348 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4437 3735 1111 63 0 4374 0
vsize: 17748
[startup+190.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 9773 0 0 0 18963 34 0 0 25 0 1 0 690848862 18579456 3830 4294967295 134512640 134714508 3221221776 3221220400 134536678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4536 3830 1111 63 0 4473 0
vsize: 18144
[startup+200.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 9869 0 0 0 19963 34 0 0 25 0 1 0 690848862 18989056 3926 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4636 3926 1111 63 0 4573 0
vsize: 18544
[startup+210.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 9960 0 0 0 20962 35 0 0 25 0 1 0 690848862 19259392 4017 4294967295 134512640 134714508 3221221776 3221220496 134535762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4702 4017 1111 63 0 4639 0
vsize: 18808
[startup+220.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 10053 0 0 0 21962 36 0 0 25 0 1 0 690848862 19668992 4110 4294967295 134512640 134714508 3221221776 3221220340 134542296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4802 4110 1111 63 0 4739 0
vsize: 19208
[startup+230.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 10145 0 0 0 22961 37 0 0 25 0 1 0 690848862 20070400 4202 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4900 4202 1111 63 0 4837 0
vsize: 19600
[startup+240.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 10235 0 0 0 23961 37 0 0 25 0 1 0 690848862 20475904 4292 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4999 4292 1111 63 0 4936 0
vsize: 19996
[startup+250.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 10329 0 0 0 24960 38 0 0 25 0 1 0 690848862 20881408 4386 4294967295 134512640 134714508 3221221776 3221220396 134613752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5098 4386 1111 63 0 5035 0
vsize: 20392
[startup+260.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 10417 0 0 0 25960 38 0 0 25 0 1 0 690848862 21155840 4474 4294967295 134512640 134714508 3221221776 3221220276 134697076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5165 4474 1111 63 0 5102 0
vsize: 20660
[startup+270.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 10506 0 0 0 26959 39 0 0 25 0 1 0 690848862 21561344 4563 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5264 4563 1111 63 0 5201 0
vsize: 21056
[startup+280.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 10596 0 0 0 27959 40 0 0 25 0 1 0 690848862 21966848 4653 4294967295 134512640 134714508 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5363 4653 1111 63 0 5300 0
vsize: 21452
[startup+290.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 10685 0 0 0 28958 41 0 0 25 0 1 0 690848862 22237184 4742 4294967295 134512640 134714508 3221221776 3221220368 134542784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5429 4742 1111 63 0 5366 0
vsize: 21716
[startup+300.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 10772 0 0 0 29958 41 0 0 25 0 1 0 690848862 22642688 4829 4294967295 134512640 134714508 3221221776 3221220416 134543064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5528 4829 1111 63 0 5465 0
vsize: 22112
[startup+310.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 10858 0 0 0 30957 42 0 0 25 0 1 0 690848862 23048192 4915 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5627 4915 1111 63 0 5564 0
vsize: 22508
[startup+320.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 10946 0 0 0 31957 43 0 0 25 0 1 0 690848862 23318528 5003 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5693 5003 1111 63 0 5630 0
vsize: 22772
[startup+330.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 11031 0 0 0 32957 43 0 0 25 0 1 0 690848862 23724032 5088 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5088 1111 63 0 5729 0
vsize: 23168
[startup+340.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 11148 0 0 0 33956 44 0 0 25 0 1 0 690848862 24276992 5204 4294967295 134512640 134714508 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5927 5204 1111 63 0 5864 0
vsize: 23708
[startup+350.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 11238 0 0 0 34956 44 0 0 25 0 1 0 690848862 24555520 5294 4294967295 134512640 134714508 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5995 5294 1111 63 0 5932 0
vsize: 23980
[startup+360.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 11318 0 0 0 35956 45 0 0 25 0 1 0 690848862 24961024 5374 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6094 5374 1111 63 0 6031 0
vsize: 24376
[startup+370.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 11402 0 0 0 36955 46 0 0 25 0 1 0 690848862 25239552 5458 4294967295 134512640 134714508 3221221776 3221220448 134542968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6162 5458 1111 63 0 6099 0
vsize: 24648
[startup+380.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 11476 0 0 0 37954 46 0 0 25 0 1 0 690848862 25645056 5532 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6261 5532 1111 63 0 6198 0
vsize: 25044
[startup+390.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 13284 0 0 0 38949 51 0 0 25 0 1 0 690848862 28352512 6008 4294967295 134512640 134714508 3221221776 3221218896 1074834340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6922 6008 1111 63 0 6859 0
vsize: 27688
[startup+400.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 18100 0 0 0 39936 65 0 0 25 0 1 0 690848862 28209152 6043 4294967295 134512640 134714508 3221221776 3221218376 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6887 6043 1111 63 0 6824 0
vsize: 27548
[startup+410.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 22963 0 0 0 40924 76 0 0 25 0 1 0 690848862 28372992 6069 4294967295 134512640 134714508 3221221776 3221218848 1074867334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6927 6069 1111 63 0 6864 0
vsize: 27708
[startup+420.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 27511 0 0 0 41912 88 0 0 25 0 1 0 690848862 28643328 6141 4294967295 134512640 134714508 3221221776 3221218048 1074960847 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6993 6141 1111 63 0 6930 0
vsize: 27972
[startup+430.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 32765 0 0 0 42898 103 0 0 25 0 1 0 690848862 28061696 6128 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6851 6128 1111 63 0 6788 0
vsize: 27404
[startup+440.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 36605 0 0 0 43887 115 0 0 25 0 1 0 690848862 29921280 6388 4294967295 134512640 134714508 3221221776 3221217832 1074789590 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7305 6388 1111 63 0 7242 0
vsize: 29220
[startup+450.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 41506 0 0 0 44874 127 0 0 25 0 1 0 690848862 29806592 6353 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7277 6353 1111 63 0 7214 0
vsize: 29108
[startup+460.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 46201 0 0 0 45862 139 0 0 25 0 1 0 690848862 28520448 6240 4294967295 134512640 134714508 3221221776 3221220080 1074206896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6963 6240 1111 63 0 6900 0
vsize: 27852
[startup+470.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 51308 0 0 0 46849 152 0 0 25 0 1 0 690848862 30224384 6457 4294967295 134512640 134714508 3221221776 3221217924 1075964393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7379 6457 1111 63 0 7316 0
vsize: 29516
[startup+480.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 55865 0 0 0 47838 164 0 0 25 0 1 0 690848862 28917760 6337 4294967295 134512640 134714508 3221221776 3221219776 1074918215 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7060 6337 1111 63 0 6997 0
vsize: 28240
[startup+490.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 60159 0 0 0 48826 176 0 0 25 0 1 0 690848862 30162944 6546 4294967295 134512640 134714508 3221221776 3221218004 1075114948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7364 6546 1111 63 0 7301 0
vsize: 29456
[startup+500.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 65076 0 0 0 49814 188 0 0 25 0 1 0 690848862 30584832 6526 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7467 6526 1111 63 0 7404 0
vsize: 29868
[startup+510.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 69176 0 0 0 50804 199 0 0 25 0 1 0 690848862 30470144 6603 4294967295 134512640 134714508 3221221776 3221218048 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7439 6603 1111 63 0 7376 0
vsize: 29756
[startup+520.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 73643 0 0 0 51792 211 0 0 25 0 1 0 690848862 30466048 6624 4294967295 134512640 134714508 3221221776 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6624 1111 63 0 7375 0
vsize: 29752
[startup+530.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 77410 0 0 0 52783 220 0 0 25 0 1 0 690848862 30605312 6657 4294967295 134512640 134714508 3221221776 3221218048 1074960964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7472 6657 1111 63 0 7409 0
vsize: 29888
[startup+540.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 81096 0 0 0 53773 230 0 0 25 0 1 0 690848862 31383552 6723 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7662 6723 1111 63 0 7599 0
vsize: 30648
[startup+550.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 85332 0 0 0 54762 241 0 0 25 0 1 0 690848862 31059968 6754 4294967295 134512640 134714508 3221221776 3221217740 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7583 6754 1111 63 0 7520 0
vsize: 30332
[startup+560.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 88443 0 0 0 55754 249 0 0 25 0 1 0 690848862 31535104 6905 4294967295 134512640 134714508 3221221776 3221218048 1074961301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7699 6905 1111 63 0 7636 0
vsize: 30796
[startup+570.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 94063 0 0 0 56741 262 0 0 25 0 1 0 690848862 29822976 6558 4294967295 134512640 134714508 3221221776 3221219800 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7281 6558 1111 63 0 7218 0
vsize: 29124
[startup+580.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 98172 0 0 0 57732 272 0 0 25 0 1 0 690848862 31137792 6778 4294967295 134512640 134714508 3221221776 3221218432 1075967695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7602 6778 1111 63 0 7539 0
vsize: 30408
[startup+590.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 103707 0 0 0 58719 285 0 0 25 0 1 0 690848862 31166464 6813 4294967295 134512640 134714508 3221221776 3221217956 1075114984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7609 6813 1111 63 0 7546 0
vsize: 30436
[startup+600.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 106911 0 0 0 59711 293 0 0 25 0 1 0 690848862 32714752 7215 4294967295 134512640 134714508 3221221776 3221217808 1075965250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7987 7215 1111 63 0 7924 0
vsize: 31948
[startup+610.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 108596 0 0 0 60708 297 0 0 25 0 1 0 690848862 30445568 6698 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7433 6698 1111 63 0 7370 0
vsize: 29732
[startup+620.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 110993 0 0 0 61702 302 0 0 25 0 1 0 690848862 30425088 6702 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7428 6702 1111 63 0 7365 0
vsize: 29712
[startup+630.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 114245 0 0 0 62696 309 0 0 25 0 1 0 690848862 32415744 6914 4294967295 134512640 134714508 3221221776 3221217800 1074860223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7914 6914 1111 63 0 7851 0
vsize: 31656
[startup+640.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 117406 0 0 0 63688 317 0 0 25 0 1 0 690848862 30945280 6828 4294967295 134512640 134714508 3221221776 3221220076 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7555 6828 1111 63 0 7492 0
vsize: 30220
[startup+650.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 122547 0 0 0 64676 329 0 0 25 0 1 0 690848862 30547968 6728 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7446 6723 1111 63 0 7383 0
vsize: 29832
[startup+660.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 127023 0 0 0 65665 340 0 0 25 0 1 0 690848862 31174656 6842 4294967295 134512640 134714508 3221221776 3221220232 1074206273 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7611 6842 1111 63 0 7548 0
vsize: 30444
[startup+670.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 129829 0 0 0 66660 346 0 0 25 0 1 0 690848862 32538624 6950 4294967295 134512640 134714508 3221221776 3221218016 1075115762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7944 6950 1111 63 0 7881 0
vsize: 31776
[startup+680.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 132948 0 0 0 67654 352 0 0 25 0 1 0 690848862 32686080 6982 4294967295 134512640 134714508 3221221776 3221217724 1074788968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7980 6982 1111 63 0 7917 0
vsize: 31920
[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 136693 0 0 0 68644 361 0 0 25 0 1 0 690848862 32866304 7046 4294967295 134512640 134714508 3221221776 3221217820 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8024 7046 1111 63 0 7961 0
vsize: 32096
[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 141933 0 0 0 69630 376 0 0 25 0 1 0 690848862 32473088 6900 4294967295 134512640 134714508 3221221776 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7928 6900 1111 63 0 7865 0
vsize: 31712
[startup+710.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 146018 0 0 0 70620 386 0 0 25 0 1 0 690848862 31186944 6873 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7614 6873 1111 63 0 7551 0
vsize: 30456
[startup+720.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 152077 0 0 0 71605 402 0 0 25 0 1 0 690848862 31375360 6905 4294967295 134512640 134714508 3221221776 3221220304 134648317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7660 6905 1111 63 0 7597 0
vsize: 30640
[startup+730.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 157299 0 0 0 72590 416 0 0 25 0 1 0 690848862 33144832 7056 4294967295 134512640 134714508 3221221776 3221217832 1074789548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8092 7056 1111 63 0 8029 0
vsize: 32368
[startup+740.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 162850 0 0 0 73578 429 0 0 25 0 1 0 690848862 32022528 7063 4294967295 134512640 134714508 3221221776 3221220076 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7818 7063 1111 63 0 7755 0
vsize: 31272
[startup+750.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 167891 0 0 0 74567 440 0 0 25 0 1 0 690848862 31920128 7070 4294967295 134512640 134714508 3221221776 3221220104 1077402446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7793 7070 1111 63 0 7730 0
vsize: 31172
[startup+760.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 171968 0 0 0 75557 451 0 0 25 0 1 0 690848862 32149504 7126 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7849 7126 1111 63 0 7786 0
vsize: 31396
[startup+770.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 176464 0 0 0 76546 462 0 0 25 0 1 0 690848862 32677888 7224 4294967295 134512640 134714508 3221221776 3221219504 1075828432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7978 7224 1111 63 0 7915 0
vsize: 31912
[startup+780.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 178952 0 0 0 77540 468 0 0 25 0 1 0 690848862 32428032 7194 4294967295 134512640 134714508 3221221776 3221219512 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7917 7194 1111 63 0 7854 0
vsize: 31668
[startup+790.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 180267 0 0 0 78537 471 0 0 25 0 1 0 690848862 32706560 7246 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7985 7246 1111 63 0 7922 0
vsize: 31940
[startup+800.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 182124 0 0 0 79533 475 0 0 25 0 1 0 690848862 34803712 7657 4294967295 134512640 134714508 3221221776 3221218024 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8497 7657 1111 63 0 8434 0
vsize: 33988
[startup+810.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 184142 0 0 0 80529 479 0 0 25 0 1 0 690848862 35811328 7788 4294967295 134512640 134714508 3221221776 3221218352 1076050296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8743 7788 1111 63 0 8680 0
vsize: 34972
[startup+820.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 185214 0 0 0 81526 482 0 0 25 0 1 0 690848862 35811328 7811 4294967295 134512640 134714508 3221221776 3221217808 1075965308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8743 7811 1111 63 0 8680 0
vsize: 34972
[startup+830.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 186639 0 0 0 82522 486 0 0 25 0 1 0 690848862 35418112 7634 4294967295 134512640 134714508 3221221776 3221217804 1074788153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8647 7634 1111 63 0 8584 0
vsize: 34588
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 187937 0 0 0 83519 489 0 0 25 0 1 0 690848862 34820096 7637 4294967295 134512640 134714508 3221221776 3221218112 1075114277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8501 7637 1111 63 0 8438 0
vsize: 34004
[startup+850.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 190040 0 0 0 84514 495 0 0 25 0 1 0 690848862 33173504 7376 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8099 7376 1111 63 0 8036 0
vsize: 32396
[startup+860.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 191683 0 0 0 85510 499 0 0 25 0 1 0 690848862 35155968 7730 4294967295 134512640 134714508 3221221776 3221218004 1075115043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8583 7730 1111 63 0 8520 0
vsize: 34332
[startup+870.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 193830 0 0 0 86506 504 0 0 25 0 1 0 690848862 35147776 7728 4294967295 134512640 134714508 3221221776 3221217736 1075964775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8581 7728 1111 63 0 8518 0
vsize: 34324
[startup+880.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 195721 0 0 0 87502 508 0 0 25 0 1 0 690848862 35151872 7714 4294967295 134512640 134714508 3221221776 3221217788 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8582 7714 1111 63 0 8519 0
vsize: 34328
[startup+890.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 197959 0 0 0 88496 514 0 0 25 0 1 0 690848862 35647488 7890 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8703 7890 1111 63 0 8640 0
vsize: 34812
[startup+900.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 199284 0 0 0 89493 517 0 0 25 0 1 0 690848862 35540992 7839 4294967295 134512640 134714508 3221221776 3221217984 1074815208 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8677 7839 1111 63 0 8614 0
vsize: 34708
[startup+910.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 202252 0 0 0 90486 524 0 0 25 0 1 0 690848862 35033088 7709 4294967295 134512640 134714508 3221221776 3221218048 1074961138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8553 7709 1111 63 0 8490 0
vsize: 34212
[startup+920.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 206907 0 0 0 91475 535 0 0 25 0 1 0 690848862 35721216 7650 4294967295 134512640 134714508 3221221776 3221217936 1075092551 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8721 7650 1111 63 0 8658 0
vsize: 34884
[startup+930.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 210495 0 0 0 92467 543 0 0 25 0 1 0 690848862 33173504 7376 4294967295 134512640 134714508 3221221776 3221220028 1073960008 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8099 7376 1111 63 0 8036 0
vsize: 32396
[startup+940.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 213361 0 0 0 93460 550 0 0 25 0 1 0 690848862 34996224 7632 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8544 7632 1111 63 0 8481 0
vsize: 34176
[startup+950.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 217233 0 0 0 94452 559 0 0 25 0 1 0 690848862 34603008 7442 4294967295 134512640 134714508 3221221776 3221219344 1075972440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8448 7446 1111 63 0 8385 0
vsize: 33792
[startup+960.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 221334 0 0 0 95443 568 0 0 25 0 1 0 690848862 35688448 7809 4294967295 134512640 134714508 3221221776 3221218216 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8713 7809 1111 63 0 8650 0
vsize: 34852
[startup+970.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 225997 0 0 0 96432 579 0 0 25 0 1 0 690848862 35553280 7641 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8680 7641 1111 63 0 8617 0
vsize: 34720
[startup+980.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 229821 0 0 0 97423 588 0 0 25 0 1 0 690848862 35508224 7796 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8669 7796 1111 63 0 8606 0
vsize: 34676
[startup+990.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 234410 0 0 0 98413 599 0 0 25 0 1 0 690848862 35332096 7728 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8626 7728 1111 63 0 8563 0
vsize: 34504
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 239721 0 0 0 99400 611 0 0 25 0 1 0 690848862 36155392 7970 4294967295 134512640 134714508 3221221776 3221217652 1074786562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8827 7970 1111 63 0 8764 0
vsize: 35308
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 246669 0 0 0 100383 629 0 0 25 0 1 0 690848862 35307520 7734 4294967295 134512640 134714508 3221221776 3221218048 1074961295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8620 7734 1111 63 0 8557 0
vsize: 34480
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 249488 0 0 0 101375 637 0 0 25 0 1 0 690848862 35381248 7731 4294967295 134512640 134714508 3221221776 3221218720 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8638 7731 1111 63 0 8575 0
vsize: 34552
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 254014 0 0 0 102365 648 0 0 25 0 1 0 690848862 33689600 7502 4294967295 134512640 134714508 3221221776 3221220160 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8225 7502 1111 63 0 8162 0
vsize: 32900
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 259284 0 0 0 103353 660 0 0 25 0 1 0 690848862 36429824 7873 4294967295 134512640 134714508 3221221776 3221218848 1074867358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8894 7873 1111 63 0 8831 0
vsize: 35576
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 260620 0 0 0 104350 663 0 0 25 0 1 0 690848862 36687872 8152 4294967295 134512640 134714508 3221221776 3221217980 1075564165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8152 1111 63 0 8894 0
vsize: 35828
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 262052 0 0 0 105346 667 0 0 25 0 1 0 690848862 36429824 8059 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8894 8059 1111 63 0 8831 0
vsize: 35576
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 263395 0 0 0 106342 671 0 0 25 0 1 0 690848862 36425728 8052 4294967295 134512640 134714508 3221221776 3221217788 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8893 8052 1111 63 0 8830 0
vsize: 35572
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 267828 0 0 0 107333 680 0 0 25 0 1 0 690848862 36265984 7988 4294967295 134512640 134714508 3221221776 3221218432 1075969188 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8854 7988 1111 63 0 8791 0
vsize: 35416
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 272154 0 0 0 108324 690 0 0 25 0 1 0 690848862 36679680 8049 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8955 8049 1111 63 0 8892 0
vsize: 35820
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 276878 0 0 0 109313 701 0 0 25 0 1 0 690848862 36855808 7960 4294967295 134512640 134714508 3221221776 3221217724 1074788968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8998 7960 1111 63 0 8935 0
vsize: 35992
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 279271 0 0 0 110308 706 0 0 25 0 1 0 690848862 36638720 8098 4294967295 134512640 134714508 3221221776 3221218016 1075115730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8098 1111 63 0 8882 0
vsize: 35780
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 283914 0 0 0 111297 717 0 0 25 0 1 0 690848862 34033664 7586 4294967295 134512640 134714508 3221221776 3221220160 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8309 7586 1111 63 0 8246 0
vsize: 33236
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 286851 0 0 0 112291 723 0 0 25 0 1 0 690848862 37093376 8051 4294967295 134512640 134714508 3221221776 3221217936 1075090809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9056 8051 1111 63 0 8993 0
vsize: 36224
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 292506 0 0 0 113276 738 0 0 25 0 1 0 690848862 34033664 7586 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8309 7586 1111 63 0 8246 0
vsize: 33236
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 295605 0 0 0 114269 745 0 0 25 0 1 0 690848862 37228544 8086 4294967295 134512640 134714508 3221221776 3221217676 1074787643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9089 8086 1111 63 0 9026 0
vsize: 36356
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 300552 0 0 0 115258 757 0 0 25 0 1 0 690848862 37208064 8187 4294967295 134512640 134714508 3221221776 3221217876 1075964282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9084 8187 1111 63 0 9021 0
vsize: 36336
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 304453 0 0 0 116249 766 0 0 25 0 1 0 690848862 37490688 8116 4294967295 134512640 134714508 3221221776 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9153 8116 1111 63 0 9090 0
vsize: 36612
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 307410 0 0 0 117243 772 0 0 25 0 1 0 690848862 36859904 8130 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8999 8130 1111 63 0 8936 0
vsize: 35996
[startup+1184.88 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 14208
Raw data (stat): 14208 (bsolo_lpr_cuts) R 14207 7876 7672 0 -1 0 307410 0 0 0 117243 772 0 0 25 0 1 0 690848862 36859904 8130 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8999 8130 1111 63 0 8936 0
vsize: 0

Child status: 10
Real time (s): 1184.88
CPU time (s): 1185
CPU user time (s): 1177.18
CPU system time (s): 7.81581
CPU usage (%): 100.01
Max. virtual memory (Kb): 36612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	341
#### END VERIFIER DATA ####