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-ii32e3.opb
MD5SUM	fba76bbece6bbaf52b3b51d8d6e74147
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	310
Optimality of the best value was proved	NO
Number of terms in the objective function	660
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	660
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	660
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	1.02584
Number of variables	660
Total number of constraints	5350
Number of constraints which are clauses	5350
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	32
Trace number 23938

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 16:29:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1433 boxname=wulflinc31 idbench=160 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  fba76bbece6bbaf52b3b51d8d6e74147  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e3.opb
IDLAUNCH: 1433
/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:        151228 kB
Buffers:         36772 kB
Cached:         812516 kB
SwapCached:        644 kB
Active:         486436 kB
Inactive:       365140 kB
HighTotal:      131008 kB
HighFree:         9128 kB
LowTotal:       903652 kB
LowFree:        142100 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26396 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 16:49:26 (client local time) WITH STATUS 10 IN 1181.03 SECONDS
stats: 1433 0 1181.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 660 variables and 5350 constraints.
c After prepocess the problem consists of 660 variables and 5350 constraints.
c preprocess terminated 12.305 s
c Initial Lower Bound: 235
c Lower Bound Elapsed time: 3.0278
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 330 @ 50.262
c NEW SOLUTION FOUND: 329 @ 50.263
c NEW SOLUTION FOUND: 328 @ 50.273
c NEW SOLUTION FOUND: 327 @ 50.281
c NEW SOLUTION FOUND: 326 @ 50.297
c NEW SOLUTION FOUND: 325 @ 50.306
c NEW SOLUTION FOUND: 323 @ 50.316
c NEW SOLUTION FOUND: 320 @ 240.778
c NEW SOLUTION FOUND: 319 @ 240.828
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 
c Exit Code: 10
c Total time: 1180.99 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.91 0.97 0.98 2/54 25433
Raw data (stat): 25433 (runsolver) R 25432 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 676130059 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.0004 s]
Raw data (loadavg): 0.93 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 1792 0 0 0 989 7 0 0 25 0 1 0 676130059 10498048 1712 4294967295 134512640 134714508 3221221792 3221220464 134627241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2563 1712 1111 63 0 2500 0
vsize: 10252
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 5986 0 0 0 1979 16 0 0 25 0 1 0 676130059 16199680 2930 4294967295 134512640 134714508 3221221792 3221217932 1075116741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3955 2930 1111 63 0 3892 0
vsize: 15820
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 13354 0 0 0 2961 34 0 0 25 0 1 0 676130059 14127104 2692 4294967295 134512640 134714508 3221221792 3221220016 1074039238 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3449 2692 1111 63 0 3386 0
vsize: 13796
[startup+40.0022 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 16761 0 0 0 3952 44 0 0 25 0 1 0 676130059 14450688 2754 4294967295 134512640 134714508 3221221792 3221220016 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3528 2754 1111 63 0 3465 0
vsize: 14112
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 18096 0 0 0 4947 49 0 0 25 0 1 0 676130059 12947456 2479 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3161 2479 1111 63 0 3098 0
vsize: 12644
[startup+60.004 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 21929 0 0 0 5937 60 0 0 25 0 1 0 676130059 13463552 2612 4294967295 134512640 134714508 3221221792 3221220208 1073989433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3287 2612 1111 63 0 3224 0
vsize: 13148
[startup+70.0054 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 25773 0 0 0 6928 69 0 0 25 0 1 0 676130059 15220736 2956 4294967295 134512640 134714508 3221221792 3221218016 1074960909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2956 1111 63 0 3653 0
vsize: 14864
[startup+80.0065 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 28825 0 0 0 7920 77 0 0 25 0 1 0 676130059 15519744 2889 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3789 2889 1111 63 0 3726 0
vsize: 15156
[startup+90.0067 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 31381 0 0 0 8913 84 0 0 25 0 1 0 676130059 13918208 2727 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3398 2727 1111 63 0 3335 0
vsize: 13592
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 34910 0 0 0 9904 93 0 0 25 0 1 0 676130059 14643200 2843 4294967295 134512640 134714508 3221221792 3221218896 1074138626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2843 1111 63 0 3512 0
vsize: 14300
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 37837 0 0 0 10896 101 0 0 25 0 1 0 676130059 13918208 2727 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3398 2727 1111 63 0 3335 0
vsize: 13592
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 40872 0 0 0 11888 109 0 0 25 0 1 0 676130059 17031168 3051 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4158 3051 1111 63 0 4095 0
vsize: 16632
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 44010 0 0 0 12879 118 0 0 25 0 1 0 676130059 13918208 2727 4294967295 134512640 134714508 3221221792 3221219792 1074916083 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3398 2727 1111 63 0 3335 0
vsize: 13592
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 47410 0 0 0 13872 125 0 0 25 0 1 0 676130059 17424384 3203 4294967295 134512640 134714508 3221221792 3221217936 1074970240 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3203 1111 63 0 4191 0
vsize: 17016
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 50639 0 0 0 14864 133 0 0 25 0 1 0 676130059 17092608 3023 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4173 3023 1111 63 0 4110 0
vsize: 16692
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 53558 0 0 0 15857 141 0 0 25 0 1 0 676130059 14286848 2817 4294967295 134512640 134714508 3221221792 3221219856 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3488 2817 1111 63 0 3425 0
vsize: 13952
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 56383 0 0 0 16850 148 0 0 25 0 1 0 676130059 17158144 3106 4294967295 134512640 134714508 3221221792 3221218064 1074960879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4189 3106 1111 63 0 4126 0
vsize: 16756
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 59171 0 0 0 17843 156 0 0 25 0 1 0 676130059 14286848 2817 4294967295 134512640 134714508 3221221792 3221219784 1074051985 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3488 2817 1111 63 0 3425 0
vsize: 13952
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 61846 0 0 0 18836 163 0 0 25 0 1 0 676130059 16969728 3056 4294967295 134512640 134714508 3221221792 3221218392 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4143 3056 1111 63 0 4080 0
vsize: 16572
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 64272 0 0 0 19830 169 0 0 25 0 1 0 676130059 14286848 2817 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3488 2817 1111 63 0 3425 0
vsize: 13952
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 66916 0 0 0 20823 176 0 0 25 0 1 0 676130059 14286848 2818 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3488 2818 1111 63 0 3425 0
vsize: 13952
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 69917 0 0 0 21815 184 0 0 25 0 1 0 676130059 14286848 2818 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3488 2818 1111 63 0 3425 0
vsize: 13952
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 72324 0 0 0 22808 191 0 0 25 0 1 0 676130059 14286848 2818 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3488 2818 1111 63 0 3425 0
vsize: 13952
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 76029 0 0 0 23798 202 0 0 25 0 1 0 676130059 16494592 2859 4294967295 134512640 134714508 3221221792 3221217936 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4027 2859 1111 63 0 3964 0
vsize: 16108
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 80817 0 0 0 24786 213 0 0 25 0 1 0 676130059 17448960 3166 4294967295 134512640 134714508 3221221792 3221217836 1074873465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4260 3166 1111 63 0 4197 0
vsize: 17040
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 84021 0 0 0 25778 221 0 0 25 0 1 0 676130059 17330176 3146 4294967295 134512640 134714508 3221221792 3221217920 1075112103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4231 3146 1111 63 0 4168 0
vsize: 16924
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 87229 0 0 0 26769 230 0 0 25 0 1 0 676130059 14528512 2877 4294967295 134512640 134714508 3221221792 3221220004 1075964227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3547 2877 1111 63 0 3484 0
vsize: 14188
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 90646 0 0 0 27760 239 0 0 25 0 1 0 676130059 14602240 2897 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3565 2897 1111 63 0 3502 0
vsize: 14260
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 95238 0 0 0 28748 251 0 0 25 0 1 0 676130059 14909440 2958 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3640 2958 1111 63 0 3577 0
vsize: 14560
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 100188 0 0 0 29734 265 0 0 25 0 1 0 676130059 17776640 3208 4294967295 134512640 134714508 3221221792 3221217752 1074789559 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4340 3208 1111 63 0 4277 0
vsize: 17360
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 105668 0 0 0 30719 280 0 0 25 0 1 0 676130059 15335424 3076 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 3076 1111 63 0 3681 0
vsize: 14976
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 109469 0 0 0 31710 289 0 0 25 0 1 0 676130059 18571264 3450 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4534 3450 1111 63 0 4471 0
vsize: 18136
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 113258 0 0 0 32700 300 0 0 25 0 1 0 676130059 15675392 3152 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 3152 1111 63 0 3764 0
vsize: 15308
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 118309 0 0 0 33685 315 0 0 25 0 1 0 676130059 15564800 3129 4294967295 134512640 134714508 3221221792 3221220192 1074118806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3800 3129 1111 63 0 3737 0
vsize: 15200
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 124442 0 0 0 34669 331 0 0 25 0 1 0 676130059 16683008 3331 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4073 3331 1111 63 0 4010 0
vsize: 16292
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 128423 0 0 0 35660 341 0 0 25 0 1 0 676130059 19189760 3561 4294967295 134512640 134714508 3221221792 3221217948 1074794366 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4685 3561 1111 63 0 4622 0
vsize: 18740
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 131746 0 0 0 36651 350 0 0 25 0 1 0 676130059 16388096 3333 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4001 3333 1111 63 0 3938 0
vsize: 16004
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 136970 0 0 0 37635 366 0 0 25 0 1 0 676130059 16863232 3446 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4117 3446 1111 63 0 4054 0
vsize: 16468
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 141029 0 0 0 38624 377 0 0 25 0 1 0 676130059 17076224 3491 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4169 3491 1111 63 0 4106 0
vsize: 16676
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 145716 0 0 0 39613 388 0 0 25 0 1 0 676130059 16973824 3476 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4144 3476 1111 63 0 4081 0
vsize: 16576
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 150110 0 0 0 40602 400 0 0 25 0 1 0 676130059 18874368 3695 4294967295 134512640 134714508 3221221792 3221218832 1075971383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4608 3695 1111 63 0 4545 0
vsize: 18432
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 155639 0 0 0 41586 416 0 0 25 0 1 0 676130059 17235968 3508 4294967295 134512640 134714508 3221221792 3221219944 1074950108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3508 1111 63 0 4145 0
vsize: 16832
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 160029 0 0 0 42572 430 0 0 25 0 1 0 676130059 20107264 3843 4294967295 134512640 134714508 3221221792 3221218020 1075115051 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4909 3843 1111 63 0 4846 0
vsize: 19636
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 163674 0 0 0 43563 439 0 0 25 0 1 0 676130059 17055744 3496 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4164 3496 1111 63 0 4101 0
vsize: 16656
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 167190 0 0 0 44555 447 0 0 25 0 1 0 676130059 16965632 3474 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4142 3474 1111 63 0 4079 0
vsize: 16568
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 172275 0 0 0 45543 460 0 0 25 0 1 0 676130059 20279296 3936 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4951 3936 1111 63 0 4888 0
vsize: 19804
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 177084 0 0 0 46531 471 0 0 25 0 1 0 676130059 20025344 3775 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4889 3775 1111 63 0 4826 0
vsize: 19556
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 182347 0 0 0 47515 488 0 0 25 0 1 0 676130059 17715200 3618 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4325 3618 1111 63 0 4262 0
vsize: 17300
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 186747 0 0 0 48503 500 0 0 25 0 1 0 676130059 18153472 3757 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4432 3757 1111 63 0 4369 0
vsize: 17728
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 192649 0 0 0 49487 516 0 0 25 0 1 0 676130059 18247680 3755 4294967295 134512640 134714508 3221221792 3221219792 1074916702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4455 3755 1111 63 0 4392 0
vsize: 17820
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 198005 0 0 0 50473 530 0 0 25 0 1 0 676130059 21303296 4165 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5201 4165 1111 63 0 5138 0
vsize: 20804
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 203463 0 0 0 51459 545 0 0 25 0 1 0 676130059 18591744 3871 4294967295 134512640 134714508 3221221792 3221220320 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4539 3871 1111 63 0 4476 0
vsize: 18156
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 208084 0 0 0 52447 556 0 0 25 0 1 0 676130059 18558976 3863 4294967295 134512640 134714508 3221221792 3221220096 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4531 3863 1111 63 0 4468 0
vsize: 18124
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 212696 0 0 0 53435 569 0 0 25 0 1 0 676130059 18788352 3919 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4587 3919 1111 63 0 4524 0
vsize: 18348
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 217950 0 0 0 54421 583 0 0 25 0 1 0 676130059 21712896 4188 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5301 4188 1111 63 0 5238 0
vsize: 21204
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 223481 0 0 0 55406 599 0 0 25 0 1 0 676130059 18788352 3919 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4587 3919 1111 63 0 4524 0
vsize: 18348
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 229125 0 0 0 56391 613 0 0 25 0 1 0 676130059 22310912 4433 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5447 4433 1111 63 0 5384 0
vsize: 21788
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 233441 0 0 0 57380 624 0 0 25 0 1 0 676130059 19140608 4005 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4673 4005 1111 63 0 4610 0
vsize: 18692
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 239755 0 0 0 58364 641 0 0 25 0 1 0 676130059 18984960 3967 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4635 3967 1111 63 0 4572 0
vsize: 18540
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 243318 0 0 0 59355 650 0 0 25 0 1 0 676130059 19128320 4002 4294967295 134512640 134714508 3221221792 3221219912 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4670 4002 1111 63 0 4607 0
vsize: 18680
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 249016 0 0 0 60338 667 0 0 25 0 1 0 676130059 19124224 4001 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4669 4001 1111 63 0 4606 0
vsize: 18676
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 253804 0 0 0 61327 678 0 0 25 0 1 0 676130059 22204416 4301 4294967295 134512640 134714508 3221221792 3221217920 1075561204 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5421 4301 1111 63 0 5358 0
vsize: 21684
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 258641 0 0 0 62314 691 0 0 25 0 1 0 676130059 22740992 4552 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4552 1111 63 0 5489 0
vsize: 22208
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 262739 0 0 0 63304 702 0 0 25 0 1 0 676130059 19316736 4048 4294967295 134512640 134714508 3221221792 3221219904 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4716 4048 1111 63 0 4653 0
vsize: 18864
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 267532 0 0 0 64290 716 0 0 25 0 1 0 676130059 21606400 4420 4294967295 134512640 134714508 3221221792 3221217892 1075964271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5275 4420 1111 63 0 5212 0
vsize: 21100
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 272527 0 0 0 65277 729 0 0 25 0 1 0 676130059 20303872 4255 4294967295 134512640 134714508 3221221792 3221219788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4957 4255 1111 63 0 4894 0
vsize: 19828
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 277399 0 0 0 66264 742 0 0 25 0 1 0 676130059 22814720 4542 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5570 4542 1111 63 0 5507 0
vsize: 22280
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 282855 0 0 0 67250 757 0 0 25 0 1 0 676130059 22884352 4537 4294967295 134512640 134714508 3221221792 3221218624 1075115360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5587 4537 1111 63 0 5524 0
vsize: 22348
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 287506 0 0 0 68238 768 0 0 25 0 1 0 676130059 22921216 4569 4294967295 134512640 134714508 3221221792 3221218064 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5596 4569 1111 63 0 5533 0
vsize: 22384
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 291109 0 0 0 69230 777 0 0 25 0 1 0 676130059 19976192 4209 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4877 4209 1111 63 0 4814 0
vsize: 19508
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 294485 0 0 0 70222 785 0 0 25 0 1 0 676130059 23355392 4717 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5702 4717 1111 63 0 5639 0
vsize: 22808
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 298339 0 0 0 71213 795 0 0 25 0 1 0 676130059 23085056 4561 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5636 4561 1111 63 0 5573 0
vsize: 22544
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 301832 0 0 0 72204 804 0 0 25 0 1 0 676130059 22913024 4552 4294967295 134512640 134714508 3221221792 3221218320 1075397177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5594 4552 1111 63 0 5531 0
vsize: 22376
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 306331 0 0 0 73193 815 0 0 25 0 1 0 676130059 22614016 4439 4294967295 134512640 134714508 3221221792 3221218864 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5521 4439 1111 63 0 5458 0
vsize: 22084
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 312716 0 0 0 74178 829 0 0 25 0 1 0 676130059 22831104 4434 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4434 1111 63 0 5511 0
vsize: 22296
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 317176 0 0 0 75169 839 0 0 25 0 1 0 676130059 20185088 4259 4294967295 134512640 134714508 3221221792 3221220272 1074031958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4928 4259 1111 63 0 4865 0
vsize: 19712
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 322361 0 0 0 76155 853 0 0 25 0 1 0 676130059 23359488 4669 4294967295 134512640 134714508 3221221792 3221218016 1075115554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4669 1111 63 0 5640 0
vsize: 22812
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 327479 0 0 0 77140 868 0 0 25 0 1 0 676130059 20639744 4319 4294967295 134512640 134714508 3221221792 3221219856 1075961756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5039 4319 1111 63 0 4976 0
vsize: 20156
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 332797 0 0 0 78128 881 0 0 25 0 1 0 676130059 21356544 4508 4294967295 134512640 134714508 3221221792 3221219752 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5214 4508 1111 63 0 5151 0
vsize: 20856
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 337363 0 0 0 79117 892 0 0 25 0 1 0 676130059 23900160 4815 4294967295 134512640 134714508 3221221792 3221218624 1075115406 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5835 4815 1111 63 0 5772 0
vsize: 23340
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 342535 0 0 0 80103 905 0 0 25 0 1 0 676130059 21839872 4479 4294967295 134512640 134714508 3221221792 3221220056 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5154 4453 1111 63 0 5091 0
vsize: 21328
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 348621 0 0 0 81087 922 0 0 25 0 1 0 676130059 21241856 4485 4294967295 134512640 134714508 3221221792 3221220004 1075964296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4485 1111 63 0 5123 0
vsize: 20744
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 353206 0 0 0 82077 932 0 0 25 0 1 0 676130059 24276992 4870 4294967295 134512640 134714508 3221221792 3221217740 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5927 4870 1111 63 0 5864 0
vsize: 23708
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 357478 0 0 0 83068 942 0 0 25 0 1 0 676130059 21422080 4538 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5230 4538 1111 63 0 5167 0
vsize: 20920
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 361262 0 0 0 84059 951 0 0 25 0 1 0 676130059 22126592 4689 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4689 1111 63 0 5339 0
vsize: 21608
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 365084 0 0 0 85049 961 0 0 25 0 1 0 676130059 24711168 4990 4294967295 134512640 134714508 3221221792 3221218604 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6033 4990 1111 63 0 5970 0
vsize: 24132
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 369212 0 0 0 86039 971 0 0 25 0 1 0 676130059 21467136 4573 4294967295 134512640 134714508 3221221792 3221220352 134650190 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5241 4573 1111 63 0 5178 0
vsize: 20964
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 373007 0 0 0 87031 980 0 0 25 0 1 0 676130059 22069248 4661 4294967295 134512640 134714508 3221221792 3221219856 1075961796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5388 4661 1111 63 0 5325 0
vsize: 21552
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 376811 0 0 0 88022 988 0 0 25 0 1 0 676130059 21467136 4573 4294967295 134512640 134714508 3221221792 3221219960 1077378266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5241 4573 1111 63 0 5178 0
vsize: 20964
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 381152 0 0 0 89012 999 0 0 25 0 1 0 676130059 24653824 4978 4294967295 134512640 134714508 3221221792 3221218020 1075114960 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6019 4978 1111 63 0 5956 0
vsize: 24076
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 386197 0 0 0 90000 1011 0 0 25 0 1 0 676130059 21467136 4573 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5241 4573 1111 63 0 5178 0
vsize: 20964
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 391532 0 0 0 90987 1024 0 0 25 0 1 0 676130059 24158208 4817 4294967295 134512640 134714508 3221221792 3221217952 1075092919 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5898 4817 1111 63 0 5835 0
vsize: 23592
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 396715 0 0 0 91976 1036 0 0 25 0 1 0 676130059 24870912 5009 4294967295 134512640 134714508 3221221792 3221217740 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6072 5009 1111 63 0 6009 0
vsize: 24288
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 400561 0 0 0 92967 1044 0 0 25 0 1 0 676130059 24649728 4979 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6018 4979 1111 63 0 5955 0
vsize: 24072
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 407093 0 0 0 93950 1061 0 0 25 0 1 0 676130059 22003712 4679 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5372 4679 1111 63 0 5309 0
vsize: 21488
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 412247 0 0 0 94938 1073 0 0 25 0 1 0 676130059 24866816 5007 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6071 5007 1111 63 0 6008 0
vsize: 24284
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 416924 0 0 0 95926 1086 0 0 25 0 1 0 676130059 22372352 4731 4294967295 134512640 134714508 3221221792 3221219616 1075823373 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5462 4731 1111 63 0 5399 0
vsize: 21848
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 423147 0 0 0 96911 1101 0 0 25 0 1 0 676130059 24993792 5055 4294967295 134512640 134714508 3221221792 3221218064 1074960964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6102 5055 1111 63 0 6039 0
vsize: 24408
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 428653 0 0 0 97899 1114 0 0 25 0 1 0 676130059 25141248 5094 4294967295 134512640 134714508 3221221792 3221218832 1075971404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6138 5094 1111 63 0 6075 0
vsize: 24552
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 434518 0 0 0 98884 1128 0 0 25 0 1 0 676130059 22577152 4830 4294967295 134512640 134714508 3221221792 3221219944 1074950096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5512 4830 1111 63 0 5449 0
vsize: 22048
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 438673 0 0 0 99874 1139 0 0 25 0 1 0 676130059 26025984 5387 4294967295 134512640 134714508 3221221792 3221218864 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6354 5387 1111 63 0 6291 0
vsize: 25416
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 443129 0 0 0 100862 1151 0 0 25 0 1 0 676130059 22884352 4919 4294967295 134512640 134714508 3221221792 3221219648 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5587 4919 1111 63 0 5524 0
vsize: 22348
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 446983 0 0 0 101852 1161 0 0 25 0 1 0 676130059 23621632 5097 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5767 5097 1111 63 0 5704 0
vsize: 23068
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 451119 0 0 0 102843 1170 0 0 25 0 1 0 676130059 25964544 5341 4294967295 134512640 134714508 3221221792 3221218328 1075118209 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6339 5341 1111 63 0 6276 0
vsize: 25356
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 455081 0 0 0 103834 1179 0 0 25 0 1 0 676130059 22740992 4884 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4884 1111 63 0 5489 0
vsize: 22208
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 458417 0 0 0 104826 1187 0 0 25 0 1 0 676130059 26243072 5441 4294967295 134512640 134714508 3221221792 3221217936 1074970413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6407 5441 1111 63 0 6344 0
vsize: 25628
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 462376 0 0 0 105817 1196 0 0 25 0 1 0 676130059 25931776 5184 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6331 5185 1111 63 0 6268 0
vsize: 25324
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 466092 0 0 0 106809 1205 0 0 25 0 1 0 676130059 22900736 4923 4294967295 134512640 134714508 3221221792 3221219584 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5591 4923 1111 63 0 5528 0
vsize: 22364
[startup+1090.04 s]
Raw data (loadavg): 1.15 1.00 0.99 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 469903 0 0 0 107800 1214 0 0 25 0 1 0 676130059 23957504 5140 4294967295 134512640 134714508 3221221792 3221218896 1074138755 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5849 5140 1111 63 0 5786 0
vsize: 23396
[startup+1100.04 s]
Raw data (loadavg): 1.12 1.00 0.99 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 474048 0 0 0 108790 1224 0 0 25 0 1 0 676130059 22740992 4884 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4884 1111 63 0 5489 0
vsize: 22208
[startup+1110.04 s]
Raw data (loadavg): 1.10 1.00 0.99 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 478477 0 0 0 109780 1234 0 0 25 0 1 0 676130059 23601152 5017 4294967295 134512640 134714508 3221221792 3221219520 1075828674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5762 5017 1111 63 0 5699 0
vsize: 23048
[startup+1120.04 s]
Raw data (loadavg): 1.09 1.00 0.99 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 482283 0 0 0 110771 1243 0 0 25 0 1 0 676130059 26267648 5384 4294967295 134512640 134714508 3221221792 3221218064 1074961157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6413 5384 1111 63 0 6350 0
vsize: 25652
[startup+1130.04 s]
Raw data (loadavg): 1.07 1.00 0.99 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 487444 0 0 0 111760 1255 0 0 25 0 1 0 676130059 23367680 5021 4294967295 134512640 134714508 3221221792 3221220296 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5705 5021 1111 63 0 5642 0
vsize: 22820
[startup+1140.04 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 491864 0 0 0 112749 1266 0 0 25 0 1 0 676130059 23277568 4992 4294967295 134512640 134714508 3221221792 3221219984 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5683 4992 1111 63 0 5620 0
vsize: 22732
[startup+1150.04 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 496157 0 0 0 113738 1277 0 0 25 0 1 0 676130059 26632192 5459 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6502 5459 1111 63 0 6439 0
vsize: 26008
[startup+1160.04 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 501665 0 0 0 114726 1290 0 0 25 0 1 0 676130059 23908352 5125 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5837 5125 1111 63 0 5774 0
vsize: 23348
[startup+1170.04 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 507321 0 0 0 115712 1304 0 0 25 0 1 0 676130059 24031232 5165 4294967295 134512640 134714508 3221221792 3221218896 1074138803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5867 5165 1111 63 0 5804 0
vsize: 23468
[startup+1180.04 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 511668 0 0 0 116701 1315 0 0 25 0 1 0 676130059 27127808 5610 4294967295 134512640 134714508 3221221792 3221218032 1075115734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6623 5610 1111 63 0 6560 0
vsize: 26492
[startup+1180.91 s]
Raw data (loadavg): 1.03 1.00 0.99 1/53 25433
Raw data (stat): 25433 (bsolo_lpr_cuts) R 25432 7876 7672 0 -1 0 511668 0 0 0 116701 1315 0 0 25 0 1 0 676130059 27127808 5610 4294967295 134512640 134714508 3221221792 3221218032 1075115734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6623 5610 1111 63 0 6560 0
vsize: 0

Child status: 10
Real time (s): 1180.9
CPU time (s): 1181.03
CPU user time (s): 1167.85
CPU system time (s): 13.176
CPU usage (%): 100.01
Max. virtual memory (Kb): 26492
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	319
#### END VERIFIER DATA ####