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/synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUM	6292e63147fb202dc159fbf5a9ff5c77
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4822
Optimality of the best value was proved	NO
Number of terms in the objective function	771
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	33355
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	33355
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	771
Total number of constraints	1951
Number of constraints which are clauses	1949
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	1
Maximum length of a constraint	42
Trace number 24377

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 22:22:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2224 boxname=wulflinc31 idbench=248 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6292e63147fb202dc159fbf5a9ff5c77  /oldhome/oroussel/tmp/wulflinc31/normalized-C432.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-C432.opb
IDLAUNCH: 2224
/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:        135708 kB
Buffers:         45740 kB
Cached:         818440 kB
SwapCached:        644 kB
Active:         493192 kB
Inactive:       373404 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        135456 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26548 kB
Committed_AS:    63612 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 22:42:28 (client local time) WITH STATUS 10 IN 1176.78 SECONDS
stats: 2224 0 1176.78 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 771 variables and 1951 constraints.
c After prepocess the problem consists of 753 variables and 1726 constraints.
c preprocess terminated 0.795 s
c Initial Lower Bound: 4748
c Lower Bound Elapsed time: 0.8764
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4904 @ 17.507
c NEW SOLUTION FOUND: 4879 @ 158.156
c NEW SOLUTION FOUND: 4863 @ 845.682
c NEW SOLUTION FOUND: 4854 @ 991.904
c NEW SOLUTION FOUND: 4838 @ 1083.05
c NEW SOLUTION FOUND: 4829 @ 1111.62
c NEW SOLUTION FOUND: 4828 @ 1136.76
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 
c Exit Code: 10
c Total time: 1176.76 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.67 0.88 0.88 2/54 4088
Raw data (stat): 4088 (runsolver) R 4087 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 704171847 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.72 0.89 0.88 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 7675 0 0 0 975 20 0 0 25 0 1 0 704171847 9310208 1591 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2273 1591 1111 63 0 2210 0
vsize: 9092
[startup+20.0013 s]
Raw data (loadavg): 0.76 0.89 0.89 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 9747 0 0 0 1970 25 0 0 25 0 1 0 704171847 10776576 1722 4294967295 134512640 134714508 3221221792 3221217596 1074787861 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2631 1722 1111 63 0 2568 0
vsize: 10524
[startup+30.0013 s]
Raw data (loadavg): 0.80 0.89 0.89 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 11967 0 0 0 2965 31 0 0 25 0 1 0 704171847 10604544 1667 4294967295 134512640 134714508 3221221792 3221218824 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1667 1111 63 0 2526 0
vsize: 10356
[startup+40.0026 s]
Raw data (loadavg): 0.83 0.89 0.89 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 14266 0 0 0 3959 36 0 0 25 0 1 0 704171847 10690560 1698 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2610 1698 1111 63 0 2547 0
vsize: 10440
[startup+50.0035 s]
Raw data (loadavg): 0.85 0.90 0.89 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 16448 0 0 0 4954 42 0 0 25 0 1 0 704171847 10588160 1678 4294967295 134512640 134714508 3221221792 3221217920 1075561201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2585 1678 1111 63 0 2522 0
vsize: 10340
[startup+60.0031 s]
Raw data (loadavg): 0.88 0.90 0.89 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 18686 0 0 0 5949 47 0 0 25 0 1 0 704171847 10559488 1681 4294967295 134512640 134714508 3221221792 3221218020 1075115112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2578 1681 1111 63 0 2515 0
vsize: 10312
[startup+70.0044 s]
Raw data (loadavg): 0.89 0.90 0.89 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 20935 0 0 0 6943 54 0 0 25 0 1 0 704171847 9371648 1612 4294967295 134512640 134714508 3221221792 3221219792 1074918192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2288 1612 1111 63 0 2225 0
vsize: 9152
[startup+80.0049 s]
Raw data (loadavg): 0.91 0.91 0.89 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 23232 0 0 0 7937 59 0 0 25 0 1 0 704171847 10686464 1701 4294967295 134512640 134714508 3221221792 3221218624 1075793252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2609 1701 1111 63 0 2546 0
vsize: 10436
[startup+90.0058 s]
Raw data (loadavg): 0.92 0.91 0.89 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 25534 0 0 0 8931 66 0 0 25 0 1 0 704171847 10637312 1696 4294967295 134512640 134714508 3221221792 3221217952 1074794472 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2597 1696 1111 63 0 2534 0
vsize: 10388
[startup+100.006 s]
Raw data (loadavg): 0.93 0.91 0.89 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 27877 0 0 0 9926 71 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2273 1603 1111 63 0 2210 0
vsize: 9092
[startup+110.006 s]
Raw data (loadavg): 0.94 0.91 0.89 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 30179 0 0 0 10920 77 0 0 25 0 1 0 704171847 10772480 1729 4294967295 134512640 134714508 3221221792 3221218280 1074789792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2630 1729 1111 63 0 2567 0
vsize: 10520
[startup+120.007 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 32525 0 0 0 11914 83 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2273 1603 1111 63 0 2210 0
vsize: 9092
[startup+130.007 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 34753 0 0 0 12908 89 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2273 1603 1111 63 0 2210 0
vsize: 9092
[startup+140.007 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 37168 0 0 0 13902 95 0 0 25 0 1 0 704171847 9375744 1618 4294967295 134512640 134714508 3221221792 3221219792 1074919284 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2289 1618 1111 63 0 2226 0
vsize: 9156
[startup+150.008 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 39496 0 0 0 14897 101 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2273 1603 1111 63 0 2210 0
vsize: 9092
[startup+160.009 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 42161 0 0 0 15890 107 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220144 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2273 1603 1111 63 0 2210 0
vsize: 9092
[startup+170.01 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 44684 0 0 0 16883 115 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2273 1603 1111 63 0 2210 0
vsize: 9092
[startup+180.009 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 47043 0 0 0 17876 122 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2273 1603 1111 63 0 2210 0
vsize: 9092
[startup+190.011 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 49537 0 0 0 18870 129 0 0 25 0 1 0 704171847 9576448 1659 4294967295 134512640 134714508 3221221792 3221218984 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2338 1666 1111 63 0 2275 0
vsize: 9352
[startup+200.011 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 51985 0 0 0 19863 136 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2273 1603 1111 63 0 2210 0
vsize: 9092
[startup+210.011 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 55155 0 0 0 20854 145 0 0 25 0 1 0 704171847 9310208 1603 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2273 1603 1111 63 0 2210 0
vsize: 9092
[startup+220.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 58524 0 0 0 21844 155 0 0 25 0 1 0 704171847 10956800 1728 4294967295 134512640 134714508 3221221792 3221218448 1075967484 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2675 1728 1111 63 0 2612 0
vsize: 10700
[startup+230.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 62331 0 0 0 22835 165 0 0 25 0 1 0 704171847 10936320 1750 4294967295 134512640 134714508 3221221792 3221218032 1075115726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2670 1750 1111 63 0 2607 0
vsize: 10680
[startup+240.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 66364 0 0 0 23825 174 0 0 25 0 1 0 704171847 11206656 1811 4294967295 134512640 134714508 3221221792 3221218712 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2736 1811 1111 63 0 2673 0
vsize: 10944
[startup+250.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 69919 0 0 0 24816 184 0 0 25 0 1 0 704171847 9805824 1724 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2394 1724 1111 63 0 2331 0
vsize: 9576
[startup+260.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 73498 0 0 0 25807 193 0 0 25 0 1 0 704171847 11444224 1877 4294967295 134512640 134714508 3221221792 3221218020 1074789988 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2794 1877 1111 63 0 2731 0
vsize: 11176
[startup+270.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 77001 0 0 0 26799 201 0 0 25 0 1 0 704171847 9990144 1764 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2439 1764 1111 63 0 2376 0
vsize: 9756
[startup+280.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 80757 0 0 0 27788 212 0 0 25 0 1 0 704171847 9998336 1771 4294967295 134512640 134714508 3221221792 3221219764 1074052546 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2441 1771 1111 63 0 2378 0
vsize: 9764
[startup+290.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 84435 0 0 0 28779 222 0 0 25 0 1 0 704171847 10027008 1778 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1778 1111 63 0 2385 0
vsize: 9792
[startup+300.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 87896 0 0 0 29770 230 0 0 25 0 1 0 704171847 11792384 1957 4294967295 134512640 134714508 3221221792 3221217920 1075561216 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2879 1957 1111 63 0 2816 0
vsize: 11516
[startup+310.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 91402 0 0 0 30763 238 0 0 25 0 1 0 704171847 11804672 1958 4294967295 134512640 134714508 3221221792 3221218064 1074960859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2882 1958 1111 63 0 2819 0
vsize: 11528
[startup+320.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 94985 0 0 0 31753 248 0 0 25 0 1 0 704171847 11812864 1981 4294967295 134512640 134714508 3221221792 3221218032 1075115752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2884 1981 1111 63 0 2821 0
vsize: 11536
[startup+330.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 98724 0 0 0 32746 255 0 0 25 0 1 0 704171847 11907072 2006 4294967295 134512640 134714508 3221221792 3221217660 1074787806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2907 2006 1111 63 0 2844 0
vsize: 11628
[startup+340.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 102031 0 0 0 33737 264 0 0 25 0 1 0 704171847 10436608 1878 4294967295 134512640 134714508 3221221792 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2548 1878 1111 63 0 2485 0
vsize: 10192
[startup+350.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 105584 0 0 0 34727 275 0 0 25 0 1 0 704171847 12046336 2016 4294967295 134512640 134714508 3221221792 3221218064 1074961355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2941 2016 1111 63 0 2878 0
vsize: 11764
[startup+360.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 109258 0 0 0 35717 285 0 0 25 0 1 0 704171847 10444800 1880 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2550 1880 1111 63 0 2487 0
vsize: 10200
[startup+370.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 112736 0 0 0 36708 294 0 0 25 0 1 0 704171847 12263424 2085 4294967295 134512640 134714508 3221221792 3221217660 1074787957 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2994 2085 1111 63 0 2931 0
vsize: 11976
[startup+380.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 116202 0 0 0 37699 303 0 0 25 0 1 0 704171847 10645504 1929 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1929 1111 63 0 2536 0
vsize: 10396
[startup+390.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 119693 0 0 0 38691 311 0 0 25 0 1 0 704171847 11051008 1996 4294967295 134512640 134714508 3221221792 3221218984 1074138315 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2833 2000 1111 63 0 2770 0
vsize: 10792
[startup+400.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 123511 0 0 0 39681 322 0 0 25 0 1 0 704171847 10973184 1990 4294967295 134512640 134714508 3221221792 3221218896 1074139007 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2679 1990 1111 63 0 2616 0
vsize: 10716
[startup+410.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 127374 0 0 0 40671 332 0 0 25 0 1 0 704171847 10743808 1953 4294967295 134512640 134714508 3221221792 3221220128 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2623 1953 1111 63 0 2560 0
vsize: 10492
[startup+420.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 131235 0 0 0 41662 341 0 0 25 0 1 0 704171847 10870784 1969 4294967295 134512640 134714508 3221221792 3221220092 1074206250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1969 1111 63 0 2591 0
vsize: 10616
[startup+430.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 135366 0 0 0 42652 351 0 0 25 0 1 0 704171847 12513280 2164 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2164 1111 63 0 2992 0
vsize: 12220
[startup+440.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 139382 0 0 0 43641 362 0 0 25 0 1 0 704171847 10960896 1976 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2676 1976 1111 63 0 2613 0
vsize: 10704
[startup+450.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 143693 0 0 0 44632 372 0 0 25 0 1 0 704171847 11010048 2018 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2688 2018 1111 63 0 2625 0
vsize: 10752
[startup+460.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 147370 0 0 0 45622 381 0 0 25 0 1 0 704171847 11120640 2045 4294967295 134512640 134714508 3221221792 3221220144 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2715 2045 1111 63 0 2652 0
vsize: 10860
[startup+470.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 151338 0 0 0 46614 390 0 0 25 0 1 0 704171847 12869632 2234 4294967295 134512640 134714508 3221221792 3221217788 1074860959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3142 2234 1111 63 0 3079 0
vsize: 12568
[startup+480.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 155164 0 0 0 47603 401 0 0 25 0 1 0 704171847 12951552 2282 4294967295 134512640 134714508 3221221792 3221218836 1074846163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3162 2282 1111 63 0 3099 0
vsize: 12648
[startup+490.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 159112 0 0 0 48593 412 0 0 25 0 1 0 704171847 11358208 2103 4294967295 134512640 134714508 3221221792 3221220144 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2773 2103 1111 63 0 2710 0
vsize: 11092
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 163209 0 0 0 49582 423 0 0 25 0 1 0 704171847 11894784 2175 4294967295 134512640 134714508 3221221792 3221219520 1075828668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 2175 1111 63 0 2841 0
vsize: 11616
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 167212 0 0 0 50573 432 0 0 25 0 1 0 704171847 13107200 2329 4294967295 134512640 134714508 3221221792 3221218736 1074620117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3200 2329 1111 63 0 3137 0
vsize: 12800
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 171544 0 0 0 51560 445 0 0 25 0 1 0 704171847 11657216 2176 4294967295 134512640 134714508 3221221792 3221219432 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2818 2148 1111 63 0 2755 0
vsize: 11384
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 175885 0 0 0 52548 457 0 0 25 0 1 0 704171847 13152256 2329 4294967295 134512640 134714508 3221221792 3221218032 1075115730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3211 2329 1111 63 0 3148 0
vsize: 12844
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 179982 0 0 0 53538 467 0 0 25 0 1 0 704171847 13197312 2309 4294967295 134512640 134714508 3221221792 3221218560 1076083761 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3222 2309 1111 63 0 3159 0
vsize: 12888
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 183416 0 0 0 54530 475 0 0 25 0 1 0 704171847 13164544 2297 4294967295 134512640 134714508 3221221792 3221218864 1074867314 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3214 2297 1111 63 0 3151 0
vsize: 12856
[startup+560.022 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 187034 0 0 0 55522 483 0 0 25 0 1 0 704171847 13492224 2349 4294967295 134512640 134714508 3221221792 3221218856 1075007302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3294 2349 1111 63 0 3231 0
vsize: 13176
[startup+570.022 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 190456 0 0 0 56514 491 0 0 25 0 1 0 704171847 11890688 2233 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2903 2233 1111 63 0 2840 0
vsize: 11612
[startup+580.022 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 194061 0 0 0 57505 501 0 0 25 0 1 0 704171847 13602816 2409 4294967295 134512640 134714508 3221221792 3221217952 1075093475 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3321 2409 1111 63 0 3258 0
vsize: 13284
[startup+590.023 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 197458 0 0 0 58496 510 0 0 25 0 1 0 704171847 11972608 2253 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2923 2253 1111 63 0 2860 0
vsize: 11692
[startup+600.023 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 201220 0 0 0 59486 520 0 0 25 0 1 0 704171847 11972608 2253 4294967295 134512640 134714508 3221221792 3221219728 1073986696 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2923 2253 1111 63 0 2860 0
vsize: 11692
[startup+610.023 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 204778 0 0 0 60477 530 0 0 25 0 1 0 704171847 11972608 2253 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2923 2253 1111 63 0 2860 0
vsize: 11692
[startup+620.023 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 208714 0 0 0 61467 539 0 0 25 0 1 0 704171847 13660160 2453 4294967295 134512640 134714508 3221221792 3221218888 1076121329 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3335 2453 1111 63 0 3272 0
vsize: 13340
[startup+630.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 212459 0 0 0 62459 548 0 0 25 0 1 0 704171847 13729792 2445 4294967295 134512640 134714508 3221221792 3221217608 1074788452 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3352 2445 1111 63 0 3289 0
vsize: 13408
[startup+640.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 216307 0 0 0 63450 557 0 0 25 0 1 0 704171847 12279808 2328 4294967295 134512640 134714508 3221221792 3221220128 1074153743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2998 2328 1111 63 0 2935 0
vsize: 11992
[startup+650.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 219637 0 0 0 64440 567 0 0 25 0 1 0 704171847 12361728 2348 4294967295 134512640 134714508 3221221792 3221220144 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3018 2348 1111 63 0 2955 0
vsize: 12072
[startup+660.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 222736 0 0 0 65433 574 0 0 25 0 1 0 704171847 12517376 2386 4294967295 134512640 134714508 3221221792 3221220144 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2386 1111 63 0 2993 0
vsize: 12224
[startup+670.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 225760 0 0 0 66427 580 0 0 25 0 1 0 704171847 12517376 2386 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2386 1111 63 0 2993 0
vsize: 12224
[startup+680.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 228929 0 0 0 67418 589 0 0 25 0 1 0 704171847 12574720 2400 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3070 2400 1111 63 0 3007 0
vsize: 12280
[startup+690.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 232208 0 0 0 68409 598 0 0 25 0 1 0 704171847 12660736 2421 4294967295 134512640 134714508 3221221792 3221220656 134643267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3091 2421 1111 63 0 3028 0
vsize: 12364
[startup+700.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 235206 0 0 0 69402 606 0 0 25 0 1 0 704171847 14290944 2559 4294967295 134512640 134714508 3221221792 3221218336 1076044962 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3489 2559 1111 63 0 3426 0
vsize: 13956
[startup+710.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 238403 0 0 0 70393 614 0 0 25 0 1 0 704171847 12763136 2446 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3116 2446 1111 63 0 3053 0
vsize: 12464
[startup+720.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 241572 0 0 0 71385 623 0 0 25 0 1 0 704171847 14397440 2596 4294967295 134512640 134714508 3221221792 3221217884 1075663510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3515 2596 1111 63 0 3452 0
vsize: 14060
[startup+730.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 244697 0 0 0 72377 631 0 0 25 0 1 0 704171847 12943360 2490 4294967295 134512640 134714508 3221221792 3221219928 1077377416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3160 2490 1111 63 0 3097 0
vsize: 12640
[startup+740.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 247874 0 0 0 73368 640 0 0 25 0 1 0 704171847 14426112 2636 4294967295 134512640 134714508 3221221792 3221217920 1075561242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3522 2636 1111 63 0 3459 0
vsize: 14088
[startup+750.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 250948 0 0 0 74360 648 0 0 25 0 1 0 704171847 14630912 2662 4294967295 134512640 134714508 3221221792 3221217692 1074787806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3572 2662 1111 63 0 3509 0
vsize: 14288
[startup+760.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 253995 0 0 0 75352 656 0 0 25 0 1 0 704171847 14647296 2666 4294967295 134512640 134714508 3221221792 3221218864 1074867314 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3576 2666 1111 63 0 3513 0
vsize: 14304
[startup+770.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 257213 0 0 0 76345 663 0 0 25 0 1 0 704171847 13148160 2540 4294967295 134512640 134714508 3221221792 3221220192 1074153673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3210 2540 1111 63 0 3147 0
vsize: 12840
[startup+780.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 260609 0 0 0 77337 672 0 0 25 0 1 0 704171847 14761984 2683 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3604 2683 1111 63 0 3541 0
vsize: 14416
[startup+790.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 263955 0 0 0 78328 681 0 0 25 0 1 0 704171847 14802944 2722 4294967295 134512640 134714508 3221221792 3221217936 1074970194 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3614 2722 1111 63 0 3551 0
vsize: 14456
[startup+800.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 267261 0 0 0 79320 690 0 0 25 0 1 0 704171847 14848000 2744 4294967295 134512640 134714508 3221221792 3221217704 1074788403 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3625 2744 1111 63 0 3562 0
vsize: 14500
[startup+810.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 270592 0 0 0 80311 698 0 0 25 0 1 0 704171847 13295616 2576 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3246 2576 1111 63 0 3183 0
vsize: 12984
[startup+820.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 274359 0 0 0 81301 708 0 0 25 0 1 0 704171847 14970880 2761 4294967295 134512640 134714508 3221221792 3221217836 1074873504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3655 2761 1111 63 0 3592 0
vsize: 14620
[startup+830.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 277775 0 0 0 82292 717 0 0 25 0 1 0 704171847 13819904 2643 4294967295 134512640 134714508 3221221792 3221219712 1075799725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2643 1111 63 0 3311 0
vsize: 13496
[startup+840.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 281240 0 0 0 83284 725 0 0 25 0 1 0 704171847 15077376 2797 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3681 2797 1111 63 0 3618 0
vsize: 14724
[startup+850.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 284602 0 0 0 84275 735 0 0 25 0 1 0 704171847 13647872 2662 4294967295 134512640 134714508 3221221792 3221220536 134542419 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3332 2662 1111 63 0 3269 0
vsize: 13328
[startup+860.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 288277 0 0 0 85265 746 0 0 25 0 1 0 704171847 15192064 2789 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3709 2789 1111 63 0 3646 0
vsize: 14836
[startup+870.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 292001 0 0 0 86257 754 0 0 25 0 1 0 704171847 15228928 2819 4294967295 134512640 134714508 3221221792 3221217952 1075090771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3718 2819 1111 63 0 3655 0
vsize: 14872
[startup+880.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 296175 0 0 0 87247 764 0 0 25 0 1 0 704171847 15355904 2854 4294967295 134512640 134714508 3221221792 3221218020 1075114975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2854 1111 63 0 3686 0
vsize: 14996
[startup+890.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 300119 0 0 0 88238 772 0 0 25 0 1 0 704171847 15552512 2881 4294967295 134512640 134714508 3221221792 3221218844 1075964112 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3797 2881 1111 63 0 3734 0
vsize: 15188
[startup+900.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 303965 0 0 0 89229 782 0 0 25 0 1 0 704171847 15507456 2907 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3786 2907 1111 63 0 3723 0
vsize: 15144
[startup+910.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 308012 0 0 0 90219 792 0 0 25 0 1 0 704171847 15503360 2866 4294967295 134512640 134714508 3221221792 3221218736 1074620107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3785 2866 1111 63 0 3722 0
vsize: 15140
[startup+920.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 311346 0 0 0 91211 801 0 0 25 0 1 0 704171847 15761408 2912 4294967295 134512640 134714508 3221221792 3221218368 1076047561 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3848 2912 1111 63 0 3785 0
vsize: 15392
[startup+930.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 314825 0 0 0 92203 809 0 0 25 0 1 0 704171847 14307328 2823 4294967295 134512640 134714508 3221221792 3221220088 1074206881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3493 2823 1111 63 0 3430 0
vsize: 13972
[startup+940.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 318409 0 0 0 93194 818 0 0 25 0 1 0 704171847 15921152 2949 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3887 2949 1111 63 0 3824 0
vsize: 15548
[startup+950.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 322048 0 0 0 94186 826 0 0 25 0 1 0 704171847 16560128 3124 4294967295 134512640 134714508 3221221792 3221217920 1075561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4043 3124 1111 63 0 3980 0
vsize: 16172
[startup+960.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 325603 0 0 0 95178 835 0 0 25 0 1 0 704171847 16609280 3136 4294967295 134512640 134714508 3221221792 3221218368 1076043845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4055 3136 1111 63 0 3992 0
vsize: 16220
[startup+970.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 329151 0 0 0 96168 844 0 0 25 0 1 0 704171847 16531456 3150 4294967295 134512640 134714508 3221221792 3221218908 1075614551 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4036 3150 1111 63 0 3973 0
vsize: 16144
[startup+980.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 332842 0 0 0 97159 854 0 0 25 0 1 0 704171847 16506880 3136 4294967295 134512640 134714508 3221221792 3221218720 1075960271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4030 3136 1111 63 0 3967 0
vsize: 16120
[startup+990.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 336533 0 0 0 98150 862 0 0 25 0 1 0 704171847 16703488 3159 4294967295 134512640 134714508 3221221792 3221218448 1075968176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4078 3159 1111 63 0 4015 0
vsize: 16312
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 339976 0 0 0 99141 871 0 0 25 0 1 0 704171847 15298560 3062 4294967295 134512640 134714508 3221221792 3221220192 1074119066 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3735 3062 1111 63 0 3672 0
vsize: 14940
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 343508 0 0 0 100133 880 0 0 25 0 1 0 704171847 15028224 2999 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3669 2999 1111 63 0 3606 0
vsize: 14676
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 347375 0 0 0 101123 890 0 0 25 0 1 0 704171847 15028224 2999 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3669 2999 1111 63 0 3606 0
vsize: 14676
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 350924 0 0 0 102115 898 0 0 25 0 1 0 704171847 15208448 3043 4294967295 134512640 134714508 3221221792 3221219704 1074138271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3043 1111 63 0 3650 0
vsize: 14852
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 354449 0 0 0 103106 907 0 0 25 0 1 0 704171847 16875520 3235 4294967295 134512640 134714508 3221221792 3221217960 1074791553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4120 3235 1111 63 0 4057 0
vsize: 16480
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 357826 0 0 0 104098 915 0 0 25 0 1 0 704171847 15265792 3057 4294967295 134512640 134714508 3221221792 3221220360 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3727 3057 1111 63 0 3664 0
vsize: 14908
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 361495 0 0 0 105090 924 0 0 25 0 1 0 704171847 15609856 3127 4294967295 134512640 134714508 3221221792 3221219792 1074918533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3811 3127 1111 63 0 3748 0
vsize: 15244
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 365374 0 0 0 106080 934 0 0 25 0 1 0 704171847 17108992 3254 4294967295 134512640 134714508 3221221792 3221218300 1075240384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4177 3254 1111 63 0 4114 0
vsize: 16708
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 369166 0 0 0 107072 942 0 0 25 0 1 0 704171847 17108992 3305 4294967295 134512640 134714508 3221221792 3221217940 1075964386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4177 3305 1111 63 0 4114 0
vsize: 16708
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 372837 0 0 0 108064 950 0 0 25 0 1 0 704171847 17117184 3283 4294967295 134512640 134714508 3221221792 3221218256 1075602763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4179 3283 1111 63 0 4116 0
vsize: 16716
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 376461 0 0 0 109056 958 0 0 25 0 1 0 704171847 17223680 3326 4294967295 134512640 134714508 3221221792 3221217688 1074789566 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4205 3326 1111 63 0 4142 0
vsize: 16820
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 380198 0 0 0 110048 967 0 0 25 0 1 0 704171847 15593472 3137 4294967295 134512640 134714508 3221221792 3221220144 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3807 3137 1111 63 0 3744 0
vsize: 15228
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 383965 0 0 0 111039 975 0 0 25 0 1 0 704171847 15654912 3152 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3822 3152 1111 63 0 3759 0
vsize: 15288
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 387527 0 0 0 112031 984 0 0 25 0 1 0 704171847 15966208 3224 4294967295 134512640 134714508 3221221792 3221219792 1074916822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3898 3224 1111 63 0 3835 0
vsize: 15592
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 391341 0 0 0 113022 993 0 0 25 0 1 0 704171847 16076800 3245 4294967295 134512640 134714508 3221221792 3221218896 1074138614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3925 3245 1111 63 0 3862 0
vsize: 15700
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 394755 0 0 0 114013 1002 0 0 25 0 1 0 704171847 15880192 3207 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3877 3207 1111 63 0 3814 0
vsize: 15508
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 398252 0 0 0 115006 1010 0 0 25 0 1 0 704171847 15929344 3219 4294967295 134512640 134714508 3221221792 3221220080 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3889 3219 1111 63 0 3826 0
vsize: 15556
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 401960 0 0 0 115996 1019 0 0 25 0 1 0 704171847 17641472 3422 4294967295 134512640 134714508 3221221792 3221218020 1075114975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4307 3422 1111 63 0 4244 0
vsize: 17228
[startup+1176.66 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 4088
Raw data (stat): 4088 (bsolo_lpr) R 4087 7876 7672 0 -1 0 401960 0 0 0 115996 1019 0 0 25 0 1 0 704171847 17641472 3422 4294967295 134512640 134714508 3221221792 3221218020 1075114975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4307 3422 1111 63 0 4244 0
vsize: 0

Child status: 10
Real time (s): 1176.66
CPU time (s): 1176.78
CPU user time (s): 1166.53
CPU system time (s): 10.2564
CPU usage (%): 100.011
Max. virtual memory (Kb): 17228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4828
#### END VERIFIER DATA ####