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-ii32e4.opb
MD5SUM	1c0d08e5657c85ec3afe3a7738817cf3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	364
Optimality of the best value was proved	NO
Number of terms in the objective function	774
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	774
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	774
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	130.714
Number of variables	774
Total number of constraints	7493
Number of constraints which are clauses	7493
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 23942

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 18:19:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1441 boxname=wulflinc31 idbench=161 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  1c0d08e5657c85ec3afe3a7738817cf3  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e4.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e4.opb
IDLAUNCH: 1441
/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:        150484 kB
Buffers:         37012 kB
Cached:         812956 kB
SwapCached:        644 kB
Active:         486600 kB
Inactive:       365688 kB
HighTotal:      131008 kB
HighFree:         8680 kB
LowTotal:       903652 kB
LowFree:        141804 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26428 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 18:39:11 (client local time) WITH STATUS 10 IN 1177.46 SECONDS
stats: 1441 0 1177.46 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 774 variables and 7493 constraints.
c After prepocess the problem consists of 774 variables and 7493 constraints.
c preprocess terminated 23.886 s
c Initial Lower Bound: 264
c Lower Bound Elapsed time: 15.456
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 387 @ 39.421
c NEW SOLUTION FOUND: 386 @ 39.423
c NEW SOLUTION FOUND: 385 @ 39.437
c NEW SOLUTION FOUND: 384 @ 39.447
c NEW SOLUTION FOUND: 383 @ 39.457
c NEW SOLUTION FOUND: 382 @ 39.486
c NEW SOLUTION FOUND: 381 @ 39.496
c NEW SOLUTION FOUND: 380 @ 39.507
c NEW SOLUTION FOUND: 379 @ 39.521
c NEW SOLUTION FOUND: 378 @ 39.535
c NEW SOLUTION FOUND: 377 @ 39.549
c NEW SOLUTION FOUND: 367 @ 39.634
c NEW SOLUTION FOUND: 366 @ 39.759
c NEW SOLUTION FOUND: 365 @ 40.119
c NEW SOLUTION FOUND: 364 @ 42.769
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 
c Exit Code: 10
c Total time: 1177.43 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.98 0.99 2/54 25944
Raw data (stat): 25944 (runsolver) R 25943 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 676788927 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 2323 0 0 0 986 7 0 0 25 0 1 0 676788927 12677120 2243 4294967295 134512640 134714508 3221221792 3221220416 134529075 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3095 2243 1111 63 0 3032 0
vsize: 12380
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 2327 0 0 0 1986 7 0 0 25 0 1 0 676788927 12677120 2247 4294967295 134512640 134714508 3221221792 3221220448 134627203 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3095 2247 1111 63 0 3032 0
vsize: 12380
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 4246 0 0 0 2982 12 0 0 25 0 1 0 676788927 19976192 3734 4294967295 134512640 134714508 3221221792 3221217984 1074960854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4877 3734 1111 63 0 4814 0
vsize: 19508
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 7694 0 0 0 3971 22 0 0 25 0 1 0 676788927 14663680 2876 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3580 2876 1111 63 0 3517 0
vsize: 14320
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 16582 0 0 0 4951 43 0 0 25 0 1 0 676788927 20414464 3743 4294967295 134512640 134714508 3221221792 3221218448 1075968404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4984 3743 1111 63 0 4921 0
vsize: 19936
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 18910 0 0 0 5945 49 0 0 25 0 1 0 676788927 14688256 2904 4294967295 134512640 134714508 3221221792 3221219840 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2904 1111 63 0 3523 0
vsize: 14344
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 21206 0 0 0 6940 54 0 0 25 0 1 0 676788927 19865600 3496 4294967295 134512640 134714508 3221221792 3221217848 1074789596 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4850 3496 1111 63 0 4787 0
vsize: 19400
[startup+80.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 23294 0 0 0 7935 59 0 0 25 0 1 0 676788927 14688256 2904 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2904 1111 63 0 3523 0
vsize: 14344
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 25499 0 0 0 8930 64 0 0 25 0 1 0 676788927 19783680 3541 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4830 3541 1111 63 0 4767 0
vsize: 19320
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 27569 0 0 0 9927 68 0 0 25 0 1 0 676788927 14708736 2909 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3591 2909 1111 63 0 3528 0
vsize: 14364
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 30324 0 0 0 10921 74 0 0 25 0 1 0 676788927 14671872 2900 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2900 1111 63 0 3519 0
vsize: 14328
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 31855 0 0 0 11917 78 0 0 25 0 1 0 676788927 14700544 2907 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3589 2907 1111 63 0 3526 0
vsize: 14356
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 34213 0 0 0 12911 84 0 0 25 0 1 0 676788927 19845120 3533 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4845 3533 1111 63 0 4782 0
vsize: 19380
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 36231 0 0 0 13908 87 0 0 25 0 1 0 676788927 14692352 2905 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2905 1111 63 0 3524 0
vsize: 14348
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 38959 0 0 0 14903 92 0 0 25 0 1 0 676788927 14671872 2900 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2900 1111 63 0 3519 0
vsize: 14328
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 41061 0 0 0 15899 97 0 0 25 0 1 0 676788927 19742720 3512 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4820 3512 1111 63 0 4757 0
vsize: 19280
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 43478 0 0 0 16894 102 0 0 25 0 1 0 676788927 19566592 3342 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4777 3342 1111 63 0 4714 0
vsize: 19108
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 45668 0 0 0 17889 107 0 0 25 0 1 0 676788927 14663680 2898 4294967295 134512640 134714508 3221221792 3221220056 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3580 2898 1111 63 0 3517 0
vsize: 14320
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 47761 0 0 0 18884 112 0 0 25 0 1 0 676788927 19804160 3494 4294967295 134512640 134714508 3221221792 3221218020 1075115035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4835 3494 1111 63 0 4772 0
vsize: 19340
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 49656 0 0 0 19880 116 0 0 25 0 1 0 676788927 15433728 3010 4294967295 134512640 134714508 3221221792 3221219520 1075828615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3768 3010 1111 63 0 3705 0
vsize: 15072
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 51981 0 0 0 20875 122 0 0 25 0 1 0 676788927 14684160 2903 4294967295 134512640 134714508 3221221792 3221219840 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3585 2903 1111 63 0 3522 0
vsize: 14340
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 53966 0 0 0 21871 126 0 0 25 0 1 0 676788927 19808256 3517 4294967295 134512640 134714508 3221221792 3221218000 1074815276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4836 3517 1111 63 0 4773 0
vsize: 19344
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 55878 0 0 0 22867 129 0 0 25 0 1 0 676788927 14692352 2905 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2905 1111 63 0 3524 0
vsize: 14348
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 57958 0 0 0 23864 133 0 0 25 0 1 0 676788927 19779584 3523 4294967295 134512640 134714508 3221221792 3221218836 1074846206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4829 3523 1111 63 0 4766 0
vsize: 19316
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 60431 0 0 0 24858 139 0 0 25 0 1 0 676788927 19402752 3334 4294967295 134512640 134714508 3221221792 3221217752 1074789806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4737 3334 1111 63 0 4674 0
vsize: 18948
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 62260 0 0 0 25855 142 0 0 25 0 1 0 676788927 14692352 2905 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2905 1111 63 0 3524 0
vsize: 14348
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 64176 0 0 0 26850 147 0 0 25 0 1 0 676788927 19636224 3454 4294967295 134512640 134714508 3221221792 3221218012 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4794 3454 1111 63 0 4731 0
vsize: 19176
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 65987 0 0 0 27845 152 0 0 25 0 1 0 676788927 14700544 2907 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3589 2907 1111 63 0 3526 0
vsize: 14356
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 68507 0 0 0 28840 158 0 0 25 0 1 0 676788927 14688256 2904 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2904 1111 63 0 3523 0
vsize: 14344
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 70522 0 0 0 29835 163 0 0 25 0 1 0 676788927 19898368 3552 4294967295 134512640 134714508 3221221792 3221217848 1074860223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4858 3552 1111 63 0 4795 0
vsize: 19432
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 72754 0 0 0 30829 169 0 0 25 0 1 0 676788927 14700544 2914 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3589 2914 1111 63 0 3526 0
vsize: 14356
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 74996 0 0 0 31824 175 0 0 25 0 1 0 676788927 19804160 3528 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4835 3528 1111 63 0 4772 0
vsize: 19340
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 76804 0 0 0 32820 179 0 0 25 0 1 0 676788927 14688256 2911 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2911 1111 63 0 3523 0
vsize: 14344
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 79140 0 0 0 33816 183 0 0 25 0 1 0 676788927 14688256 2911 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2911 1111 63 0 3523 0
vsize: 14344
[startup+350.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 81334 0 0 0 34811 188 0 0 25 0 1 0 676788927 14684160 2910 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3585 2910 1111 63 0 3522 0
vsize: 14340
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 83259 0 0 0 35807 192 0 0 25 0 1 0 676788927 19660800 3473 4294967295 134512640 134714508 3221221792 3221218280 1075169397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4800 3473 1111 63 0 4737 0
vsize: 19200
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 85526 0 0 0 36801 198 0 0 25 0 1 0 676788927 19505152 3471 4294967295 134512640 134714508 3221221792 3221218832 1075860069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4762 3471 1111 63 0 4699 0
vsize: 19048
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 87804 0 0 0 37797 202 0 0 25 0 1 0 676788927 19472384 3410 4294967295 134512640 134714508 3221221792 3221218628 1074786547 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4754 3410 1111 63 0 4691 0
vsize: 19016
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 90124 0 0 0 38792 208 0 0 25 0 1 0 676788927 19464192 3432 4294967295 134512640 134714508 3221221792 3221217952 1075092807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3432 1111 63 0 4689 0
vsize: 19008
[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 92422 0 0 0 39785 214 0 0 25 0 1 0 676788927 19968000 3380 4294967295 134512640 134714508 3221221792 3221218128 1075113517 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4875 3380 1111 63 0 4812 0
vsize: 19500
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 94758 0 0 0 40779 221 0 0 25 0 1 0 676788927 14684160 2910 4294967295 134512640 134714508 3221221792 3221219840 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3585 2910 1111 63 0 3522 0
vsize: 14340
[startup+420.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 96745 0 0 0 41774 226 0 0 25 0 1 0 676788927 19652608 3461 4294967295 134512640 134714508 3221221792 3221217920 1075112086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4798 3461 1111 63 0 4735 0
vsize: 19192
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 99041 0 0 0 42769 231 0 0 25 0 1 0 676788927 19423232 3417 4294967295 134512640 134714508 3221221792 3221218448 1075967692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4742 3417 1111 63 0 4679 0
vsize: 18968
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 101299 0 0 0 43764 236 0 0 25 0 1 0 676788927 19406848 3419 4294967295 134512640 134714508 3221221792 3221218064 1074960822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4738 3419 1111 63 0 4675 0
vsize: 18952
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 103236 0 0 0 44759 242 0 0 25 0 1 0 676788927 14684160 2910 4294967295 134512640 134714508 3221221792 3221220192 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3585 2910 1111 63 0 3522 0
vsize: 14340
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 105173 0 0 0 45754 247 0 0 25 0 1 0 676788927 19529728 3465 4294967295 134512640 134714508 3221221792 3221217936 1074969660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3465 1111 63 0 4705 0
vsize: 19072
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 107466 0 0 0 46749 252 0 0 25 0 1 0 676788927 19431424 3379 4294967295 134512640 134714508 3221221792 3221218012 1075116471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4744 3379 1111 63 0 4681 0
vsize: 18976
[startup+480.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 110066 0 0 0 47743 258 0 0 25 0 1 0 676788927 14671872 2907 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2907 1111 63 0 3519 0
vsize: 14328
[startup+490.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 111895 0 0 0 48738 263 0 0 25 0 1 0 676788927 19443712 3424 4294967295 134512640 134714508 3221221792 3221218012 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4747 3424 1111 63 0 4684 0
vsize: 18988
[startup+500.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 114330 0 0 0 49732 269 0 0 25 0 1 0 676788927 14667776 2906 4294967295 134512640 134714508 3221221792 3221220192 1074153751 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3581 2906 1111 63 0 3518 0
vsize: 14324
[startup+510.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 116414 0 0 0 50728 274 0 0 25 0 1 0 676788927 14684160 2910 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3585 2910 1111 63 0 3522 0
vsize: 14340
[startup+520.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 118888 0 0 0 51722 280 0 0 25 0 1 0 676788927 19292160 3289 4294967295 134512640 134714508 3221221792 3221218336 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4710 3289 1111 63 0 4647 0
vsize: 18840
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 121228 0 0 0 52716 286 0 0 25 0 1 0 676788927 19513344 3410 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4764 3410 1111 63 0 4701 0
vsize: 19056
[startup+540.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 123452 0 0 0 53711 291 0 0 25 0 1 0 676788927 19427328 3315 4294967295 134512640 134714508 3221221792 3221217756 1074787634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4743 3315 1111 63 0 4680 0
vsize: 18972
[startup+550.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 125805 0 0 0 54705 297 0 0 25 0 1 0 676788927 19406848 3405 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4738 3405 1111 63 0 4675 0
vsize: 18952
[startup+560.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 127987 0 0 0 55701 302 0 0 25 0 1 0 676788927 19419136 3299 4294967295 134512640 134714508 3221221792 3221218560 1076083615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4741 3299 1111 63 0 4678 0
vsize: 18964
[startup+570.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 130109 0 0 0 56695 307 0 0 25 0 1 0 676788927 19365888 3221 4294967295 134512640 134714508 3221221792 3221217848 1074860223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4728 3221 1111 63 0 4665 0
vsize: 18912
[startup+580.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 132368 0 0 0 57690 313 0 0 25 0 1 0 676788927 19361792 3343 4294967295 134512640 134714508 3221221792 3221218864 1074867341 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4727 3343 1111 63 0 4664 0
vsize: 18908
[startup+590.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 134373 0 0 0 58684 319 0 0 25 0 1 0 676788927 14684160 2910 4294967295 134512640 134714508 3221221792 3221220144 1073986885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3585 2910 1111 63 0 3522 0
vsize: 14340
[startup+600.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 136408 0 0 0 59680 323 0 0 25 0 1 0 676788927 19542016 3422 4294967295 134512640 134714508 3221221792 3221218012 1075116787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4771 3422 1111 63 0 4708 0
vsize: 19084
[startup+610.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 138837 0 0 0 60674 329 0 0 25 0 1 0 676788927 19435520 3397 4294967295 134512640 134714508 3221221792 3221217952 1074794536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4745 3397 1111 63 0 4682 0
vsize: 18980
[startup+620.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 141088 0 0 0 61670 334 0 0 25 0 1 0 676788927 19419136 3418 4294967295 134512640 134714508 3221221792 3221217672 1074788437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4741 3418 1111 63 0 4678 0
vsize: 18964
[startup+630.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 143204 0 0 0 62665 339 0 0 25 0 1 0 676788927 19578880 3429 4294967295 134512640 134714508 3221221792 3221218604 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 3429 1111 63 0 4717 0
vsize: 19120
[startup+640.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 145714 0 0 0 63658 345 0 0 25 0 1 0 676788927 18886656 3267 4294967295 134512640 134714508 3221221792 3221219056 1075894372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4611 3267 1111 63 0 4548 0
vsize: 18444
[startup+650.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 147858 0 0 0 64653 351 0 0 25 0 1 0 676788927 14692352 2912 4294967295 134512640 134714508 3221221792 3221220080 134650068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2912 1111 63 0 3524 0
vsize: 14348
[startup+660.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 150136 0 0 0 65647 357 0 0 25 0 1 0 676788927 14692352 2912 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2912 1111 63 0 3524 0
vsize: 14348
[startup+670.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 152424 0 0 0 66642 362 0 0 25 0 1 0 676788927 19337216 3381 4294967295 134512640 134714508 3221221792 3221218336 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4721 3381 1111 63 0 4658 0
vsize: 18884
[startup+680.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 154749 0 0 0 67637 368 0 0 25 0 1 0 676788927 19529728 3445 4294967295 134512640 134714508 3221221792 3221218012 1075116791 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3445 1111 63 0 4705 0
vsize: 19072
[startup+690.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 156964 0 0 0 68631 373 0 0 25 0 1 0 676788927 19476480 3389 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4755 3389 1111 63 0 4692 0
vsize: 19020
[startup+700.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 159670 0 0 0 69625 380 0 0 25 0 1 0 676788927 18735104 3147 4294967295 134512640 134714508 3221221792 3221218888 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4574 3147 1111 63 0 4511 0
vsize: 18296
[startup+710.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 161452 0 0 0 70622 383 0 0 25 0 1 0 676788927 15020032 2993 4294967295 134512640 134714508 3221221792 3221219752 1074138312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3667 2993 1111 63 0 3604 0
vsize: 14668
[startup+720.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 163954 0 0 0 71616 389 0 0 25 0 1 0 676788927 19279872 3294 4294967295 134512640 134714508 3221221792 3221218128 1075113637 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4707 3294 1111 63 0 4644 0
vsize: 18828
[startup+730.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 166024 0 0 0 72611 394 0 0 25 0 1 0 676788927 19435520 3372 4294967295 134512640 134714508 3221221792 3221218448 1075968688 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4745 3372 1111 63 0 4682 0
vsize: 18980
[startup+740.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 168325 0 0 0 73606 400 0 0 25 0 1 0 676788927 14692352 2913 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2913 1111 63 0 3524 0
vsize: 14348
[startup+750.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 170842 0 0 0 74601 405 0 0 25 0 1 0 676788927 19296256 3362 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4711 3362 1111 63 0 4648 0
vsize: 18844
[startup+760.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 173289 0 0 0 75596 410 0 0 25 0 1 0 676788927 19279872 3307 4294967295 134512640 134714508 3221221792 3221217836 1074873537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4707 3307 1111 63 0 4644 0
vsize: 18828
[startup+770.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 175247 0 0 0 76592 415 0 0 25 0 1 0 676788927 14692352 2913 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2913 1111 63 0 3524 0
vsize: 14348
[startup+780.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 177938 0 0 0 77586 421 0 0 25 0 1 0 676788927 14680064 2910 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2910 1111 63 0 3521 0
vsize: 14336
[startup+790.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 180236 0 0 0 78580 427 0 0 25 0 1 0 676788927 14688256 2912 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2912 1111 63 0 3523 0
vsize: 14344
[startup+800.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 182546 0 0 0 79575 432 0 0 25 0 1 0 676788927 14667776 2907 4294967295 134512640 134714508 3221221792 3221219696 1073986840 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3581 2907 1111 63 0 3518 0
vsize: 14324
[startup+810.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 184248 0 0 0 80572 435 0 0 25 0 1 0 676788927 14688256 2912 4294967295 134512640 134714508 3221221792 3221220520 134536897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2912 1111 63 0 3523 0
vsize: 14344
[startup+820.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 186312 0 0 0 81566 441 0 0 25 0 1 0 676788927 19464192 3424 4294967295 134512640 134714508 3221221792 3221218012 1075116519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3424 1111 63 0 4689 0
vsize: 19008
[startup+830.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 188541 0 0 0 82561 446 0 0 25 0 1 0 676788927 14680064 2910 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2910 1111 63 0 3521 0
vsize: 14336
[startup+840.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 190686 0 0 0 83557 451 0 0 25 0 1 0 676788927 19423232 3349 4294967295 134512640 134714508 3221221792 3221218448 1075968371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4742 3349 1111 63 0 4679 0
vsize: 18968
[startup+850.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 192947 0 0 0 84551 457 0 0 25 0 1 0 676788927 19464192 3400 4294967295 134512640 134714508 3221221792 3221217952 1074794649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3400 1111 63 0 4689 0
vsize: 19008
[startup+860.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 195113 0 0 0 85545 463 0 0 25 0 1 0 676788927 18964480 3224 4294967295 134512640 134714508 3221221792 3221218020 1075115023 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4630 3224 1111 63 0 4567 0
vsize: 18520
[startup+870.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 196887 0 0 0 86540 468 0 0 25 0 1 0 676788927 14680064 2910 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2910 1111 63 0 3521 0
vsize: 14336
[startup+880.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 198714 0 0 0 87535 473 0 0 25 0 1 0 676788927 18796544 3197 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4589 3197 1111 63 0 4526 0
vsize: 18356
[startup+890.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 200540 0 0 0 88531 478 0 0 25 0 1 0 676788927 18370560 3034 4294967295 134512640 134714508 3221221792 3221218324 1075863647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4485 3034 1111 63 0 4422 0
vsize: 17940
[startup+900.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 202204 0 0 0 89527 481 0 0 25 0 1 0 676788927 18493440 3077 4294967295 134512640 134714508 3221221792 3221217848 1074789548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4515 3077 1111 63 0 4452 0
vsize: 18060
[startup+910.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 204032 0 0 0 90522 487 0 0 25 0 1 0 676788927 14667776 2907 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3581 2907 1111 63 0 3518 0
vsize: 14324
[startup+920.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 206177 0 0 0 91518 491 0 0 25 0 1 0 676788927 19628032 3478 4294967295 134512640 134714508 3221221792 3221218064 1074961624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3478 1111 63 0 4729 0
vsize: 19168
[startup+930.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 208479 0 0 0 92513 497 0 0 25 0 1 0 676788927 19447808 3419 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4748 3419 1111 63 0 4685 0
vsize: 18992
[startup+940.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 210348 0 0 0 93508 501 0 0 25 0 1 0 676788927 14884864 2960 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3634 2960 1111 63 0 3571 0
vsize: 14536
[startup+950.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 212793 0 0 0 94501 508 0 0 25 0 1 0 676788927 14680064 2910 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2910 1111 63 0 3521 0
vsize: 14336
[startup+960.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 214854 0 0 0 95498 512 0 0 25 0 1 0 676788927 20025344 3586 4294967295 134512640 134714508 3221221792 3221218012 1075116480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4889 3586 1111 63 0 4826 0
vsize: 19556
[startup+970.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 216883 0 0 0 96493 517 0 0 25 0 1 0 676788927 14684160 2911 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3585 2911 1111 63 0 3522 0
vsize: 14340
[startup+980.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 218881 0 0 0 97487 523 0 0 25 0 1 0 676788927 18575360 3087 4294967295 134512640 134714508 3221221792 3221218836 1074846128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4535 3087 1111 63 0 4472 0
vsize: 18140
[startup+990.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 220626 0 0 0 98482 528 0 0 25 0 1 0 676788927 19722240 3514 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4815 3514 1111 63 0 4752 0
vsize: 19260
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 223383 0 0 0 99477 534 0 0 25 0 1 0 676788927 14692352 2913 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2913 1111 63 0 3524 0
vsize: 14348
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 226393 0 0 0 100470 540 0 0 25 0 1 0 676788927 14684160 2911 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3585 2911 1111 63 0 3522 0
vsize: 14340
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 229089 0 0 0 101465 546 0 0 25 0 1 0 676788927 19275776 3351 4294967295 134512640 134714508 3221221792 3221218012 1075116478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4706 3351 1111 63 0 4643 0
vsize: 18824
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 231345 0 0 0 102459 551 0 0 25 0 1 0 676788927 14671872 2908 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2908 1111 63 0 3519 0
vsize: 14328
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 233703 0 0 0 103453 557 0 0 25 0 1 0 676788927 19501056 3435 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4761 3435 1111 63 0 4698 0
vsize: 19044
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 236144 0 0 0 104448 563 0 0 25 0 1 0 676788927 19554304 3438 4294967295 134512640 134714508 3221221792 3221217848 1074789718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4774 3438 1111 63 0 4711 0
vsize: 19096
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 238649 0 0 0 105443 568 0 0 25 0 1 0 676788927 14663680 2906 4294967295 134512640 134714508 3221221792 3221220048 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3580 2906 1111 63 0 3517 0
vsize: 14320
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 240411 0 0 0 106439 573 0 0 25 0 1 0 676788927 14692352 2913 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2913 1111 63 0 3524 0
vsize: 14348
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 242933 0 0 0 107433 579 0 0 25 0 1 0 676788927 14680064 2910 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2910 1111 63 0 3521 0
vsize: 14336
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 244996 0 0 0 108428 584 0 0 25 0 1 0 676788927 19681280 3520 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4805 3520 1111 63 0 4742 0
vsize: 19220
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 247684 0 0 0 109420 592 0 0 25 0 1 0 676788927 14925824 2970 4294967295 134512640 134714508 3221221792 3221219488 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3644 2970 1111 63 0 3581 0
vsize: 14576
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 250778 0 0 0 110413 599 0 0 25 0 1 0 676788927 14675968 2909 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3583 2909 1111 63 0 3520 0
vsize: 14332
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 253094 0 0 0 111407 605 0 0 25 0 1 0 676788927 14688256 2912 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2912 1111 63 0 3523 0
vsize: 14344
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 255973 0 0 0 112400 613 0 0 25 0 1 0 676788927 19345408 3290 4294967295 134512640 134714508 3221221792 3221217936 1074969678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4723 3291 1111 63 0 4660 0
vsize: 18892
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 258446 0 0 0 113394 619 0 0 25 0 1 0 676788927 19673088 3447 4294967295 134512640 134714508 3221221792 3221218112 1075170005 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4803 3447 1111 63 0 4740 0
vsize: 19212
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 260795 0 0 0 114388 625 0 0 25 0 1 0 676788927 19521536 3344 4294967295 134512640 134714508 3221221792 3221217756 1074787558 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3344 1111 63 0 4703 0
vsize: 19064
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 263068 0 0 0 115383 630 0 0 25 0 1 0 676788927 19447808 3315 4294967295 134512640 134714508 3221221792 3221217936 1074969467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4748 3315 1111 63 0 4685 0
vsize: 18992
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 264939 0 0 0 116379 634 0 0 25 0 1 0 676788927 14839808 2949 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3623 2949 1111 63 0 3560 0
vsize: 14492
[startup+1177.35 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 25944
Raw data (stat): 25944 (bsolo_lpr) R 25943 7876 7672 0 -1 0 264939 0 0 0 116379 634 0 0 25 0 1 0 676788927 14839808 2949 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3623 2949 1111 63 0 3560 0
vsize: 0

Child status: 10
Real time (s): 1177.35
CPU time (s): 1177.46
CPU user time (s): 1171.06
CPU system time (s): 6.39603
CPU usage (%): 100.009
Max. virtual memory (Kb): 19936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	364
#### END VERIFIER DATA ####