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 23442

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 15:16:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=541 boxname=wulflinc31 idbench=61 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  db06e7fbd4f70a4af68f8f196fdb3636  /oldhome/oroussel/tmp/wulflinc31/normalized-alu4.b.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-alu4.b.opb
IDLAUNCH: 541
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        919264 kB
Buffers:         40232 kB
Cached:          53004 kB
SwapCached:        944 kB
Active:          77948 kB
Inactive:        17748 kB
HighTotal:      131008 kB
HighFree:        77084 kB
LowTotal:       903652 kB
LowFree:        842180 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14232 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 15:36:17 (client local time) WITH STATUS 10 IN 1175.04 SECONDS
stats: 541 0 1175.04 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.807 s
c Initial Lower Bound: 47
c Lower Bound Elapsed time: 0.62075
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 52 @ 10.827
c NEW SOLUTION FOUND: 51 @ 11.389
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.01 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
Raw data (loadavg): 0.98 0.96 0.97 2/54 3809
Raw data (stat): 3809 (runsolver) R 3808 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 649768725 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 7121 0 0 0 975 20 0 0 25 0 1 0 649768725 9908224 1727 4294967295 134512640 134714508 3221221792 3221219720 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2419 1727 1111 63 0 2356 0
vsize: 9676
[startup+20.0003 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 13724 0 0 0 1957 38 0 0 25 0 1 0 649768725 10526720 1881 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2570 1881 1111 63 0 2507 0
vsize: 10280
[startup+30.001 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 20854 0 0 0 2937 58 0 0 25 0 1 0 649768725 11010048 1931 4294967295 134512640 134714508 3221221792 3221218276 1075171902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2688 1931 1111 63 0 2625 0
vsize: 10752
[startup+40.0008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 27160 0 0 0 3919 76 0 0 25 0 1 0 649768725 10616832 1903 4294967295 134512640 134714508 3221221792 3221220208 1074116190 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2592 1903 1111 63 0 2529 0
vsize: 10368
[startup+50.0024 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 34307 0 0 0 4899 97 0 0 25 0 1 0 649768725 11112448 1958 4294967295 134512640 134714508 3221221792 3221218356 1076044867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2713 1958 1111 63 0 2650 0
vsize: 10852
[startup+60.0027 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 40321 0 0 0 5884 112 0 0 25 0 1 0 649768725 10883072 1968 4294967295 134512640 134714508 3221221792 3221220584 134536904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2657 1968 1111 63 0 2594 0
vsize: 10628
[startup+70.0026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 45179 0 0 0 6869 127 0 0 25 0 1 0 649768725 11403264 2023 4294967295 134512640 134714508 3221221792 3221217792 1075965234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2784 2023 1111 63 0 2721 0
vsize: 11136
[startup+80.0039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 50880 0 0 0 7854 142 0 0 25 0 1 0 649768725 11399168 2030 4294967295 134512640 134714508 3221221792 3221217724 1074788138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2783 2030 1111 63 0 2720 0
vsize: 11132
[startup+90.0035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 56879 0 0 0 8837 160 0 0 25 0 1 0 649768725 11034624 2002 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2694 2002 1111 63 0 2631 0
vsize: 10776
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 62224 0 0 0 9820 176 0 0 25 0 1 0 649768725 11034624 2002 4294967295 134512640 134714508 3221221792 3221219520 1075635436 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2694 2002 1111 63 0 2631 0
vsize: 10776
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 68481 0 0 0 10804 193 0 0 25 0 1 0 649768725 11460608 2041 4294967295 134512640 134714508 3221221792 3221217952 1075090660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2798 2041 1111 63 0 2735 0
vsize: 11192
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 74838 0 0 0 11785 212 0 0 25 0 1 0 649768725 11689984 2097 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2854 2097 1111 63 0 2791 0
vsize: 11416
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 80626 0 0 0 12768 229 0 0 25 0 1 0 649768725 11788288 2121 4294967295 134512640 134714508 3221221792 3221217724 1074788069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2878 2121 1111 63 0 2815 0
vsize: 11512
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 86064 0 0 0 13755 243 0 0 25 0 1 0 649768725 11939840 2159 4294967295 134512640 134714508 3221221792 3221218032 1075115765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2915 2159 1111 63 0 2852 0
vsize: 11660
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 91418 0 0 0 14740 257 0 0 25 0 1 0 649768725 11923456 2155 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2911 2155 1111 63 0 2848 0
vsize: 11644
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 96729 0 0 0 15725 272 0 0 25 0 1 0 649768725 11554816 2130 4294967295 134512640 134714508 3221221792 3221218912 1074865619 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2821 2130 1111 63 0 2758 0
vsize: 11284
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 102587 0 0 0 16709 289 0 0 25 0 1 0 649768725 11952128 2179 4294967295 134512640 134714508 3221221792 3221218624 1075115434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2918 2179 1111 63 0 2855 0
vsize: 11672
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 108097 0 0 0 17694 304 0 0 25 0 1 0 649768725 11993088 2178 4294967295 134512640 134714508 3221221792 3221217968 1074789951 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2928 2178 1111 63 0 2865 0
vsize: 11712
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 114486 0 0 0 18674 324 0 0 25 0 1 0 649768725 12128256 2189 4294967295 134512640 134714508 3221221792 3221218448 1075966508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2961 2189 1111 63 0 2898 0
vsize: 11844
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 120004 0 0 0 19660 339 0 0 25 0 1 0 649768725 11919360 2221 4294967295 134512640 134714508 3221221792 3221219368 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2910 2221 1111 63 0 2847 0
vsize: 11640
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 125710 0 0 0 20643 355 0 0 25 0 1 0 649768725 12066816 2257 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2946 2257 1111 63 0 2883 0
vsize: 11784
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 131328 0 0 0 21626 373 0 0 25 0 1 0 649768725 12066816 2257 4294967295 134512640 134714508 3221221792 3221219616 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2946 2257 1111 63 0 2883 0
vsize: 11784
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 135899 0 0 0 22613 386 0 0 25 0 1 0 649768725 12075008 2260 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2948 2260 1111 63 0 2885 0
vsize: 11792
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 141584 0 0 0 23598 402 0 0 25 0 1 0 649768725 12144640 2277 4294967295 134512640 134714508 3221221792 3221219792 1074918931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2965 2277 1111 63 0 2902 0
vsize: 11860
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 147927 0 0 0 24581 419 0 0 25 0 1 0 649768725 12271616 2308 4294967295 134512640 134714508 3221221792 3221220488 134536889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2996 2308 1111 63 0 2933 0
vsize: 11984
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 154200 0 0 0 25564 436 0 0 25 0 1 0 649768725 12300288 2313 4294967295 134512640 134714508 3221221792 3221220512 134625099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3003 2313 1111 63 0 2940 0
vsize: 12012
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 160934 0 0 0 26548 452 0 0 25 0 1 0 649768725 12292096 2313 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3001 2313 1111 63 0 2938 0
vsize: 12004
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 168859 0 0 0 27527 473 0 0 25 0 1 0 649768725 12324864 2321 4294967295 134512640 134714508 3221221792 3221219440 1075818160 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3009 2321 1111 63 0 2946 0
vsize: 12036
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 176058 0 0 0 28508 492 0 0 25 0 1 0 649768725 12439552 2349 4294967295 134512640 134714508 3221221792 3221220096 1074146142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3037 2349 1111 63 0 2974 0
vsize: 12148
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 181365 0 0 0 29492 508 0 0 25 0 1 0 649768725 12468224 2356 4294967295 134512640 134714508 3221221792 3221219752 1074138271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3044 2356 1111 63 0 2981 0
vsize: 12176
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 185566 0 0 0 30480 521 0 0 25 0 1 0 649768725 12832768 2370 4294967295 134512640 134714508 3221221792 3221218912 1074834461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3133 2370 1111 63 0 3070 0
vsize: 12532
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 189941 0 0 0 31467 534 0 0 25 0 1 0 649768725 12824576 2382 4294967295 134512640 134714508 3221221792 3221217936 1074968871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3131 2382 1111 63 0 3068 0
vsize: 12524
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 194466 0 0 0 32454 547 0 0 25 0 1 0 649768725 12840960 2368 4294967295 134512640 134714508 3221221792 3221218820 1075964208 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3047 2359 1111 63 0 2984 0
vsize: 12540
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 199237 0 0 0 33442 559 0 0 25 0 1 0 649768725 12476416 2356 4294967295 134512640 134714508 3221221792 3221220256 1074119510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3046 2356 1111 63 0 2983 0
vsize: 12184
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 204401 0 0 0 34429 572 0 0 25 0 1 0 649768725 12869632 2388 4294967295 134512640 134714508 3221221792 3221218020 1075115084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3142 2388 1111 63 0 3079 0
vsize: 12568
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 209617 0 0 0 35413 588 0 0 25 0 1 0 649768725 12480512 2359 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3047 2359 1111 63 0 2984 0
vsize: 12188
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 215188 0 0 0 36396 606 0 0 25 0 1 0 649768725 12947456 2401 4294967295 134512640 134714508 3221221792 3221218160 1075119521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3161 2401 1111 63 0 3098 0
vsize: 12644
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 220003 0 0 0 37381 621 0 0 25 0 1 0 649768725 12562432 2379 4294967295 134512640 134714508 3221221792 3221220096 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3067 2379 1111 63 0 3004 0
vsize: 12268
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 224489 0 0 0 38369 633 0 0 25 0 1 0 649768725 13000704 2419 4294967295 134512640 134714508 3221221792 3221218712 1074950096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3174 2419 1111 63 0 3111 0
vsize: 12696
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 229889 0 0 0 39357 646 0 0 25 0 1 0 649768725 12562432 2379 4294967295 134512640 134714508 3221221792 3221220048 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3067 2379 1111 63 0 3004 0
vsize: 12268
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 235507 0 0 0 40340 663 0 0 25 0 1 0 649768725 12980224 2409 4294967295 134512640 134714508 3221221792 3221218712 1074950117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3169 2409 1111 63 0 3106 0
vsize: 12676
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 241158 0 0 0 41320 682 0 0 25 0 1 0 649768725 12967936 2406 4294967295 134512640 134714508 3221221792 3221218912 1074834317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3166 2406 1111 63 0 3103 0
vsize: 12664
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 247341 0 0 0 42303 700 0 0 25 0 1 0 649768725 12611584 2391 4294967295 134512640 134714508 3221221792 3221219720 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3079 2391 1111 63 0 3016 0
vsize: 12316
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 252356 0 0 0 43289 714 0 0 25 0 1 0 649768725 13053952 2430 4294967295 134512640 134714508 3221221792 3221217936 1074969678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3187 2431 1111 63 0 3124 0
vsize: 12748
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 256689 0 0 0 44276 727 0 0 25 0 1 0 649768725 12644352 2399 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2399 1111 63 0 3024 0
vsize: 12348
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 260699 0 0 0 45265 739 0 0 25 0 1 0 649768725 13090816 2436 4294967295 134512640 134714508 3221221792 3221217936 1074969986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3196 2436 1111 63 0 3133 0
vsize: 12784
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 264159 0 0 0 46255 748 0 0 25 0 1 0 649768725 12722176 2418 4294967295 134512640 134714508 3221221792 3221219792 1074918876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3106 2418 1111 63 0 3043 0
vsize: 12424
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 267807 0 0 0 47246 758 0 0 25 0 1 0 649768725 12734464 2421 4294967295 134512640 134714508 3221221792 3221220408 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3109 2421 1111 63 0 3046 0
vsize: 12436
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 271848 0 0 0 48235 769 0 0 25 0 1 0 649768725 12722176 2418 4294967295 134512640 134714508 3221221792 3221220040 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3106 2418 1111 63 0 3043 0
vsize: 12424
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 275710 0 0 0 49224 780 0 0 25 0 1 0 649768725 13090816 2436 4294967295 134512640 134714508 3221221792 3221218064 1074960961 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3196 2436 1111 63 0 3133 0
vsize: 12784
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 279087 0 0 0 50213 792 0 0 25 0 1 0 649768725 12845056 2448 4294967295 134512640 134714508 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3136 2448 1111 63 0 3073 0
vsize: 12544
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 281243 0 0 0 51206 798 0 0 25 0 1 0 649768725 12832768 2445 4294967295 134512640 134714508 3221221792 3221220008 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3133 2445 1111 63 0 3070 0
vsize: 12532
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 283395 0 0 0 52200 805 0 0 25 0 1 0 649768725 12832768 2445 4294967295 134512640 134714508 3221221792 3221220128 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3133 2445 1111 63 0 3070 0
vsize: 12532
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 286130 0 0 0 53193 812 0 0 25 0 1 0 649768725 12832768 2445 4294967295 134512640 134714508 3221221792 3221220144 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3133 2445 1111 63 0 3070 0
vsize: 12532
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 288375 0 0 0 54185 820 0 0 25 0 1 0 649768725 12832768 2445 4294967295 134512640 134714508 3221221792 3221220452 134649949 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3133 2445 1111 63 0 3070 0
vsize: 12532
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 291051 0 0 0 55178 828 0 0 25 0 1 0 649768725 12832768 2445 4294967295 134512640 134714508 3221221792 3221219952 1074143848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3133 2445 1111 63 0 3070 0
vsize: 12532
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 293754 0 0 0 56169 836 0 0 25 0 1 0 649768725 12832768 2445 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3133 2445 1111 63 0 3070 0
vsize: 12532
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 297907 0 0 0 57157 849 0 0 25 0 1 0 649768725 12845056 2448 4294967295 134512640 134714508 3221221792 3221219704 1074138274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3136 2448 1111 63 0 3073 0
vsize: 12544
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 300679 0 0 0 58148 858 0 0 25 0 1 0 649768725 12832768 2445 4294967295 134512640 134714508 3221221792 3221219696 1075460122 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3133 2445 1111 63 0 3070 0
vsize: 12532
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 304571 0 0 0 59137 869 0 0 25 0 1 0 649768725 13205504 2465 4294967295 134512640 134714508 3221221792 3221217804 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3224 2465 1111 63 0 3161 0
vsize: 12896
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 307619 0 0 0 60129 878 0 0 25 0 1 0 649768725 12849152 2449 4294967295 134512640 134714508 3221221792 3221220304 134539764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3137 2449 1111 63 0 3074 0
vsize: 12548
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 310645 0 0 0 61120 886 0 0 25 0 1 0 649768725 12849152 2449 4294967295 134512640 134714508 3221221792 3221220056 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3137 2449 1111 63 0 3074 0
vsize: 12548
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 314359 0 0 0 62109 898 0 0 25 0 1 0 649768725 12849152 2449 4294967295 134512640 134714508 3221221792 3221219696 1075460089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3137 2449 1111 63 0 3074 0
vsize: 12548
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 318006 0 0 0 63098 909 0 0 25 0 1 0 649768725 12849152 2449 4294967295 134512640 134714508 3221221792 3221220384 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3137 2449 1111 63 0 3074 0
vsize: 12548
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 321716 0 0 0 64089 918 0 0 25 0 1 0 649768725 13205504 2461 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3224 2463 1111 63 0 3161 0
vsize: 12896
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 325367 0 0 0 65078 929 0 0 25 0 1 0 649768725 12849152 2449 4294967295 134512640 134714508 3221221792 3221219860 1077379750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3137 2449 1111 63 0 3074 0
vsize: 12548
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 329051 0 0 0 66066 942 0 0 25 0 1 0 649768725 13205504 2465 4294967295 134512640 134714508 3221221792 3221217792 1075965301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3224 2465 1111 63 0 3161 0
vsize: 12896
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 332737 0 0 0 67056 952 0 0 25 0 1 0 649768725 12849152 2449 4294967295 134512640 134714508 3221221792 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3137 2449 1111 63 0 3074 0
vsize: 12548
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 336879 0 0 0 68044 964 0 0 25 0 1 0 649768725 12849152 2449 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3137 2449 1111 63 0 3074 0
vsize: 12548
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 341468 0 0 0 69031 977 0 0 25 0 1 0 649768725 13217792 2467 4294967295 134512640 134714508 3221221792 3221217648 1074871168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2467 1111 63 0 3164 0
vsize: 12908
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 346020 0 0 0 70017 991 0 0 25 0 1 0 649768725 12857344 2451 4294967295 134512640 134714508 3221221792 3221220500 134625147 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3139 2451 1111 63 0 3076 0
vsize: 12556
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 350947 0 0 0 71000 1008 0 0 25 0 1 0 649768725 12849152 2449 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3137 2449 1111 63 0 3074 0
vsize: 12548
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 356529 0 0 0 71984 1024 0 0 25 0 1 0 649768725 12849152 2449 4294967295 134512640 134714508 3221221792 3221218896 1074138755 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3170 2450 1111 63 0 3107 0
vsize: 12548
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 361598 0 0 0 72971 1037 0 0 25 0 1 0 649768725 12881920 2457 4294967295 134512640 134714508 3221221792 3221220096 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3145 2457 1111 63 0 3082 0
vsize: 12580
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 366552 0 0 0 73958 1050 0 0 25 0 1 0 649768725 12894208 2460 4294967295 134512640 134714508 3221221792 3221220144 1074115342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3148 2460 1111 63 0 3085 0
vsize: 12592
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 371559 0 0 0 74945 1064 0 0 25 0 1 0 649768725 12894208 2457 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3148 2457 1111 63 0 3085 0
vsize: 12592
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 376590 0 0 0 75932 1077 0 0 25 0 1 0 649768725 12947456 2473 4294967295 134512640 134714508 3221221792 3221219440 1075818359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3161 2473 1111 63 0 3098 0
vsize: 12644
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 381292 0 0 0 76920 1090 0 0 25 0 1 0 649768725 12947456 2473 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3161 2473 1111 63 0 3098 0
vsize: 12644
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 386095 0 0 0 77906 1103 0 0 25 0 1 0 649768725 12967936 2478 4294967295 134512640 134714508 3221221792 3221220020 1077374550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3166 2478 1111 63 0 3103 0
vsize: 12664
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 391481 0 0 0 78891 1118 0 0 25 0 1 0 649768725 13029376 2478 4294967295 134512640 134714508 3221221792 3221219792 1074916737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2478 1111 63 0 3118 0
vsize: 12724
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 397327 0 0 0 79877 1133 0 0 25 0 1 0 649768725 13455360 2505 4294967295 134512640 134714508 3221221792 3221217936 1074969499 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3285 2505 1111 63 0 3222 0
vsize: 13140
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 402669 0 0 0 80861 1149 0 0 25 0 1 0 649768725 13012992 2489 4294967295 134512640 134714508 3221221792 3221220192 1074119066 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3177 2489 1111 63 0 3114 0
vsize: 12708
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 406939 0 0 0 81848 1162 0 0 25 0 1 0 649768725 13148160 2522 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3210 2522 1111 63 0 3147 0
vsize: 12840
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 411301 0 0 0 82833 1177 0 0 25 0 1 0 649768725 13148160 2522 4294967295 134512640 134714508 3221221792 3221219984 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3210 2522 1111 63 0 3147 0
vsize: 12840
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 415874 0 0 0 83819 1192 0 0 25 0 1 0 649768725 13148160 2522 4294967295 134512640 134714508 3221221792 3221219680 1074057902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3210 2522 1111 63 0 3147 0
vsize: 12840
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 420080 0 0 0 84807 1204 0 0 25 0 1 0 649768725 13148160 2522 4294967295 134512640 134714508 3221221792 3221220056 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3210 2522 1111 63 0 3147 0
vsize: 12840
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 424304 0 0 0 85792 1219 0 0 25 0 1 0 649768725 13160448 2525 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3213 2525 1111 63 0 3150 0
vsize: 12852
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 428939 0 0 0 86778 1233 0 0 25 0 1 0 649768725 13160448 2525 4294967295 134512640 134714508 3221221792 3221219368 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3213 2525 1111 63 0 3150 0
vsize: 12852
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 433739 0 0 0 87760 1252 0 0 25 0 1 0 649768725 13160448 2525 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3213 2525 1111 63 0 3150 0
vsize: 12852
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 439421 0 0 0 88743 1268 0 0 25 0 1 0 649768725 13148160 2522 4294967295 134512640 134714508 3221221792 3221220096 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3210 2522 1111 63 0 3147 0
vsize: 12840
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 446076 0 0 0 89723 1288 0 0 25 0 1 0 649768725 13553664 2545 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3309 2546 1111 63 0 3246 0
vsize: 13236
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 452788 0 0 0 90704 1308 0 0 25 0 1 0 649768725 13213696 2538 4294967295 134512640 134714508 3221221792 3221219728 1074052193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3226 2538 1111 63 0 3163 0
vsize: 12904
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 459370 0 0 0 91684 1328 0 0 25 0 1 0 649768725 13631488 2561 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3328 2561 1111 63 0 3265 0
vsize: 13312
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 465069 0 0 0 92668 1344 0 0 25 0 1 0 649768725 13750272 2596 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3357 2596 1111 63 0 3294 0
vsize: 13428
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 470528 0 0 0 93652 1360 0 0 25 0 1 0 649768725 13414400 2587 4294967295 134512640 134714508 3221221792 3221220488 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3275 2587 1111 63 0 3212 0
vsize: 13100
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 475973 0 0 0 94638 1375 0 0 25 0 1 0 649768725 13500416 2608 4294967295 134512640 134714508 3221221792 3221220480 134524376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2606 1111 63 0 3231 0
vsize: 13184
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 480206 0 0 0 95626 1386 0 0 25 0 1 0 649768725 13492224 2606 4294967295 134512640 134714508 3221221792 3221220144 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2606 1111 63 0 3231 0
vsize: 13176
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 485038 0 0 0 96614 1399 0 0 25 0 1 0 649768725 13492224 2606 4294967295 134512640 134714508 3221221792 3221219768 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2606 1111 63 0 3231 0
vsize: 13176
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 490525 0 0 0 97598 1414 0 0 25 0 1 0 649768725 13492224 2606 4294967295 134512640 134714508 3221221792 3221220264 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2606 1111 63 0 3231 0
vsize: 13176
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 495477 0 0 0 98586 1427 0 0 25 0 1 0 649768725 13492224 2606 4294967295 134512640 134714508 3221221792 3221220096 1074153719 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2606 1111 63 0 3231 0
vsize: 13176
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 501214 0 0 0 99570 1443 0 0 25 0 1 0 649768725 13959168 2656 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3408 2656 1111 63 0 3345 0
vsize: 13632
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 505895 0 0 0 100558 1456 0 0 25 0 1 0 649768725 13688832 2654 4294967295 134512640 134714508 3221221792 3221219752 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2654 1111 63 0 3279 0
vsize: 13368
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 508410 0 0 0 101551 1463 0 0 25 0 1 0 649768725 13688832 2654 4294967295 134512640 134714508 3221221792 3221219792 1074918343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2654 1111 63 0 3279 0
vsize: 13368
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 511646 0 0 0 102541 1473 0 0 25 0 1 0 649768725 13869056 2658 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3386 2658 1111 63 0 3323 0
vsize: 13544
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 515851 0 0 0 103527 1486 0 0 25 0 1 0 649768725 13697024 2656 4294967295 134512640 134714508 3221221792 3221219520 1075635441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3344 2656 1111 63 0 3281 0
vsize: 13376
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 519674 0 0 0 104517 1497 0 0 25 0 1 0 649768725 13701120 2655 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3345 2655 1111 63 0 3282 0
vsize: 13380
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 523670 0 0 0 105508 1506 0 0 25 0 1 0 649768725 13746176 2666 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3356 2666 1111 63 0 3293 0
vsize: 13424
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 527984 0 0 0 106495 1520 0 0 25 0 1 0 649768725 13737984 2666 4294967295 134512640 134714508 3221221792 3221220144 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2666 1111 63 0 3291 0
vsize: 13416
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 532156 0 0 0 107482 1533 0 0 25 0 1 0 649768725 13746176 2668 4294967295 134512640 134714508 3221221792 3221220488 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3356 2668 1111 63 0 3293 0
vsize: 13424
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 536426 0 0 0 108469 1546 0 0 25 0 1 0 649768725 13737984 2666 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2666 1111 63 0 3291 0
vsize: 13416
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 540529 0 0 0 109458 1557 0 0 25 0 1 0 649768725 13746176 2668 4294967295 134512640 134714508 3221221792 3221220560 134624533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3356 2668 1111 63 0 3293 0
vsize: 13424
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 545327 0 0 0 110446 1570 0 0 25 0 1 0 649768725 13737984 2666 4294967295 134512640 134714508 3221221792 3221220056 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2666 1111 63 0 3291 0
vsize: 13416
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 551267 0 0 0 111431 1584 0 0 25 0 1 0 649768725 13721600 2662 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2662 1111 63 0 3287 0
vsize: 13400
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 556433 0 0 0 112417 1599 0 0 25 0 1 0 649768725 14106624 2686 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3444 2686 1111 63 0 3381 0
vsize: 13776
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 562059 0 0 0 113404 1612 0 0 25 0 1 0 649768725 13721600 2662 4294967295 134512640 134714508 3221221792 3221220072 1074138237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2662 1111 63 0 3287 0
vsize: 13400
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 567591 0 0 0 114388 1627 0 0 25 0 1 0 649768725 13721600 2662 4294967295 134512640 134714508 3221221792 3221220336 134650198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2662 1111 63 0 3287 0
vsize: 13400
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 573150 0 0 0 115373 1643 0 0 25 0 1 0 649768725 13742080 2667 4294967295 134512640 134714508 3221221792 3221219912 1077377343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3355 2667 1111 63 0 3292 0
vsize: 13420
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 3809
Raw data (stat): 3809 (bsolo_lpr) R 3808 7876 7672 0 -1 0 573150 0 0 0 115373 1643 0 0 25 0 1 0 649768725 13742080 2667 4294967295 134512640 134714508 3221221792 3221219912 1077377343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3355 2667 1111 63 0 3292 0
vsize: 0

Child status: 10
Real time (s): 1174.91
CPU time (s): 1175.04
CPU user time (s): 1158.54
CPU system time (s): 16.5035
CPU usage (%): 100.011
Max. virtual memory (Kb): 13776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	51
#### END VERIFIER DATA ####