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-ii32e3.opb
MD5SUM	fba76bbece6bbaf52b3b51d8d6e74147
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	310
Optimality of the best value was proved	NO
Number of terms in the objective function	660
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	660
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	660
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	660
Total number of constraints	5350
Number of constraints which are clauses	5350
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 23937

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 16:09:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1432 boxname=wulflinc31 idbench=160 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  fba76bbece6bbaf52b3b51d8d6e74147  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e3.opb
IDLAUNCH: 1432
/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:        151268 kB
Buffers:         36752 kB
Cached:         812468 kB
SwapCached:        644 kB
Active:         486204 kB
Inactive:       365344 kB
HighTotal:      131008 kB
HighFree:         9128 kB
LowTotal:       903652 kB
LowFree:        142140 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             312 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26364 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 16:29:35 (client local time) WITH STATUS 10 IN 1175.33 SECONDS
stats: 1432 0 1175.33 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 660 variables and 5350 constraints.
c After prepocess the problem consists of 660 variables and 5350 constraints.
c preprocess terminated 12.436 s
c Initial Lower Bound: 235
c Lower Bound Elapsed time: 2.9967
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 330 @ 50.098
c NEW SOLUTION FOUND: 329 @ 50.1
c NEW SOLUTION FOUND: 328 @ 50.11
c NEW SOLUTION FOUND: 327 @ 50.118
c NEW SOLUTION FOUND: 326 @ 50.135
c NEW SOLUTION FOUND: 325 @ 50.143
c NEW SOLUTION FOUND: 323 @ 50.153
c NEW SOLUTION FOUND: 320 @ 339.66
c NEW SOLUTION FOUND: 319 @ 339.711
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 
c Exit Code: 10
c Total time: 1175.3 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.93 0.98 0.99 2/54 25340
Raw data (stat): 25340 (runsolver) R 25339 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 676011436 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.001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 1792 0 0 0 989 7 0 0 25 0 1 0 676011436 10498048 1712 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2563 1712 1111 63 0 2500 0
vsize: 10252
[startup+20.001 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 5985 0 0 0 1979 16 0 0 25 0 1 0 676011436 16199680 2929 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3955 2929 1111 63 0 3892 0
vsize: 15820
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 13354 0 0 0 2960 35 0 0 25 0 1 0 676011436 14127104 2692 4294967295 134512640 134714508 3221221792 3221219912 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3449 2692 1111 63 0 3386 0
vsize: 13796
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 16761 0 0 0 3951 44 0 0 25 0 1 0 676011436 14450688 2754 4294967295 134512640 134714508 3221221792 3221219856 1074790226 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3528 2754 1111 63 0 3465 0
vsize: 14112
[startup+50.002 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 18096 0 0 0 4946 48 0 0 25 0 1 0 676011436 12947456 2479 4294967295 134512640 134714508 3221221792 3221220352 134542356 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3161 2479 1111 63 0 3098 0
vsize: 12644
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 20767 0 0 0 5940 55 0 0 25 0 1 0 676011436 14962688 2750 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3653 2750 1111 63 0 3590 0
vsize: 14612
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 23561 0 0 0 6932 63 0 0 25 0 1 0 676011436 15486976 2625 4294967295 134512640 134714508 3221221792 3221218912 1074835561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3781 2625 1111 63 0 3718 0
vsize: 15124
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 26405 0 0 0 7925 70 0 0 25 0 1 0 676011436 13004800 2503 4294967295 134512640 134714508 3221221792 3221220108 1074206272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3175 2503 1111 63 0 3112 0
vsize: 12700
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 29460 0 0 0 8917 78 0 0 25 0 1 0 676011436 15806464 2729 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3859 2729 1111 63 0 3796 0
vsize: 15436
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 31929 0 0 0 9910 86 0 0 25 0 1 0 676011436 13004800 2503 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3175 2503 1111 63 0 3112 0
vsize: 12700
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 34759 0 0 0 10902 94 0 0 25 0 1 0 676011436 13004800 2503 4294967295 134512640 134714508 3221221792 3221220080 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3175 2503 1111 63 0 3112 0
vsize: 12700
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 37983 0 0 0 11893 102 0 0 25 0 1 0 676011436 15998976 2823 4294967295 134512640 134714508 3221221792 3221218932 1077374461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3906 2823 1111 63 0 3843 0
vsize: 15624
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 40623 0 0 0 12886 109 0 0 25 0 1 0 676011436 13004800 2503 4294967295 134512640 134714508 3221221792 3221219840 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3175 2503 1111 63 0 3112 0
vsize: 12700
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 43663 0 0 0 13878 118 0 0 25 0 1 0 676011436 16048128 2761 4294967295 134512640 134714508 3221221792 3221218348 1075240590 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3918 2761 1111 63 0 3855 0
vsize: 15672
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 46432 0 0 0 14872 125 0 0 25 0 1 0 676011436 16494592 2963 4294967295 134512640 134714508 3221221792 3221217836 1074873465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4027 2963 1111 63 0 3964 0
vsize: 16108
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 49702 0 0 0 15864 132 0 0 25 0 1 0 676011436 16113664 2752 4294967295 134512640 134714508 3221221792 3221218020 1075115009 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3934 2752 1111 63 0 3871 0
vsize: 15736
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 52727 0 0 0 16856 140 0 0 25 0 1 0 676011436 16232448 2888 4294967295 134512640 134714508 3221221792 3221218912 1074837200 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3963 2888 1111 63 0 3900 0
vsize: 15852
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 55774 0 0 0 17849 147 0 0 25 0 1 0 676011436 16121856 2831 4294967295 134512640 134714508 3221221792 3221217936 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3936 2831 1111 63 0 3873 0
vsize: 15744
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 58464 0 0 0 18843 154 0 0 25 0 1 0 676011436 13004800 2505 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3175 2505 1111 63 0 3112 0
vsize: 12700
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 61465 0 0 0 19835 162 0 0 25 0 1 0 676011436 13004800 2505 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3175 2505 1111 63 0 3112 0
vsize: 12700
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 64766 0 0 0 20827 170 0 0 25 0 1 0 676011436 16060416 2779 4294967295 134512640 134714508 3221221792 3221218448 1075967705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3921 2779 1111 63 0 3858 0
vsize: 15684
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 67587 0 0 0 21819 179 0 0 25 0 1 0 676011436 15929344 2784 4294967295 134512640 134714508 3221221792 3221218032 1075115734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3889 2784 1111 63 0 3826 0
vsize: 15556
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 70805 0 0 0 22809 188 0 0 25 0 1 0 676011436 13004800 2505 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3175 2505 1111 63 0 3112 0
vsize: 12700
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 73759 0 0 0 23802 195 0 0 25 0 1 0 676011436 13004800 2505 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3175 2505 1111 63 0 3112 0
vsize: 12700
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 76639 0 0 0 24795 203 0 0 25 0 1 0 676011436 16371712 2942 4294967295 134512640 134714508 3221221792 3221218064 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2942 1111 63 0 3934 0
vsize: 15988
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 79366 0 0 0 25788 210 0 0 25 0 1 0 676011436 16232448 2897 4294967295 134512640 134714508 3221221792 3221217660 1074787514 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3963 2897 1111 63 0 3900 0
vsize: 15852
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 82068 0 0 0 26783 215 0 0 25 0 1 0 676011436 16359424 2923 4294967295 134512640 134714508 3221221792 3221218624 1075115397 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3994 2923 1111 63 0 3931 0
vsize: 15976
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 84977 0 0 0 27775 224 0 0 25 0 1 0 676011436 16609280 2993 4294967295 134512640 134714508 3221221792 3221217672 1074788458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2993 1111 63 0 3992 0
vsize: 16220
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 87965 0 0 0 28769 230 0 0 25 0 1 0 676011436 13225984 2559 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3229 2559 1111 63 0 3166 0
vsize: 12916
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 91039 0 0 0 29764 235 0 0 25 0 1 0 676011436 16478208 2940 4294967295 134512640 134714508 3221221792 3221217936 1074971458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4023 2940 1111 63 0 3960 0
vsize: 16092
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 93717 0 0 0 30756 243 0 0 25 0 1 0 676011436 16351232 2926 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3992 2926 1111 63 0 3929 0
vsize: 15968
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 95921 0 0 0 31750 249 0 0 25 0 1 0 676011436 15757312 2982 4294967295 134512640 134714508 3221221792 3221218324 1075863614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3847 2982 1111 63 0 3784 0
vsize: 15388
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 98848 0 0 0 32744 256 0 0 25 0 1 0 676011436 13197312 2552 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3222 2552 1111 63 0 3159 0
vsize: 12888
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 101808 0 0 0 33736 263 0 0 25 0 1 0 676011436 13197312 2552 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3222 2552 1111 63 0 3159 0
vsize: 12888
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 104539 0 0 0 34729 270 0 0 25 0 1 0 676011436 15511552 2618 4294967295 134512640 134714508 3221221792 3221218776 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3787 2618 1111 63 0 3724 0
vsize: 15148
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 106860 0 0 0 35722 276 0 0 25 0 1 0 676011436 15716352 2702 4294967295 134512640 134714508 3221221792 3221218020 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2702 1111 63 0 3774 0
vsize: 15348
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 109274 0 0 0 36716 282 0 0 25 0 1 0 676011436 16338944 2804 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3989 2804 1111 63 0 3926 0
vsize: 15956
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 112415 0 0 0 37708 290 0 0 25 0 1 0 676011436 15986688 2800 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3903 2800 1111 63 0 3840 0
vsize: 15612
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 115898 0 0 0 38701 298 0 0 25 0 1 0 676011436 16072704 2845 4294967295 134512640 134714508 3221221792 3221218832 1075971386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3924 2845 1111 63 0 3861 0
vsize: 15696
[startup+400.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 119437 0 0 0 39692 307 0 0 25 0 1 0 676011436 13078528 2523 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3193 2523 1111 63 0 3130 0
vsize: 12772
[startup+410.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 123108 0 0 0 40682 317 0 0 25 0 1 0 676011436 16072704 2832 4294967295 134512640 134714508 3221221792 3221217952 1074794691 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3924 2832 1111 63 0 3861 0
vsize: 15696
[startup+420.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 126277 0 0 0 41673 326 0 0 25 0 1 0 676011436 15740928 2707 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3843 2707 1111 63 0 3780 0
vsize: 15372
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 129344 0 0 0 42664 335 0 0 25 0 1 0 676011436 13340672 2587 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3257 2587 1111 63 0 3194 0
vsize: 13028
[startup+440.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 132604 0 0 0 43655 344 0 0 25 0 1 0 676011436 13357056 2568 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3261 2568 1111 63 0 3198 0
vsize: 13044
[startup+450.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 135646 0 0 0 44647 353 0 0 25 0 1 0 676011436 13692928 2633 4294967295 134512640 134714508 3221221792 3221218984 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2637 1111 63 0 3280 0
vsize: 13372
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 138717 0 0 0 45640 360 0 0 25 0 1 0 676011436 13332480 2585 4294967295 134512640 134714508 3221221792 3221219856 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3255 2585 1111 63 0 3192 0
vsize: 13020
[startup+470.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 141428 0 0 0 46632 368 0 0 25 0 1 0 676011436 13574144 2616 4294967295 134512640 134714508 3221221792 3221219536 1075645384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2616 1111 63 0 3251 0
vsize: 13256
[startup+480.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 144349 0 0 0 47624 377 0 0 25 0 1 0 676011436 13418496 2606 4294967295 134512640 134714508 3221221792 3221220000 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3276 2606 1111 63 0 3213 0
vsize: 13104
[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 146732 0 0 0 48617 383 0 0 25 0 1 0 676011436 16023552 2783 4294967295 134512640 134714508 3221221792 3221218032 1075115762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3912 2783 1111 63 0 3849 0
vsize: 15648
[startup+500.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 149239 0 0 0 49611 390 0 0 25 0 1 0 676011436 16584704 2954 4294967295 134512640 134714508 3221221792 3221217932 1074792112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4049 2954 1111 63 0 3986 0
vsize: 16196
[startup+510.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 152090 0 0 0 50604 397 0 0 25 0 1 0 676011436 13418496 2606 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3276 2606 1111 63 0 3213 0
vsize: 13104
[startup+520.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 155111 0 0 0 51596 405 0 0 25 0 1 0 676011436 16486400 2922 4294967295 134512640 134714508 3221221792 3221218448 1075969188 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4025 2922 1111 63 0 3962 0
vsize: 16100
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 158244 0 0 0 52588 413 0 0 25 0 1 0 676011436 15949824 2733 4294967295 134512640 134714508 3221221792 3221218288 1075860056 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3894 2733 1111 63 0 3831 0
vsize: 15576
[startup+540.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 161290 0 0 0 53579 422 0 0 25 0 1 0 676011436 13418496 2606 4294967295 134512640 134714508 3221221792 3221220128 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3276 2606 1111 63 0 3213 0
vsize: 13104
[startup+550.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 164122 0 0 0 54571 430 0 0 25 0 1 0 676011436 15974400 2785 4294967295 134512640 134714508 3221221792 3221217952 1075092713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3900 2785 1111 63 0 3837 0
vsize: 15600
[startup+560.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 167248 0 0 0 55563 439 0 0 25 0 1 0 676011436 13447168 2613 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3283 2613 1111 63 0 3220 0
vsize: 13132
[startup+570.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 170282 0 0 0 56556 446 0 0 25 0 1 0 676011436 16273408 2876 4294967295 134512640 134714508 3221221792 3221218128 1075113433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3973 2876 1111 63 0 3910 0
vsize: 15892
[startup+580.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 172594 0 0 0 57551 451 0 0 25 0 1 0 676011436 16150528 2851 4294967295 134512640 134714508 3221221792 3221218384 1074884320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3943 2851 1111 63 0 3880 0
vsize: 15772
[startup+590.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 175253 0 0 0 58544 458 0 0 25 0 1 0 676011436 16216064 2825 4294967295 134512640 134714508 3221221792 3221217936 1074970237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3959 2825 1111 63 0 3896 0
vsize: 15836
[startup+600.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 178199 0 0 0 59537 466 0 0 25 0 1 0 676011436 13496320 2625 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3295 2625 1111 63 0 3232 0
vsize: 13180
[startup+610.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 181213 0 0 0 60529 474 0 0 25 0 1 0 676011436 15454208 2879 4294967295 134512640 134714508 3221221792 3221218092 1075894868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3773 2879 1111 63 0 3710 0
vsize: 15092
[startup+620.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 184271 0 0 0 61521 481 0 0 25 0 1 0 676011436 13492224 2624 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3294 2624 1111 63 0 3231 0
vsize: 13176
[startup+630.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 187394 0 0 0 62512 490 0 0 25 0 1 0 676011436 15962112 2745 4294967295 134512640 134714508 3221221792 3221218784 1075110391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3897 2745 1111 63 0 3834 0
vsize: 15588
[startup+640.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 190287 0 0 0 63503 500 0 0 25 0 1 0 676011436 15892480 2750 4294967295 134512640 134714508 3221221792 3221217848 1074789800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3880 2750 1111 63 0 3817 0
vsize: 15520
[startup+650.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 193484 0 0 0 64494 509 0 0 25 0 1 0 676011436 16261120 2841 4294967295 134512640 134714508 3221221792 3221217856 1075084539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3970 2841 1111 63 0 3907 0
vsize: 15880
[startup+660.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 196569 0 0 0 65486 517 0 0 25 0 1 0 676011436 16617472 2986 4294967295 134512640 134714508 3221221792 3221218064 1074961304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4057 2986 1111 63 0 3994 0
vsize: 16228
[startup+670.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 199393 0 0 0 66478 525 0 0 25 0 1 0 676011436 13684736 2671 4294967295 134512640 134714508 3221221792 3221220048 1074143712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2671 1111 63 0 3278 0
vsize: 13364
[startup+680.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 202550 0 0 0 67470 534 0 0 25 0 1 0 676011436 16723968 3012 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4083 3012 1111 63 0 4020 0
vsize: 16332
[startup+690.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 205397 0 0 0 68463 540 0 0 25 0 1 0 676011436 16551936 2907 4294967295 134512640 134714508 3221221792 3221218128 1075113628 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4041 2907 1111 63 0 3978 0
vsize: 16164
[startup+700.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 207775 0 0 0 69458 546 0 0 25 0 1 0 676011436 16011264 2781 4294967295 134512640 134714508 3221221792 3221218384 1074885740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3909 2781 1111 63 0 3846 0
vsize: 15636
[startup+710.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 209986 0 0 0 70453 551 0 0 25 0 1 0 676011436 13832192 2707 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3377 2707 1111 63 0 3314 0
vsize: 13508
[startup+720.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 212508 0 0 0 71446 558 0 0 25 0 1 0 676011436 16863232 3009 4294967295 134512640 134714508 3221221792 3221217936 1074970231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4117 3009 1111 63 0 4054 0
vsize: 16468
[startup+730.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 215268 0 0 0 72439 566 0 0 25 0 1 0 676011436 16175104 2785 4294967295 134512640 134714508 3221221792 3221218064 1074961129 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3949 2785 1111 63 0 3886 0
vsize: 15796
[startup+740.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 217980 0 0 0 73433 572 0 0 25 0 1 0 676011436 16719872 2988 4294967295 134512640 134714508 3221221792 3221218736 1074620107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4082 2988 1111 63 0 4019 0
vsize: 16328
[startup+750.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 220629 0 0 0 74427 578 0 0 25 0 1 0 676011436 13860864 2714 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3384 2714 1111 63 0 3321 0
vsize: 13536
[startup+760.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 223784 0 0 0 75421 585 0 0 25 0 1 0 676011436 14352384 2787 4294967295 134512640 134714508 3221221792 3221218984 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3504 2794 1111 63 0 3441 0
vsize: 14016
[startup+770.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 226550 0 0 0 76414 591 0 0 25 0 1 0 676011436 13856768 2713 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 2713 1111 63 0 3320 0
vsize: 13532
[startup+780.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 229425 0 0 0 77407 598 0 0 25 0 1 0 676011436 13856768 2713 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 2713 1111 63 0 3320 0
vsize: 13532
[startup+790.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 232435 0 0 0 78399 606 0 0 25 0 1 0 676011436 16785408 2971 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4098 2971 1111 63 0 4035 0
vsize: 16392
[startup+800.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 235619 0 0 0 79392 614 0 0 25 0 1 0 676011436 13910016 2726 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3396 2726 1111 63 0 3333 0
vsize: 13584
[startup+810.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 238790 0 0 0 80385 621 0 0 25 0 1 0 676011436 14368768 2795 4294967295 134512640 134714508 3221221792 3221219072 1074140374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3508 2798 1111 63 0 3445 0
vsize: 14032
[startup+820.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 242010 0 0 0 81375 631 0 0 25 0 1 0 676011436 16465920 2875 4294967295 134512640 134714508 3221221792 3221217936 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4020 2875 1111 63 0 3957 0
vsize: 16080
[startup+830.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 245090 0 0 0 82367 640 0 0 25 0 1 0 676011436 16900096 3014 4294967295 134512640 134714508 3221221792 3221218720 1075960390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4126 3014 1111 63 0 4063 0
vsize: 16504
[startup+840.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 248068 0 0 0 83361 646 0 0 25 0 1 0 676011436 14196736 2795 4294967295 134512640 134714508 3221221792 3221219792 1074916795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3466 2795 1111 63 0 3403 0
vsize: 13864
[startup+850.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 251344 0 0 0 84353 654 0 0 25 0 1 0 676011436 16846848 3016 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4113 3016 1111 63 0 4050 0
vsize: 16452
[startup+860.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 254514 0 0 0 85346 661 0 0 25 0 1 0 676011436 14123008 2771 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3448 2771 1111 63 0 3385 0
vsize: 13792
[startup+870.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 257486 0 0 0 86337 670 0 0 25 0 1 0 676011436 16629760 2939 4294967295 134512640 134714508 3221221792 3221217740 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4060 2939 1111 63 0 3997 0
vsize: 16240
[startup+880.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 260266 0 0 0 87330 677 0 0 25 0 1 0 676011436 13983744 2744 4294967295 134512640 134714508 3221221792 3221220440 134543568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3414 2744 1111 63 0 3351 0
vsize: 13656
[startup+890.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 263448 0 0 0 88322 685 0 0 25 0 1 0 676011436 16363520 2846 4294967295 134512640 134714508 3221221792 3221217728 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3995 2846 1111 63 0 3932 0
vsize: 15980
[startup+900.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 266490 0 0 0 89314 693 0 0 25 0 1 0 676011436 14163968 2788 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3458 2788 1111 63 0 3395 0
vsize: 13832
[startup+910.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 269390 0 0 0 90308 700 0 0 25 0 1 0 676011436 14061568 2763 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3433 2763 1111 63 0 3370 0
vsize: 13732
[startup+920.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 272679 0 0 0 91301 707 0 0 25 0 1 0 676011436 14225408 2803 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3473 2803 1111 63 0 3410 0
vsize: 13892
[startup+930.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 275674 0 0 0 92294 714 0 0 25 0 1 0 676011436 16924672 3025 4294967295 134512640 134714508 3221221792 3221217936 1074970218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4132 3025 1111 63 0 4069 0
vsize: 16528
[startup+940.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 278753 0 0 0 93287 721 0 0 25 0 1 0 676011436 13983744 2744 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3414 2744 1111 63 0 3351 0
vsize: 13656
[startup+950.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 282068 0 0 0 94279 729 0 0 25 0 1 0 676011436 16670720 2959 4294967295 134512640 134714508 3221221792 3221218448 1075967695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4070 2959 1111 63 0 4007 0
vsize: 16280
[startup+960.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 285363 0 0 0 95272 737 0 0 25 0 1 0 676011436 16678912 2948 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4072 2948 1111 63 0 4009 0
vsize: 16288
[startup+970.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 288532 0 0 0 96266 743 0 0 25 0 1 0 676011436 14159872 2787 4294967295 134512640 134714508 3221221792 3221220160 1074057869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3457 2787 1111 63 0 3394 0
vsize: 13828
[startup+980.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 291598 0 0 0 97258 751 0 0 25 0 1 0 676011436 14213120 2788 4294967295 134512640 134714508 3221221792 3221219792 1074918215 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2788 1111 63 0 3407 0
vsize: 13880
[startup+990.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 294779 0 0 0 98250 759 0 0 25 0 1 0 676011436 16781312 2964 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4097 2964 1111 63 0 4034 0
vsize: 16388
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 297592 0 0 0 99244 766 0 0 25 0 1 0 676011436 16990208 3036 4294967295 134512640 134714508 3221221792 3221218020 1075114975 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4148 3036 1111 63 0 4085 0
vsize: 16592
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 300523 0 0 0 100235 774 0 0 25 0 1 0 676011436 14200832 2797 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3467 2797 1111 63 0 3404 0
vsize: 13868
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 303545 0 0 0 101228 782 0 0 25 0 1 0 676011436 18026496 3317 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4401 3317 1111 63 0 4338 0
vsize: 17604
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 306235 0 0 0 102221 789 0 0 25 0 1 0 676011436 14561280 2885 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2885 1111 63 0 3492 0
vsize: 14220
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 308606 0 0 0 103215 796 0 0 25 0 1 0 676011436 14561280 2885 4294967295 134512640 134714508 3221221792 3221220032 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2885 1111 63 0 3492 0
vsize: 14220
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 310871 0 0 0 104210 801 0 0 25 0 1 0 676011436 14561280 2885 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2885 1111 63 0 3492 0
vsize: 14220
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 313303 0 0 0 105205 806 0 0 25 0 1 0 676011436 17637376 3252 4294967295 134512640 134714508 3221221792 3221218712 1074950105 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4306 3252 1111 63 0 4243 0
vsize: 17224
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 315592 0 0 0 106199 812 0 0 25 0 1 0 676011436 17670144 3238 4294967295 134512640 134714508 3221221792 3221218100 1074960600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4314 3238 1111 63 0 4251 0
vsize: 17256
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 317914 0 0 0 107193 818 0 0 25 0 1 0 676011436 14561280 2885 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2885 1111 63 0 3492 0
vsize: 14220
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 320388 0 0 0 108188 823 0 0 25 0 1 0 676011436 14561280 2885 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2885 1111 63 0 3492 0
vsize: 14220
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 322861 0 0 0 109182 829 0 0 25 0 1 0 676011436 14561280 2885 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2885 1111 63 0 3492 0
vsize: 14220
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 325257 0 0 0 110176 835 0 0 25 0 1 0 676011436 17326080 3051 4294967295 134512640 134714508 3221221792 3221218360 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4230 3051 1111 63 0 4167 0
vsize: 16920
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 327715 0 0 0 111169 842 0 0 25 0 1 0 676011436 17313792 3100 4294967295 134512640 134714508 3221221792 3221217940 1075964406 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4227 3100 1111 63 0 4164 0
vsize: 16908
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 330357 0 0 0 112162 850 0 0 25 0 1 0 676011436 14561280 2885 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2885 1111 63 0 3492 0
vsize: 14220
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 332690 0 0 0 113157 855 0 0 25 0 1 0 676011436 16883712 2972 4294967295 134512640 134714508 3221221792 3221218032 1075115741 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4122 2972 1111 63 0 4059 0
vsize: 16488
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 335095 0 0 0 114152 860 0 0 25 0 1 0 676011436 17788928 3258 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4343 3258 1111 63 0 4280 0
vsize: 17372
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 337952 0 0 0 115145 867 0 0 25 0 1 0 676011436 18141184 3360 4294967295 134512640 134714508 3221221792 3221218128 1075113508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4429 3360 1111 63 0 4366 0
vsize: 17716
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 340586 0 0 0 116140 873 0 0 25 0 1 0 676011436 17526784 3196 4294967295 134512640 134714508 3221221792 3221218020 1075115106 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4279 3196 1111 63 0 4216 0
vsize: 17116
[startup+1175.23 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 25340
Raw data (stat): 25340 (bsolo_lpr) R 25339 7876 7672 0 -1 0 340586 0 0 0 116140 873 0 0 25 0 1 0 676011436 17526784 3196 4294967295 134512640 134714508 3221221792 3221218020 1075115106 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4279 3196 1111 63 0 4216 0
vsize: 0

Child status: 10
Real time (s): 1175.23
CPU time (s): 1175.33
CPU user time (s): 1166.56
CPU system time (s): 8.77267
CPU usage (%): 100.009
Max. virtual memory (Kb): 17716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	319
#### END VERIFIER DATA ####