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 39526

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 11:59:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27592 boxname=wulflinc2 idbench=150 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  c3974db7e8a7a7dcf1a342d47c14e34f  /oldhome/oroussel/tmp/wulflinc2/normalized-ii32b4.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ii32b4.opb
IDLAUNCH: 27592
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        264392 kB
Buffers:         34448 kB
Cached:         711912 kB
SwapCached:       1164 kB
Active:          57648 kB
Inactive:       691212 kB
HighTotal:      131008 kB
HighFree:        11116 kB
LowTotal:       903652 kB
LowFree:        253276 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15812 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 12:19:12 (client local time) WITH STATUS 10 IN 1175.64 SECONDS
stats: 27592 0 1175.64 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.451 s
c Initial Lower Bound: 260
c Lower Bound Elapsed time: 2.2895
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 381 @ 39.716
c NEW SOLUTION FOUND: 380 @ 39.718
c NEW SOLUTION FOUND: 379 @ 39.734
c NEW SOLUTION FOUND: 378 @ 39.744
c NEW SOLUTION FOUND: 377 @ 39.754
c NEW SOLUTION FOUND: 376 @ 39.766
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: 1175.62 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.92 0.95 0.90 1/54 24796
Raw data (stat): 24796 (runsolver) R 24795 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892824824 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 24796
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 2292 0 0 0 990 7 0 0 25 0 1 0 892824824 12509184 2209 4294967295 134512640 134716908 3221224592 3221223392 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3054 2209 1111 63 0 2991 0
vsize: 12216
[startup+20.0007 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 24796
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 2296 0 0 0 1989 8 0 0 25 0 1 0 892824824 12509184 2213 4294967295 134512640 134716908 3221224592 3221223264 134627203 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.0038 s]
Raw data (loadavg): 1.10 0.99 0.92 3/57 24836
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 5026 0 0 0 2983 14 0 0 25 0 1 0 892824824 19005440 3289 4294967295 134512640 134716908 3221224592 3221221152 1075967895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4640 3290 1111 63 0 4577 0
vsize: 18560
[startup+40.0041 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 24849
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 11387 0 0 0 3968 28 0 0 25 0 1 0 892824824 14221312 2764 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3472 2764 1111 63 0 3409 0
vsize: 13888
[startup+50.0048 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 24849
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 14284 0 0 0 4961 35 0 0 25 0 1 0 892824824 18083840 3156 4294967295 134512640 134716908 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4415 3156 1111 63 0 4352 0
vsize: 17660
[startup+60.0048 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 24849
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 17170 0 0 0 5954 43 0 0 25 0 1 0 892824824 19288064 3527 4294967295 134512640 134716908 3221224592 3221220928 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4709 3527 1111 63 0 4646 0
vsize: 18836
[startup+70.0051 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 24849
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 20428 0 0 0 6946 51 0 0 25 0 1 0 892824824 14327808 2816 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3498 2816 1111 63 0 3435 0
vsize: 13992
[startup+80.0049 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 24849
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 23463 0 0 0 7939 58 0 0 25 0 1 0 892824824 18649088 3311 4294967295 134512640 134716908 3221224592 3221220864 1074960765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4553 3311 1111 63 0 4490 0
vsize: 18212
[startup+90.006 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 24849
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 26612 0 0 0 8932 65 0 0 25 0 1 0 892824824 18505728 3287 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4518 3287 1111 63 0 4455 0
vsize: 18072
[startup+100.006 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 24849
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 29395 0 0 0 9926 72 0 0 25 0 1 0 892824824 18423808 3282 4294967295 134512640 134716908 3221224592 3221220864 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4498 3282 1111 63 0 4435 0
vsize: 17992
[startup+110.006 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 32400 0 0 0 10918 79 0 0 25 0 1 0 892824824 18501632 3293 4294967295 134512640 134716908 3221224592 3221221664 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4517 3293 1111 63 0 4454 0
vsize: 18068
[startup+120.008 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 35471 0 0 0 11911 87 0 0 25 0 1 0 892824824 18804736 3334 4294967295 134512640 134716908 3221224592 3221221632 1075971404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3334 1111 63 0 4528 0
vsize: 18364
[startup+130.007 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 38678 0 0 0 12903 95 0 0 25 0 1 0 892824824 18026496 3142 4294967295 134512640 134716908 3221224592 3221220736 1074970267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4401 3142 1111 63 0 4338 0
vsize: 17604
[startup+140.008 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 40984 0 0 0 13898 100 0 0 25 0 1 0 892824824 14471168 2851 4294967295 134512640 134716908 3221224592 3221222848 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2851 1111 63 0 3470 0
vsize: 14132
[startup+150.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 43496 0 0 0 14893 106 0 0 25 0 1 0 892824824 17498112 2989 4294967295 134512640 134716908 3221224592 3221220832 1075115734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4272 2989 1111 63 0 4209 0
vsize: 17088
[startup+160.008 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 45896 0 0 0 15885 114 0 0 25 0 1 0 892824824 17645568 2967 4294967295 134512640 134716908 3221224592 3221220736 1074970265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4308 2967 1111 63 0 4245 0
vsize: 17232
[startup+170.008 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 48301 0 0 0 16879 120 0 0 25 0 1 0 892824824 17879040 3066 4294967295 134512640 134716908 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4365 3066 1111 63 0 4302 0
vsize: 17460
[startup+180.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 50556 0 0 0 17873 126 0 0 25 0 1 0 892824824 17911808 3088 4294967295 134512640 134716908 3221224592 3221220636 1074873336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4373 3088 1111 63 0 4310 0
vsize: 17492
[startup+190.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 52629 0 0 0 18868 131 0 0 25 0 1 0 892824824 14733312 2893 4294967295 134512640 134716908 3221224592 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3597 2893 1111 63 0 3534 0
vsize: 14388
[startup+200.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 55310 0 0 0 19861 138 0 0 25 0 1 0 892824824 19349504 3564 4294967295 134512640 134716908 3221224592 3221220812 1075116848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4724 3564 1111 63 0 4661 0
vsize: 18896
[startup+210.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 58217 0 0 0 20856 144 0 0 25 0 1 0 892824824 19165184 3461 4294967295 134512640 134716908 3221224592 3221220812 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 3461 1111 63 0 4616 0
vsize: 18716
[startup+220.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 60986 0 0 0 21849 151 0 0 25 0 1 0 892824824 18825216 3377 4294967295 134512640 134716908 3221224592 3221220820 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3377 1111 63 0 4533 0
vsize: 18384
[startup+230.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 63735 0 0 0 22844 156 0 0 25 0 1 0 892824824 19300352 3479 4294967295 134512640 134716908 3221224592 3221221664 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 3479 1111 63 0 4649 0
vsize: 18848
[startup+240.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 66428 0 0 0 23836 164 0 0 25 0 1 0 892824824 18804736 3379 4294967295 134512640 134716908 3221224592 3221220812 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3379 1111 63 0 4528 0
vsize: 18364
[startup+250.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 68958 0 0 0 24829 171 0 0 25 0 1 0 892824824 14471168 2852 4294967295 134512640 134716908 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2852 1111 63 0 3470 0
vsize: 14132
[startup+260.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 71536 0 0 0 25822 178 0 0 25 0 1 0 892824824 14467072 2851 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2851 1111 63 0 3469 0
vsize: 14128
[startup+270.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 73931 0 0 0 26816 185 0 0 25 0 1 0 892824824 14471168 2852 4294967295 134512640 134716908 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2852 1111 63 0 3470 0
vsize: 14132
[startup+280.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 76403 0 0 0 27809 192 0 0 25 0 1 0 892824824 18075648 3141 4294967295 134512640 134716908 3221224592 3221221520 1075890968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4413 3141 1111 63 0 4350 0
vsize: 17652
[startup+290.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 78904 0 0 0 28803 198 0 0 25 0 1 0 892824824 17907712 3061 4294967295 134512640 134716908 3221224592 3221220832 1075115758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 3061 1111 63 0 4309 0
vsize: 17488
[startup+300.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 81211 0 0 0 29797 204 0 0 25 0 1 0 892824824 14462976 2850 4294967295 134512640 134716908 3221224592 3221222944 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3531 2850 1111 63 0 3468 0
vsize: 14124
[startup+310.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 83526 0 0 0 30792 210 0 0 25 0 1 0 892824824 17862656 3066 4294967295 134512640 134716908 3221224592 3221221620 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 3066 1111 63 0 4298 0
vsize: 17444
[startup+320.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 85734 0 0 0 31787 215 0 0 25 0 1 0 892824824 14622720 2865 4294967295 134512640 134716908 3221224592 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2865 1111 63 0 3507 0
vsize: 14280
[startup+330.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 88772 0 0 0 32779 223 0 0 25 0 1 0 892824824 14618624 2888 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2888 1111 63 0 3506 0
vsize: 14276
[startup+340.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24851
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 91993 0 0 0 33772 230 0 0 25 0 1 0 892824824 14479360 2854 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3535 2854 1111 63 0 3472 0
vsize: 14140
[startup+350.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 94651 0 0 0 34767 236 0 0 25 0 1 0 892824824 18612224 3332 4294967295 134512640 134716908 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4544 3332 1111 63 0 4481 0
vsize: 18176
[startup+360.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 97654 0 0 0 35760 243 0 0 25 0 1 0 892824824 18472960 3282 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4510 3282 1111 63 0 4447 0
vsize: 18040
[startup+370.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 100630 0 0 0 36754 248 0 0 25 0 1 0 892824824 18456576 3246 4294967295 134512640 134716908 3221224592 3221221624 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4506 3246 1111 63 0 4443 0
vsize: 18024
[startup+380.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 103692 0 0 0 37747 256 0 0 25 0 1 0 892824824 18186240 3153 4294967295 134512640 134716908 3221224592 3221221712 1074835532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4440 3153 1111 63 0 4377 0
vsize: 17760
[startup+390.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 106663 0 0 0 38740 263 0 0 25 0 1 0 892824824 17936384 3032 4294967295 134512640 134716908 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4379 3032 1111 63 0 4316 0
vsize: 17516
[startup+400.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 109500 0 0 0 39733 270 0 0 25 0 1 0 892824824 18530304 3541 4294967295 134512640 134716908 3221224592 3221220672 1074790394 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4524 3541 1111 63 0 4461 0
vsize: 18096
[startup+410.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 112470 0 0 0 40725 278 0 0 25 0 1 0 892824824 14471168 2852 4294967295 134512640 134716908 3221224592 3221222832 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2852 1111 63 0 3470 0
vsize: 14132
[startup+420.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 115177 0 0 0 41718 286 0 0 25 0 1 0 892824824 17678336 3017 4294967295 134512640 134716908 3221224592 3221221620 1075964231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3017 1111 63 0 4253 0
vsize: 17264
[startup+430.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 118010 0 0 0 42710 294 0 0 25 0 1 0 892824824 18018304 3114 4294967295 134512640 134716908 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4399 3114 1111 63 0 4336 0
vsize: 17596
[startup+440.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 120812 0 0 0 43703 301 0 0 25 0 1 0 892824824 17932288 3109 4294967295 134512640 134716908 3221224592 3221220720 1075561237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4378 3109 1111 63 0 4315 0
vsize: 17512
[startup+450.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 123813 0 0 0 44696 308 0 0 25 0 1 0 892824824 14454784 2848 4294967295 134512640 134716908 3221224592 3221223208 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3529 2848 1111 63 0 3466 0
vsize: 14116
[startup+460.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 126556 0 0 0 45688 316 0 0 25 0 1 0 892824824 14467072 2851 4294967295 134512640 134716908 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2851 1111 63 0 3469 0
vsize: 14128
[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 129499 0 0 0 46681 324 0 0 25 0 1 0 892824824 18210816 3169 4294967295 134512640 134716908 3221224592 3221220512 1074790977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4446 3169 1111 63 0 4383 0
vsize: 17784
[startup+480.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 132450 0 0 0 47674 331 0 0 25 0 1 0 892824824 17637376 2991 4294967295 134512640 134716908 3221224592 3221220540 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2991 1111 63 0 4243 0
vsize: 17224
[startup+490.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 135270 0 0 0 48666 339 0 0 25 0 1 0 892824824 14651392 2896 4294967295 134512640 134716908 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2896 1111 63 0 3514 0
vsize: 14308
[startup+500.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 137730 0 0 0 49659 347 0 0 25 0 1 0 892824824 14655488 2897 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3578 2897 1111 63 0 3515 0
vsize: 14312
[startup+510.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 140443 0 0 0 50651 354 0 0 25 0 1 0 892824824 15273984 2964 4294967295 134512640 134716908 3221224592 3221222704 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3729 2964 1111 63 0 3666 0
vsize: 14916
[startup+520.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 143570 0 0 0 51643 362 0 0 25 0 1 0 892824824 14667776 2900 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3581 2900 1111 63 0 3518 0
vsize: 14324
[startup+530.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 146578 0 0 0 52634 371 0 0 25 0 1 0 892824824 14696448 2907 4294967295 134512640 134716908 3221224592 3221223256 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3588 2907 1111 63 0 3525 0
vsize: 14352
[startup+540.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 149637 0 0 0 53628 378 0 0 25 0 1 0 892824824 17870848 3067 4294967295 134512640 134716908 3221224592 3221221536 1074620096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4363 3067 1111 63 0 4300 0
vsize: 17452
[startup+550.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 152450 0 0 0 54622 384 0 0 25 0 1 0 892824824 19578880 3564 4294967295 134512640 134716908 3221224592 3221220812 1075116848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4780 3564 1111 63 0 4717 0
vsize: 19120
[startup+560.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 155617 0 0 0 55613 393 0 0 25 0 1 0 892824824 18149376 3137 4294967295 134512640 134716908 3221224592 3221221712 1074834340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4431 3137 1111 63 0 4368 0
vsize: 17724
[startup+570.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 158374 0 0 0 56605 401 0 0 25 0 1 0 892824824 14827520 2939 4294967295 134512640 134716908 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3620 2939 1111 63 0 3557 0
vsize: 14480
[startup+580.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 161173 0 0 0 57599 408 0 0 25 0 1 0 892824824 17907712 3087 4294967295 134512640 134716908 3221224592 3221220736 1074950925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 3087 1111 63 0 4309 0
vsize: 17488
[startup+590.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 163768 0 0 0 58592 414 0 0 25 0 1 0 892824824 18280448 3178 4294967295 134512640 134716908 3221224592 3221221636 1074846248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4463 3178 1111 63 0 4400 0
vsize: 17852
[startup+600.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 166400 0 0 0 59586 421 0 0 25 0 1 0 892824824 14647296 2895 4294967295 134512640 134716908 3221224592 3221222800 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2895 1111 63 0 3513 0
vsize: 14304
[startup+610.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 169178 0 0 0 60581 427 0 0 25 0 1 0 892824824 18104320 3135 4294967295 134512640 134716908 3221224592 3221221624 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4420 3135 1111 63 0 4357 0
vsize: 17680
[startup+620.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 172454 0 0 0 61571 436 0 0 25 0 1 0 892824824 14659584 2898 4294967295 134512640 134716908 3221224592 3221222732 1077379991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2898 1111 63 0 3516 0
vsize: 14316
[startup+630.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 175244 0 0 0 62565 442 0 0 25 0 1 0 892824824 14966784 2943 4294967295 134512640 134716908 3221224592 3221222640 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3654 2943 1111 63 0 3591 0
vsize: 14616
[startup+640.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 178341 0 0 0 63557 450 0 0 25 0 1 0 892824824 14684160 2904 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3585 2904 1111 63 0 3522 0
vsize: 14340
[startup+650.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 181132 0 0 0 64550 457 0 0 25 0 1 0 892824824 18264064 3211 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4459 3211 1111 63 0 4396 0
vsize: 17836
[startup+660.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 183695 0 0 0 65545 463 0 0 25 0 1 0 892824824 14630912 2891 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2891 1111 63 0 3509 0
vsize: 14288
[startup+670.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 186498 0 0 0 66537 471 0 0 25 0 1 0 892824824 15134720 3014 4294967295 134512640 134716908 3221224592 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3695 3014 1111 63 0 3632 0
vsize: 14780
[startup+680.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 189388 0 0 0 67531 477 0 0 25 0 1 0 892824824 15007744 2983 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2983 1111 63 0 3601 0
vsize: 14656
[startup+690.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 191602 0 0 0 68526 483 0 0 25 0 1 0 892824824 19578880 3639 4294967295 134512640 134716908 3221224592 3221220928 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4780 3639 1111 63 0 4717 0
vsize: 19120
[startup+700.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 194388 0 0 0 69520 489 0 0 25 0 1 0 892824824 15011840 2984 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2984 1111 63 0 3602 0
vsize: 14660
[startup+710.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 197104 0 0 0 70514 495 0 0 25 0 1 0 892824824 18657280 3290 4294967295 134512640 134716908 3221224592 3221220832 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4555 3290 1111 63 0 4492 0
vsize: 18220
[startup+720.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 199511 0 0 0 71509 500 0 0 25 0 1 0 892824824 15015936 2985 4294967295 134512640 134716908 3221224592 3221222592 1074052300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3666 2985 1111 63 0 3603 0
vsize: 14664
[startup+730.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 202485 0 0 0 72501 508 0 0 25 0 1 0 892824824 14999552 2981 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3662 2981 1111 63 0 3599 0
vsize: 14648
[startup+740.009 s]
Raw data (loadavg): 1.00 0.99 0.92 3/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 204661 0 0 0 73495 514 0 0 25 0 1 0 892824824 18059264 3142 4294967295 134512640 134716908 3221224592 3221221536 1074620113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4409 3142 1111 63 0 4346 0
vsize: 17636
[startup+750.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 206698 0 0 0 74489 520 0 0 25 0 1 0 892824824 15036416 2985 4294967295 134512640 134716908 3221224592 3221221872 1074140055 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3671 2985 1111 63 0 3608 0
vsize: 14684
[startup+760.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 209922 0 0 0 75482 527 0 0 25 0 1 0 892824824 18599936 3191 4294967295 134512640 134716908 3221224592 3221221664 1074867334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3198 1111 63 0 4478 0
vsize: 18164
[startup+770.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 212569 0 0 0 76476 534 0 0 25 0 1 0 892824824 18984960 3382 4294967295 134512640 134716908 3221224592 3221220928 1075113475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4635 3382 1111 63 0 4572 0
vsize: 18540
[startup+780.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 215144 0 0 0 77469 541 0 0 25 0 1 0 892824824 18628608 3281 4294967295 134512640 134716908 3221224592 3221220752 1074883509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4548 3281 1111 63 0 4485 0
vsize: 18192
[startup+790.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 217366 0 0 0 78464 546 0 0 25 0 1 0 892824824 18399232 3171 4294967295 134512640 134716908 3221224592 3221220864 1074961253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4492 3171 1111 63 0 4429 0
vsize: 17968
[startup+800.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 219324 0 0 0 79458 552 0 0 25 0 1 0 892824824 17879040 3085 4294967295 134512640 134716908 3221224592 3221220820 1075115084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4365 3085 1111 63 0 4302 0
vsize: 17460
[startup+810.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 221223 0 0 0 80453 558 0 0 25 0 1 0 892824824 15007744 2983 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2983 1111 63 0 3601 0
vsize: 14656
[startup+820.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 223268 0 0 0 81448 562 0 0 25 0 1 0 892824824 18223104 3181 4294967295 134512640 134716908 3221224592 3221220768 1075414313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4449 3181 1111 63 0 4386 0
vsize: 17796
[startup+830.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 225045 0 0 0 82444 567 0 0 25 0 1 0 892824824 15003648 2982 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3663 2982 1111 63 0 3600 0
vsize: 14652
[startup+840.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 227031 0 0 0 83439 572 0 0 25 0 1 0 892824824 18563072 3324 4294967295 134512640 134716908 3221224592 3221221120 1075119993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4532 3324 1111 63 0 4469 0
vsize: 18128
[startup+850.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 229601 0 0 0 84433 578 0 0 25 0 1 0 892824824 18608128 3305 4294967295 134512640 134716908 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4543 3305 1111 63 0 4480 0
vsize: 18172
[startup+860.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 231764 0 0 0 85427 585 0 0 25 0 1 0 892824824 18587648 3314 4294967295 134512640 134716908 3221224592 3221220456 1074789653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4538 3314 1111 63 0 4475 0
vsize: 18152
[startup+870.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 233997 0 0 0 86421 590 0 0 25 0 1 0 892824824 18395136 3243 4294967295 134512640 134716908 3221224592 3221220636 1074873723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3243 1111 63 0 4428 0
vsize: 17964
[startup+880.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 236281 0 0 0 87415 596 0 0 25 0 1 0 892824824 18108416 3147 4294967295 134512640 134716908 3221224592 3221221620 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4421 3147 1111 63 0 4358 0
vsize: 17684
[startup+890.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 239299 0 0 0 88408 603 0 0 25 0 1 0 892824824 19173376 3458 4294967295 134512640 134716908 3221224592 3221220924 1075112842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3458 1111 63 0 4618 0
vsize: 18724
[startup+900.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 242126 0 0 0 89401 611 0 0 25 0 1 0 892824824 15183872 3026 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3707 3026 1111 63 0 3644 0
vsize: 14828
[startup+910.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 245180 0 0 0 90393 619 0 0 25 0 1 0 892824824 18071552 3135 4294967295 134512640 134716908 3221224592 3221220720 1075561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4412 3135 1111 63 0 4349 0
vsize: 17648
[startup+920.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 247524 0 0 0 91388 625 0 0 25 0 1 0 892824824 18169856 3091 4294967295 134512640 134716908 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4436 3091 1111 63 0 4373 0
vsize: 17744
[startup+930.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 249843 0 0 0 92382 631 0 0 25 0 1 0 892824824 18337792 3191 4294967295 134512640 134716908 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4477 3191 1111 63 0 4414 0
vsize: 17908
[startup+940.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 251819 0 0 0 93376 637 0 0 25 0 1 0 892824824 18202624 3163 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4444 3163 1111 63 0 4381 0
vsize: 17776
[startup+950.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 254831 0 0 0 94369 644 0 0 25 0 1 0 892824824 19357696 3488 4294967295 134512640 134716908 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4726 3488 1111 63 0 4663 0
vsize: 18904
[startup+960.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 257512 0 0 0 95363 649 0 0 25 0 1 0 892824824 15155200 3021 4294967295 134512640 134716908 3221224592 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 3021 1111 63 0 3637 0
vsize: 14800
[startup+970.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 260791 0 0 0 96356 657 0 0 25 0 1 0 892824824 15003648 2984 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3663 2984 1111 63 0 3600 0
vsize: 14652
[startup+980.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 263187 0 0 0 97350 663 0 0 25 0 1 0 892824824 14999552 2983 4294967295 134512640 134716908 3221224592 3221222772 1077379572 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3662 2983 1111 63 0 3599 0
vsize: 14648
[startup+990.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 265456 0 0 0 98344 669 0 0 25 0 1 0 892824824 18386944 3174 4294967295 134512640 134716908 3221224592 3221220736 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4489 3174 1111 63 0 4426 0
vsize: 17956
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 267593 0 0 0 99339 675 0 0 25 0 1 0 892824824 18358272 3168 4294967295 134512640 134716908 3221224592 3221220720 1075112091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4482 3168 1111 63 0 4419 0
vsize: 17928
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 269940 0 0 0 100332 681 0 0 25 0 1 0 892824824 18227200 3128 4294967295 134512640 134716908 3221224592 3221221360 1076083512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4450 3128 1111 63 0 4387 0
vsize: 17800
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 271961 0 0 0 101327 686 0 0 25 0 1 0 892824824 18685952 3297 4294967295 134512640 134716908 3221224592 3221221360 1076083484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4562 3297 1111 63 0 4499 0
vsize: 18248
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 274610 0 0 0 102322 692 0 0 25 0 1 0 892824824 19341312 3510 4294967295 134512640 134716908 3221224592 3221221632 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 3510 1111 63 0 4659 0
vsize: 18888
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 277215 0 0 0 103315 699 0 0 25 0 1 0 892824824 14999552 2983 4294967295 134512640 134716908 3221224592 3221222504 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3662 2983 1111 63 0 3599 0
vsize: 14648
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 279841 0 0 0 104308 706 0 0 25 0 1 0 892824824 18485248 3230 4294967295 134512640 134716908 3221224592 3221220820 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4513 3230 1111 63 0 4450 0
vsize: 18052
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 281865 0 0 0 105302 712 0 0 25 0 1 0 892824824 15118336 3012 4294967295 134512640 134716908 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3691 3012 1111 63 0 3628 0
vsize: 14764
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 284087 0 0 0 106294 720 0 0 25 0 1 0 892824824 18632704 3278 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4549 3278 1111 63 0 4486 0
vsize: 18196
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 286410 0 0 0 107287 728 0 0 25 0 1 0 892824824 15122432 3013 4294967295 134512640 134716908 3221224592 3221222992 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3692 3013 1111 63 0 3629 0
vsize: 14768
[startup+1090 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 288760 0 0 0 108281 734 0 0 25 0 1 0 892824824 15122432 3013 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3692 3013 1111 63 0 3629 0
vsize: 14768
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 291171 0 0 0 109275 740 0 0 25 0 1 0 892824824 15118336 3012 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3691 3012 1111 63 0 3628 0
vsize: 14764
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 293541 0 0 0 110268 747 0 0 25 0 1 0 892824824 15282176 3052 4294967295 134512640 134716908 3221224592 3221222640 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3731 3052 1111 63 0 3668 0
vsize: 14924
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 296871 0 0 0 111261 755 0 0 25 0 1 0 892824824 15114240 3011 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3690 3011 1111 63 0 3627 0
vsize: 14760
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 299795 0 0 0 112254 762 0 0 25 0 1 0 892824824 15155200 3021 4294967295 134512640 134716908 3221224592 3221222964 1074207556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 3021 1111 63 0 3637 0
vsize: 14800
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 302085 0 0 0 113249 767 0 0 25 0 1 0 892824824 18415616 3211 4294967295 134512640 134716908 3221224592 3221220752 1075090442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4496 3211 1111 63 0 4433 0
vsize: 17984
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 304075 0 0 0 114244 772 0 0 25 0 1 0 892824824 18427904 3213 4294967295 134512640 134716908 3221224592 3221220864 1074960845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4499 3213 1111 63 0 4436 0
vsize: 17996
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 306737 0 0 0 115238 778 0 0 25 0 1 0 892824824 19066880 3414 4294967295 134512640 134716908 3221224592 3221220656 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4655 3414 1111 63 0 4592 0
vsize: 18620
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 309664 0 0 0 116232 785 0 0 25 0 1 0 892824824 19046400 3430 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4650 3430 1111 63 0 4587 0
vsize: 18600
[startup+1175.47 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 24853
Raw data (stat): 24796 (bsolo_lpr-v2) R 24795 31399 31398 0 -1 0 309664 0 0 0 116232 785 0 0 25 0 1 0 892824824 19046400 3430 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4650 3430 1111 63 0 4587 0
vsize: 0

Child status: 10
Real time (s): 1175.47
CPU time (s): 1175.64
CPU user time (s): 1167.74
CPU system time (s): 7.8958
CPU usage (%): 100.014
Max. virtual memory (Kb): 19120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	376
#### END VERIFIER DATA ####