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-ii32d1.opb
MD5SUM	151e246868267296e134c3c76a3cb289
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	285
Optimality of the best value was proved	NO
Number of terms in the objective function	664
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	664
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	664
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.02484
Number of variables	664
Total number of constraints	3035
Number of constraints which are clauses	3035
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 40704

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        861752 kB
Buffers:         26916 kB
Cached:         120476 kB
SwapCached:       5200 kB
Active:          30284 kB
Inactive:       123476 kB
HighTotal:      131008 kB
HighFree:        75068 kB
LowTotal:       903652 kB
LowFree:        786684 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13448 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 19:39:30 (client local time) WITH STATUS 10 IN 1175.31 SECONDS
stats: 28769 0 1175.31 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 664 variables and 3035 constraints.
c After prepocess the problem consists of 664 variables and 3035 constraints.
c preprocess terminated 3.574 s
c Initial Lower Bound: 205
c Lower Bound Elapsed time: 1.35757
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 332 @ 17.241
c NEW SOLUTION FOUND: 331 @ 17.243
c NEW SOLUTION FOUND: 330 @ 17.252
c NEW SOLUTION FOUND: 329 @ 17.259
c NEW SOLUTION FOUND: 328 @ 17.267
c NEW SOLUTION FOUND: 327 @ 17.275
s SATISFIABLE
v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 -x55 x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 -x67 x68 x69 -x70 -x71 x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 -x139 x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 -x161 x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 -x205 x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 -x275 x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 -x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 -x371 x372 x373 -x374 x375 -x376 x377 -x378 -x379 x380 x381 -x382 x383 -x384 x385 -x386 x387 -x388 x389 -x390 x391 -x392 x393 -x394 x395 -x396 x397 -x398 x399 -x400 -x401 x402 x403 -x404 x405 -x406 x407 -x408 x409 -x410 x411 -x412 x413 -x414 x415 -x416 x417 -x418 -x419 -x420 x421 -x422 x423 -x424 -x425 x426 x427 -x428 -x429 x430 x431 -x432 x433 -x434 x435 -x436 x437 -x438 x439 -x440 x441 -x442 x443 -x444 x445 -x446 x447 -x448 x449 -x450 x451 -x452 -x453 x454 x455 -x456 x457 -x458 x459 -x460 x461 -x462 x463 -x464 x465 -x466 x467 -x468 x469 -x470 x471 -x472 x473 -x474 x475 -x476 x477 -x478 x479 -x480 x481 -x482 x483 -x484 x485 -x486 x487 -x488 x489 -x490 x491 -x492 x493 -x494 x495 -x496 x497 -x498 x499 -x500 x501 -x502 x503 -x504 x505 -x506 x507 -x508 x509 -x510 x511 -x512 -x513 x514 x515 -x516 -x517 x518 -x519 x520 -x521 x522 -x523 x524 -x525 x526 x527 -x528 x529 -x530 -x531 x532 -x533 x534 -x535 x536 -x537 x538 x539 -x540 -x541 x542 -x543 x544 x545 -x546 -x547 x548 -x549 x550 -x551 x552 -x553 x554 x555 -x556 -x557 x558 -x559 x560 -x561 x562 x563 -x564 -x565 x566 -x567 x568 -x569 x570 x571 -x572 -x573 x574 -x575 x576 x577 -x578 -x579 x580 -x581 x582 -x583 x584 x585 -x586 -x587 x588 -x589 x590 -x591 x592 -x593 x594 x595 -x596 -x597 x598 -x599 x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 x608 -x609 x610 -x611 x612 -x613 x614 x615 -x616 -x617 x618 -x619 x620 -x621 x622 x623 -x624 x625 -x626 -x627 x628 -x629 x630 -x631 x632 -x633 x634 x635 -x636 -x637 x638 -x639 x640 -x641 x642 -x643 x644 -x645 x646 x647 -x648 -x649 x650 x651 -x652 -x653 x654 -x655 x656 -x657 -x658 x659 -x660 -x661 x662 -x663 x664 
c Exit Code: 10
c Total time: 1175.3 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.97 0.91 1/54 3667
Raw data (stat): 3667 (runsolver) R 3666 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904095030 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 4439 0 0 0 985 11 0 0 25 0 1 0 904095030 9981952 1726 4294967295 134512640 134716908 3221224576 3221222800 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2437 1726 1111 63 0 2374 0
vsize: 9748
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 7873 0 0 0 1974 22 0 0 25 0 1 0 904095030 10887168 1985 4294967295 134512640 134716908 3221224576 3221222976 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1985 1111 63 0 2595 0
vsize: 10632
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 12326 0 0 0 2962 35 0 0 25 0 1 0 904095030 10887168 1985 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2658 1985 1111 63 0 2595 0
vsize: 10632
[startup+40.003 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 17715 0 0 0 3947 49 0 0 25 0 1 0 904095030 11145216 2048 4294967295 134512640 134716908 3221224576 3221223216 134651164 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2721 2048 1111 63 0 2658 0
vsize: 10884
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 23042 0 0 0 4930 67 0 0 25 0 1 0 904095030 11386880 2109 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2780 2109 1111 63 0 2717 0
vsize: 11120
[startup+60.0049 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 27097 0 0 0 5919 78 0 0 25 0 1 0 904095030 13561856 2372 4294967295 134512640 134716908 3221224576 3221220512 1075965260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3311 2372 1111 63 0 3248 0
vsize: 13244
[startup+70.0061 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 30524 0 0 0 6910 87 0 0 25 0 1 0 904095030 12926976 2323 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3156 2323 1111 63 0 3093 0
vsize: 12624
[startup+80.0073 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 34410 0 0 0 7900 97 0 0 25 0 1 0 904095030 13406208 2315 4294967295 134512640 134716908 3221224576 3221221648 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3273 2315 1111 63 0 3210 0
vsize: 13092
[startup+90.0075 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 37875 0 0 0 8892 105 0 0 25 0 1 0 904095030 11972608 2252 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2923 2252 1111 63 0 2860 0
vsize: 11692
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 42237 0 0 0 9879 119 0 0 25 0 1 0 904095030 11915264 2238 4294967295 134512640 134716908 3221224576 3221223124 134699069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2909 2238 1111 63 0 2846 0
vsize: 11636
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 46530 0 0 0 10868 131 0 0 25 0 1 0 904095030 12161024 2298 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2969 2298 1111 63 0 2906 0
vsize: 11876
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 50346 0 0 0 11857 141 0 0 25 0 1 0 904095030 12152832 2296 4294967295 134512640 134716908 3221224576 3221223036 134699436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2967 2296 1111 63 0 2904 0
vsize: 11868
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 54458 0 0 0 12842 156 0 0 25 0 1 0 904095030 12267520 2324 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2995 2324 1111 63 0 2932 0
vsize: 11980
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 60936 0 0 0 13825 174 0 0 25 0 1 0 904095030 12447744 2354 4294967295 134512640 134716908 3221224576 3221221688 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3039 2355 1111 63 0 2976 0
vsize: 12156
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 65886 0 0 0 14808 191 0 0 25 0 1 0 904095030 12582912 2393 4294967295 134512640 134716908 3221224576 3221222992 1074115872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3072 2393 1111 63 0 3009 0
vsize: 12288
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 70093 0 0 0 15796 203 0 0 25 0 1 0 904095030 12873728 2446 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3143 2446 1111 63 0 3080 0
vsize: 12572
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 73527 0 0 0 16786 213 0 0 25 0 1 0 904095030 14422016 2561 4294967295 134512640 134716908 3221224576 3221220720 1074970267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3521 2561 1111 63 0 3458 0
vsize: 14084
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 79110 0 0 0 17769 230 0 0 25 0 1 0 904095030 14561280 2723 4294967295 134512640 134716908 3221224576 3221221344 1076083464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2723 1111 63 0 3492 0
vsize: 14220
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 84178 0 0 0 18756 244 0 0 25 0 1 0 904095030 15679488 2896 4294967295 134512640 134716908 3221224576 3221221620 1074846224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3828 2896 1111 63 0 3765 0
vsize: 15312
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 88646 0 0 0 19742 258 0 0 25 0 1 0 904095030 13639680 2659 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 2659 1111 63 0 3267 0
vsize: 13320
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 93782 0 0 0 20728 273 0 0 25 0 1 0 904095030 16183296 3022 4294967295 134512640 134716908 3221224576 3221220620 1074873351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3951 3022 1111 63 0 3888 0
vsize: 15804
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 98030 0 0 0 21716 284 0 0 25 0 1 0 904095030 15790080 3042 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3855 3042 1111 63 0 3792 0
vsize: 15420
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 101959 0 0 0 22705 295 0 0 25 0 1 0 904095030 14180352 2784 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 2784 1111 63 0 3399 0
vsize: 13848
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 106856 0 0 0 23693 308 0 0 25 0 1 0 904095030 13971456 2741 4294967295 134512640 134716908 3221224576 3221222928 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3411 2741 1111 63 0 3348 0
vsize: 13644
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 111275 0 0 0 24678 323 0 0 25 0 1 0 904095030 14700544 2892 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2892 1111 63 0 3526 0
vsize: 14356
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 115180 0 0 0 25668 334 0 0 25 0 1 0 904095030 14499840 2866 4294967295 134512640 134716908 3221224576 3221222592 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3540 2866 1111 63 0 3477 0
vsize: 14160
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 119673 0 0 0 26655 346 0 0 25 0 1 0 904095030 16527360 3067 4294967295 134512640 134716908 3221224576 3221221608 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4035 3067 1111 63 0 3972 0
vsize: 16140
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 123826 0 0 0 27643 358 0 0 25 0 1 0 904095030 15917056 3063 4294967295 134512640 134716908 3221224576 3221220944 1075894554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3886 3063 1111 63 0 3823 0
vsize: 15544
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 129904 0 0 0 28626 376 0 0 25 0 1 0 904095030 14716928 2923 4294967295 134512640 134716908 3221224576 3221223216 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3593 2923 1111 63 0 3530 0
vsize: 14372
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 134839 0 0 0 29613 389 0 0 25 0 1 0 904095030 16535552 3274 4294967295 134512640 134716908 3221224576 3221220848 1074960901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 3274 1111 63 0 3974 0
vsize: 16148
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 138574 0 0 0 30603 400 0 0 25 0 1 0 904095030 14946304 2979 4294967295 134512640 134716908 3221224576 3221223152 1073989433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3649 2979 1111 63 0 3586 0
vsize: 14596
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 142649 0 0 0 31590 412 0 0 25 0 1 0 904095030 14958592 2982 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3652 2982 1111 63 0 3589 0
vsize: 14608
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 148018 0 0 0 32576 427 0 0 25 0 1 0 904095030 16904192 3161 4294967295 134512640 134716908 3221224576 3221220720 1074970267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4127 3161 1111 63 0 4064 0
vsize: 16508
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 153676 0 0 0 33561 442 0 0 25 0 1 0 904095030 17133568 3386 4294967295 134512640 134716908 3221224576 3221221040 1075602763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4183 3386 1111 63 0 4120 0
vsize: 16732
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 158815 0 0 0 34547 456 0 0 25 0 1 0 904095030 15433728 3098 4294967295 134512640 134716908 3221224576 3221223080 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3768 3098 1111 63 0 3705 0
vsize: 15072
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 163903 0 0 0 35532 472 0 0 25 0 1 0 904095030 15654912 3122 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3822 3122 1111 63 0 3759 0
vsize: 15288
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 170284 0 0 0 36516 488 0 0 25 0 1 0 904095030 16691200 3232 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3232 1111 63 0 4012 0
vsize: 16300
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 177387 0 0 0 37496 508 0 0 25 0 1 0 904095030 17780736 3530 4294967295 134512640 134716908 3221224576 3221220848 1074799477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3530 1111 63 0 4278 0
vsize: 17364
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 182170 0 0 0 38484 520 0 0 25 0 1 0 904095030 15949824 3222 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3222 1111 63 0 3831 0
vsize: 15576
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 187463 0 0 0 39469 536 0 0 25 0 1 0 904095030 16031744 3244 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3914 3244 1111 63 0 3851 0
vsize: 15656
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 191912 0 0 0 40456 548 0 0 25 0 1 0 904095030 18411520 3576 4294967295 134512640 134716908 3221224576 3221220544 1074872781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4495 3576 1111 63 0 4432 0
vsize: 17980
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 196922 0 0 0 41445 560 0 0 25 0 1 0 904095030 17932288 3430 4294967295 134512640 134716908 3221224576 3221220488 1074788507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4378 3430 1111 63 0 4315 0
vsize: 17512
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 201510 0 0 0 42435 570 0 0 25 0 1 0 904095030 18407424 3660 4294967295 134512640 134716908 3221224576 3221220720 1074969467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4494 3660 1111 63 0 4431 0
vsize: 17976
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 207625 0 0 0 43417 588 0 0 25 0 1 0 904095030 16216064 3289 4294967295 134512640 134716908 3221224576 3221222448 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3959 3289 1111 63 0 3896 0
vsize: 15836
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 214160 0 0 0 44398 607 0 0 25 0 1 0 904095030 16691200 3386 4294967295 134512640 134716908 3221224576 3221222832 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3386 1111 63 0 4012 0
vsize: 16300
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 218012 0 0 0 45389 616 0 0 25 0 1 0 904095030 16707584 3409 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4079 3409 1111 63 0 4016 0
vsize: 16316
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 223208 0 0 0 46376 630 0 0 25 0 1 0 904095030 16711680 3410 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4080 3410 1111 63 0 4017 0
vsize: 16320
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 229646 0 0 0 47360 646 0 0 25 0 1 0 904095030 16711680 3410 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4080 3410 1111 63 0 4017 0
vsize: 16320
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 236282 0 0 0 48342 664 0 0 25 0 1 0 904095030 18632704 3557 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4549 3561 1111 63 0 4486 0
vsize: 18196
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 242271 0 0 0 49324 682 0 0 25 0 1 0 904095030 17096704 3503 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4174 3503 1111 63 0 4111 0
vsize: 16696
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 248646 0 0 0 50310 697 0 0 25 0 1 0 904095030 17301504 3554 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4224 3554 1111 63 0 4161 0
vsize: 16896
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 256118 0 0 0 51288 718 0 0 25 0 1 0 904095030 17633280 3619 4294967295 134512640 134716908 3221224576 3221223004 134554941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4305 3619 1111 63 0 4242 0
vsize: 17220
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 262892 0 0 0 52270 737 0 0 25 0 1 0 904095030 17719296 3656 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4326 3656 1111 63 0 4263 0
vsize: 17304
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 267627 0 0 0 53260 748 0 0 25 0 1 0 904095030 20217856 4112 4294967295 134512640 134716908 3221224576 3221220704 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4936 4112 1111 63 0 4873 0
vsize: 19744
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 272275 0 0 0 54248 760 0 0 25 0 1 0 904095030 20230144 3984 4294967295 134512640 134716908 3221224576 3221221232 1075967695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4939 3984 1111 63 0 4876 0
vsize: 19756
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 276319 0 0 0 55238 770 0 0 25 0 1 0 904095030 19697664 4011 4294967295 134512640 134716908 3221224576 3221221088 1075084539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4809 4011 1111 63 0 4746 0
vsize: 19236
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 281606 0 0 0 56225 783 0 0 25 0 1 0 904095030 19296256 3716 4294967295 134512640 134716908 3221224576 3221221616 1075971389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4711 3721 1111 63 0 4648 0
vsize: 18844
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 285056 0 0 0 57215 793 0 0 25 0 1 0 904095030 17784832 3672 4294967295 134512640 134716908 3221224576 3221222976 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4342 3672 1111 63 0 4279 0
vsize: 17368
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 291983 0 0 0 58195 814 0 0 25 0 1 0 904095030 18681856 3691 4294967295 134512640 134716908 3221224576 3221221652 1074260661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4561 3691 1111 63 0 4498 0
vsize: 18244
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 298886 0 0 0 59176 833 0 0 25 0 1 0 904095030 19419136 3760 4294967295 134512640 134716908 3221224576 3221220720 1074970253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4741 3760 1111 63 0 4678 0
vsize: 18964
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 303699 0 0 0 60162 847 0 0 25 0 1 0 904095030 19881984 3954 4294967295 134512640 134716908 3221224576 3221220736 1075092585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4854 3954 1111 63 0 4791 0
vsize: 19416
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 307431 0 0 0 61151 858 0 0 25 0 1 0 904095030 17969152 3717 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4387 3717 1111 63 0 4324 0
vsize: 17548
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 311305 0 0 0 62139 870 0 0 25 0 1 0 904095030 19456000 3759 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 3759 1111 63 0 4687 0
vsize: 19000
[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 316447 0 0 0 63123 886 0 0 25 0 1 0 904095030 19582976 3799 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4781 3799 1111 63 0 4718 0
vsize: 19124
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 320991 0 0 0 64111 899 0 0 25 0 1 0 904095030 19603456 3965 4294967295 134512640 134716908 3221224576 3221220784 1074815439 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4786 3965 1111 63 0 4723 0
vsize: 19144
[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 324897 0 0 0 65099 911 0 0 25 0 1 0 904095030 18259968 3788 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 3788 1111 63 0 4395 0
vsize: 17832
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 328998 0 0 0 66086 924 0 0 25 0 1 0 904095030 20221952 3996 4294967295 134512640 134716908 3221224576 3221220608 1075965260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4937 3996 1111 63 0 4874 0
vsize: 19748
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 332841 0 0 0 67074 937 0 0 25 0 1 0 904095030 19456000 3929 4294967295 134512640 134716908 3221224576 3221220608 1074790457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 3929 1111 63 0 4687 0
vsize: 19000
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 337416 0 0 0 68059 951 0 0 25 0 1 0 904095030 20013056 3921 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4886 3921 1111 63 0 4823 0
vsize: 19544
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 344266 0 0 0 69039 972 0 0 25 0 1 0 904095030 20316160 4143 4294967295 134512640 134716908 3221224576 3221220648 1075964745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4960 4143 1111 63 0 4897 0
vsize: 19840
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 347091 0 0 0 70032 979 0 0 25 0 1 0 904095030 20103168 4105 4294967295 134512640 134716908 3221224576 3221220780 1075564188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4908 4105 1111 63 0 4845 0
vsize: 19632
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 351300 0 0 0 71019 992 0 0 25 0 1 0 904095030 18808832 3922 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4592 3922 1111 63 0 4529 0
vsize: 18368
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 355611 0 0 0 72007 1004 0 0 25 0 1 0 904095030 19886080 3984 4294967295 134512640 134716908 3221224576 3221222040 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3966 1111 63 0 4573 0
vsize: 19420
[startup+740.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 361436 0 0 0 72989 1023 0 0 25 0 1 0 904095030 19079168 3988 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4658 3988 1111 63 0 4595 0
vsize: 18632
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 366366 0 0 0 73973 1039 0 0 25 0 1 0 904095030 20717568 4084 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5058 4084 1111 63 0 4995 0
vsize: 20232
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 370065 0 0 0 74962 1050 0 0 25 0 1 0 904095030 20557824 4193 4294967295 134512640 134716908 3221224576 3221220848 1074961177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 4193 1111 63 0 4956 0
vsize: 20076
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 375613 0 0 0 75945 1067 0 0 25 0 1 0 904095030 20611072 4196 4294967295 134512640 134716908 3221224576 3221220720 1074970166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5032 4196 1111 63 0 4969 0
vsize: 20128
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 381619 0 0 0 76928 1084 0 0 25 0 1 0 904095030 20766720 4238 4294967295 134512640 134716908 3221224576 3221220588 1074788937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5070 4238 1111 63 0 5007 0
vsize: 20280
[startup+790.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 388437 0 0 0 77907 1106 0 0 25 0 1 0 904095030 20697088 4222 4294967295 134512640 134716908 3221224576 3221220588 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 4222 1111 63 0 4990 0
vsize: 20212
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 393315 0 0 0 78892 1121 0 0 25 0 1 0 904095030 21164032 4172 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5167 4172 1111 63 0 5104 0
vsize: 20668
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 397528 0 0 0 79879 1134 0 0 25 0 1 0 904095030 21544960 4440 4294967295 134512640 134716908 3221224576 3221220508 1074788177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5260 4440 1111 63 0 5197 0
vsize: 21040
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 401099 0 0 0 80869 1144 0 0 25 0 1 0 904095030 19959808 4203 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4873 4203 1111 63 0 4810 0
vsize: 19492
[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 405217 0 0 0 81857 1157 0 0 25 0 1 0 904095030 20004864 4189 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4884 4189 1111 63 0 4821 0
vsize: 19536
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 409794 0 0 0 82841 1172 0 0 25 0 1 0 904095030 21667840 4468 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5290 4468 1111 63 0 5227 0
vsize: 21160
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 412366 0 0 0 83835 1179 0 0 25 0 1 0 904095030 21889024 4523 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5344 4523 1111 63 0 5281 0
vsize: 21376
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 416572 0 0 0 84823 1191 0 0 25 0 1 0 904095030 21479424 4406 4294967295 134512640 134716908 3221224576 3221221408 1075115232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5244 4406 1111 63 0 5181 0
vsize: 20976
[startup+870.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 421794 0 0 0 85809 1205 0 0 25 0 1 0 904095030 20369408 4303 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4973 4303 1111 63 0 4910 0
vsize: 19892
[startup+880.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 426484 0 0 0 86796 1218 0 0 25 0 1 0 904095030 20537344 4344 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5014 4344 1111 63 0 4951 0
vsize: 20056
[startup+890.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 430950 0 0 0 87782 1233 0 0 25 0 1 0 904095030 20692992 4382 4294967295 134512640 134716908 3221224576 3221222576 1074918280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5052 4382 1111 63 0 4989 0
vsize: 20208
[startup+900.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 435974 0 0 0 88766 1249 0 0 25 0 1 0 904095030 22319104 4634 4294967295 134512640 134716908 3221224576 3221220720 1074969465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5449 4634 1111 63 0 5386 0
vsize: 21796
[startup+910.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 442458 0 0 0 89748 1267 0 0 25 0 1 0 904095030 20889600 4430 4294967295 134512640 134716908 3221224576 3221223108 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5100 4430 1111 63 0 5037 0
vsize: 20400
[startup+920.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 446215 0 0 0 90738 1277 0 0 25 0 1 0 904095030 22839296 4636 4294967295 134512640 134716908 3221224576 3221221232 1075967941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5576 4636 1111 63 0 5513 0
vsize: 22304
[startup+930.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 449502 0 0 0 91730 1285 0 0 25 0 1 0 904095030 22581248 4704 4294967295 134512640 134716908 3221224576 3221220848 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5513 4704 1111 63 0 5450 0
vsize: 22052
[startup+940.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 454999 0 0 0 92713 1303 0 0 25 0 1 0 904095030 22634496 4579 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5526 4579 1111 63 0 5463 0
vsize: 22104
[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 462770 0 0 0 93689 1327 0 0 25 0 1 0 904095030 21245952 4496 4294967295 134512640 134716908 3221224576 3221223216 134542359 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5187 4496 1111 63 0 5124 0
vsize: 20748
[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 466683 0 0 0 94678 1338 0 0 25 0 1 0 904095030 23007232 4815 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4815 1111 63 0 5554 0
vsize: 22468
[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 469980 0 0 0 95669 1347 0 0 25 0 1 0 904095030 22720512 4595 4294967295 134512640 134716908 3221224576 3221221556 1075964077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5547 4595 1111 63 0 5484 0
vsize: 22188
[startup+980.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 474985 0 0 0 96654 1362 0 0 25 0 1 0 904095030 21397504 4554 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 4554 1111 63 0 5161 0
vsize: 20896
[startup+990.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 479842 0 0 0 97641 1375 0 0 25 0 1 0 904095030 22880256 4781 4294967295 134512640 134716908 3221224576 3221220736 1075095169 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5586 4781 1111 63 0 5523 0
vsize: 22344
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 483700 0 0 0 98631 1385 0 0 25 0 1 0 904095030 23060480 4666 4294967295 134512640 134716908 3221224576 3221220848 1074961253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5630 4666 1111 63 0 5567 0
vsize: 22520
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 487717 0 0 0 99620 1396 0 0 25 0 1 0 904095030 23097344 4693 4294967295 134512640 134716908 3221224576 3221220736 1075090803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5639 4693 1111 63 0 5576 0
vsize: 22556
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 492097 0 0 0 100608 1409 0 0 25 0 1 0 904095030 22929408 4629 4294967295 134512640 134716908 3221224576 3221221504 1075960372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5598 4629 1111 63 0 5535 0
vsize: 22392
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 497874 0 0 0 101589 1428 0 0 25 0 1 0 904095030 21753856 4641 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5311 4641 1111 63 0 5248 0
vsize: 21244
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 504483 0 0 0 102572 1445 0 0 25 0 1 0 904095030 21848064 4664 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5334 4664 1111 63 0 5271 0
vsize: 21336
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 512631 0 0 0 103548 1470 0 0 25 0 1 0 904095030 23142400 4850 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5650 4850 1111 63 0 5587 0
vsize: 22600
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 518408 0 0 0 104531 1487 0 0 25 0 1 0 904095030 22056960 4715 4294967295 134512640 134716908 3221224576 3221222760 1077378070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5385 4715 1111 63 0 5322 0
vsize: 21540
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 526479 0 0 0 105508 1510 0 0 25 0 1 0 904095030 22450176 4791 4294967295 134512640 134716908 3221224576 3221222832 1073990141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5481 4791 1111 63 0 5418 0
vsize: 21924
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 530655 0 0 0 106497 1521 0 0 25 0 1 0 904095030 22368256 4791 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5461 4791 1111 63 0 5398 0
vsize: 21844
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 535241 0 0 0 107484 1534 0 0 25 0 1 0 904095030 23801856 4975 4294967295 134512640 134716908 3221224576 3221220720 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5811 4975 1111 63 0 5748 0
vsize: 23244
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 542419 0 0 0 108465 1553 0 0 25 0 1 0 904095030 24481792 5137 4294967295 134512640 134716908 3221224576 3221220720 1074970218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5977 5137 1111 63 0 5914 0
vsize: 23908
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 550056 0 0 0 109443 1575 0 0 25 0 1 0 904095030 23064576 4961 4294967295 134512640 134716908 3221224576 3221223024 1073990306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5631 4961 1111 63 0 5568 0
vsize: 22524
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 555009 0 0 0 110428 1591 0 0 25 0 1 0 904095030 22990848 4943 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5613 4943 1111 63 0 5550 0
vsize: 22452
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 558366 0 0 0 111420 1599 0 0 25 0 1 0 904095030 23089152 4967 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5637 4967 1111 63 0 5574 0
vsize: 22548
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 562634 0 0 0 112410 1610 0 0 25 0 1 0 904095030 23076864 4964 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5634 4964 1111 63 0 5571 0
vsize: 22536
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 567016 0 0 0 113396 1623 0 0 25 0 1 0 904095030 23326720 5002 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5695 5002 1111 63 0 5632 0
vsize: 22780
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 571457 0 0 0 114383 1636 0 0 25 0 1 0 904095030 23478272 5060 4294967295 134512640 134716908 3221224576 3221222728 1074950108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5732 5060 1111 63 0 5669 0
vsize: 22928
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 576479 0 0 0 115367 1653 0 0 25 0 1 0 904095030 23732224 5092 4294967295 134512640 134716908 3221224576 3221223016 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5794 5092 1111 63 0 5731 0
vsize: 23176
[startup+1175.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 3667
Raw data (stat): 3667 (bsolo_lpr_cuts-) R 3666 21152 21151 0 -1 0 576479 0 0 0 115367 1653 0 0 25 0 1 0 904095030 23732224 5092 4294967295 134512640 134716908 3221224576 3221223016 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5794 5092 1111 63 0 5731 0
vsize: 0

Child status: 10
Real time (s): 1175.16
CPU time (s): 1175.31
CPU user time (s): 1158.65
CPU system time (s): 16.6625
CPU usage (%): 100.013
Max. virtual memory (Kb): 23908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	327
#### END VERIFIER DATA ####