PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb
MD5SUM	eb47f4c49e66c2bccec3237bb66dd1b2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	444
Optimality of the best value was proved	NO
Number of terms in the objective function	918
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	918
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	918
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	9.00763
Number of variables	918
Total number of constraints	9671
Number of constraints which are clauses	9671
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 23867

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-05 19:48:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1306 boxname=wulflinc31 idbench=146 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  eb47f4c49e66c2bccec3237bb66dd1b2  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32a1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32a1.opb
IDLAUNCH: 1306
/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:        157028 kB
Buffers:         34928 kB
Cached:         808856 kB
SwapCached:        640 kB
Active:         481492 kB
Inactive:       364364 kB
HighTotal:      131008 kB
HighFree:        12992 kB
LowTotal:       903652 kB
LowFree:        144036 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            26344 kB
Committed_AS:    63376 kB
PageTables:        304 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-05 20:07:41 (client local time) WITH STATUS 10 IN 1180.6 SECONDS
stats: 1306 0 1180.6 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 918 variables and 9671 constraints.
c After prepocess the problem consists of 918 variables and 9671 constraints.
c preprocess terminated 32.865 s
c Initial Lower Bound: 290
c Lower Bound Elapsed time: 20.3947
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 459 @ 175.918
c NEW SOLUTION FOUND: 458 @ 175.92
c NEW SOLUTION FOUND: 457 @ 175.938
c NEW SOLUTION FOUND: 456 @ 175.949
c NEW SOLUTION FOUND: 455 @ 175.96
c NEW SOLUTION FOUND: 454 @ 175.972
c NEW SOLUTION FOUND: 453 @ 175.983
c NEW SOLUTION FOUND: 452 @ 175.996
c NEW SOLUTION FOUND: 451 @ 176.007
c NEW SOLUTION FOUND: 450 @ 176.031
c NEW SOLUTION FOUND: 449 @ 176.056
c NEW SOLUTION FOUND: 448 @ 176.069
c NEW SOLUTION FOUND: 447 @ 176.082
c NEW SOLUTION FOUND: 446 @ 176.108
c NEW SOLUTION FOUND: 445 @ 176.122
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 -x809 x810 x811 -x812 -x813 x814 -x815 x816 -x817 x818 -x819 x820 x821 -x822 -x823 x824 -x825 x826 x827 -x828 x829 -x830 -x831 -x832 -x833 x834 -x835 x836 -x837 x838 x839 -x840 x841 -x842 -x843 x844 -x845 x846 x847 -x848 -x849 x850 -x851 x852 -x853 x854 -x855 x856 x857 -x858 -x859 x860 -x861 x862 x863 -x864 -x865 x866 -x867 x868 x869 -x870 x871 -x872 -x873 x874 -x875 x876 -x877 -x878 -x879 x880 x881 -x882 -x883 x884 -x885 x886 x887 -x888 x889 -x890 -x891 -x892 -x893 x894 -x895 x896 -x897 x898 x899 -x900 x901 -x902 -x903 x904 -x905 x906 x907 -x908 -x909 x910 -x911 x912 -x913 x914 -x915 x916 x917 -x918 
c Exit Code: 10
c Total time: 1180.56 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.92 0.97 0.95 2/53 17419
Raw data (stat): 17419 (runsolver) R 17418 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 668678666 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 2610 0 0 0 986 10 0 0 25 0 1 0 668678666 13869056 2530 4294967295 134512640 134714508 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3386 2530 1111 63 0 3323 0
vsize: 13544
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 2616 0 0 0 1985 11 0 0 25 0 1 0 668678666 13869056 2536 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3386 2536 1111 63 0 3323 0
vsize: 13544
[startup+30.001 s]
Raw data (loadavg): 0.95 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 2616 0 0 0 2985 11 0 0 25 0 1 0 668678666 13869056 2536 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3386 2536 1111 63 0 3323 0
vsize: 13544
[startup+40.002 s]
Raw data (loadavg): 0.96 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 4528 0 0 0 3981 16 0 0 25 0 1 0 668678666 22564864 4053 4294967295 134512640 134714508 3221221792 3221217672 1074789644 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4053 1111 63 0 5446 0
vsize: 22036
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 4704 0 0 0 4980 16 0 0 25 0 1 0 668678666 22925312 4229 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5597 4229 1111 63 0 5534 0
vsize: 22388
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 6663 0 0 0 5975 22 0 0 25 0 1 0 668678666 17829888 3607 4294967295 134512640 134714508 3221221792 3221219708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4353 3607 1111 63 0 4290 0
vsize: 17412
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 8160 0 0 0 6972 25 0 0 25 0 1 0 668678666 22892544 4302 4294967295 134512640 134714508 3221221792 3221218368 1075967698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5589 4302 1111 63 0 5526 0
vsize: 22356
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 10173 0 0 0 7966 31 0 0 25 0 1 0 668678666 18108416 3674 4294967295 134512640 134714508 3221221792 3221219864 1074950064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4421 3674 1111 63 0 4358 0
vsize: 17684
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 11673 0 0 0 8963 34 0 0 25 0 1 0 668678666 23126016 4357 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5646 4357 1111 63 0 5583 0
vsize: 22584
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 13699 0 0 0 9959 39 0 0 25 0 1 0 668678666 18186240 3701 4294967295 134512640 134714508 3221221792 3221219864 1074950108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4440 3701 1111 63 0 4377 0
vsize: 17760
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 15202 0 0 0 10954 44 0 0 25 0 1 0 668678666 23220224 4388 4294967295 134512640 134714508 3221221792 3221217932 1075116851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5669 4388 1111 63 0 5606 0
vsize: 22676
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 16376 0 0 0 11951 47 0 0 25 0 1 0 668678666 16539648 3343 4294967295 134512640 134714508 3221221792 3221220568 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4038 3343 1111 63 0 3975 0
vsize: 16152
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 16528 0 0 0 12950 48 0 0 25 0 1 0 668678666 17215488 3495 4294967295 134512640 134714508 3221221792 3221220380 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4203 3495 1111 63 0 4140 0
vsize: 16812
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 16689 0 0 0 13949 49 0 0 25 0 1 0 668678666 17891328 3656 4294967295 134512640 134714508 3221221792 3221220496 134528449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4368 3656 1111 63 0 4305 0
vsize: 17472
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 16864 0 0 0 14948 50 0 0 25 0 1 0 668678666 18563072 3831 4294967295 134512640 134714508 3221221792 3221220532 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4532 3831 1111 63 0 4469 0
vsize: 18128
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 17034 0 0 0 15948 50 0 0 25 0 1 0 668678666 19238912 4001 4294967295 134512640 134714508 3221221792 3221220328 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4697 4001 1111 63 0 4634 0
vsize: 18788
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 17197 0 0 0 16947 52 0 0 25 0 1 0 668678666 19914752 4164 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4862 4164 1111 63 0 4799 0
vsize: 19448
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 18330 0 0 0 17944 54 0 0 25 0 1 0 668678666 25444352 4809 4294967295 134512640 134714508 3221221792 3221218012 1075116810 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 4809 1111 63 0 6149 0
vsize: 24848
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 20113 0 0 0 18940 59 0 0 25 0 1 0 668678666 20049920 4217 4294967295 134512640 134714508 3221221792 3221220044 1077404726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4895 4217 1111 63 0 4832 0
vsize: 19580
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 22028 0 0 0 19934 64 0 0 25 0 1 0 668678666 25436160 4807 4294967295 134512640 134714508 3221221792 3221218560 1076083427 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6210 4807 1111 63 0 6147 0
vsize: 24840
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 24387 0 0 0 20928 70 0 0 25 0 1 0 668678666 25370624 4733 4294967295 134512640 134714508 3221221792 3221217952 1074883672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6194 4733 1111 63 0 6131 0
vsize: 24776
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 26092 0 0 0 21924 75 0 0 25 0 1 0 668678666 20107264 4231 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4909 4231 1111 63 0 4846 0
vsize: 19636
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 28459 0 0 0 22919 80 0 0 25 0 1 0 668678666 20078592 4224 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4902 4224 1111 63 0 4839 0
vsize: 19608
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 30316 0 0 0 23915 84 0 0 25 0 1 0 668678666 25391104 4791 4294967295 134512640 134714508 3221221792 3221217848 1074789596 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6199 4791 1111 63 0 6136 0
vsize: 24796
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 32905 0 0 0 24909 90 0 0 25 0 1 0 668678666 25391104 4694 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6199 4694 1111 63 0 6136 0
vsize: 24796
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 34629 0 0 0 25906 94 0 0 25 0 1 0 668678666 20004864 4207 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4884 4207 1111 63 0 4821 0
vsize: 19536
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 36510 0 0 0 26901 98 0 0 25 0 1 0 668678666 25591808 4802 4294967295 134512640 134714508 3221221792 3221218012 1075116564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6248 4802 1111 63 0 6185 0
vsize: 24992
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 38997 0 0 0 27895 105 0 0 25 0 1 0 668678666 25415680 4799 4294967295 134512640 134714508 3221221792 3221218012 1075116856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6205 4799 1111 63 0 6142 0
vsize: 24820
[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 41514 0 0 0 28888 112 0 0 25 0 1 0 668678666 25366528 4686 4294967295 134512640 134714508 3221221792 3221217936 1074970650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6193 4686 1111 63 0 6130 0
vsize: 24772
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 43223 0 0 0 29884 116 0 0 25 0 1 0 668678666 20054016 4219 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4219 1111 63 0 4833 0
vsize: 19584
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 45085 0 0 0 30880 120 0 0 25 0 1 0 668678666 25550848 4791 4294967295 134512640 134714508 3221221792 3221217936 1074969684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6238 4791 1111 63 0 6175 0
vsize: 24952
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 47530 0 0 0 31874 126 0 0 25 0 1 0 668678666 25251840 4747 4294967295 134512640 134714508 3221221792 3221217672 1074788452 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6165 4747 1111 63 0 6102 0
vsize: 24660
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 50320 0 0 0 32868 132 0 0 25 0 1 0 668678666 25583616 4857 4294967295 134512640 134714508 3221221792 3221217756 1074787965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6246 4857 1111 63 0 6183 0
vsize: 24984
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 51978 0 0 0 33865 136 0 0 25 0 1 0 668678666 20074496 4224 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4901 4224 1111 63 0 4838 0
vsize: 19604
[startup+350.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 54341 0 0 0 34858 143 0 0 25 0 1 0 668678666 20054016 4219 4294967295 134512640 134714508 3221221792 3221220104 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4219 1111 63 0 4833 0
vsize: 19584
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 56588 0 0 0 35852 149 0 0 25 0 1 0 668678666 25526272 4837 4294967295 134512640 134714508 3221221792 3221218864 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6232 4837 1111 63 0 6169 0
vsize: 24928
[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 58332 0 0 0 36848 153 0 0 25 0 1 0 668678666 20058112 4220 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4897 4220 1111 63 0 4834 0
vsize: 19588
[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 60349 0 0 0 37843 158 0 0 25 0 1 0 668678666 20062208 4221 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4898 4221 1111 63 0 4835 0
vsize: 19592
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 62609 0 0 0 38837 165 0 0 25 0 1 0 668678666 20054016 4219 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4219 1111 63 0 4833 0
vsize: 19584
[startup+400.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 64944 0 0 0 39831 171 0 0 25 0 1 0 668678666 20054016 4219 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4219 1111 63 0 4833 0
vsize: 19584
[startup+410.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 67303 0 0 0 40825 177 0 0 25 0 1 0 668678666 20045824 4217 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4894 4217 1111 63 0 4831 0
vsize: 19576
[startup+420.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 69338 0 0 0 41820 182 0 0 25 0 1 0 668678666 25538560 4835 4294967295 134512640 134714508 3221221792 3221218000 1074815312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6235 4835 1111 63 0 6172 0
vsize: 24940
[startup+430.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 70576 0 0 0 42817 185 0 0 25 0 1 0 668678666 25841664 4872 4294967295 134512640 134714508 3221221792 3221218128 1075113511 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6309 4872 1111 63 0 6246 0
vsize: 25236
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 72970 0 0 0 43811 190 0 0 25 0 1 0 668678666 25485312 4807 4294967295 134512640 134714508 3221221792 3221217952 1074883504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6222 4807 1111 63 0 6159 0
vsize: 24888
[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 74960 0 0 0 44807 195 0 0 25 0 1 0 668678666 20119552 4235 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4912 4235 1111 63 0 4849 0
vsize: 19648
[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 76827 0 0 0 45803 200 0 0 25 0 1 0 668678666 25489408 4819 4294967295 134512640 134714508 3221221792 3221218124 1076111491 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6223 4819 1111 63 0 6160 0
vsize: 24892
[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 78856 0 0 0 46798 204 0 0 25 0 1 0 668678666 24813568 4587 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6058 4587 1111 63 0 5995 0
vsize: 24232
[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 80889 0 0 0 47793 209 0 0 25 0 1 0 668678666 20230144 4262 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4939 4262 1111 63 0 4876 0
vsize: 19756
[startup+490.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 83109 0 0 0 48788 214 0 0 25 0 1 0 668678666 25485312 4707 4294967295 134512640 134714508 3221221792 3221217936 1074970240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6222 4707 1111 63 0 6159 0
vsize: 24888
[startup+500.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 84799 0 0 0 49785 218 0 0 25 0 1 0 668678666 20340736 4289 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4966 4289 1111 63 0 4903 0
vsize: 19864
[startup+510.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 86970 0 0 0 50780 223 0 0 25 0 1 0 668678666 20332544 4287 4294967295 134512640 134714508 3221221792 3221220192 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4964 4287 1111 63 0 4901 0
vsize: 19856
[startup+520.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 88701 0 0 0 51776 227 0 0 25 0 1 0 668678666 25665536 4814 4294967295 134512640 134714508 3221221792 3221217848 1074789611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6266 4814 1111 63 0 6203 0
vsize: 25064
[startup+530.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 90832 0 0 0 52772 231 0 0 25 0 1 0 668678666 25645056 4811 4294967295 134512640 134714508 3221221792 3221217936 1074970231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6261 4811 1111 63 0 6198 0
vsize: 25044
[startup+540.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 92884 0 0 0 53768 235 0 0 25 0 1 0 668678666 25432064 4784 4294967295 134512640 134714508 3221221792 3221218012 1075116474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6209 4784 1111 63 0 6146 0
vsize: 24836
[startup+550.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 94907 0 0 0 54762 241 0 0 25 0 1 0 668678666 25174016 4671 4294967295 134512640 134714508 3221221792 3221218264 1074968485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6146 4671 1111 63 0 6083 0
vsize: 24584
[startup+560.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 96866 0 0 0 55757 246 0 0 25 0 1 0 668678666 25444352 4661 4294967295 134512640 134714508 3221221792 3221218032 1075115734 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 4661 1111 63 0 6149 0
vsize: 24848
[startup+570.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 98417 0 0 0 56754 250 0 0 25 0 1 0 668678666 20336640 4288 4294967295 134512640 134714508 3221221792 3221220072 1073986673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4965 4288 1111 63 0 4902 0
vsize: 19860
[startup+580.043 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 100305 0 0 0 57749 255 0 0 25 0 1 0 668678666 25559040 4810 4294967295 134512640 134714508 3221221792 3221217660 1074787561 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6240 4810 1111 63 0 6177 0
vsize: 24960
[startup+590.044 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 102338 0 0 0 58744 260 0 0 25 0 1 0 668678666 25337856 4707 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6186 4707 1111 63 0 6123 0
vsize: 24744
[startup+600.045 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 104014 0 0 0 59741 264 0 0 25 0 1 0 668678666 25231360 4670 4294967295 134512640 134714508 3221221792 3221218032 1075115704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6160 4670 1111 63 0 6097 0
vsize: 24640
[startup+610.045 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 105684 0 0 0 60737 268 0 0 25 0 1 0 668678666 25268224 4728 4294967295 134512640 134714508 3221221792 3221217940 1075964390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6169 4728 1111 63 0 6106 0
vsize: 24676
[startup+620.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 108021 0 0 0 61732 273 0 0 25 0 1 0 668678666 25235456 4736 4294967295 134512640 134714508 3221221792 3221217936 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6161 4736 1111 63 0 6098 0
vsize: 24644
[startup+630.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 110274 0 0 0 62726 279 0 0 25 0 1 0 668678666 24383488 4459 4294967295 134512640 134714508 3221221792 3221218624 1075115408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5953 4459 1111 63 0 5890 0
vsize: 23812
[startup+640.047 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 112038 0 0 0 63721 283 0 0 25 0 1 0 668678666 24551424 4522 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5994 4522 1111 63 0 5931 0
vsize: 23976
[startup+650.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 114043 0 0 0 64716 289 0 0 25 0 1 0 668678666 24027136 4787 4294967295 134512640 134714508 3221221792 3221217892 1075964282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5866 4787 1111 63 0 5803 0
vsize: 23464
[startup+660.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 116010 0 0 0 65711 294 0 0 25 0 1 0 668678666 20344832 4290 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4967 4290 1111 63 0 4904 0
vsize: 19868
[startup+670.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 118295 0 0 0 66706 299 0 0 25 0 1 0 668678666 20353024 4292 4294967295 134512640 134714508 3221221792 3221219888 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4969 4292 1111 63 0 4906 0
vsize: 19876
[startup+680.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 120856 0 0 0 67700 306 0 0 25 0 1 0 668678666 25489408 4698 4294967295 134512640 134714508 3221221792 3221218020 1075115070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6223 4698 1111 63 0 6160 0
vsize: 24892
[startup+690.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 122640 0 0 0 68696 310 0 0 25 0 1 0 668678666 20512768 4331 4294967295 134512640 134714508 3221221792 3221220240 1073990306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5008 4331 1111 63 0 4945 0
vsize: 20032
[startup+700.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 124056 0 0 0 69692 313 0 0 25 0 1 0 668678666 25337856 4773 4294967295 134512640 134714508 3221221792 3221219024 1075552862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6186 4773 1111 63 0 6123 0
vsize: 24744
[startup+710.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 126730 0 0 0 70685 321 0 0 25 0 1 0 668678666 20353024 4292 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4969 4292 1111 63 0 4906 0
vsize: 19876
[startup+720.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/53 17419
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 129327 0 0 0 71679 327 0 0 25 0 1 0 668678666 23916544 4717 4294967295 134512640 134714508 3221221792 3221218448 1075967425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5839 4717 1111 63 0 5776 0
vsize: 23356
[startup+730.05 s]
Raw data (loadavg): 1.15 1.00 0.96 2/53 17472
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 131485 0 0 0 72673 333 0 0 25 0 1 0 668678666 25276416 4718 4294967295 134512640 134714508 3221221792 3221218012 1075116549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6171 4718 1111 63 0 6108 0
vsize: 24684
[startup+740.051 s]
Raw data (loadavg): 1.13 1.00 0.96 2/53 17472
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 133486 0 0 0 73668 338 0 0 25 0 1 0 668678666 25264128 4726 4294967295 134512640 134714508 3221221792 3221218012 1075116471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6168 4726 1111 63 0 6105 0
vsize: 24672
[startup+750.052 s]
Raw data (loadavg): 1.11 1.00 0.96 2/53 17472
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 135808 0 0 0 74663 344 0 0 25 0 1 0 668678666 25251840 4725 4294967295 134512640 134714508 3221221792 3221218912 1074834340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6165 4725 1111 63 0 6102 0
vsize: 24660
[startup+760.052 s]
Raw data (loadavg): 1.09 1.00 0.96 2/53 17472
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 138424 0 0 0 75656 351 0 0 25 0 1 0 668678666 20344832 4290 4294967295 134512640 134714508 3221221792 3221220184 1074137219 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4967 4290 1111 63 0 4904 0
vsize: 19868
[startup+770.053 s]
Raw data (loadavg): 1.08 1.00 0.96 2/53 17472
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 140779 0 0 0 76651 356 0 0 25 0 1 0 668678666 20344832 4290 4294967295 134512640 134714508 3221221792 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4967 4290 1111 63 0 4904 0
vsize: 19868
[startup+780.053 s]
Raw data (loadavg): 1.07 1.00 0.96 2/53 17472
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 142828 0 0 0 77646 361 0 0 25 0 1 0 668678666 20344832 4290 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4967 4290 1111 63 0 4904 0
vsize: 19868
[startup+790.054 s]
Raw data (loadavg): 1.06 1.00 0.96 2/53 17472
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 144503 0 0 0 78643 365 0 0 25 0 1 0 668678666 20606976 4322 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5031 4322 1111 63 0 4968 0
vsize: 20124
[startup+800.053 s]
Raw data (loadavg): 1.05 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 146841 0 0 0 79638 370 0 0 25 0 1 0 668678666 20402176 4304 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4981 4304 1111 63 0 4918 0
vsize: 19924
[startup+810.053 s]
Raw data (loadavg): 1.04 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 148746 0 0 0 80634 373 0 0 25 0 1 0 668678666 25616384 4851 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6254 4851 1111 63 0 6191 0
vsize: 25016
[startup+820.054 s]
Raw data (loadavg): 1.03 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 150056 0 0 0 81632 376 0 0 25 0 1 0 668678666 20414464 4307 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4307 1111 63 0 4921 0
vsize: 19936
[startup+830.054 s]
Raw data (loadavg): 1.03 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 152007 0 0 0 82628 380 0 0 25 0 1 0 668678666 20344832 4290 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4967 4290 1111 63 0 4904 0
vsize: 19868
[startup+840.055 s]
Raw data (loadavg): 1.02 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 154190 0 0 0 83623 385 0 0 25 0 1 0 668678666 25198592 4559 4294967295 134512640 134714508 3221221792 3221218384 1074887946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6152 4559 1111 63 0 6089 0
vsize: 24608
[startup+850.056 s]
Raw data (loadavg): 1.02 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 156213 0 0 0 84618 390 0 0 25 0 1 0 668678666 25382912 4781 4294967295 134512640 134714508 3221221792 3221218012 1075116876 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6197 4781 1111 63 0 6134 0
vsize: 24788
[startup+860.056 s]
Raw data (loadavg): 1.02 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 158576 0 0 0 85612 397 0 0 25 0 1 0 668678666 26206208 4886 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6398 4886 1111 63 0 6335 0
vsize: 25592
[startup+870.056 s]
Raw data (loadavg): 1.01 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 160035 0 0 0 86608 401 0 0 25 0 1 0 668678666 25837568 4921 4294967295 134512640 134714508 3221221792 3221218020 1075115141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6308 4921 1111 63 0 6245 0
vsize: 25232
[startup+880.057 s]
Raw data (loadavg): 1.01 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 161275 0 0 0 87605 404 0 0 25 0 1 0 668678666 26021888 4940 4294967295 134512640 134714508 3221221792 3221217756 1074787656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6353 4940 1111 63 0 6290 0
vsize: 25412
[startup+890.058 s]
Raw data (loadavg): 1.01 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 162985 0 0 0 88601 409 0 0 25 0 1 0 668678666 20615168 4356 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5033 4356 1111 63 0 4970 0
vsize: 20132
[startup+900.058 s]
Raw data (loadavg): 1.01 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 164422 0 0 0 89597 412 0 0 25 0 1 0 668678666 20598784 4352 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5029 4352 1111 63 0 4966 0
vsize: 20116
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 166076 0 0 0 90594 416 0 0 25 0 1 0 668678666 25600000 4807 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6250 4807 1111 63 0 6187 0
vsize: 25000
[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 167233 0 0 0 91591 419 0 0 25 0 1 0 668678666 20627456 4359 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5036 4359 1111 63 0 4973 0
vsize: 20144
[startup+930.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 169070 0 0 0 92587 424 0 0 25 0 1 0 668678666 20623360 4358 4294967295 134512640 134714508 3221221792 3221220192 1074153466 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5035 4358 1111 63 0 4972 0
vsize: 20140
[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 170548 0 0 0 93583 428 0 0 25 0 1 0 668678666 20611072 4355 4294967295 134512640 134714508 3221221792 3221219856 1074153673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5032 4355 1111 63 0 4969 0
vsize: 20128
[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 172662 0 0 0 94577 434 0 0 25 0 1 0 668678666 20623360 4358 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5035 4358 1111 63 0 4972 0
vsize: 20140
[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 174779 0 0 0 95571 440 0 0 25 0 1 0 668678666 21164032 4383 4294967295 134512640 134714508 3221221792 3221219520 1075828444 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5167 4383 1111 63 0 5104 0
vsize: 20668
[startup+970.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 176820 0 0 0 96566 444 0 0 25 0 1 0 668678666 25284608 4685 4294967295 134512640 134714508 3221221792 3221218020 1075114969 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6173 4685 1111 63 0 6110 0
vsize: 24692
[startup+980.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 178752 0 0 0 97561 450 0 0 25 0 1 0 668678666 20676608 4372 4294967295 134512640 134714508 3221221792 3221220432 134649075 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5048 4372 1111 63 0 4985 0
vsize: 20192
[startup+990.061 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 180413 0 0 0 98557 454 0 0 25 0 1 0 668678666 25767936 4906 4294967295 134512640 134714508 3221221792 3221218012 1075116848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6291 4906 1111 63 0 6228 0
vsize: 25164
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 182505 0 0 0 99553 459 0 0 25 0 1 0 668678666 25657344 4785 4294967295 134512640 134714508 3221221792 3221218020 1075115062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6264 4785 1111 63 0 6201 0
vsize: 25056
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 184053 0 0 0 100550 462 0 0 25 0 1 0 668678666 20606976 4355 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5031 4355 1111 63 0 4968 0
vsize: 20124
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 185597 0 0 0 101546 466 0 0 25 0 1 0 668678666 25391104 4791 4294967295 134512640 134714508 3221221792 3221218256 1075602716 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6199 4791 1111 63 0 6136 0
vsize: 24796
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 187314 0 0 0 102542 470 0 0 25 0 1 0 668678666 25255936 4730 4294967295 134512640 134714508 3221221792 3221217952 1075091808 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6166 4730 1111 63 0 6103 0
vsize: 24664
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 188545 0 0 0 103540 473 0 0 25 0 1 0 668678666 20623360 4359 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5035 4359 1111 63 0 4972 0
vsize: 20140
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17474
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 190157 0 0 0 104536 476 0 0 25 0 1 0 668678666 20615168 4357 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5033 4357 1111 63 0 4970 0
vsize: 20132
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 191767 0 0 0 105533 480 0 0 25 0 1 0 668678666 25645056 4818 4294967295 134512640 134714508 3221221792 3221218064 1074960884 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6261 4818 1111 63 0 6198 0
vsize: 25044
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 193872 0 0 0 106527 486 0 0 25 0 1 0 668678666 25772032 4808 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6292 4808 1111 63 0 6229 0
vsize: 25168
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 195387 0 0 0 107524 489 0 0 25 0 1 0 668678666 20623360 4359 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5035 4359 1111 63 0 4972 0
vsize: 20140
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 197183 0 0 0 108520 494 0 0 25 0 1 0 668678666 20611072 4356 4294967295 134512640 134714508 3221221792 3221220192 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5032 4356 1111 63 0 4969 0
vsize: 20128
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 199049 0 0 0 109515 498 0 0 25 0 1 0 668678666 25034752 4571 4294967295 134512640 134714508 3221221792 3221218384 1074887991 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6112 4571 1111 63 0 6049 0
vsize: 24448
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 200455 0 0 0 110512 502 0 0 25 0 1 0 668678666 25477120 4795 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6220 4795 1111 63 0 6157 0
vsize: 24880
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 202435 0 0 0 111507 507 0 0 25 0 1 0 668678666 25415680 4803 4294967295 134512640 134714508 3221221792 3221218560 1076083427 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6205 4803 1111 63 0 6142 0
vsize: 24820
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 204008 0 0 0 112503 511 0 0 25 0 1 0 668678666 21512192 4481 4294967295 134512640 134714508 3221221792 3221219904 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5252 4481 1111 63 0 5189 0
vsize: 21008
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 205642 0 0 0 113500 515 0 0 25 0 1 0 668678666 25927680 4896 4294967295 134512640 134714508 3221221792 3221218560 1076083817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6330 4896 1111 63 0 6267 0
vsize: 25320
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 207720 0 0 0 114495 520 0 0 25 0 1 0 668678666 25812992 4873 4294967295 134512640 134714508 3221221792 3221217848 1074860223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6302 4873 1111 63 0 6239 0
vsize: 25208
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 209160 0 0 0 115491 524 0 0 25 0 1 0 668678666 20623360 4359 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5035 4359 1111 63 0 4972 0
vsize: 20140
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 210997 0 0 0 116486 529 0 0 25 0 1 0 668678666 20615168 4357 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5033 4357 1111 63 0 4970 0
vsize: 20132
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/53 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 212665 0 0 0 117482 533 0 0 25 0 1 0 668678666 25882624 4875 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6319 4875 1111 63 0 6256 0
vsize: 25276
[startup+1180.51 s]
Raw data (loadavg): 1.00 1.00 0.96 1/52 17476
Raw data (stat): 17419 (bsolo_lpr) R 17418 7876 7672 0 -1 0 212665 0 0 0 117482 533 0 0 25 0 1 0 668678666 25882624 4875 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6319 4875 1111 63 0 6256 0
vsize: 0

Child status: 10
Real time (s): 1180.51
CPU time (s): 1180.6
CPU user time (s): 1175.25
CPU system time (s): 5.34819
CPU usage (%): 100.007
Max. virtual memory (Kb): 25592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	445
#### END VERIFIER DATA ####