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-ii32b4.opb
MD5SUM	c3974db7e8a7a7dcf1a342d47c14e34f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	376
Optimality of the best value was proved	NO
Number of terms in the objective function	762
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	762
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	762
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.03584
Number of variables	762
Total number of constraints	7299
Number of constraints which are clauses	7299
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 40698

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 19:02:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28764 boxname=wulflinc3 idbench=150 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c3974db7e8a7a7dcf1a342d47c14e34f  /oldhome/oroussel/tmp/wulflinc3/normalized-ii32b4.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ii32b4.opb
IDLAUNCH: 28764
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        743128 kB
Buffers:         24028 kB
Cached:         247164 kB
SwapCached:        808 kB
Active:          38224 kB
Inactive:       235068 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        742876 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12360 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 19:22:27 (client local time) WITH STATUS 10 IN 1176.02 SECONDS
stats: 28764 0 1176.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 762 variables and 7299 constraints.
c After prepocess the problem consists of 762 variables and 7299 constraints.
c preprocess terminated 22.006 s
c Initial Lower Bound: 262
c Lower Bound Elapsed time: 11.817
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 381 @ 46.841
c NEW SOLUTION FOUND: 380 @ 46.843
c NEW SOLUTION FOUND: 379 @ 46.857
c NEW SOLUTION FOUND: 378 @ 46.867
c NEW SOLUTION FOUND: 377 @ 46.876
c NEW SOLUTION FOUND: 376 @ 46.886
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 -x699 x700 x701 -x702 -x703 x704 x705 -x706 -x707 x708 -x709 x710 x711 -x712 -x713 x714 x715 -x716 -x717 x718 -x719 x720 -x721 x722 x723 -x724 -x725 x726 -x727 x728 -x729 x730 x731 -x732 x733 -x734 -x735 x736 -x737 x738 -x739 x740 x741 -x742 -x743 x744 x745 -x746 -x747 x748 -x749 x750 x751 -x752 -x753 x754 -x755 x756 -x757 x758 -x759 x760 x761 -x762 
c Exit Code: 10
c Total time: 1176 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.93 0.97 0.91 2/54 29428
Raw data (stat): 29428 (runsolver) R 29427 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903993640 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.0003 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 2292 0 0 0 990 7 0 0 25 0 1 0 903993640 12509184 2209 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3054 2209 1111 63 0 2991 0
vsize: 12216
[startup+20.0006 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 2296 0 0 0 1989 8 0 0 25 0 1 0 903993640 12509184 2213 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3054 2213 1111 63 0 2991 0
vsize: 12216
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 5741 0 0 0 2981 15 0 0 25 0 1 0 903993640 18620416 3427 4294967295 134512640 134716908 3221224576 3221222440 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4546 3432 1111 63 0 4483 0
vsize: 18184
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 8586 0 0 0 3974 23 0 0 25 0 1 0 903993640 16654336 3310 4294967295 134512640 134716908 3221224576 3221222632 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4066 3310 1111 63 0 4003 0
vsize: 16264
[startup+50.0021 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 10665 0 0 0 4968 29 0 0 25 0 1 0 903993640 17977344 3294 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4389 3300 1111 63 0 4326 0
vsize: 17556
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 13163 0 0 0 5962 35 0 0 25 0 1 0 903993640 18694144 3184 4294967295 134512640 134716908 3221224576 3221220704 1075561094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4564 3184 1111 63 0 4501 0
vsize: 18256
[startup+70.0031 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 15634 0 0 0 6956 41 0 0 25 0 1 0 903993640 18579456 3144 4294967295 134512640 134716908 3221224576 3221221388 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4536 3144 1111 63 0 4473 0
vsize: 18144
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 19285 0 0 0 7947 50 0 0 25 0 1 0 903993640 14577664 2884 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3559 2884 1111 63 0 3496 0
vsize: 14236
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 22204 0 0 0 8940 57 0 0 25 0 1 0 903993640 14536704 2874 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3549 2874 1111 63 0 3486 0
vsize: 14196
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 25036 0 0 0 9933 64 0 0 25 0 1 0 903993640 14999552 2955 4294967295 134512640 134716908 3221224576 3221222576 1074916479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3662 2955 1111 63 0 3599 0
vsize: 14648
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 28098 0 0 0 10926 72 0 0 25 0 1 0 903993640 18825216 3161 4294967295 134512640 134716908 3221224576 3221220720 1074970921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4596 3161 1111 63 0 4533 0
vsize: 18384
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 30855 0 0 0 11919 79 0 0 25 0 1 0 903993640 19030016 3238 4294967295 134512640 134716908 3221224576 3221220720 1074970218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4646 3238 1111 63 0 4583 0
vsize: 18584
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 33931 0 0 0 12911 87 0 0 25 0 1 0 903993640 19079168 3174 4294967295 134512640 134716908 3221224576 3221220896 1075859360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4658 3174 1111 63 0 4595 0
vsize: 18632
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 36356 0 0 0 13906 92 0 0 25 0 1 0 903993640 15093760 3010 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3685 3010 1111 63 0 3622 0
vsize: 14740
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 38989 0 0 0 14901 98 0 0 25 0 1 0 903993640 15089664 3009 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3684 3009 1111 63 0 3621 0
vsize: 14736
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29428
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 41960 0 0 0 15892 107 0 0 25 0 1 0 903993640 19652608 3399 4294967295 134512640 134716908 3221224576 3221220804 1075115130 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4798 3399 1111 63 0 4735 0
vsize: 19192
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 45165 0 0 0 16886 113 0 0 25 0 1 0 903993640 15314944 3064 4294967295 134512640 134716908 3221224576 3221222440 1077378596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3739 3064 1111 63 0 3676 0
vsize: 14956
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 48280 0 0 0 17877 122 0 0 25 0 1 0 903993640 19918848 3486 4294967295 134512640 134716908 3221224576 3221221232 1075967892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4863 3486 1111 63 0 4800 0
vsize: 19452
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 51523 0 0 0 18870 129 0 0 25 0 1 0 903993640 15826944 3182 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3864 3182 1111 63 0 3801 0
vsize: 15456
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 56304 0 0 0 19856 143 0 0 25 0 1 0 903993640 15966208 3212 4294967295 134512640 134716908 3221224576 3221222788 1075964218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3898 3212 1111 63 0 3835 0
vsize: 15592
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 60482 0 0 0 20843 157 0 0 25 0 1 0 903993640 16027648 3238 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3913 3238 1111 63 0 3850 0
vsize: 15652
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 63451 0 0 0 21836 164 0 0 25 0 1 0 903993640 16048128 3243 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3918 3243 1111 63 0 3855 0
vsize: 15672
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 66683 0 0 0 22827 173 0 0 25 0 1 0 903993640 20201472 3466 4294967295 134512640 134716908 3221224576 3221220816 1075115744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4932 3466 1111 63 0 4869 0
vsize: 19728
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 69916 0 0 0 23818 182 0 0 25 0 1 0 903993640 19873792 3413 4294967295 134512640 134716908 3221224576 3221220804 1075115051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4852 3413 1111 63 0 4789 0
vsize: 19408
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 73117 0 0 0 24810 190 0 0 25 0 1 0 903993640 20545536 3609 4294967295 134512640 134716908 3221224576 3221221648 1074867212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 3609 1111 63 0 4953 0
vsize: 20064
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 77090 0 0 0 25801 200 0 0 25 0 1 0 903993640 21577728 3820 4294967295 134512640 134716908 3221224576 3221220736 1075091586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5268 3820 1111 63 0 5205 0
vsize: 21072
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 80656 0 0 0 26792 209 0 0 25 0 1 0 903993640 21409792 3828 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5227 3828 1111 63 0 5164 0
vsize: 20908
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 83725 0 0 0 27783 218 0 0 25 0 1 0 903993640 21876736 3943 4294967295 134512640 134716908 3221224576 3221220704 1075561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5341 3943 1111 63 0 5278 0
vsize: 21364
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 86359 0 0 0 28776 225 0 0 25 0 1 0 903993640 21585920 3902 4294967295 134512640 134716908 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5270 3902 1111 63 0 5207 0
vsize: 21080
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 88886 0 0 0 29770 231 0 0 25 0 1 0 903993640 17207296 3526 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4201 3526 1111 63 0 4138 0
vsize: 16804
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 91122 0 0 0 30765 237 0 0 25 0 1 0 903993640 17383424 3536 4294967295 134512640 134716908 3221224576 3221222224 1075817957 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3536 1111 63 0 4181 0
vsize: 16976
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 93330 0 0 0 31760 242 0 0 25 0 1 0 903993640 20815872 3624 4294967295 134512640 134716908 3221224576 3221220704 1075561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5082 3624 1111 63 0 5019 0
vsize: 20328
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 95634 0 0 0 32755 247 0 0 25 0 1 0 903993640 21954560 3962 4294967295 134512640 134716908 3221224576 3221220704 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5360 3962 1111 63 0 5297 0
vsize: 21440
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 98070 0 0 0 33749 253 0 0 25 0 1 0 903993640 17379328 3568 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4243 3568 1111 63 0 4180 0
vsize: 16972
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 100602 0 0 0 34742 261 0 0 25 0 1 0 903993640 17776640 3591 4294967295 134512640 134716908 3221224576 3221222224 1075817957 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4340 3591 1111 63 0 4277 0
vsize: 17360
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 103469 0 0 0 35736 267 0 0 25 0 1 0 903993640 17690624 3640 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4319 3640 1111 63 0 4256 0
vsize: 17276
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 106169 0 0 0 36730 273 0 0 25 0 1 0 903993640 22269952 4041 4294967295 134512640 134716908 3221224576 3221220552 1074788458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5437 4041 1111 63 0 5374 0
vsize: 21748
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 108715 0 0 0 37724 279 0 0 25 0 1 0 903993640 22007808 3951 4294967295 134512640 134716908 3221224576 3221220804 1075115141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5373 3951 1111 63 0 5310 0
vsize: 21492
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 111151 0 0 0 38719 285 0 0 25 0 1 0 903993640 17747968 3658 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4333 3658 1111 63 0 4270 0
vsize: 17332
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 113697 0 0 0 39713 291 0 0 25 0 1 0 903993640 17743872 3657 4294967295 134512640 134716908 3221224576 3221222696 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4332 3657 1111 63 0 4269 0
vsize: 17328
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 116258 0 0 0 40707 297 0 0 25 0 1 0 903993640 17735680 3655 4294967295 134512640 134716908 3221224576 3221222756 1077378713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4330 3655 1111 63 0 4267 0
vsize: 17320
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 118839 0 0 0 41699 305 0 0 25 0 1 0 903993640 22089728 4020 4294967295 134512640 134716908 3221224576 3221221232 1075969308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5393 4020 1111 63 0 5330 0
vsize: 21572
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 122429 0 0 0 42689 315 0 0 25 0 1 0 903993640 21680128 3853 4294967295 134512640 134716908 3221224576 3221221232 1075969308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5293 3853 1111 63 0 5230 0
vsize: 21172
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 127024 0 0 0 43677 327 0 0 25 0 1 0 903993640 22716416 4160 4294967295 134512640 134716908 3221224576 3221220720 1074969964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5546 4160 1111 63 0 5483 0
vsize: 22184
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 129607 0 0 0 44671 333 0 0 25 0 1 0 903993640 17907712 3697 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4372 3697 1111 63 0 4309 0
vsize: 17488
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 132469 0 0 0 45665 340 0 0 25 0 1 0 903993640 18063360 3735 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4410 3735 1111 63 0 4347 0
vsize: 17640
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 135217 0 0 0 46658 346 0 0 25 0 1 0 903993640 18157568 3758 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3758 1111 63 0 4370 0
vsize: 17732
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 137422 0 0 0 47652 352 0 0 25 0 1 0 903993640 18251776 3750 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4456 3750 1111 63 0 4393 0
vsize: 17824
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 140267 0 0 0 48646 359 0 0 25 0 1 0 903993640 22298624 4003 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5444 4004 1111 63 0 5381 0
vsize: 21776
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 142626 0 0 0 49640 365 0 0 25 0 1 0 903993640 18063360 3735 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4410 3735 1111 63 0 4347 0
vsize: 17640
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 145050 0 0 0 50635 370 0 0 25 0 1 0 903993640 22425600 4106 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5475 4106 1111 63 0 5412 0
vsize: 21900
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 147617 0 0 0 51630 376 0 0 25 0 1 0 903993640 18165760 3760 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4435 3760 1111 63 0 4372 0
vsize: 17740
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 150192 0 0 0 52624 382 0 0 25 0 1 0 903993640 22474752 4081 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5487 4081 1111 63 0 5424 0
vsize: 21948
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 152868 0 0 0 53619 387 0 0 25 0 1 0 903993640 22925312 4104 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5597 4104 1111 63 0 5534 0
vsize: 22388
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 155614 0 0 0 54611 395 0 0 25 0 1 0 903993640 18550784 3780 4294967295 134512640 134716908 3221224576 3221222304 1075828500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4529 3780 1111 63 0 4466 0
vsize: 18116
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 158452 0 0 0 55606 400 0 0 25 0 1 0 903993640 18182144 3764 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4439 3764 1111 63 0 4376 0
vsize: 17756
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 161189 0 0 0 56601 405 0 0 25 0 1 0 903993640 18173952 3762 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4437 3762 1111 63 0 4374 0
vsize: 17748
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 163814 0 0 0 57595 411 0 0 25 0 1 0 903993640 22630400 4131 4294967295 134512640 134716908 3221224576 3221220632 1074789548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5525 4131 1111 63 0 5462 0
vsize: 22100
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 166494 0 0 0 58591 416 0 0 25 0 1 0 903993640 22478848 4120 4294967295 134512640 134716908 3221224576 3221220804 1075115035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5488 4120 1111 63 0 5425 0
vsize: 21952
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 169289 0 0 0 59585 422 0 0 25 0 1 0 903993640 18165760 3762 4294967295 134512640 134716908 3221224576 3221222576 1074052264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4435 3762 1111 63 0 4372 0
vsize: 17740
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 172057 0 0 0 60578 429 0 0 25 0 1 0 903993640 22839296 4182 4294967295 134512640 134716908 3221224576 3221220444 1074787699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5576 4182 1111 63 0 5513 0
vsize: 22304
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 174643 0 0 0 61573 435 0 0 25 0 1 0 903993640 23248896 4323 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5676 4323 1111 63 0 5613 0
vsize: 22704
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 177382 0 0 0 62566 442 0 0 25 0 1 0 903993640 22818816 4170 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5571 4170 1111 63 0 5508 0
vsize: 22284
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 180013 0 0 0 63561 447 0 0 25 0 1 0 903993640 18788352 3914 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4633 3916 1111 63 0 4570 0
vsize: 18348
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 182677 0 0 0 64556 453 0 0 25 0 1 0 903993640 18509824 3846 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4519 3846 1111 63 0 4456 0
vsize: 18076
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 185286 0 0 0 65550 458 0 0 25 0 1 0 903993640 18501632 3844 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4517 3844 1111 63 0 4454 0
vsize: 18068
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 188060 0 0 0 66543 465 0 0 25 0 1 0 903993640 18497536 3843 4294967295 134512640 134716908 3221224576 3221222860 1074206158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4516 3843 1111 63 0 4453 0
vsize: 18064
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 190769 0 0 0 67537 471 0 0 25 0 1 0 903993640 23007232 4120 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4120 1111 63 0 5554 0
vsize: 22468
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 193098 0 0 0 68532 477 0 0 25 0 1 0 903993640 23162880 4328 4294967295 134512640 134716908 3221224576 3221220804 1075115076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5655 4328 1111 63 0 5592 0
vsize: 22620
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 196110 0 0 0 69525 485 0 0 25 0 1 0 903993640 18702336 3858 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4566 3864 1111 63 0 4503 0
vsize: 18264
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 199620 0 0 0 70513 496 0 0 25 0 1 0 903993640 18919424 3946 4294967295 134512640 134716908 3221224576 3221222576 1074052264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3946 1111 63 0 4556 0
vsize: 18476
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 202231 0 0 0 71508 501 0 0 25 0 1 0 903993640 23400448 4308 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5713 4308 1111 63 0 5650 0
vsize: 22852
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 204705 0 0 0 72503 507 0 0 25 0 1 0 903993640 18976768 3960 4294967295 134512640 134716908 3221224576 3221222036 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4633 3960 1111 63 0 4570 0
vsize: 18532
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 207607 0 0 0 73495 515 0 0 25 0 1 0 903993640 22818816 4151 4294967295 134512640 134716908 3221224576 3221220720 1074970166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5571 4151 1111 63 0 5508 0
vsize: 22284
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 210234 0 0 0 74489 522 0 0 25 0 1 0 903993640 18935808 3950 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4623 3950 1111 63 0 4560 0
vsize: 18492
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 213367 0 0 0 75482 529 0 0 25 0 1 0 903993640 22994944 4170 4294967295 134512640 134716908 3221224576 3221220704 1075112097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5614 4170 1111 63 0 5551 0
vsize: 22456
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 216077 0 0 0 76476 535 0 0 25 0 1 0 903993640 23584768 4375 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5758 4375 1111 63 0 5695 0
vsize: 23032
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 218950 0 0 0 77467 544 0 0 25 0 1 0 903993640 22884352 4168 4294967295 134512640 134716908 3221224576 3221221152 1076047591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5587 4168 1111 63 0 5524 0
vsize: 22348
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 221930 0 0 0 78459 552 0 0 25 0 1 0 903993640 23584768 4305 4294967295 134512640 134716908 3221224576 3221221620 1074846137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5758 4305 1111 63 0 5695 0
vsize: 23032
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 225114 0 0 0 79450 561 0 0 25 0 1 0 903993640 19419136 4068 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4741 4068 1111 63 0 4678 0
vsize: 18964
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 227713 0 0 0 80443 568 0 0 25 0 1 0 903993640 19456000 4077 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 4077 1111 63 0 4687 0
vsize: 19000
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 230425 0 0 0 81437 574 0 0 25 0 1 0 903993640 19419136 4068 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4741 4068 1111 63 0 4678 0
vsize: 18964
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 232765 0 0 0 82431 580 0 0 25 0 1 0 903993640 19750912 4149 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4822 4149 1111 63 0 4759 0
vsize: 19288
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 235737 0 0 0 83424 588 0 0 25 0 1 0 903993640 19517440 4092 4294967295 134512640 134716908 3221224576 3221223232 134652241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4765 4092 1111 63 0 4702 0
vsize: 19060
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 238057 0 0 0 84420 593 0 0 25 0 1 0 903993640 19476480 4082 4294967295 134512640 134716908 3221224576 3221222904 1074143377 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4755 4082 1111 63 0 4692 0
vsize: 19020
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 240611 0 0 0 85415 598 0 0 25 0 1 0 903993640 19410944 4066 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4739 4066 1111 63 0 4676 0
vsize: 18956
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 243452 0 0 0 86408 604 0 0 25 0 1 0 903993640 23920640 4394 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5840 4394 1111 63 0 5777 0
vsize: 23360
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 245611 0 0 0 87404 609 0 0 25 0 1 0 903993640 21725184 4113 4294967295 134512640 134716908 3221224576 3221221584 1075602983 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5304 4113 1111 63 0 5241 0
vsize: 21216
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 248115 0 0 0 88397 616 0 0 25 0 1 0 903993640 23183360 4224 4294967295 134512640 134716908 3221224576 3221220456 1074788440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5660 4224 1111 63 0 5597 0
vsize: 22640
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 251124 0 0 0 89389 624 0 0 25 0 1 0 903993640 19456000 4077 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 4077 1111 63 0 4687 0
vsize: 19000
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 254024 0 0 0 90383 630 0 0 25 0 1 0 903993640 24215552 4580 4294967295 134512640 134716908 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5912 4580 1111 63 0 5849 0
vsize: 23648
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 256847 0 0 0 91376 638 0 0 25 0 1 0 903993640 24182784 4546 4294967295 134512640 134716908 3221224576 3221220720 1074969449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5904 4546 1111 63 0 5841 0
vsize: 23616
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 259828 0 0 0 92369 645 0 0 25 0 1 0 903993640 24313856 4597 4294967295 134512640 134716908 3221224576 3221220804 1075115043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5936 4597 1111 63 0 5873 0
vsize: 23744
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 262477 0 0 0 93363 651 0 0 25 0 1 0 903993640 24481792 4573 4294967295 134512640 134716908 3221224576 3221220848 1074961242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5977 4573 1111 63 0 5914 0
vsize: 23908
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 265208 0 0 0 94357 657 0 0 25 0 1 0 903993640 23302144 4669 4294967295 134512640 134716908 3221224576 3221220676 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5689 4669 1111 63 0 5626 0
vsize: 22756
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 268065 0 0 0 95349 665 0 0 25 0 1 0 903993640 24444928 4527 4294967295 134512640 134716908 3221224576 3221220908 1075113273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5968 4527 1111 63 0 5905 0
vsize: 23872
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 270903 0 0 0 96342 672 0 0 25 0 1 0 903993640 24317952 4532 4294967295 134512640 134716908 3221224576 3221220736 1075091586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5937 4532 1111 63 0 5874 0
vsize: 23748
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 273788 0 0 0 97336 679 0 0 25 0 1 0 903993640 24469504 4555 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5974 4555 1111 63 0 5911 0
vsize: 23896
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 276965 0 0 0 98327 688 0 0 25 0 1 0 903993640 20697088 4311 4294967295 134512640 134716908 3221224576 3221221680 1074138729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 4311 1111 63 0 4990 0
vsize: 20212
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 280406 0 0 0 99316 699 0 0 25 0 1 0 903993640 19906560 4187 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4860 4187 1111 63 0 4797 0
vsize: 19440
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 283560 0 0 0 100308 707 0 0 25 0 1 0 903993640 19914752 4189 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4862 4189 1111 63 0 4799 0
vsize: 19448
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 286262 0 0 0 101303 713 0 0 25 0 1 0 903993640 24530944 4654 4294967295 134512640 134716908 3221224576 3221220912 1075113513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5989 4654 1111 63 0 5926 0
vsize: 23956
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 288906 0 0 0 102297 718 0 0 25 0 1 0 903993640 24416256 4644 4294967295 134512640 134716908 3221224576 3221220848 1074960881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5961 4644 1111 63 0 5898 0
vsize: 23844
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 291269 0 0 0 103292 723 0 0 25 0 1 0 903993640 24604672 4653 4294967295 134512640 134716908 3221224576 3221220848 1074960795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6007 4653 1111 63 0 5944 0
vsize: 24028
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 293863 0 0 0 104286 730 0 0 25 0 1 0 903993640 24604672 4651 4294967295 134512640 134716908 3221224576 3221221232 1075967910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6007 4651 1111 63 0 5944 0
vsize: 24028
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 296701 0 0 0 105279 737 0 0 25 0 1 0 903993640 23699456 4308 4294967295 134512640 134716908 3221224576 3221220780 1075564188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5786 4308 1111 63 0 5723 0
vsize: 23144
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 299584 0 0 0 106272 744 0 0 25 0 1 0 903993640 20766720 4397 4294967295 134512640 134716908 3221224576 3221222672 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5070 4397 1111 63 0 5007 0
vsize: 20280
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 302487 0 0 0 107266 750 0 0 25 0 1 0 903993640 25124864 4704 4294967295 134512640 134716908 3221224576 3221221232 1075967401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6134 4704 1111 63 0 6071 0
vsize: 24536
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 304638 0 0 0 108261 755 0 0 25 0 1 0 903993640 20922368 4435 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5108 4435 1111 63 0 5045 0
vsize: 20432
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 307269 0 0 0 109255 762 0 0 25 0 1 0 903993640 25571328 4897 4294967295 134512640 134716908 3221224576 3221221408 1075115385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6243 4897 1111 63 0 6180 0
vsize: 24972
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 310361 0 0 0 110248 769 0 0 25 0 1 0 903993640 25395200 4813 4294967295 134512640 134716908 3221224576 3221220804 1075114969 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6200 4813 1111 63 0 6137 0
vsize: 24800
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 312985 0 0 0 111242 775 0 0 25 0 1 0 903993640 20717568 4385 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5058 4385 1111 63 0 4995 0
vsize: 20232
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 315419 0 0 0 112237 780 0 0 25 0 1 0 903993640 24453120 4930 4294967295 134512640 134716908 3221224576 3221220568 1075964781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5970 4930 1111 63 0 5907 0
vsize: 23880
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 317689 0 0 0 113232 786 0 0 25 0 1 0 903993640 25743360 4939 4294967295 134512640 134716908 3221224576 3221220736 1075092713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6285 4939 1111 63 0 6222 0
vsize: 25140
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 319889 0 0 0 114227 791 0 0 25 0 1 0 903993640 25583616 4899 4294967295 134512640 134716908 3221224576 3221220444 1074787561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6246 4899 1111 63 0 6183 0
vsize: 24984
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 322588 0 0 0 115221 797 0 0 25 0 1 0 903993640 24629248 4556 4294967295 134512640 134716908 3221224576 3221220848 1074961143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6013 4556 1111 63 0 5950 0
vsize: 24052
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 326582 0 0 0 116210 809 0 0 25 0 1 0 903993640 21200896 4490 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4490 1111 63 0 5113 0
vsize: 20704
[startup+1175.87 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 29430
Raw data (stat): 29428 (bsolo_lpr_cuts-) R 29427 20224 20223 0 -1 0 326582 0 0 0 116210 809 0 0 25 0 1 0 903993640 21200896 4490 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4490 1111 63 0 5113 0
vsize: 0

Child status: 10
Real time (s): 1175.87
CPU time (s): 1176.02
CPU user time (s): 1167.88
CPU system time (s): 8.13876
CPU usage (%): 100.013
Max. virtual memory (Kb): 25140
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	376
#### END VERIFIER DATA ####