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/logic-synthesis/normalized-alu4.b.opb
MD5SUM	db06e7fbd4f70a4af68f8f196fdb3636
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50
Optimality of the best value was proved	NO
Number of terms in the objective function	808
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	808
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	808
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.03884
Number of variables	807
Total number of constraints	1838
Number of constraints which are clauses	1823
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 39442

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 10:03:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27503 boxname=wulflinc1 idbench=61 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  db06e7fbd4f70a4af68f8f196fdb3636  /oldhome/oroussel/tmp/wulflinc1/normalized-alu4.b.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-alu4.b.opb
IDLAUNCH: 27503
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        291364 kB
Buffers:         34548 kB
Cached:         683068 kB
SwapCached:        668 kB
Active:          71560 kB
Inactive:       648320 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        291112 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5840 kB
Slab:            17440 kB
Committed_AS:    92684 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 10:23:14 (client local time) WITH STATUS 10 IN 1175.19 SECONDS
stats: 27503 0 1175.19 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 808 variables and 1823 constraints.
c After prepocess the problem consists of 792 variables and 811 constraints.
c preprocess terminated 2.775 s
c Initial Lower Bound: 47
c Lower Bound Elapsed time: 0.33075
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 53 @ 8.828
c NEW SOLUTION FOUND: 52 @ 12.877
c NEW SOLUTION FOUND: 51 @ 25.388
c NEW SOLUTION FOUND: 50 @ 67.333
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 -x763 -x764 x765 x766 x767 x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 x807 -x808 
c Exit Code: 10
c Total time: 1175.18 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.79 0.92 0.89 2/55 4632
Raw data (stat): 4632 (runsolver) R 4631 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 835268496 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0001 s]
Raw data (loadavg): 0.82 0.93 0.90 2/55 4632
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 7828 0 0 0 978 19 0 0 25 0 1 0 835268496 10276864 1813 4294967295 134512640 134716908 3221224592 3221223056 1074039463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2509 1813 1111 63 0 2446 0
vsize: 10036
[startup+19.9999 s]
Raw data (loadavg): 0.85 0.93 0.90 2/55 4632
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 18874 0 0 0 1947 49 0 0 25 0 1 0 835268496 10551296 1882 4294967295 134512640 134716908 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2576 1882 1111 63 0 2513 0
vsize: 10304
[startup+30.0006 s]
Raw data (loadavg): 0.87 0.93 0.90 2/55 4632
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 26165 0 0 0 2928 68 0 0 25 0 1 0 835268496 10612736 1897 4294967295 134512640 134716908 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2591 1897 1111 63 0 2528 0
vsize: 10364
[startup+40.0003 s]
Raw data (loadavg): 0.89 0.93 0.90 2/55 4632
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 32674 0 0 0 3910 86 0 0 25 0 1 0 835268496 10702848 1919 4294967295 134512640 134716908 3221224592 3221222940 1074152825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2613 1919 1111 63 0 2550 0
vsize: 10452
[startup+50.0011 s]
Raw data (loadavg): 0.90 0.93 0.90 2/55 4632
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 39905 0 0 0 4890 106 0 0 25 0 1 0 835268496 10723328 1924 4294967295 134512640 134716908 3221224592 3221223184 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1924 1111 63 0 2555 0
vsize: 10472
[startup+60.0009 s]
Raw data (loadavg): 0.92 0.93 0.90 2/55 4632
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 47552 0 0 0 5870 126 0 0 25 0 1 0 835268496 10723328 1924 4294967295 134512640 134716908 3221224592 3221222840 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1924 1111 63 0 2555 0
vsize: 10472
[startup+70.0007 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 4632
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 53434 0 0 0 6855 142 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221222592 1074056563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+80.0015 s]
Raw data (loadavg): 0.94 0.94 0.90 2/55 4632
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 56985 0 0 0 7845 152 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221223288 134536872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+90.0016 s]
Raw data (loadavg): 0.95 0.94 0.90 2/55 4632
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 60714 0 0 0 8836 161 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+100.002 s]
Raw data (loadavg): 0.96 0.94 0.90 2/55 4632
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 64213 0 0 0 9826 171 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221222872 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+110.002 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 4632
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 67835 0 0 0 10817 181 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221222524 1074206265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+120.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 4632
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 71392 0 0 0 11808 190 0 0 25 0 1 0 835268496 11264000 1992 4294967295 134512640 134716908 3221224592 3221221192 1075850765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 11000
[startup+130.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 74942 0 0 0 12799 198 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221222840 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 78597 0 0 0 13790 208 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 82343 0 0 0 14777 221 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+160.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 86428 0 0 0 15763 235 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221222552 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+170.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 90351 0 0 0 16753 245 0 0 25 0 1 0 835268496 11030528 1964 4294967295 134512640 134716908 3221224592 3221222240 1075817675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2693 1964 1111 63 0 2630 0
vsize: 10772
[startup+180.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 93936 0 0 0 17743 255 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+190.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 97490 0 0 0 18735 264 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221222872 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+200.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 101045 0 0 0 19725 274 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221223136 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+210.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 104733 0 0 0 20714 285 0 0 25 0 1 0 835268496 11227136 1990 4294967295 134512640 134716908 3221224592 3221220800 1074949390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2741 1990 1111 63 0 2678 0
vsize: 10964
[startup+220.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 108705 0 0 0 21703 296 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221222240 1075818292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+230.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 112258 0 0 0 22691 308 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221222808 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 115621 0 0 0 23683 317 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 119158 0 0 0 24673 327 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221222576 1074138465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+260.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 122735 0 0 0 25663 337 0 0 25 0 1 0 835268496 10883072 1963 4294967295 134512640 134716908 3221224592 3221223332 134604473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1963 1111 63 0 2594 0
vsize: 10628
[startup+270.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 126325 0 0 0 26655 345 0 0 25 0 1 0 835268496 10924032 1964 4294967295 134512640 134716908 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2667 1964 1111 63 0 2604 0
vsize: 10668
[startup+280.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 130690 0 0 0 27643 358 0 0 25 0 1 0 835268496 11317248 2001 4294967295 134512640 134716908 3221224592 3221220960 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2763 2001 1111 63 0 2700 0
vsize: 11052
[startup+290.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 134640 0 0 0 28632 369 0 0 25 0 1 0 835268496 11288576 1979 4294967295 134512640 134716908 3221224592 3221221192 1075850656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2756 1979 1111 63 0 2693 0
vsize: 11024
[startup+300.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 138139 0 0 0 29621 380 0 0 25 0 1 0 835268496 11251712 1999 4294967295 134512640 134716908 3221224592 3221220928 1075114277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2747 1999 1111 63 0 2684 0
vsize: 10988
[startup+310.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 142099 0 0 0 30610 391 0 0 25 0 1 0 835268496 11055104 2005 4294967295 134512640 134716908 3221224592 3221222416 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 2005 1111 63 0 2636 0
vsize: 10796
[startup+320.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 145913 0 0 0 31600 401 0 0 25 0 1 0 835268496 11083776 2011 4294967295 134512640 134716908 3221224592 3221223312 134625111 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2706 2011 1111 63 0 2643 0
vsize: 10824
[startup+330.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 149928 0 0 0 32589 412 0 0 25 0 1 0 835268496 11055104 2005 4294967295 134512640 134716908 3221224592 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 2005 1111 63 0 2636 0
vsize: 10796
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 153956 0 0 0 33580 421 0 0 25 0 1 0 835268496 11444224 2029 4294967295 134512640 134716908 3221224592 3221221192 1075850746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2794 2029 1111 63 0 2731 0
vsize: 11176
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 158181 0 0 0 34569 433 0 0 25 0 1 0 835268496 11055104 2005 4294967295 134512640 134716908 3221224592 3221222592 1074916540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 2005 1111 63 0 2636 0
vsize: 10796
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 162339 0 0 0 35558 444 0 0 25 0 1 0 835268496 11509760 2049 4294967295 134512640 134716908 3221224592 3221220752 1075093696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2810 2049 1111 63 0 2747 0
vsize: 11240
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 166773 0 0 0 36545 457 0 0 25 0 1 0 835268496 11083776 2012 4294967295 134512640 134716908 3221224592 3221223300 134625163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2706 2012 1111 63 0 2643 0
vsize: 10824
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 171022 0 0 0 37531 470 0 0 25 0 1 0 835268496 11534336 2054 4294967295 134512640 134716908 3221224592 3221220768 1074882601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2816 2054 1111 63 0 2753 0
vsize: 11264
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 175186 0 0 0 38520 482 0 0 25 0 1 0 835268496 11087872 2013 4294967295 134512640 134716908 3221224592 3221223352 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2707 2013 1111 63 0 2644 0
vsize: 10828
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 179600 0 0 0 39507 494 0 0 25 0 1 0 835268496 11223040 2006 4294967295 134512640 134716908 3221224592 3221222320 1075828451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2740 2006 1111 63 0 2677 0
vsize: 10960
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 183893 0 0 0 40495 507 0 0 25 0 1 0 835268496 11485184 2043 4294967295 134512640 134716908 3221224592 3221220624 1074790136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2804 2043 1111 63 0 2741 0
vsize: 11216
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 188061 0 0 0 41483 519 0 0 25 0 1 0 835268496 11055104 2005 4294967295 134512640 134716908 3221224592 3221222832 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 2005 1111 63 0 2636 0
vsize: 10796
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 192429 0 0 0 42471 532 0 0 25 0 1 0 835268496 11055104 2005 4294967295 134512640 134716908 3221224592 3221223016 1077378431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 2005 1111 63 0 2636 0
vsize: 10796
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 196559 0 0 0 43461 542 0 0 25 0 1 0 835268496 11055104 2005 4294967295 134512640 134716908 3221224592 3221222680 1077377398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 2005 1111 63 0 2636 0
vsize: 10796
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 200462 0 0 0 44452 552 0 0 25 0 1 0 835268496 11055104 2005 4294967295 134512640 134716908 3221224592 3221222780 1077404770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 2005 1111 63 0 2636 0
vsize: 10796
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 204357 0 0 0 45440 564 0 0 25 0 1 0 835268496 11190272 2007 4294967295 134512640 134716908 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2732 2007 1111 63 0 2669 0
vsize: 10928
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 208482 0 0 0 46429 575 0 0 25 0 1 0 835268496 11055104 2005 4294967295 134512640 134716908 3221224592 3221222808 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 2005 1111 63 0 2636 0
vsize: 10796
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 212490 0 0 0 47418 586 0 0 25 0 1 0 835268496 11460608 2037 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2798 2037 1111 63 0 2735 0
vsize: 11192
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 216693 0 0 0 48408 596 0 0 25 0 1 0 835268496 11055104 2005 4294967295 134512640 134716908 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 2005 1111 63 0 2636 0
vsize: 10796
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 221048 0 0 0 49395 609 0 0 25 0 1 0 835268496 11501568 2048 4294967295 134512640 134716908 3221224592 3221221124 1075863651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2808 2048 1111 63 0 2745 0
vsize: 11232
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 225163 0 0 0 50383 621 0 0 25 0 1 0 835268496 11055104 2005 4294967295 134512640 134716908 3221224592 3221222552 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 2005 1111 63 0 2636 0
vsize: 10796
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 229396 0 0 0 51372 633 0 0 25 0 1 0 835268496 11055104 2005 4294967295 134512640 134716908 3221224592 3221222992 1074118870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 2005 1111 63 0 2636 0
vsize: 10796
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 233687 0 0 0 52360 645 0 0 25 0 1 0 835268496 11055104 2005 4294967295 134512640 134716908 3221224592 3221222552 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 2005 1111 63 0 2636 0
vsize: 10796
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 238043 0 0 0 53349 656 0 0 25 0 1 0 835268496 11137024 2012 4294967295 134512640 134716908 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2719 2012 1111 63 0 2656 0
vsize: 10876
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 242499 0 0 0 54337 668 0 0 25 0 1 0 835268496 11407360 2028 4294967295 134512640 134716908 3221224592 3221221040 1075132466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2785 2029 1111 63 0 2722 0
vsize: 11140
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 246779 0 0 0 55326 680 0 0 25 0 1 0 835268496 11079680 2011 4294967295 134512640 134716908 3221224592 3221223344 134604488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2705 2011 1111 63 0 2642 0
vsize: 10820
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 250988 0 0 0 56314 692 0 0 25 0 1 0 835268496 11132928 2024 4294967295 134512640 134716908 3221224592 3221223280 134558537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2718 2024 1111 63 0 2655 0
vsize: 10872
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 254477 0 0 0 57304 702 0 0 25 0 1 0 835268496 11239424 2017 4294967295 134512640 134716908 3221224592 3221222704 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2744 2017 1111 63 0 2681 0
vsize: 10976
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 258076 0 0 0 58295 711 0 0 25 0 1 0 835268496 11505664 2048 4294967295 134512640 134716908 3221224592 3221220736 1074971324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2809 2048 1111 63 0 2746 0
vsize: 11236
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 261722 0 0 0 59284 722 0 0 25 0 1 0 835268496 11100160 2016 4294967295 134512640 134716908 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2710 2016 1111 63 0 2647 0
vsize: 10840
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 265313 0 0 0 60275 731 0 0 25 0 1 0 835268496 11436032 2027 4294967295 134512640 134716908 3221224592 3221221124 1074260661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2792 2027 1111 63 0 2729 0
vsize: 11168
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 269012 0 0 0 61264 743 0 0 25 0 1 0 835268496 11108352 2018 4294967295 134512640 134716908 3221224592 3221223232 134651142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2712 2018 1111 63 0 2649 0
vsize: 10848
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 272769 0 0 0 62252 755 0 0 25 0 1 0 835268496 11485184 2039 4294967295 134512640 134716908 3221224592 3221221072 1076046686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2804 2039 1111 63 0 2741 0
vsize: 11216
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 276585 0 0 0 63241 766 0 0 25 0 1 0 835268496 11100160 2016 4294967295 134512640 134716908 3221224592 3221222928 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2710 2016 1111 63 0 2647 0
vsize: 10840
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 280356 0 0 0 64229 777 0 0 25 0 1 0 835268496 11100160 2016 4294967295 134512640 134716908 3221224592 3221222592 1074918264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2710 2016 1111 63 0 2647 0
vsize: 10840
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 283828 0 0 0 65220 787 0 0 25 0 1 0 835268496 11517952 2050 4294967295 134512640 134716908 3221224592 3221220524 1074788131 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2812 2050 1111 63 0 2749 0
vsize: 11248
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 287598 0 0 0 66210 797 0 0 25 0 1 0 835268496 11100160 2016 4294967295 134512640 134716908 3221224592 3221222520 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2710 2016 1111 63 0 2647 0
vsize: 10840
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 291459 0 0 0 67201 807 0 0 25 0 1 0 835268496 11100160 2016 4294967295 134512640 134716908 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2710 2016 1111 63 0 2647 0
vsize: 10840
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 295489 0 0 0 68191 816 0 0 25 0 1 0 835268496 11100160 2016 4294967295 134512640 134716908 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2710 2016 1111 63 0 2647 0
vsize: 10840
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 299345 0 0 0 69180 828 0 0 25 0 1 0 835268496 11100160 2016 4294967295 134512640 134716908 3221224592 3221222944 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2710 2016 1111 63 0 2647 0
vsize: 10840
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 303239 0 0 0 70168 840 0 0 25 0 1 0 835268496 11530240 2053 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2815 2053 1111 63 0 2752 0
vsize: 11260
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 307173 0 0 0 71157 851 0 0 25 0 1 0 835268496 11231232 2011 4294967295 134512640 134716908 3221224592 3221222524 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2742 2011 1111 63 0 2679 0
vsize: 10968
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 311307 0 0 0 72147 862 0 0 25 0 1 0 835268496 11104256 2016 4294967295 134512640 134716908 3221224592 3221223344 134604488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2711 2016 1111 63 0 2648 0
vsize: 10844
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 315314 0 0 0 73136 873 0 0 25 0 1 0 835268496 11120640 2011 4294967295 134512640 134716908 3221224592 3221222592 1074916661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2715 2011 1111 63 0 2652 0
vsize: 10860
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 319392 0 0 0 74124 884 0 0 25 0 1 0 835268496 11075584 2010 4294967295 134512640 134716908 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 2010 1111 63 0 2641 0
vsize: 10816
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 323751 0 0 0 75111 898 0 0 25 0 1 0 835268496 11075584 2010 4294967295 134512640 134716908 3221224592 3221222416 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 2010 1111 63 0 2641 0
vsize: 10816
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 328057 0 0 0 76099 910 0 0 25 0 1 0 835268496 11075584 2010 4294967295 134512640 134716908 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 2010 1111 63 0 2641 0
vsize: 10816
[startup+780.012 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 332116 0 0 0 77086 923 0 0 25 0 1 0 835268496 11075584 2010 4294967295 134512640 134716908 3221224592 3221222592 1074918944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 2010 1111 63 0 2641 0
vsize: 10816
[startup+790.012 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 336712 0 0 0 78074 935 0 0 25 0 1 0 835268496 11075584 2010 4294967295 134512640 134716908 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 2010 1111 63 0 2641 0
vsize: 10816
[startup+800.012 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 341534 0 0 0 79059 951 0 0 25 0 1 0 835268496 11075584 2010 4294967295 134512640 134716908 3221224592 3221222944 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 2010 1111 63 0 2641 0
vsize: 10816
[startup+810.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 345585 0 0 0 80046 964 0 0 25 0 1 0 835268496 11075584 2010 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 2010 1111 63 0 2641 0
vsize: 10816
[startup+820.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 349727 0 0 0 81035 975 0 0 25 0 1 0 835268496 11427840 2026 4294967295 134512640 134716908 3221224592 3221221536 1074620373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2790 2026 1111 63 0 2727 0
vsize: 11160
[startup+830.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 353985 0 0 0 82024 986 0 0 25 0 1 0 835268496 11075584 2010 4294967295 134512640 134716908 3221224592 3221222856 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 2010 1111 63 0 2641 0
vsize: 10816
[startup+840.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 358198 0 0 0 83013 997 0 0 25 0 1 0 835268496 11485184 2040 4294967295 134512640 134716908 3221224592 3221220820 1075114931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2804 2040 1111 63 0 2741 0
vsize: 11216
[startup+850.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 362166 0 0 0 84002 1009 0 0 25 0 1 0 835268496 11075584 2010 4294967295 134512640 134716908 3221224592 3221222552 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 2010 1111 63 0 2641 0
vsize: 10816
[startup+860.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 366077 0 0 0 84991 1019 0 0 25 0 1 0 835268496 11075584 2010 4294967295 134512640 134716908 3221224592 3221222840 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 2010 1111 63 0 2641 0
vsize: 10816
[startup+870.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 370462 0 0 0 85980 1031 0 0 25 0 1 0 835268496 11530240 2051 4294967295 134512640 134716908 3221224592 3221220820 1075115014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2815 2051 1111 63 0 2752 0
vsize: 11260
[startup+880.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 374746 0 0 0 86968 1043 0 0 25 0 1 0 835268496 11075584 2010 4294967295 134512640 134716908 3221224592 3221222896 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 2010 1111 63 0 2641 0
vsize: 10816
[startup+890.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 379054 0 0 0 87958 1054 0 0 25 0 1 0 835268496 11104256 2017 4294967295 134512640 134716908 3221224592 3221223128 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2711 2017 1111 63 0 2648 0
vsize: 10844
[startup+900.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 383387 0 0 0 88945 1066 0 0 25 0 1 0 835268496 11108352 2018 4294967295 134512640 134716908 3221224592 3221223280 134556773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2712 2018 1111 63 0 2649 0
vsize: 10848
[startup+910.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 387786 0 0 0 89934 1078 0 0 25 0 1 0 835268496 11108352 2018 4294967295 134512640 134716908 3221224592 3221221656 1077377899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2712 2018 1111 63 0 2649 0
vsize: 10848
[startup+920.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 392197 0 0 0 90922 1090 0 0 25 0 1 0 835268496 11214848 2013 4294967295 134512640 134716908 3221224592 3221222512 1075802495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2738 2013 1111 63 0 2675 0
vsize: 10952
[startup+930.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 396462 0 0 0 91908 1104 0 0 25 0 1 0 835268496 11214848 2011 4294967295 134512640 134716908 3221224592 3221222524 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2738 2011 1111 63 0 2675 0
vsize: 10952
[startup+940.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 400722 0 0 0 92896 1116 0 0 25 0 1 0 835268496 11513856 2050 4294967295 134512640 134716908 3221224592 3221221120 1075397144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2811 2050 1111 63 0 2748 0
vsize: 11244
[startup+950.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 404831 0 0 0 93885 1128 0 0 25 0 1 0 835268496 11091968 2014 4294967295 134512640 134716908 3221224592 3221222928 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2708 2014 1111 63 0 2645 0
vsize: 10832
[startup+960.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 409041 0 0 0 94873 1139 0 0 25 0 1 0 835268496 11542528 2058 4294967295 134512640 134716908 3221224592 3221220820 1075115136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2818 2058 1111 63 0 2755 0
vsize: 11272
[startup+970.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 413578 0 0 0 95860 1152 0 0 25 0 1 0 835268496 11104256 2017 4294967295 134512640 134716908 3221224592 3221223304 134625161 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2711 2017 1111 63 0 2648 0
vsize: 10844
[startup+980.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 417723 0 0 0 96850 1163 0 0 25 0 1 0 835268496 11075584 2010 4294967295 134512640 134716908 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 2010 1111 63 0 2641 0
vsize: 10816
[startup+990.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 422221 0 0 0 97838 1174 0 0 25 0 1 0 835268496 11132928 2021 4294967295 134512640 134716908 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2718 2021 1111 63 0 2655 0
vsize: 10872
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 426431 0 0 0 98828 1186 0 0 25 0 1 0 835268496 11104256 2017 4294967295 134512640 134716908 3221224592 3221223312 134625152 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2711 2017 1111 63 0 2648 0
vsize: 10844
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 430886 0 0 0 99817 1197 0 0 25 0 1 0 835268496 11161600 2017 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 2017 1111 63 0 2662 0
vsize: 10900
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 435061 0 0 0 100805 1209 0 0 25 0 1 0 835268496 11223040 2032 4294967295 134512640 134716908 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2740 2032 1111 63 0 2677 0
vsize: 10960
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 439250 0 0 0 101794 1220 0 0 25 0 1 0 835268496 11382784 2085 4294967295 134512640 134716908 3221224592 3221223104 134539900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2085 1111 63 0 2716 0
vsize: 11116
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 442470 0 0 0 102783 1231 0 0 25 0 1 0 835268496 11382784 2085 4294967295 134512640 134716908 3221224592 3221222636 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2085 1111 63 0 2716 0
vsize: 11116
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 445240 0 0 0 103774 1240 0 0 25 0 1 0 835268496 11382784 2085 4294967295 134512640 134716908 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2085 1111 63 0 2716 0
vsize: 11116
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 448125 0 0 0 104765 1249 0 0 25 0 1 0 835268496 11382784 2085 4294967295 134512640 134716908 3221224592 3221223312 134625111 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2085 1111 63 0 2716 0
vsize: 11116
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 450325 0 0 0 105759 1255 0 0 25 0 1 0 835268496 11382784 2085 4294967295 134512640 134716908 3221224592 3221222592 1074917025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2085 1111 63 0 2716 0
vsize: 11116
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 452693 0 0 0 106752 1263 0 0 25 0 1 0 835268496 11739136 2100 4294967295 134512640 134716908 3221224592 3221220820 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2866 2100 1111 63 0 2803 0
vsize: 11464
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 455078 0 0 0 107745 1269 0 0 25 0 1 0 835268496 11382784 2085 4294967295 134512640 134716908 3221224592 3221222928 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2085 1111 63 0 2716 0
vsize: 11116
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 457706 0 0 0 108738 1277 0 0 25 0 1 0 835268496 11382784 2085 4294967295 134512640 134716908 3221224592 3221222896 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2085 1111 63 0 2716 0
vsize: 11116
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 460122 0 0 0 109732 1283 0 0 25 0 1 0 835268496 11382784 2085 4294967295 134512640 134716908 3221224592 3221222944 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2085 1111 63 0 2716 0
vsize: 11116
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 462474 0 0 0 110726 1289 0 0 25 0 1 0 835268496 11771904 2111 4294967295 134512640 134716908 3221224592 3221220556 1074788143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2874 2111 1111 63 0 2811 0
vsize: 11496
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 464870 0 0 0 111719 1297 0 0 25 0 1 0 835268496 11739136 2101 4294967295 134512640 134716908 3221224592 3221221156 1076047612 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2866 2101 1111 63 0 2803 0
vsize: 11464
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 467482 0 0 0 112711 1305 0 0 25 0 1 0 835268496 11382784 2085 4294967295 134512640 134716908 3221224592 3221222684 1077404755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2085 1111 63 0 2716 0
vsize: 11116
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 470229 0 0 0 113702 1314 0 0 25 0 1 0 835268496 11382784 2085 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2085 1111 63 0 2716 0
vsize: 11116
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 472850 0 0 0 114693 1323 0 0 25 0 1 0 835268496 11382784 2085 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2085 1111 63 0 2716 0
vsize: 11116
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 475936 0 0 0 115683 1333 0 0 25 0 1 0 835268496 11382784 2085 4294967295 134512640 134716908 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2085 1111 63 0 2716 0
vsize: 11116
[startup+1175.04 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 4634
Raw data (stat): 4632 (bsolo_lpr-v2) R 4631 8378 8377 0 -1 0 475936 0 0 0 115683 1333 0 0 25 0 1 0 835268496 11382784 2085 4294967295 134512640 134716908 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2085 1111 63 0 2716 0
vsize: 0

Child status: 10
Real time (s): 1175.04
CPU time (s): 1175.19
CPU user time (s): 1161.82
CPU system time (s): 13.373
CPU usage (%): 100.013
Max. virtual memory (Kb): 11496
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	50
#### END VERIFIER DATA ####