PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb
MD5SUM	e4299a962dbf619cce8fa1cb0ec0a149
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	349
Optimality of the best value was proved	NO
Number of terms in the objective function	698
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	698
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	698
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	3.33749
Number of variables	698
Total number of constraints	1741
Number of constraints which are clauses	1741
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 40743

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 20:55:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28809 boxname=wulflinc6 idbench=195 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  e4299a962dbf619cce8fa1cb0ec0a149  /oldhome/oroussel/tmp/wulflinc6/normalized-par16-2-c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-par16-2-c.opb
IDLAUNCH: 28809
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        920660 kB
Buffers:         28312 kB
Cached:          64576 kB
SwapCached:       1292 kB
Active:          29000 kB
Inactive:        66292 kB
HighTotal:      131008 kB
HighFree:        82320 kB
LowTotal:       903652 kB
LowFree:        838340 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            12960 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 21:15:35 (client local time) WITH STATUS 10 IN 1175.67 SECONDS
stats: 28809 0 1175.67 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 698 variables and 1741 constraints.
c After prepocess the problem consists of 668 variables and 2161 constraints.
c preprocess terminated 2.703 s
c Initial Lower Bound: 253
c Lower Bound Elapsed time: 1.1091
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 349 @ 652.704
s SATISFIABLE
v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 -x11 x12 x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 x25 -x26 -x27 x28 x29 -x30 -x31 x32 x33 -x34 -x35 x36 x37 -x38 -x39 x40 x41 -x42 -x43 x44 x45 -x46 -x47 x48 x49 -x50 -x51 x52 x53 -x54 -x55 x56 x57 -x58 -x59 x60 x61 -x62 -x63 x64 x65 -x66 -x67 x68 x69 -x70 -x71 x72 x73 -x74 -x75 x76 x77 -x78 -x79 x80 x81 -x82 -x83 x84 x85 -x86 -x87 x88 x89 -x90 -x91 x92 x93 -x94 -x95 x96 x97 -x98 -x99 x100 x101 -x102 -x103 x104 x105 -x106 -x107 x108 x109 -x110 -x111 x112 x113 -x114 -x115 x116 x117 -x118 -x119 x120 -x121 x122 x123 -x124 x125 -x126 -x127 x128 -x129 x130 -x131 x132 x133 -x134 -x135 x136 -x137 x138 -x139 x140 x141 -x142 -x143 x144 -x145 x146 -x147 x148 x149 -x150 -x151 x152 -x153 x154 -x155 x156 x157 -x158 -x159 x160 -x161 x162 -x163 x164 -x165 x166 x167 -x168 x169 -x170 x171 -x172 -x173 x174 -x175 x176 x177 -x178 -x179 x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 -x189 x190 -x191 x192 x193 -x194 -x195 x196 -x197 x198 -x199 x200 x201 -x202 -x203 x204 -x205 x206 -x207 x208 x209 -x210 -x211 x212 -x213 x214 -x215 x216 x217 -x218 -x219 x220 -x221 x222 -x223 x224 x225 -x226 -x227 x228 -x229 x230 -x231 x232 -x233 x234 x235 -x236 -x237 x238 -x239 x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248 x249 -x250 x251 -x252 -x253 x254 x255 -x256 -x257 x258 -x259 x260 x261 -x262 x263 -x264 -x265 x266 x267 -x268 x269 -x270 x271 -x272 -x273 x274 x275 -x276 -x277 x278 -x279 x280 x281 -x282 x283 -x284 -x285 x286 x287 -x288 x289 -x290 x291 -x292 -x293 x294 x295 -x296 x297 -x298 -x299 x300 x301 -x302 -x303 x304 x305 -x306 x307 -x308 -x309 x310 x311 -x312 -x313 x314 x315 -x316 x317 -x318 x319 -x320 -x321 x322 x323 -x324 -x325 x326 x327 -x328 x329 -x330 x331 -x332 -x333 x334 x335 -x336 -x337 x338 x339 -x340 -x341 x342 x343 -x344 x345 -x346 -x347 x348 x349 -x350 x351 -x352 x353 -x354 -x355 x356 x357 -x358 -x359 x360 x361 -x362 x363 -x364 x365 -x366 -x367 x368 x369 -x370 -x371 x372 x373 -x374 -x375 x376 x377 -x378 -x379 x380 x381 -x382 -x383 x384 x385 -x386 -x387 x388 -x389 x390 -x391 x392 x393 -x394 -x395 x396 -x397 x398 x399 -x400 -x401 x402 x403 -x404 -x405 x406 x407 -x408 x409 -x410 -x411 x412 x413 -x414 x415 -x416 x417 -x418 -x419 x420 x421 -x422 -x423 x424 x425 -x426 -x427 x428 x429 -x430 -x431 x432 x433 -x434 x435 -x436 x437 -x438 -x439 x440 x441 -x442 -x443 x444 x445 -x446 -x447 x448 -x449 x450 -x451 x452 x453 -x454 -x455 x456 x457 -x458 -x459 x460 -x461 x462 -x463 x464 x465 -x466 -x467 x468 x469 -x470 -x471 x472 x473 -x474 x475 -x476 x477 -x478 x479 -x480 -x481 x482 -x483 x484 x485 -x486 -x487 x488 x489 -x490 x491 -x492 x493 -x494 -x495 x496 -x497 x498 x499 -x500 x501 -x502 -x503 x504 x505 -x506 -x507 x508 x509 -x510 -x511 x512 x513 -x514 x515 -x516 -x517 x518 x519 -x520 -x521 x522 x523 -x524 -x525 x526 x527 -x528 -x529 x530 -x531 x532 x533 -x534 x535 -x536 -x537 x538 -x539 x540 x541 -x542 x543 -x544 x545 -x546 -x547 x548 x549 -x550 -x551 x552 -x553 x554 x555 -x556 x557 -x558 -x559 x560 x561 -x562 -x563 x564 x565 -x566 x567 -x568 -x569 x570 x571 -x572 x573 -x574 x575 -x576 -x577 x578 x579 -x580 -x581 x582 -x583 x584 x585 -x586 -x587 x588 -x589 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 x599 -x600 -x601 x602 -x603 x604 -x605 x606 x607 -x608 x609 -x610 -x611 x612 -x613 x614 x615 -x616 -x617 x618 -x619 x620 -x621 x622 x623 -x624 -x625 x626 x627 -x628 -x629 x630 x631 -x632 x633 -x634 -x635 x636 x637 -x638 -x639 x640 x641 -x642 -x643 x644 x645 -x646 -x647 x648 x649 -x650 -x651 x652 x653 -x654 -x655 x656 x657 -x658 -x659 x660 -x661 x662 -x663 x664 x665 -x666 -x667 x668 x669 -x670 -x671 x672 -x673 x674 x675 -x676 -x677 x678 x679 -x680 x681 -x682 x683 -x684 -x685 x686 x687 -x688 x689 -x690 x691 -x692 -x693 x694 x695 -x696 -x697 x698 
c Exit Code: 10
c Total time: 1175.63 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.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (runsolver) R 2063 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904680214 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.0007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 5089 0 0 0 984 12 0 0 25 0 1 0 904680214 11726848 1988 4294967295 134512640 134716908 3221224576 3221220512 1075965234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2863 1988 1111 63 0 2800 0
vsize: 11452
[startup+20.0016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 7220 0 0 0 1977 19 0 0 25 0 1 0 904680214 10600448 1880 4294967295 134512640 134716908 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2588 1880 1111 63 0 2525 0
vsize: 10352
[startup+30.0012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 7481 0 0 0 2976 20 0 0 25 0 1 0 904680214 11542528 2141 4294967295 134512640 134716908 3221224576 3221223132 134539208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2818 2141 1111 63 0 2755 0
vsize: 11272
[startup+40.0016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 7761 0 0 0 3974 22 0 0 25 0 1 0 904680214 12759040 2421 4294967295 134512640 134716908 3221224576 3221223248 134542977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3115 2421 1111 63 0 3052 0
vsize: 12460
[startup+50.0017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 8008 0 0 0 4973 24 0 0 25 0 1 0 904680214 13705216 2668 4294967295 134512640 134716908 3221224576 3221223248 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2668 1111 63 0 3283 0
vsize: 13384
[startup+60.0016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 8276 0 0 0 5972 25 0 0 25 0 1 0 904680214 14921728 2936 4294967295 134512640 134716908 3221224576 3221223144 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3643 2936 1111 63 0 3580 0
vsize: 14572
[startup+70.0024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 8511 0 0 0 6971 27 0 0 25 0 1 0 904680214 15867904 3171 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3171 1111 63 0 3811 0
vsize: 15496
[startup+80.0032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 8744 0 0 0 7970 28 0 0 25 0 1 0 904680214 16814080 3404 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4105 3404 1111 63 0 4042 0
vsize: 16420
[startup+90.0033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 8982 0 0 0 8969 29 0 0 25 0 1 0 904680214 17760256 3642 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4336 3642 1111 63 0 4273 0
vsize: 17344
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 9215 0 0 0 9969 30 0 0 25 0 1 0 904680214 18702336 3875 4294967295 134512640 134716908 3221224576 3221223184 134543724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4566 3875 1111 63 0 4503 0
vsize: 18264
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 9453 0 0 0 10968 31 0 0 25 0 1 0 904680214 19648512 4113 4294967295 134512640 134716908 3221224576 3221223296 134535760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4797 4114 1111 63 0 4734 0
vsize: 19188
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 9659 0 0 0 11967 32 0 0 25 0 1 0 904680214 20594688 4319 4294967295 134512640 134716908 3221224576 3221223232 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5028 4319 1111 63 0 4965 0
vsize: 20112
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 9880 0 0 0 12967 33 0 0 25 0 1 0 904680214 21405696 4540 4294967295 134512640 134716908 3221224576 3221223216 134539471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5226 4540 1111 63 0 5163 0
vsize: 20904
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 10107 0 0 0 13965 35 0 0 25 0 1 0 904680214 22347776 4767 4294967295 134512640 134716908 3221224576 3221223216 134698317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5456 4767 1111 63 0 5393 0
vsize: 21824
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 10372 0 0 0 14965 35 0 0 25 0 1 0 904680214 23429120 5032 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5720 5032 1111 63 0 5657 0
vsize: 22880
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 10622 0 0 0 15964 37 0 0 25 0 1 0 904680214 24510464 5282 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5984 5282 1111 63 0 5921 0
vsize: 23936
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 10884 0 0 0 16963 38 0 0 25 0 1 0 904680214 25591808 5543 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6248 5543 1111 63 0 6185 0
vsize: 24992
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 11139 0 0 0 17962 39 0 0 25 0 1 0 904680214 26669056 5798 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6511 5798 1111 63 0 6448 0
vsize: 26044
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 11368 0 0 0 18962 40 0 0 25 0 1 0 904680214 27619328 6027 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 6027 1111 63 0 6680 0
vsize: 26972
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 11589 0 0 0 19961 41 0 0 25 0 1 0 904680214 28430336 6248 4294967295 134512640 134716908 3221224576 3221223352 134584887 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6941 6248 1111 63 0 6878 0
vsize: 27764
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 11820 0 0 0 20960 42 0 0 25 0 1 0 904680214 29376512 6479 4294967295 134512640 134716908 3221224576 3221223184 134543719 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7172 6479 1111 63 0 7109 0
vsize: 28688
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 12056 0 0 0 21959 44 0 0 25 0 1 0 904680214 30330880 6715 4294967295 134512640 134716908 3221224576 3221223128 134539209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7405 6715 1111 63 0 7342 0
vsize: 29620
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 12289 0 0 0 22958 45 0 0 25 0 1 0 904680214 31277056 6948 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7636 6948 1111 63 0 7573 0
vsize: 30544
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2064
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 12532 0 0 0 23957 46 0 0 25 0 1 0 904680214 32358400 7191 4294967295 134512640 134716908 3221224576 3221223224 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7900 7191 1111 63 0 7837 0
vsize: 31600
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2117
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 12773 0 0 0 24955 48 0 0 25 0 1 0 904680214 33304576 7432 4294967295 134512640 134716908 3221224576 3221223292 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8131 7432 1111 63 0 8068 0
vsize: 32524
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2117
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 13007 0 0 0 25954 49 0 0 25 0 1 0 904680214 34246656 7665 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8361 7665 1111 63 0 8298 0
vsize: 33444
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2117
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 13228 0 0 0 26953 51 0 0 25 0 1 0 904680214 35196928 7886 4294967295 134512640 134716908 3221224576 3221223168 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8593 7886 1111 63 0 8530 0
vsize: 34372
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2117
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 13457 0 0 0 27953 51 0 0 25 0 1 0 904680214 36147200 8115 4294967295 134512640 134716908 3221224576 3221223116 134539309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8825 8115 1111 63 0 8762 0
vsize: 35300
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2117
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 13659 0 0 0 28951 53 0 0 25 0 1 0 904680214 36958208 8317 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9023 8317 1111 63 0 8960 0
vsize: 36092
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2117
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 13864 0 0 0 29950 54 0 0 25 0 1 0 904680214 37769216 8522 4294967295 134512640 134716908 3221224576 3221223060 134699572 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9221 8522 1111 63 0 9158 0
vsize: 36884
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2117
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 14068 0 0 0 30949 56 0 0 25 0 1 0 904680214 38744064 8726 4294967295 134512640 134716908 3221224576 3221223216 134539362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9459 8726 1111 63 0 9396 0
vsize: 37836
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 14265 0 0 0 31948 58 0 0 25 0 1 0 904680214 39456768 8923 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9633 8923 1111 63 0 9570 0
vsize: 38532
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 14438 0 0 0 32946 59 0 0 25 0 1 0 904680214 40267776 9096 4294967295 134512640 134716908 3221224576 3221223136 134698898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9831 9096 1111 63 0 9768 0
vsize: 39324
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 14659 0 0 0 33945 61 0 0 25 0 1 0 904680214 41095168 9317 4294967295 134512640 134716908 3221224576 3221223244 134539344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10033 9317 1111 63 0 9970 0
vsize: 40132
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 14897 0 0 0 34943 63 0 0 25 0 1 0 904680214 42176512 9555 4294967295 134512640 134716908 3221224576 3221223344 134529381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10297 9555 1111 63 0 10234 0
vsize: 41188
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 15130 0 0 0 35943 64 0 0 25 0 1 0 904680214 43122688 9788 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10528 9788 1111 63 0 10465 0
vsize: 42112
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 15347 0 0 0 36941 66 0 0 25 0 1 0 904680214 43937792 10005 4294967295 134512640 134716908 3221224576 3221223144 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10727 10005 1111 63 0 10664 0
vsize: 42908
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 15555 0 0 0 37940 67 0 0 25 0 1 0 904680214 44883968 10213 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10958 10213 1111 63 0 10895 0
vsize: 43832
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 15753 0 0 0 38940 68 0 0 25 0 1 0 904680214 45694976 10411 4294967295 134512640 134716908 3221224576 3221223348 134584888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11156 10412 1111 63 0 11093 0
vsize: 44624
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 15949 0 0 0 39939 69 0 0 25 0 1 0 904680214 46370816 10607 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11321 10607 1111 63 0 11258 0
vsize: 45284
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 16145 0 0 0 40938 71 0 0 25 0 1 0 904680214 47181824 10803 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11519 10803 1111 63 0 11456 0
vsize: 46076
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 16323 0 0 0 41938 71 0 0 25 0 1 0 904680214 48001024 10981 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11719 10981 1111 63 0 11656 0
vsize: 46876
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 16491 0 0 0 42937 73 0 0 25 0 1 0 904680214 48676864 11149 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11884 11149 1111 63 0 11821 0
vsize: 47536
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 16675 0 0 0 43936 74 0 0 25 0 1 0 904680214 49352704 11333 4294967295 134512640 134716908 3221224576 3221223132 134535952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12049 11333 1111 63 0 11986 0
vsize: 48196
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 16842 0 0 0 44934 76 0 0 25 0 1 0 904680214 50028544 11500 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12214 11500 1111 63 0 12151 0
vsize: 48856
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 17021 0 0 0 45933 77 0 0 25 0 1 0 904680214 50843648 11679 4294967295 134512640 134716908 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12413 11680 1111 63 0 12350 0
vsize: 49652
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 17199 0 0 0 46932 78 0 0 25 0 1 0 904680214 51519488 11857 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12578 11857 1111 63 0 12515 0
vsize: 50312
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 17392 0 0 0 47932 79 0 0 25 0 1 0 904680214 52342784 12050 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12779 12050 1111 63 0 12716 0
vsize: 51116
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 17593 0 0 0 48930 81 0 0 25 0 1 0 904680214 53153792 12251 4294967295 134512640 134716908 3221224576 3221223360 134529404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12977 12251 1111 63 0 12914 0
vsize: 51908
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 17818 0 0 0 49929 83 0 0 25 0 1 0 904680214 54099968 12476 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13208 12477 1111 63 0 13145 0
vsize: 52832
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 18032 0 0 0 50927 85 0 0 25 0 1 0 904680214 55050240 12690 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13440 12690 1111 63 0 13377 0
vsize: 53760
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 18243 0 0 0 51926 87 0 0 25 0 1 0 904680214 55861248 12901 4294967295 134512640 134716908 3221224576 3221223264 134528712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13638 12901 1111 63 0 13575 0
vsize: 54552
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 18451 0 0 0 52924 88 0 0 25 0 1 0 904680214 56807424 13109 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13869 13109 1111 63 0 13806 0
vsize: 55476
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 18689 0 0 0 53923 90 0 0 25 0 1 0 904680214 57786368 13347 4294967295 134512640 134716908 3221224576 3221223160 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14108 13347 1111 63 0 14045 0
vsize: 56432
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 18919 0 0 0 54921 92 0 0 25 0 1 0 904680214 58732544 13577 4294967295 134512640 134716908 3221224576 3221223312 134523974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14339 13577 1111 63 0 14276 0
vsize: 57356
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2119
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 19166 0 0 0 55920 94 0 0 25 0 1 0 904680214 59707392 13823 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14577 13823 1111 63 0 14514 0
vsize: 58308
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 19393 0 0 0 56919 96 0 0 25 0 1 0 904680214 60669952 14050 4294967295 134512640 134716908 3221224576 3221223200 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14812 14050 1111 63 0 14749 0
vsize: 59248
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 19624 0 0 0 57918 97 0 0 25 0 1 0 904680214 61616128 14280 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15043 14280 1111 63 0 14980 0
vsize: 60172
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 19845 0 0 0 58917 98 0 0 25 0 1 0 904680214 62603264 14499 4294967295 134512640 134716908 3221224576 3221223368 134529423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15284 14499 1111 63 0 15221 0
vsize: 61136
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 20057 0 0 0 59915 100 0 0 25 0 1 0 904680214 63414272 14711 4294967295 134512640 134716908 3221224576 3221223116 134539273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15482 14711 1111 63 0 15419 0
vsize: 61928
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 20268 0 0 0 60913 102 0 0 25 0 1 0 904680214 64294912 14921 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15697 14921 1111 63 0 15634 0
vsize: 62788
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 20481 0 0 0 61912 104 0 0 25 0 1 0 904680214 65306624 15134 4294967295 134512640 134716908 3221224576 3221223124 134699080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15944 15134 1111 63 0 15881 0
vsize: 63776
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 20680 0 0 0 62911 106 0 0 25 0 1 0 904680214 66113536 15333 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16141 15333 1111 63 0 16078 0
vsize: 64564
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 20889 0 0 0 63910 107 0 0 25 0 1 0 904680214 66924544 15542 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16339 15542 1111 63 0 16276 0
vsize: 65356
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 21098 0 0 0 64909 108 0 0 25 0 1 0 904680214 67813376 15751 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16556 15751 1111 63 0 16493 0
vsize: 66224
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 23196 0 0 0 65903 115 0 0 25 0 1 0 904680214 71929856 16477 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17561 16477 1111 63 0 17498 0
vsize: 70244
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 25202 0 0 0 66898 120 0 0 25 0 1 0 904680214 71901184 16423 4294967295 134512640 134716908 3221224576 3221220848 1074961402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17554 16423 1111 63 0 17491 0
vsize: 70216
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 27557 0 0 0 67891 127 0 0 25 0 1 0 904680214 71946240 16462 4294967295 134512640 134716908 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17565 16462 1111 63 0 17502 0
vsize: 70260
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 29699 0 0 0 68886 132 0 0 25 0 1 0 904680214 71897088 16442 4294967295 134512640 134716908 3221224576 3221220848 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17553 16442 1111 63 0 17490 0
vsize: 70212
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 32969 0 0 0 69878 141 0 0 25 0 1 0 904680214 71294976 16511 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17406 16511 1111 63 0 17343 0
vsize: 69624
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 38069 0 0 0 70864 155 0 0 25 0 1 0 904680214 73191424 16871 4294967295 134512640 134716908 3221224576 3221220576 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17869 16871 1111 63 0 17806 0
vsize: 71476
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 39962 0 0 0 71859 161 0 0 25 0 1 0 904680214 72986624 16654 4294967295 134512640 134716908 3221224576 3221220632 1074789596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17819 16654 1111 63 0 17756 0
vsize: 71276
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 45173 0 0 0 72844 175 0 0 25 0 1 0 904680214 73928704 16927 4294967295 134512640 134716908 3221224576 3221220796 1075116474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18049 16927 1111 63 0 17986 0
vsize: 72196
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 48708 0 0 0 73834 186 0 0 25 0 1 0 904680214 74051584 17038 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18079 17041 1111 63 0 18016 0
vsize: 72316
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 51718 0 0 0 74826 194 0 0 25 0 1 0 904680214 72081408 16703 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17598 16703 1111 63 0 17535 0
vsize: 70392
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 54126 0 0 0 75819 201 0 0 25 0 1 0 904680214 74186752 16998 4294967295 134512640 134716908 3221224576 3221220724 1075964386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18112 16998 1111 63 0 18049 0
vsize: 72448
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 56916 0 0 0 76811 210 0 0 25 0 1 0 904680214 74240000 17109 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18125 17109 1111 63 0 18062 0
vsize: 72500
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 59711 0 0 0 77803 217 0 0 25 0 1 0 904680214 72404992 16752 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17677 16752 1111 63 0 17614 0
vsize: 70708
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 63072 0 0 0 78794 227 0 0 25 0 1 0 904680214 72245248 16743 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17638 16743 1111 63 0 17575 0
vsize: 70552
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 66054 0 0 0 79786 235 0 0 25 0 1 0 904680214 74424320 17052 4294967295 134512640 134716908 3221224576 3221220608 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18170 17052 1111 63 0 18107 0
vsize: 72680
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 69055 0 0 0 80777 245 0 0 25 0 1 0 904680214 73031680 16862 4294967295 134512640 134716908 3221224576 3221222224 1075818379 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17830 16862 1111 63 0 17767 0
vsize: 71320
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 70863 0 0 0 81773 249 0 0 25 0 1 0 904680214 74088448 17075 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18088 17075 1111 63 0 18025 0
vsize: 72352
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 73757 0 0 0 82765 258 0 0 25 0 1 0 904680214 73281536 16939 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17891 16939 1111 63 0 17828 0
vsize: 71564
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 76934 0 0 0 83756 267 0 0 25 0 1 0 904680214 73195520 16954 4294967295 134512640 134716908 3221224576 3221222788 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17870 16954 1111 63 0 17807 0
vsize: 71480
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 79785 0 0 0 84750 273 0 0 25 0 1 0 904680214 73486336 17046 4294967295 134512640 134716908 3221224576 3221222960 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17941 17046 1111 63 0 17878 0
vsize: 71764
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 81431 0 0 0 85746 277 0 0 25 0 1 0 904680214 75218944 17339 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18364 17339 1111 63 0 18301 0
vsize: 73456
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 83218 0 0 0 86741 283 0 0 25 0 1 0 904680214 73867264 17108 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18034 17108 1111 63 0 17971 0
vsize: 72136
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 84911 0 0 0 87737 287 0 0 25 0 1 0 904680214 75190272 17249 4294967295 134512640 134716908 3221224576 3221220632 1074789800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18357 17249 1111 63 0 18294 0
vsize: 73428
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 86782 0 0 0 88732 293 0 0 25 0 1 0 904680214 75231232 17356 4294967295 134512640 134716908 3221224576 3221220676 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18367 17356 1111 63 0 18304 0
vsize: 73468
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 89370 0 0 0 89724 301 0 0 25 0 1 0 904680214 75309056 17213 4294967295 134512640 134716908 3221224576 3221220816 1075115730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18386 17213 1111 63 0 18323 0
vsize: 73544
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 91513 0 0 0 90718 308 0 0 25 0 1 0 904680214 73687040 17095 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17990 17095 1111 63 0 17927 0
vsize: 71960
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 93532 0 0 0 91711 315 0 0 25 0 1 0 904680214 74825728 17243 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18268 17243 1111 63 0 18205 0
vsize: 73072
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 95152 0 0 0 92706 320 0 0 25 0 1 0 904680214 75210752 17243 4294967295 134512640 134716908 3221224576 3221220796 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18362 17243 1111 63 0 18299 0
vsize: 73448
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 96574 0 0 0 93703 323 0 0 25 0 1 0 904680214 74682368 17267 4294967295 134512640 134716908 3221224576 3221220800 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18233 17267 1111 63 0 18170 0
vsize: 72932
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 98148 0 0 0 94699 328 0 0 25 0 1 0 904680214 75337728 17227 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18393 17227 1111 63 0 18330 0
vsize: 73572
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 99699 0 0 0 95695 332 0 0 25 0 1 0 904680214 74899456 17278 4294967295 134512640 134716908 3221224576 3221220484 1074786495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18286 17278 1111 63 0 18223 0
vsize: 73144
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 102123 0 0 0 96688 339 0 0 25 0 1 0 904680214 74895360 17305 4294967295 134512640 134716908 3221224576 3221220688 1075091329 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18285 17305 1111 63 0 18222 0
vsize: 73140
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 103477 0 0 0 97685 343 0 0 25 0 1 0 904680214 75055104 17300 4294967295 134512640 134716908 3221224576 3221221688 1074837061 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18324 17300 1111 63 0 18261 0
vsize: 73296
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 107042 0 0 0 98675 353 0 0 25 0 1 0 904680214 74403840 17219 4294967295 134512640 134716908 3221224576 3221223056 1074031958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18165 17219 1111 63 0 18102 0
vsize: 72660
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 109680 0 0 0 99668 360 0 0 25 0 1 0 904680214 74620928 17288 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18218 17288 1111 63 0 18155 0
vsize: 72872
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 111356 0 0 0 100663 366 0 0 25 0 1 0 904680214 76099584 17454 4294967295 134512640 134716908 3221224576 3221220792 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17454 1111 63 0 18516 0
vsize: 74316
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 113302 0 0 0 101658 371 0 0 25 0 1 0 904680214 75649024 17442 4294967295 134512640 134716908 3221224576 3221220720 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17442 1111 63 0 18406 0
vsize: 73876
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 115505 0 0 0 102651 378 0 0 25 0 1 0 904680214 74571776 17299 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18206 17299 1111 63 0 18143 0
vsize: 72824
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 117174 0 0 0 103646 384 0 0 25 0 1 0 904680214 76079104 17457 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18574 17457 1111 63 0 18511 0
vsize: 74296
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 119527 0 0 0 104639 392 0 0 25 0 1 0 904680214 74760192 17306 4294967295 134512640 134716908 3221224576 3221222992 1073989433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18252 17306 1111 63 0 18189 0
vsize: 73008
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 121110 0 0 0 105634 397 0 0 25 0 1 0 904680214 76214272 17469 4294967295 134512640 134716908 3221224576 3221220444 1074787708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18607 17469 1111 63 0 18544 0
vsize: 74428
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 123855 0 0 0 106626 405 0 0 25 0 1 0 904680214 74510336 17283 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18191 17283 1111 63 0 18128 0
vsize: 72764
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 125668 0 0 0 107620 412 0 0 25 0 1 0 904680214 74825728 17339 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18268 17339 1111 63 0 18205 0
vsize: 73072
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 128125 0 0 0 108614 418 0 0 25 0 1 0 904680214 74784768 17339 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18258 17339 1111 63 0 18195 0
vsize: 73032
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 129768 0 0 0 109609 423 0 0 25 0 1 0 904680214 76312576 17507 4294967295 134512640 134716908 3221224576 3221220848 1074804709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18631 17507 1111 63 0 18568 0
vsize: 74524
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 132316 0 0 0 110602 431 0 0 25 0 1 0 904680214 75821056 17486 4294967295 134512640 134716908 3221224576 3221220676 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18511 17486 1111 63 0 18448 0
vsize: 74044
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 134781 0 0 0 111596 437 0 0 25 0 1 0 904680214 75104256 17383 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18336 17383 1111 63 0 18273 0
vsize: 73344
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 137469 0 0 0 112590 444 0 0 25 0 1 0 904680214 76484608 17545 4294967295 134512640 134716908 3221224576 3221220632 1074789611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18673 17545 1111 63 0 18610 0
vsize: 74692
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 141406 0 0 0 113579 455 0 0 25 0 1 0 904680214 74563584 17302 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18204 17302 1111 63 0 18141 0
vsize: 72816
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 143948 0 0 0 114573 461 0 0 25 0 1 0 904680214 76718080 17592 4294967295 134512640 134716908 3221224576 3221220524 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18730 17592 1111 63 0 18667 0
vsize: 74920
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 146161 0 0 0 115568 467 0 0 25 0 1 0 904680214 76484608 17695 4294967295 134512640 134716908 3221224576 3221220484 1074786571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18673 17695 1111 63 0 18610 0
vsize: 74692
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 148102 0 0 0 116563 472 0 0 25 0 1 0 904680214 76877824 17595 4294967295 134512640 134716908 3221224576 3221220796 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18769 17595 1111 63 0 18706 0
vsize: 75076
[startup+1175.34 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 2121
Raw data (stat): 2064 (bsolo_lpr_cuts-) R 2063 25568 25567 0 -1 0 148102 0 0 0 116563 472 0 0 25 0 1 0 904680214 76877824 17595 4294967295 134512640 134716908 3221224576 3221220796 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18769 17595 1111 63 0 18706 0
vsize: 0

Child status: 10
Real time (s): 1175.34
CPU time (s): 1175.67
CPU user time (s): 1170.84
CPU system time (s): 4.82327
CPU usage (%): 100.028
Max. virtual memory (Kb): 75076
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	349
#### END VERIFIER DATA ####