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-1-c.opb
MD5SUM	ccccfcac2dcabc521caef1ee37fe5121
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	317
Optimality of the best value was proved	NO
Number of terms in the objective function	634
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	634
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	634
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.73158
Number of variables	634
Total number of constraints	1581
Number of constraints which are clauses	1581
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 24103

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 02:54:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1730 boxname=wulflinc31 idbench=193 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ccccfcac2dcabc521caef1ee37fe5121  /oldhome/oroussel/tmp/wulflinc31/normalized-par16-1-c.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-par16-1-c.opb
IDLAUNCH: 1730
/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:        143056 kB
Buffers:         40748 kB
Cached:         816496 kB
SwapCached:        644 kB
Active:         490860 kB
Inactive:       368780 kB
HighTotal:      131008 kB
HighFree:         5012 kB
LowTotal:       903652 kB
LowFree:        138044 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26244 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 03:14:28 (client local time) WITH STATUS 10 IN 1178.49 SECONDS
stats: 1730 0 1178.49 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 634 variables and 1581 constraints.
c After prepocess the problem consists of 604 variables and 2001 constraints.
c preprocess terminated 2.771 s
c Initial Lower Bound: 219
c Lower Bound Elapsed time: 1.3618
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 317 @ 348.541
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 
c Exit Code: 10
c Total time: 1178.46 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.93 0.97 0.91 2/54 10375
Raw data (stat): 10375 (runsolver) R 10374 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 688521893 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 4576 0 0 0 981 14 0 0 25 0 1 0 688521893 10252288 1776 4294967295 134512640 134714508 3221221776 3221219424 1075829025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2503 1776 1111 63 0 2440 0
vsize: 10012
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 7512 0 0 0 1974 21 0 0 25 0 1 0 688521893 10272768 1835 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1835 1111 63 0 2445 0
vsize: 10032
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 7533 0 0 0 2974 21 0 0 25 0 1 0 688521893 10407936 1856 4294967295 134512640 134714508 3221221776 3221220400 134696220 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1856 1111 63 0 2478 0
vsize: 10164
[startup+40.002 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 7656 0 0 0 3973 23 0 0 25 0 1 0 688521893 10948608 1979 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2673 1979 1111 63 0 2610 0
vsize: 10692
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 7776 0 0 0 4972 23 0 0 25 0 1 0 688521893 11354112 2099 4294967295 134512640 134714508 3221221776 3221220348 134542371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2772 2099 1111 63 0 2709 0
vsize: 11088
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 7881 0 0 0 5972 24 0 0 25 0 1 0 688521893 11894784 2204 4294967295 134512640 134714508 3221221776 3221220404 134696248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 2204 1111 63 0 2841 0
vsize: 11616
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 7986 0 0 0 6971 25 0 0 25 0 1 0 688521893 12300288 2309 4294967295 134512640 134714508 3221221776 3221220476 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3003 2309 1111 63 0 2940 0
vsize: 12012
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 8086 0 0 0 7971 25 0 0 25 0 1 0 688521893 12705792 2409 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3102 2409 1111 63 0 3039 0
vsize: 12408
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 8178 0 0 0 8970 26 0 0 25 0 1 0 688521893 13111296 2501 4294967295 134512640 134714508 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3201 2501 1111 63 0 3138 0
vsize: 12804
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 8270 0 0 0 9970 27 0 0 25 0 1 0 688521893 13381632 2593 4294967295 134512640 134714508 3221221776 3221220392 134542657 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3267 2593 1111 63 0 3204 0
vsize: 13068
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 8354 0 0 0 10970 27 0 0 25 0 1 0 688521893 13787136 2677 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3366 2677 1111 63 0 3303 0
vsize: 13464
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 8448 0 0 0 11969 28 0 0 25 0 1 0 688521893 14196736 2771 4294967295 134512640 134714508 3221221776 3221220332 134539326 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3466 2771 1111 63 0 3403 0
vsize: 13864
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 8536 0 0 0 12969 28 0 0 25 0 1 0 688521893 14602240 2859 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3565 2859 1111 63 0 3502 0
vsize: 14260
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 8621 0 0 0 13968 29 0 0 25 0 1 0 688521893 14872576 2944 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3631 2944 1111 63 0 3568 0
vsize: 14524
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 8705 0 0 0 14968 29 0 0 25 0 1 0 688521893 15286272 3028 4294967295 134512640 134714508 3221221776 3221220428 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3732 3028 1111 63 0 3669 0
vsize: 14928
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 8782 0 0 0 15968 30 0 0 25 0 1 0 688521893 15556608 3105 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3798 3105 1111 63 0 3735 0
vsize: 15192
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 8860 0 0 0 16968 30 0 0 25 0 1 0 688521893 15826944 3183 4294967295 134512640 134714508 3221221776 3221220576 134597759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3864 3183 1111 63 0 3801 0
vsize: 15456
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 8932 0 0 0 17968 30 0 0 25 0 1 0 688521893 16097280 3255 4294967295 134512640 134714508 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3930 3255 1111 63 0 3867 0
vsize: 15720
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9006 0 0 0 18968 31 0 0 25 0 1 0 688521893 16502784 3329 4294967295 134512640 134714508 3221221776 3221220540 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4029 3329 1111 63 0 3966 0
vsize: 16116
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9083 0 0 0 19967 31 0 0 25 0 1 0 688521893 16789504 3406 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4099 3406 1111 63 0 4036 0
vsize: 16396
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9155 0 0 0 20967 32 0 0 25 0 1 0 688521893 17059840 3478 4294967295 134512640 134714508 3221221776 3221220416 134696035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 3478 1111 63 0 4102 0
vsize: 16660
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9237 0 0 0 21967 32 0 0 25 0 1 0 688521893 17473536 3559 4294967295 134512640 134714508 3221221776 3221220532 134592072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4266 3559 1111 63 0 4203 0
vsize: 17064
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9329 0 0 0 22966 33 0 0 25 0 1 0 688521893 17752064 3651 4294967295 134512640 134714508 3221221776 3221220388 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4334 3651 1111 63 0 4271 0
vsize: 17336
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9409 0 0 0 23966 33 0 0 25 0 1 0 688521893 18161664 3731 4294967295 134512640 134714508 3221221776 3221220272 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4434 3731 1111 63 0 4371 0
vsize: 17736
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9486 0 0 0 24965 34 0 0 25 0 1 0 688521893 18432000 3808 4294967295 134512640 134714508 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4500 3808 1111 63 0 4437 0
vsize: 18000
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9564 0 0 0 25965 34 0 0 25 0 1 0 688521893 18837504 3886 4294967295 134512640 134714508 3221221776 3221220480 134528721 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4599 3886 1111 63 0 4536 0
vsize: 18396
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9647 0 0 0 26965 35 0 0 25 0 1 0 688521893 19136512 3968 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4672 3968 1111 63 0 4609 0
vsize: 18688
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9722 0 0 0 27965 35 0 0 25 0 1 0 688521893 19406848 4043 4294967295 134512640 134714508 3221221776 3221220284 134535897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4738 4043 1111 63 0 4675 0
vsize: 18952
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9792 0 0 0 28964 36 0 0 25 0 1 0 688521893 19812352 4113 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4837 4113 1111 63 0 4774 0
vsize: 19348
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9864 0 0 0 29964 36 0 0 25 0 1 0 688521893 20086784 4185 4294967295 134512640 134714508 3221221776 3221220336 134542325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4904 4185 1111 63 0 4841 0
vsize: 19616
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9930 0 0 0 30963 37 0 0 25 0 1 0 688521893 20357120 4251 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4970 4251 1111 63 0 4907 0
vsize: 19880
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 9999 0 0 0 31963 37 0 0 25 0 1 0 688521893 20627456 4320 4294967295 134512640 134714508 3221221776 3221220432 134536740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5036 4320 1111 63 0 4973 0
vsize: 20144
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 10067 0 0 0 32962 38 0 0 25 0 1 0 688521893 20901888 4388 4294967295 134512640 134714508 3221221776 3221220368 134542817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5103 4388 1111 63 0 5040 0
vsize: 20412
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 10138 0 0 0 33962 38 0 0 25 0 1 0 688521893 21172224 4459 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5169 4459 1111 63 0 5106 0
vsize: 20676
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 11004 0 0 0 34959 41 0 0 25 0 1 0 688521893 22024192 4664 4294967295 134512640 134714508 3221221776 3221220416 134649075 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5377 4664 1111 63 0 5314 0
vsize: 21508
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 14845 0 0 0 35948 53 0 0 25 0 1 0 688521893 22454272 4749 4294967295 134512640 134714508 3221221776 3221219736 1074138306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5530 4752 1111 63 0 5467 0
vsize: 21928
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 21702 0 0 0 36930 71 0 0 25 0 1 0 688521893 23994368 5029 4294967295 134512640 134714508 3221221776 3221217708 1074788048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5858 5029 1111 63 0 5795 0
vsize: 23432
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 27387 0 0 0 37915 86 0 0 25 0 1 0 688521893 23228416 4958 4294967295 134512640 134714508 3221221776 3221219056 1074140044 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5671 4958 1111 63 0 5608 0
vsize: 22684
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 32774 0 0 0 38901 100 0 0 25 0 1 0 688521893 24494080 5137 4294967295 134512640 134714508 3221221776 3221217920 1074969471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5980 5137 1111 63 0 5917 0
vsize: 23920
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 36589 0 0 0 39892 109 0 0 25 0 1 0 688521893 25341952 5275 4294967295 134512640 134714508 3221221776 3221218004 1075115125 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6187 5275 1111 63 0 6124 0
vsize: 24748
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 38642 0 0 0 40886 115 0 0 25 0 1 0 688521893 25128960 5243 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6135 5243 1111 63 0 6072 0
vsize: 24540
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 41604 0 0 0 41879 123 0 0 25 0 1 0 688521893 23425024 5006 4294967295 134512640 134714508 3221221776 3221220072 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5719 5006 1111 63 0 5656 0
vsize: 22876
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 43676 0 0 0 42872 129 0 0 25 0 1 0 688521893 25165824 5241 4294967295 134512640 134714508 3221221776 3221217996 1075116741 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6144 5241 1111 63 0 6081 0
vsize: 24576
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 47612 0 0 0 43863 139 0 0 25 0 1 0 688521893 25239552 5267 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6162 5267 1111 63 0 6099 0
vsize: 24648
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 49998 0 0 0 44858 144 0 0 25 0 1 0 688521893 23523328 5030 4294967295 134512640 134714508 3221221776 3221220136 1077410289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5743 5030 1111 63 0 5680 0
vsize: 22972
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 52244 0 0 0 45854 149 0 0 25 0 1 0 688521893 24965120 5274 4294967295 134512640 134714508 3221221776 3221218704 1075960460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6095 5274 1111 63 0 6032 0
vsize: 24380
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 54335 0 0 0 46848 154 0 0 25 0 1 0 688521893 23543808 5035 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5748 5035 1111 63 0 5685 0
vsize: 22992
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 57500 0 0 0 47840 162 0 0 25 0 1 0 688521893 25264128 5264 4294967295 134512640 134714508 3221221776 3221218004 1075115028 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6168 5264 1111 63 0 6105 0
vsize: 24672
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 60952 0 0 0 48831 172 0 0 25 0 1 0 688521893 25329664 5283 4294967295 134512640 134714508 3221221776 3221217980 1075564177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6184 5283 1111 63 0 6121 0
vsize: 24736
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 64124 0 0 0 49824 179 0 0 25 0 1 0 688521893 23977984 5136 4294967295 134512640 134714508 3221221776 3221219520 1075646507 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5854 5136 1111 63 0 5791 0
vsize: 23416
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 67206 0 0 0 50818 185 0 0 25 0 1 0 688521893 25157632 5321 4294967295 134512640 134714508 3221221776 3221217920 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6142 5321 1111 63 0 6079 0
vsize: 24568
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 69831 0 0 0 51810 193 0 0 25 0 1 0 688521893 25591808 5310 4294967295 134512640 134714508 3221221776 3221217984 1074815265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6248 5310 1111 63 0 6185 0
vsize: 24992
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 73086 0 0 0 52803 200 0 0 25 0 1 0 688521893 25640960 5382 4294967295 134512640 134714508 3221221776 3221218848 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6260 5382 1111 63 0 6197 0
vsize: 25040
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 78874 0 0 0 53789 215 0 0 25 0 1 0 688521893 25219072 5234 4294967295 134512640 134714508 3221221776 3221218668 1077387418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6253 5239 1111 63 0 6190 0
vsize: 24628
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 84280 0 0 0 54776 227 0 0 25 0 1 0 688521893 25731072 5350 4294967295 134512640 134714508 3221221776 3221218288 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6282 5350 1111 63 0 6219 0
vsize: 25128
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 90219 0 0 0 55762 242 0 0 25 0 1 0 688521893 25452544 5390 4294967295 134512640 134714508 3221221776 3221218848 1074867347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6214 5390 1111 63 0 6151 0
vsize: 24856
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 95072 0 0 0 56751 253 0 0 25 0 1 0 688521893 25919488 5359 4294967295 134512640 134714508 3221221776 3221218432 1075967895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6328 5366 1111 63 0 6265 0
vsize: 25312
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 99825 0 0 0 57740 264 0 0 25 0 1 0 688521893 26103808 5554 4294967295 134512640 134714508 3221221776 3221218288 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6373 5554 1111 63 0 6310 0
vsize: 25492
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 102389 0 0 0 58734 271 0 0 25 0 1 0 688521893 26296320 5609 4294967295 134512640 134714508 3221221776 3221217936 1074794466 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6420 5609 1111 63 0 6357 0
vsize: 25680
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 104485 0 0 0 59728 276 0 0 25 0 1 0 688521893 24588288 5290 4294967295 134512640 134714508 3221221776 3221219920 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6003 5290 1111 63 0 5940 0
vsize: 24012
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 108686 0 0 0 60718 287 0 0 25 0 1 0 688521893 26439680 5640 4294967295 134512640 134714508 3221221776 3221217788 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6455 5640 1111 63 0 6392 0
vsize: 25820
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 113322 0 0 0 61708 297 0 0 25 0 1 0 688521893 25321472 5404 4294967295 134512640 134714508 3221221776 3221219504 1075828444 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6182 5404 1111 63 0 6119 0
vsize: 24728
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 118068 0 0 0 62695 310 0 0 25 0 1 0 688521893 26365952 5631 4294967295 134512640 134714508 3221221776 3221217788 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6437 5631 1111 63 0 6374 0
vsize: 25748
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 121849 0 0 0 63686 320 0 0 25 0 1 0 688521893 26177536 5571 4294967295 134512640 134714508 3221221776 3221217876 1075964282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6391 5571 1111 63 0 6328 0
vsize: 25564
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 125359 0 0 0 64678 328 0 0 25 0 1 0 688521893 25030656 5398 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6111 5398 1111 63 0 6048 0
vsize: 24444
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 128788 0 0 0 65670 336 0 0 25 0 1 0 688521893 26963968 5667 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6583 5667 1111 63 0 6520 0
vsize: 26332
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 133261 0 0 0 66659 347 0 0 25 0 1 0 688521893 26890240 5735 4294967295 134512640 134714508 3221221776 3221218004 1075114912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6565 5735 1111 63 0 6502 0
vsize: 26260
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 136687 0 0 0 67651 355 0 0 25 0 1 0 688521893 27082752 5825 4294967295 134512640 134714508 3221221776 3221217920 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6612 5825 1111 63 0 6549 0
vsize: 26448
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 138709 0 0 0 68646 360 0 0 25 0 1 0 688521893 26980352 5749 4294967295 134512640 134714508 3221221776 3221218304 1075397199 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6587 5749 1111 63 0 6524 0
vsize: 26348
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 140710 0 0 0 69642 365 0 0 25 0 1 0 688521893 27541504 5776 4294967295 134512640 134714508 3221221776 3221218320 1075088573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6724 5776 1111 63 0 6661 0
vsize: 26896
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 142552 0 0 0 70638 368 0 0 25 0 1 0 688521893 26664960 5670 4294967295 134512640 134714508 3221221776 3221218608 1075115388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6510 5670 1111 63 0 6447 0
vsize: 26040
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 144244 0 0 0 71634 373 0 0 25 0 1 0 688521893 27242496 5815 4294967295 134512640 134714508 3221221776 3221218324 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6651 5815 1111 63 0 6588 0
vsize: 26604
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 146286 0 0 0 72630 377 0 0 25 0 1 0 688521893 27435008 5719 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6698 5719 1111 63 0 6635 0
vsize: 26792
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 148065 0 0 0 73626 382 0 0 25 0 1 0 688521893 27037696 5752 4294967295 134512640 134714508 3221221776 3221217764 1074786547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6601 5752 1111 63 0 6538 0
vsize: 26404
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 151792 0 0 0 74616 391 0 0 25 0 1 0 688521893 27574272 5770 4294967295 134512640 134714508 3221221776 3221217992 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6732 5770 1111 63 0 6669 0
vsize: 26928
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 153821 0 0 0 75610 397 0 0 25 0 1 0 688521893 27381760 5848 4294967295 134512640 134714508 3221221776 3221218216 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6685 5848 1111 63 0 6622 0
vsize: 26740
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 155503 0 0 0 76606 401 0 0 25 0 1 0 688521893 27209728 5801 4294967295 134512640 134714508 3221221776 3221218004 1075115043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6643 5801 1111 63 0 6580 0
vsize: 26572
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 157307 0 0 0 77602 406 0 0 25 0 1 0 688521893 25657344 5551 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6264 5551 1111 63 0 6201 0
vsize: 25056
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 158974 0 0 0 78598 410 0 0 25 0 1 0 688521893 27746304 5940 4294967295 134512640 134714508 3221221776 3221218896 1074834350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6774 5940 1111 63 0 6711 0
vsize: 27096
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 162400 0 0 0 79591 418 0 0 25 0 1 0 688521893 27914240 5850 4294967295 134512640 134714508 3221221776 3221218004 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6815 5850 1111 63 0 6752 0
vsize: 27260
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 167888 0 0 0 80577 431 0 0 25 0 1 0 688521893 28053504 5833 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6849 5833 1111 63 0 6786 0
vsize: 27396
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 172230 0 0 0 81568 441 0 0 25 0 1 0 688521893 28180480 5929 4294967295 134512640 134714508 3221221776 3221217996 1075116513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6880 5929 1111 63 0 6817 0
vsize: 27520
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 177145 0 0 0 82556 453 0 0 25 0 1 0 688521893 28012544 5806 4294967295 134512640 134714508 3221221776 3221218004 1075115070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6839 5806 1111 63 0 6776 0
vsize: 27356
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 179359 0 0 0 83552 458 0 0 25 0 1 0 688521893 27832320 5958 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6795 5958 1111 63 0 6732 0
vsize: 27180
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 182770 0 0 0 84544 465 0 0 25 0 1 0 688521893 27799552 5919 4294967295 134512640 134714508 3221221776 3221218848 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6787 5919 1111 63 0 6724 0
vsize: 27148
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 186220 0 0 0 85536 473 0 0 25 0 1 0 688521893 26578944 5761 4294967295 134512640 134714508 3221221776 3221219772 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6489 5761 1111 63 0 6426 0
vsize: 25956
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 189629 0 0 0 86528 482 0 0 25 0 1 0 688521893 28499968 5959 4294967295 134512640 134714508 3221221776 3221218112 1075113423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6958 5959 1111 63 0 6895 0
vsize: 27832
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 192981 0 0 0 87520 490 0 0 25 0 1 0 688521893 27963392 5956 4294967295 134512640 134714508 3221221776 3221218432 1075967698 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6827 5956 1111 63 0 6764 0
vsize: 27308
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 196917 0 0 0 88511 500 0 0 25 0 1 0 688521893 28471296 5913 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6951 5913 1111 63 0 6888 0
vsize: 27804
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 200052 0 0 0 89503 508 0 0 25 0 1 0 688521893 28602368 6030 4294967295 134512640 134714508 3221221776 3221217672 1074789847 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6983 6030 1111 63 0 6920 0
vsize: 27932
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 203696 0 0 0 90493 517 0 0 25 0 1 0 688521893 28356608 6086 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6923 6086 1111 63 0 6860 0
vsize: 27692
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 206570 0 0 0 91487 524 0 0 25 0 1 0 688521893 29270016 6211 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7146 6211 1111 63 0 7083 0
vsize: 28584
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 209519 0 0 0 92480 531 0 0 25 0 1 0 688521893 28291072 6067 4294967295 134512640 134714508 3221221776 3221218004 1075115109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6907 6067 1111 63 0 6844 0
vsize: 27628
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 214710 0 0 0 93467 544 0 0 25 0 1 0 688521893 26595328 5780 4294967295 134512640 134714508 3221221776 3221220240 1074121052 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6493 5780 1111 63 0 6430 0
vsize: 25972
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 219801 0 0 0 94454 557 0 0 25 0 1 0 688521893 26755072 5809 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6532 5814 1111 63 0 6469 0
vsize: 26128
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 225058 0 0 0 95441 570 0 0 25 0 1 0 688521893 28807168 5956 4294967295 134512640 134714508 3221221776 3221218048 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7033 5956 1111 63 0 6970 0
vsize: 28132
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 228400 0 0 0 96432 580 0 0 25 0 1 0 688521893 29523968 6367 4294967295 134512640 134714508 3221221776 3221217936 1075095335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7208 6367 1111 63 0 7145 0
vsize: 28832
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 232237 0 0 0 97424 588 0 0 25 0 1 0 688521893 29827072 6411 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6411 1111 63 0 7219 0
vsize: 29128
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 235322 0 0 0 98416 596 0 0 25 0 1 0 688521893 29200384 6263 4294967295 134512640 134714508 3221221776 3221218048 1074960795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7129 6263 1111 63 0 7066 0
vsize: 28516
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 239228 0 0 0 99407 605 0 0 25 0 1 0 688521893 27860992 6089 4294967295 134512640 134714508 3221221776 3221219776 1074917891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6802 6089 1111 63 0 6739 0
vsize: 27208
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 242175 0 0 0 100401 612 0 0 25 0 1 0 688521893 30056448 6475 4294967295 134512640 134714508 3221221776 3221218004 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7338 6475 1111 63 0 7275 0
vsize: 29352
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 244613 0 0 0 101394 618 0 0 25 0 1 0 688521893 28131328 6155 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6868 6155 1111 63 0 6805 0
vsize: 27472
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 247743 0 0 0 102387 626 0 0 25 0 1 0 688521893 29503488 6371 4294967295 134512640 134714508 3221221776 3221217744 1074872805 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7203 6371 1111 63 0 7140 0
vsize: 28812
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 251688 0 0 0 103376 637 0 0 25 0 1 0 688521893 27803648 6076 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6788 6076 1111 63 0 6725 0
vsize: 27152
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 255591 0 0 0 104367 646 0 0 25 0 1 0 688521893 29413376 6320 4294967295 134512640 134714508 3221221776 3221218004 1075114937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7181 6320 1111 63 0 7118 0
vsize: 28724
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 258604 0 0 0 105360 653 0 0 25 0 1 0 688521893 29892608 6470 4294967295 134512640 134714508 3221221776 3221217660 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7298 6470 1111 63 0 7235 0
vsize: 29192
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 261755 0 0 0 106352 661 0 0 25 0 1 0 688521893 31019008 6638 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7573 6638 1111 63 0 7510 0
vsize: 30292
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 263102 0 0 0 107348 665 0 0 25 0 1 0 688521893 30494720 6611 4294967295 134512640 134714508 3221221776 3221218004 1075115051 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7445 6611 1111 63 0 7382 0
vsize: 29780
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 264824 0 0 0 108345 669 0 0 25 0 1 0 688521893 28151808 6161 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6873 6161 1111 63 0 6810 0
vsize: 27492
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 268759 0 0 0 109336 678 0 0 25 0 1 0 688521893 30846976 6707 4294967295 134512640 134714508 3221221776 3221218004 1075115073 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7531 6707 1111 63 0 7468 0
vsize: 30124
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 272789 0 0 0 110327 688 0 0 25 0 1 0 688521893 28610560 6273 4294967295 134512640 134714508 3221221776 3221220156 1074152822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6985 6273 1111 63 0 6922 0
vsize: 27940
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 275886 0 0 0 111318 696 0 0 25 0 1 0 688521893 29970432 6370 4294967295 134512640 134714508 3221221776 3221219736 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7317 6370 1111 63 0 7254 0
vsize: 29268
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 279568 0 0 0 112310 705 0 0 25 0 1 0 688521893 29835264 6514 4294967295 134512640 134714508 3221221776 3221218000 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7284 6514 1111 63 0 7221 0
vsize: 29136
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 282597 0 0 0 113302 713 0 0 25 0 1 0 688521893 28778496 6314 4294967295 134512640 134714508 3221221776 3221219808 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7026 6314 1111 63 0 6963 0
vsize: 28104
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 284767 0 0 0 114297 718 0 0 25 0 1 0 688521893 32006144 6961 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7814 6961 1111 63 0 7751 0
vsize: 31256
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 284881 0 0 0 115296 719 0 0 25 0 1 0 688521893 31608832 6933 4294967295 134512640 134714508 3221221776 3221217660 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7717 6933 1111 63 0 7654 0
vsize: 30868
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 286448 0 0 0 116293 723 0 0 25 0 1 0 688521893 31232000 6817 4294967295 134512640 134714508 3221221776 3221217712 1075965308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7625 6817 1111 63 0 7562 0
vsize: 30500
[startup+1178.37 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 10375
Raw data (stat): 10375 (bsolo_lpr_cuts) R 10374 7876 7672 0 -1 0 286448 0 0 0 116293 723 0 0 25 0 1 0 688521893 31232000 6817 4294967295 134512640 134714508 3221221776 3221217712 1075965308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7625 6817 1111 63 0 7562 0
vsize: 0

Child status: 10
Real time (s): 1178.37
CPU time (s): 1178.49
CPU user time (s): 1171.21
CPU system time (s): 7.27789
CPU usage (%): 100.01
Max. virtual memory (Kb): 31256
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	317
#### END VERIFIER DATA ####