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-ii8b1.opb
MD5SUM	812314147c77e28d5e428080c7a2412d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	191
Optimality of the best value was proved	NO
Number of terms in the objective function	672
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	672
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	672
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.03684
Number of variables	672
Total number of constraints	2404
Number of constraints which are clauses	2404
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	8
Trace number 23972

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-07 06:06:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1495 boxname=wulflinc31 idbench=167 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  812314147c77e28d5e428080c7a2412d  /oldhome/oroussel/tmp/wulflinc31/normalized-ii8b1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii8b1.opb
IDLAUNCH: 1495
/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:        148704 kB
Buffers:         38228 kB
Cached:         813576 kB
SwapCached:        644 kB
Active:         487660 kB
Inactive:       366420 kB
HighTotal:      131008 kB
HighFree:         8092 kB
LowTotal:       903652 kB
LowFree:        140612 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             224 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26256 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-07 06:26:30 (client local time) WITH STATUS 10 IN 1175.36 SECONDS
stats: 1495 0 1175.36 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 672 variables and 2404 constraints.
c After prepocess the problem consists of 672 variables and 2524 constraints.
c preprocess terminated 3.052 s
c Initial Lower Bound: 177
c Lower Bound Elapsed time: 0.77675
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 336 @ 6.188
c NEW SOLUTION FOUND: 335 @ 6.19
c NEW SOLUTION FOUND: 334 @ 6.198
c NEW SOLUTION FOUND: 333 @ 6.206
c NEW SOLUTION FOUND: 332 @ 6.214
c NEW SOLUTION FOUND: 331 @ 6.222
c NEW SOLUTION FOUND: 330 @ 6.23
c NEW SOLUTION FOUND: 329 @ 6.239
c NEW SOLUTION FOUND: 328 @ 6.248
c NEW SOLUTION FOUND: 327 @ 6.257
c NEW SOLUTION FOUND: 326 @ 6.266
c NEW SOLUTION FOUND: 325 @ 6.275
c NEW SOLUTION FOUND: 324 @ 6.285
c NEW SOLUTION FOUND: 323 @ 6.337
c NEW SOLUTION FOUND: 322 @ 6.349
c NEW SOLUTION FOUND: 321 @ 6.361
c NEW SOLUTION FOUND: 320 @ 6.374
c NEW SOLUTION FOUND: 319 @ 6.387
c NEW SOLUTION FOUND: 318 @ 6.412
c NEW SOLUTION FOUND: 317 @ 6.426
c NEW SOLUTION FOUND: 315 @ 6.51
c NEW SOLUTION FOUND: 314 @ 6.561
c NEW SOLUTION FOUND: 307 @ 6.586
c NEW SOLUTION FOUND: 306 @ 6.671
c NEW SOLUTION FOUND: 305 @ 6.801
c NEW SOLUTION FOUND: 304 @ 6.835
c NEW SOLUTION FOUND: 303 @ 6.901
c NEW SOLUTION FOUND: 302 @ 7.001
c NEW SOLUTION FOUND: 300 @ 7.11
c NEW SOLUTION FOUND: 299 @ 7.28
c NEW SOLUTION FOUND: 298 @ 7.517
c NEW SOLUTION FOUND: 243 @ 12.902
c NEW SOLUTION FOUND: 236 @ 16.868
c NEW SOLUTION FOUND: 234 @ 19.035
c NEW SOLUTION FOUND: 229 @ 35.217
c NEW SOLUTION FOUND: 227 @ 82.048
c NEW SOLUTION FOUND: 226 @ 104.33
c NEW SOLUTION FOUND: 221 @ 108.921
c NEW SOLUTION FOUND: 216 @ 183.007
c NEW SOLUTION FOUND: 209 @ 200.541
c NEW SOLUTION FOUND: 208 @ 305.265
c NEW SOLUTION FOUND: 201 @ 313.194
c NEW SOLUTION FOUND: 200 @ 337.447
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 
c Exit Code: 10
c Total time: 1175.33 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.99 0.99 2/54 29541
Raw data (stat): 29541 (runsolver) R 29540 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 681033540 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.0004 s]
Raw data (loadavg): 0.94 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 6558 0 0 0 977 18 0 0 25 0 1 0 681033540 10121216 1553 4294967295 134512640 134714508 3221221792 3221218128 1075113493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2471 1553 1111 63 0 2408 0
vsize: 9884
[startup+20.0003 s]
Raw data (loadavg): 0.95 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 8889 0 0 0 1971 24 0 0 25 0 1 0 681033540 8654848 1441 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2113 1441 1111 63 0 2050 0
vsize: 8452
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 11105 0 0 0 2965 31 0 0 25 0 1 0 681033540 9945088 1510 4294967295 134512640 134714508 3221221792 3221217692 1074787562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1510 1111 63 0 2365 0
vsize: 9712
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 13382 0 0 0 3960 36 0 0 25 0 1 0 681033540 8654848 1441 4294967295 134512640 134714508 3221221792 3221220192 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2113 1441 1111 63 0 2050 0
vsize: 8452
[startup+50.0017 s]
Raw data (loadavg): 0.97 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 15781 0 0 0 4953 43 0 0 25 0 1 0 681033540 9945088 1513 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2428 1513 1111 63 0 2365 0
vsize: 9712
[startup+60.002 s]
Raw data (loadavg): 0.97 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 18178 0 0 0 5946 50 0 0 25 0 1 0 681033540 8654848 1441 4294967295 134512640 134714508 3221221792 3221220256 1074119529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2113 1441 1111 63 0 2050 0
vsize: 8452
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 20619 0 0 0 6940 57 0 0 25 0 1 0 681033540 8654848 1441 4294967295 134512640 134714508 3221221792 3221220192 1074153469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2113 1441 1111 63 0 2050 0
vsize: 8452
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 23027 0 0 0 7933 64 0 0 25 0 1 0 681033540 8654848 1441 4294967295 134512640 134714508 3221221792 3221219072 1074140060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2113 1441 1111 63 0 2050 0
vsize: 8452
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 25423 0 0 0 8928 69 0 0 25 0 1 0 681033540 9949184 1517 4294967295 134512640 134714508 3221221792 3221218912 1074835529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2429 1517 1111 63 0 2366 0
vsize: 9716
[startup+100.003 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 27735 0 0 0 9921 76 0 0 25 0 1 0 681033540 9809920 1475 4294967295 134512640 134714508 3221221792 3221218796 1074621048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2395 1475 1111 63 0 2332 0
vsize: 9580
[startup+110.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 30046 0 0 0 10915 82 0 0 25 0 1 0 681033540 9973760 1492 4294967295 134512640 134714508 3221221792 3221218624 1075115796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2435 1492 1111 63 0 2372 0
vsize: 9740
[startup+120.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 32389 0 0 0 11908 89 0 0 25 0 1 0 681033540 9957376 1523 4294967295 134512640 134714508 3221221792 3221217660 1074787724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2431 1523 1111 63 0 2368 0
vsize: 9724
[startup+130.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 35003 0 0 0 12902 95 0 0 25 0 1 0 681033540 8654848 1442 4294967295 134512640 134714508 3221221792 3221220092 1074206265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2113 1442 1111 63 0 2050 0
vsize: 8452
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 37598 0 0 0 13895 103 0 0 25 0 1 0 681033540 9965568 1538 4294967295 134512640 134714508 3221221792 3221218020 1075114946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2433 1538 1111 63 0 2370 0
vsize: 9732
[startup+150.004 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 40510 0 0 0 14888 109 0 0 25 0 1 0 681033540 10117120 1547 4294967295 134512640 134714508 3221221792 3221217996 1075564165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1547 1111 63 0 2407 0
vsize: 9880
[startup+160.004 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 43577 0 0 0 15881 117 0 0 25 0 1 0 681033540 10117120 1538 4294967295 134512640 134714508 3221221792 3221218324 1075863672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1538 1111 63 0 2407 0
vsize: 9880
[startup+170.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 46865 0 0 0 16872 126 0 0 25 0 1 0 681033540 8654848 1442 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2113 1442 1111 63 0 2050 0
vsize: 8452
[startup+180.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 50395 0 0 0 17864 134 0 0 25 0 1 0 681033540 10100736 1524 4294967295 134512640 134714508 3221221792 3221218020 1075114946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2466 1524 1111 63 0 2403 0
vsize: 9864
[startup+190.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 53950 0 0 0 18856 142 0 0 25 0 1 0 681033540 10346496 1602 4294967295 134512640 134714508 3221221792 3221217768 1074788452 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2526 1602 1111 63 0 2463 0
vsize: 10104
[startup+200.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 57284 0 0 0 19848 150 0 0 25 0 1 0 681033540 10153984 1562 4294967295 134512640 134714508 3221221792 3221218772 1075964035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2479 1562 1111 63 0 2416 0
vsize: 9916
[startup+210.006 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 60791 0 0 0 20838 161 0 0 25 0 1 0 681033540 10350592 1598 4294967295 134512640 134714508 3221221792 3221218324 1075863638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2527 1598 1111 63 0 2464 0
vsize: 10108
[startup+220.006 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 64181 0 0 0 21827 171 0 0 25 0 1 0 681033540 10448896 1625 4294967295 134512640 134714508 3221221792 3221217920 1075561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2551 1625 1111 63 0 2488 0
vsize: 10204
[startup+230.006 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 67262 0 0 0 22820 178 0 0 25 0 1 0 681033540 9015296 1530 4294967295 134512640 134714508 3221221792 3221220144 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2201 1530 1111 63 0 2138 0
vsize: 8804
[startup+240.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 70379 0 0 0 23812 187 0 0 25 0 1 0 681033540 10588160 1632 4294967295 134512640 134714508 3221221792 3221218032 1075115696 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2585 1632 1111 63 0 2522 0
vsize: 10340
[startup+250.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 73445 0 0 0 24803 196 0 0 25 0 1 0 681033540 9105408 1552 4294967295 134512640 134714508 3221221792 3221220192 1074119102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2223 1552 1111 63 0 2160 0
vsize: 8892
[startup+260.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 76501 0 0 0 25794 205 0 0 25 0 1 0 681033540 10518528 1644 4294967295 134512640 134714508 3221221792 3221217740 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2568 1644 1111 63 0 2505 0
vsize: 10272
[startup+270.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 79303 0 0 0 26786 213 0 0 25 0 1 0 681033540 10563584 1650 4294967295 134512640 134714508 3221221792 3221218280 1074798917 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2579 1650 1111 63 0 2516 0
vsize: 10316
[startup+280.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 82215 0 0 0 27778 221 0 0 25 0 1 0 681033540 10571776 1668 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2581 1668 1111 63 0 2518 0
vsize: 10324
[startup+290.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 84950 0 0 0 28771 228 0 0 25 0 1 0 681033540 10874880 1730 4294967295 134512640 134714508 3221221792 3221218064 1074960935 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2655 1730 1111 63 0 2592 0
vsize: 10620
[startup+300.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 87959 0 0 0 29764 236 0 0 25 0 1 0 681033540 9355264 1613 4294967295 134512640 134714508 3221221792 3221220052 1077378648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2284 1613 1111 63 0 2221 0
vsize: 9136
[startup+310.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 91177 0 0 0 30754 246 0 0 25 0 1 0 681033540 9400320 1624 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2295 1624 1111 63 0 2232 0
vsize: 9180
[startup+320.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 94426 0 0 0 31744 256 0 0 25 0 1 0 681033540 9424896 1630 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2301 1630 1111 63 0 2238 0
vsize: 9204
[startup+330.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 97857 0 0 0 32735 264 0 0 25 0 1 0 681033540 10846208 1726 4294967295 134512640 134714508 3221221792 3221218032 1075115726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1726 1111 63 0 2585 0
vsize: 10592
[startup+340.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 100701 0 0 0 33728 272 0 0 25 0 1 0 681033540 9707520 1699 4294967295 134512640 134714508 3221221792 3221220172 1074207552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2370 1699 1111 63 0 2307 0
vsize: 9480
[startup+350.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 102917 0 0 0 34723 277 0 0 25 0 1 0 681033540 11067392 1810 4294967295 134512640 134714508 3221221792 3221218216 1075110992 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2702 1810 1111 63 0 2639 0
vsize: 10808
[startup+360.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 105321 0 0 0 35716 284 0 0 25 0 1 0 681033540 9707520 1699 4294967295 134512640 134714508 3221221792 3221220424 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2370 1699 1111 63 0 2307 0
vsize: 9480
[startup+370.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 107717 0 0 0 36709 292 0 0 25 0 1 0 681033540 11231232 1814 4294967295 134512640 134714508 3221221792 3221218560 1076083467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2742 1814 1111 63 0 2679 0
vsize: 10968
[startup+380.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 110291 0 0 0 37701 300 0 0 25 0 1 0 681033540 9752576 1710 4294967295 134512640 134714508 3221221792 3221219768 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2381 1710 1111 63 0 2318 0
vsize: 9524
[startup+390.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 113018 0 0 0 38694 307 0 0 25 0 1 0 681033540 9838592 1728 4294967295 134512640 134714508 3221221792 3221219520 1075635940 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2402 1728 1111 63 0 2339 0
vsize: 9608
[startup+400.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 115831 0 0 0 39686 315 0 0 25 0 1 0 681033540 9842688 1732 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2403 1732 1111 63 0 2340 0
vsize: 9612
[startup+410.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 118770 0 0 0 40678 323 0 0 25 0 1 0 681033540 11296768 1859 4294967295 134512640 134714508 3221221792 3221218128 1075113493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2758 1859 1111 63 0 2695 0
vsize: 11032
[startup+420.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 121744 0 0 0 41670 331 0 0 25 0 1 0 681033540 11223040 1812 4294967295 134512640 134714508 3221221792 3221217996 1075564273 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2740 1812 1111 63 0 2677 0
vsize: 10960
[startup+430.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 124945 0 0 0 42660 342 0 0 25 0 1 0 681033540 11132928 1768 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2718 1768 1111 63 0 2655 0
vsize: 10872
[startup+440.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 128052 0 0 0 43652 350 0 0 25 0 1 0 681033540 9842688 1732 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2403 1732 1111 63 0 2340 0
vsize: 9612
[startup+450.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 131275 0 0 0 44644 358 0 0 25 0 1 0 681033540 10002432 1763 4294967295 134512640 134714508 3221221792 3221219792 1074918162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2442 1763 1111 63 0 2379 0
vsize: 9768
[startup+460.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 134300 0 0 0 45635 367 0 0 25 0 1 0 681033540 9940992 1744 4294967295 134512640 134714508 3221221792 3221220368 1073989439 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2427 1744 1111 63 0 2364 0
vsize: 9708
[startup+470.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 137443 0 0 0 46627 375 0 0 25 0 1 0 681033540 11190272 1798 4294967295 134512640 134714508 3221221792 3221217848 1074789704 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2732 1798 1111 63 0 2669 0
vsize: 10928
[startup+480.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 140711 0 0 0 47618 384 0 0 25 0 1 0 681033540 9965568 1762 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2433 1762 1111 63 0 2370 0
vsize: 9732
[startup+490.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 144012 0 0 0 48608 394 0 0 25 0 1 0 681033540 9965568 1762 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2433 1762 1111 63 0 2370 0
vsize: 9732
[startup+500.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 147156 0 0 0 49599 403 0 0 25 0 1 0 681033540 10035200 1779 4294967295 134512640 134714508 3221221792 3221220120 1077402401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2450 1779 1111 63 0 2387 0
vsize: 9800
[startup+510.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 150171 0 0 0 50591 412 0 0 25 0 1 0 681033540 10080256 1790 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2461 1790 1111 63 0 2398 0
vsize: 9844
[startup+520.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 153367 0 0 0 51582 421 0 0 25 0 1 0 681033540 10125312 1801 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2472 1801 1111 63 0 2409 0
vsize: 9888
[startup+530.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 156316 0 0 0 52575 428 0 0 25 0 1 0 681033540 11509760 1899 4294967295 134512640 134714508 3221221792 3221218064 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2810 1899 1111 63 0 2747 0
vsize: 11240
[startup+540.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 159536 0 0 0 53567 437 0 0 25 0 1 0 681033540 11669504 1940 4294967295 134512640 134714508 3221221792 3221218000 1074815276 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2849 1940 1111 63 0 2786 0
vsize: 11396
[startup+550.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 162840 0 0 0 54557 447 0 0 25 0 1 0 681033540 10223616 1825 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2496 1825 1111 63 0 2433 0
vsize: 9984
[startup+560.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 166295 0 0 0 55547 457 0 0 25 0 1 0 681033540 10272768 1837 4294967295 134512640 134714508 3221221792 3221220104 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1837 1111 63 0 2445 0
vsize: 10032
[startup+570.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 169154 0 0 0 56538 466 0 0 25 0 1 0 681033540 11661312 1937 4294967295 134512640 134714508 3221221792 3221217996 1075564295 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2847 1937 1111 63 0 2784 0
vsize: 11388
[startup+580.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 172055 0 0 0 57529 475 0 0 25 0 1 0 681033540 10387456 1865 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2536 1865 1111 63 0 2473 0
vsize: 10144
[startup+590.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 175195 0 0 0 58520 484 0 0 25 0 1 0 681033540 11931648 2004 4294967295 134512640 134714508 3221221792 3221217824 1075965250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2913 2004 1111 63 0 2850 0
vsize: 11652
[startup+600.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 178855 0 0 0 59509 495 0 0 25 0 1 0 681033540 12050432 2018 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2942 2018 1111 63 0 2879 0
vsize: 11768
[startup+610.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 181926 0 0 0 60501 504 0 0 25 0 1 0 681033540 10592256 1912 4294967295 134512640 134714508 3221221792 3221220192 1074119094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1912 1111 63 0 2523 0
vsize: 10344
[startup+620.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 185210 0 0 0 61491 514 0 0 25 0 1 0 681033540 10526720 1899 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2570 1899 1111 63 0 2507 0
vsize: 10280
[startup+630.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 188207 0 0 0 62483 522 0 0 25 0 1 0 681033540 10620928 1922 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2593 1922 1111 63 0 2530 0
vsize: 10372
[startup+640.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 191496 0 0 0 63473 532 0 0 25 0 1 0 681033540 12001280 2022 4294967295 134512640 134714508 3221221792 3221218060 1076079124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2930 2022 1111 63 0 2867 0
vsize: 11720
[startup+650.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 194758 0 0 0 64464 541 0 0 25 0 1 0 681033540 10661888 1932 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2603 1932 1111 63 0 2540 0
vsize: 10412
[startup+660.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 198164 0 0 0 65454 552 0 0 25 0 1 0 681033540 10723328 1947 4294967295 134512640 134714508 3221221792 3221220020 1077374082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1947 1111 63 0 2555 0
vsize: 10472
[startup+670.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 201339 0 0 0 66446 560 0 0 25 0 1 0 681033540 12062720 2002 4294967295 134512640 134714508 3221221792 3221218112 1075171689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2945 2002 1111 63 0 2882 0
vsize: 11780
[startup+680.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 204593 0 0 0 67436 571 0 0 25 0 1 0 681033540 10792960 1964 4294967295 134512640 134714508 3221221792 3221219952 1074206554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2635 1964 1111 63 0 2572 0
vsize: 10540
[startup+690.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 208064 0 0 0 68426 581 0 0 25 0 1 0 681033540 10743808 1952 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2623 1952 1111 63 0 2560 0
vsize: 10492
[startup+700.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 211576 0 0 0 69417 590 0 0 25 0 1 0 681033540 12414976 2107 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3031 2107 1111 63 0 2968 0
vsize: 12124
[startup+710.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 215118 0 0 0 70406 600 0 0 25 0 1 0 681033540 10878976 1985 4294967295 134512640 134714508 3221221792 3221220192 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2656 1985 1111 63 0 2593 0
vsize: 10624
[startup+720.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 218841 0 0 0 71396 610 0 0 25 0 1 0 681033540 12296192 2058 4294967295 134512640 134714508 3221221792 3221217936 1074970267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3002 2058 1111 63 0 2939 0
vsize: 12008
[startup+730.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 222295 0 0 0 72386 621 0 0 25 0 1 0 681033540 11059200 2029 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2700 2029 1111 63 0 2637 0
vsize: 10800
[startup+740.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 225623 0 0 0 73376 632 0 0 25 0 1 0 681033540 11059200 2029 4294967295 134512640 134714508 3221221792 3221220064 1074206180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2700 2029 1111 63 0 2637 0
vsize: 10800
[startup+750.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 229156 0 0 0 74366 642 0 0 25 0 1 0 681033540 11120640 2044 4294967295 134512640 134714508 3221221792 3221219976 1077377382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2715 2044 1111 63 0 2652 0
vsize: 10860
[startup+760.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 232546 0 0 0 75357 650 0 0 25 0 1 0 681033540 11255808 2077 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2748 2077 1111 63 0 2685 0
vsize: 10992
[startup+770.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 235405 0 0 0 76350 658 0 0 25 0 1 0 681033540 11300864 2088 4294967295 134512640 134714508 3221221792 3221220140 1073959784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2759 2088 1111 63 0 2696 0
vsize: 11036
[startup+780.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 238584 0 0 0 77340 667 0 0 25 0 1 0 681033540 11390976 2110 4294967295 134512640 134714508 3221221792 3221220192 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2781 2110 1111 63 0 2718 0
vsize: 11124
[startup+790.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 241423 0 0 0 78333 674 0 0 25 0 1 0 681033540 12980224 2244 4294967295 134512640 134714508 3221221792 3221218032 1075115712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3169 2244 1111 63 0 3106 0
vsize: 12676
[startup+800.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 244188 0 0 0 79326 682 0 0 25 0 1 0 681033540 11489280 2134 4294967295 134512640 134714508 3221221792 3221220032 1077377136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2805 2134 1111 63 0 2742 0
vsize: 11220
[startup+810.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 246935 0 0 0 80319 689 0 0 25 0 1 0 681033540 13033472 2280 4294967295 134512640 134714508 3221221792 3221218128 1075113614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2280 1111 63 0 3119 0
vsize: 12728
[startup+820.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 249529 0 0 0 81310 698 0 0 25 0 1 0 681033540 13025280 2267 4294967295 134512640 134714508 3221221792 3221218624 1075115289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3180 2267 1111 63 0 3117 0
vsize: 12720
[startup+830.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 252286 0 0 0 82302 707 0 0 25 0 1 0 681033540 13049856 2258 4294967295 134512640 134714508 3221221792 3221217920 1075561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3186 2258 1111 63 0 3123 0
vsize: 12744
[startup+840.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 254887 0 0 0 83297 712 0 0 25 0 1 0 681033540 12931072 2240 4294967295 134512640 134714508 3221221792 3221218112 1075170427 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3157 2240 1111 63 0 3094 0
vsize: 12628
[startup+850.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 257347 0 0 0 84290 719 0 0 25 0 1 0 681033540 12943360 2261 4294967295 134512640 134714508 3221221792 3221218544 1075899021 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3160 2261 1111 63 0 3097 0
vsize: 12640
[startup+860.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 260113 0 0 0 85283 727 0 0 25 0 1 0 681033540 13324288 2346 4294967295 134512640 134714508 3221221792 3221218124 1075112846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3253 2346 1111 63 0 3190 0
vsize: 13012
[startup+870.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 262519 0 0 0 86276 733 0 0 25 0 1 0 681033540 11698176 2185 4294967295 134512640 134714508 3221221792 3221219656 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2856 2185 1111 63 0 2793 0
vsize: 11424
[startup+880.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 265352 0 0 0 87269 741 0 0 25 0 1 0 681033540 11829248 2217 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2888 2217 1111 63 0 2825 0
vsize: 11552
[startup+890.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 268064 0 0 0 88261 749 0 0 25 0 1 0 681033540 13541376 2400 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3306 2400 1111 63 0 3243 0
vsize: 13224
[startup+900.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 270716 0 0 0 89254 756 0 0 25 0 1 0 681033540 13295616 2334 4294967295 134512640 134714508 3221221792 3221217788 1074860959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3246 2334 1111 63 0 3183 0
vsize: 12984
[startup+910.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 273180 0 0 0 90247 763 0 0 25 0 1 0 681033540 11911168 2237 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2908 2237 1111 63 0 2845 0
vsize: 11632
[startup+920.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 275844 0 0 0 91240 770 0 0 25 0 1 0 681033540 13238272 2334 4294967295 134512640 134714508 3221221792 3221218064 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3232 2334 1111 63 0 3169 0
vsize: 12928
[startup+930.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 278332 0 0 0 92233 777 0 0 25 0 1 0 681033540 11911168 2237 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2908 2237 1111 63 0 2845 0
vsize: 11632
[startup+940.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 281006 0 0 0 93227 784 0 0 25 0 1 0 681033540 13430784 2351 4294967295 134512640 134714508 3221221792 3221218448 1075967941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3279 2351 1111 63 0 3216 0
vsize: 13116
[startup+950.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 283982 0 0 0 94217 794 0 0 25 0 1 0 681033540 13541376 2383 4294967295 134512640 134714508 3221221792 3221218448 1075967892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3306 2383 1111 63 0 3243 0
vsize: 13224
[startup+960.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 287191 0 0 0 95208 803 0 0 25 0 1 0 681033540 13447168 2375 4294967295 134512640 134714508 3221221792 3221218064 1074961138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3283 2375 1111 63 0 3220 0
vsize: 13132
[startup+970.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 290386 0 0 0 96200 811 0 0 25 0 1 0 681033540 13447168 2352 4294967295 134512640 134714508 3221221792 3221219056 1075894378 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3283 2352 1111 63 0 3220 0
vsize: 13132
[startup+980.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 293604 0 0 0 97190 822 0 0 25 0 1 0 681033540 12058624 2273 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2273 1111 63 0 2881 0
vsize: 11776
[startup+990.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 296526 0 0 0 98182 830 0 0 25 0 1 0 681033540 12058624 2273 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2273 1111 63 0 2881 0
vsize: 11776
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 299468 0 0 0 99173 839 0 0 25 0 1 0 681033540 12058624 2273 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2273 1111 63 0 2881 0
vsize: 11776
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 302551 0 0 0 100164 848 0 0 25 0 1 0 681033540 12181504 2303 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2974 2303 1111 63 0 2911 0
vsize: 11896
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 305452 0 0 0 101157 855 0 0 25 0 1 0 681033540 12500992 2309 4294967295 134512640 134714508 3221221792 3221219724 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3052 2312 1111 63 0 2989 0
vsize: 12208
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 308784 0 0 0 102148 864 0 0 25 0 1 0 681033540 12275712 2326 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2997 2326 1111 63 0 2934 0
vsize: 11988
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 311888 0 0 0 103139 873 0 0 25 0 1 0 681033540 13697024 2415 4294967295 134512640 134714508 3221221792 3221218712 1074950096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3344 2415 1111 63 0 3281 0
vsize: 13376
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 315085 0 0 0 104132 881 0 0 25 0 1 0 681033540 12369920 2349 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3020 2349 1111 63 0 2957 0
vsize: 12080
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 318488 0 0 0 105123 890 0 0 25 0 1 0 681033540 14094336 2510 4294967295 134512640 134714508 3221221792 3221218448 1075967892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3441 2510 1111 63 0 3378 0
vsize: 13764
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 321452 0 0 0 106115 898 0 0 25 0 1 0 681033540 13885440 2481 4294967295 134512640 134714508 3221221792 3221218000 1074815503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3390 2481 1111 63 0 3327 0
vsize: 13560
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 324167 0 0 0 107108 905 0 0 25 0 1 0 681033540 13914112 2496 4294967295 134512640 134714508 3221221792 3221217936 1074968871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3397 2496 1111 63 0 3334 0
vsize: 13588
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 326811 0 0 0 108102 911 0 0 25 0 1 0 681033540 13955072 2511 4294967295 134512640 134714508 3221221792 3221217920 1075561237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3407 2511 1111 63 0 3344 0
vsize: 13628
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 329572 0 0 0 109095 918 0 0 25 0 1 0 681033540 14237696 2582 4294967295 134512640 134714508 3221221792 3221218008 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3476 2582 1111 63 0 3413 0
vsize: 13904
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 332470 0 0 0 110089 925 0 0 25 0 1 0 681033540 14315520 2590 4294967295 134512640 134714508 3221221792 3221218020 1075115141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3495 2590 1111 63 0 3432 0
vsize: 13980
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 335284 0 0 0 111082 932 0 0 25 0 1 0 681033540 12709888 2432 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3103 2432 1111 63 0 3040 0
vsize: 12412
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 338513 0 0 0 112075 940 0 0 25 0 1 0 681033540 12709888 2432 4294967295 134512640 134714508 3221221792 3221220016 1077377147 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3103 2432 1111 63 0 3040 0
vsize: 12412
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 341721 0 0 0 113068 947 0 0 25 0 1 0 681033540 14323712 2571 4294967295 134512640 134714508 3221221792 3221217936 1074970277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3497 2571 1111 63 0 3434 0
vsize: 13988
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 344766 0 0 0 114060 955 0 0 25 0 1 0 681033540 12832768 2462 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3133 2462 1111 63 0 3070 0
vsize: 12532
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 347922 0 0 0 115053 962 0 0 25 0 1 0 681033540 14204928 2546 4294967295 134512640 134714508 3221221792 3221217920 1075561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3468 2546 1111 63 0 3405 0
vsize: 13872
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 350752 0 0 0 116045 970 0 0 25 0 1 0 681033540 14225408 2559 4294967295 134512640 134714508 3221221792 3221218128 1075113521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3473 2559 1111 63 0 3410 0
vsize: 13892
[startup+1175.24 s]
Raw data (loadavg): 0.99 0.99 0.99 1/53 29541
Raw data (stat): 29541 (bsolo_lpr) R 29540 7876 7672 0 -1 0 350752 0 0 0 116045 970 0 0 25 0 1 0 681033540 14225408 2559 4294967295 134512640 134714508 3221221792 3221218128 1075113521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3473 2559 1111 63 0 3410 0
vsize: 0

Child status: 10
Real time (s): 1175.24
CPU time (s): 1175.36
CPU user time (s): 1165.62
CPU system time (s): 9.74352
CPU usage (%): 100.011
Max. virtual memory (Kb): 13988
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	200
#### END VERIFIER DATA ####