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-ii32d1.opb
MD5SUM	151e246868267296e134c3c76a3cb289
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	285
Optimality of the best value was proved	NO
Number of terms in the objective function	664
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	664
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	664
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.02484
Number of variables	664
Total number of constraints	3035
Number of constraints which are clauses	3035
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 23912

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 07:49:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1387 boxname=wulflinc31 idbench=155 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  151e246868267296e134c3c76a3cb289  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32d1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32d1.opb
IDLAUNCH: 1387
/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:        153576 kB
Buffers:         36132 kB
Cached:         810640 kB
SwapCached:        644 kB
Active:         484604 kB
Inactive:       364544 kB
HighTotal:      131008 kB
HighFree:        10836 kB
LowTotal:       903652 kB
LowFree:        142740 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             132 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26300 kB
Committed_AS:    63632 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 08:09:27 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 1387 0 1175.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 664 variables and 3035 constraints.
c After prepocess the problem consists of 664 variables and 3035 constraints.
c preprocess terminated 3.736 s
c Initial Lower Bound: 205
c Lower Bound Elapsed time: 1.31989
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 332 @ 27.9
c NEW SOLUTION FOUND: 331 @ 27.91
c NEW SOLUTION FOUND: 330 @ 27.918
c NEW SOLUTION FOUND: 329 @ 27.927
c NEW SOLUTION FOUND: 328 @ 31.577
c NEW SOLUTION FOUND: 326 @ 246.818
c NEW SOLUTION FOUND: 324 @ 710.961
c NEW SOLUTION FOUND: 323 @ 711.046
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 
c Exit Code: 10
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.99 1/54 22443
Raw data (stat): 22443 (runsolver) D 22442 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 18 0 1 0 673010379 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 4462 0 0 0 979 15 0 0 25 0 1 0 673010379 9986048 1735 4294967295 134512640 134714508 3221221792 3221219856 1074790218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1735 1111 63 0 2375 0
vsize: 9752
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 7485 0 0 0 1970 25 0 0 25 0 1 0 673010379 10448896 1841 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2551 1841 1111 63 0 2488 0
vsize: 10204
[startup+30.003 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 9329 0 0 0 2965 30 0 0 25 0 1 0 673010379 13967360 2451 4294967295 134512640 134714508 3221221792 3221218384 1074885939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3410 2451 1111 63 0 3347 0
vsize: 13640
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 13674 0 0 0 3953 42 0 0 25 0 1 0 673010379 12484608 2377 4294967295 134512640 134714508 3221221792 3221219768 1074052007 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3048 2377 1111 63 0 2985 0
vsize: 12192
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 19395 0 0 0 4936 59 0 0 25 0 1 0 673010379 13963264 2413 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3409 2413 1111 63 0 3346 0
vsize: 13636
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 23858 0 0 0 5924 71 0 0 25 0 1 0 673010379 12623872 2411 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3082 2411 1111 63 0 3019 0
vsize: 12328
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 28851 0 0 0 6910 85 0 0 25 0 1 0 673010379 14483456 2562 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3536 2562 1111 63 0 3473 0
vsize: 14144
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 33329 0 0 0 7898 98 0 0 25 0 1 0 673010379 12701696 2430 4294967295 134512640 134714508 3221221792 3221220104 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3101 2430 1111 63 0 3038 0
vsize: 12404
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 38097 0 0 0 8886 110 0 0 25 0 1 0 673010379 12701696 2430 4294967295 134512640 134714508 3221221792 3221220092 1074206265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3101 2430 1111 63 0 3038 0
vsize: 12404
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 43590 0 0 0 9872 124 0 0 25 0 1 0 673010379 12754944 2443 4294967295 134512640 134714508 3221221792 3221219816 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3114 2443 1111 63 0 3051 0
vsize: 12456
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 48024 0 0 0 10860 136 0 0 25 0 1 0 673010379 14168064 2484 4294967295 134512640 134714508 3221221792 3221218044 1076121328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3459 2484 1111 63 0 3396 0
vsize: 13836
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 52588 0 0 0 11847 149 0 0 25 0 1 0 673010379 13017088 2507 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3178 2507 1111 63 0 3115 0
vsize: 12712
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 57105 0 0 0 12835 161 0 0 25 0 1 0 673010379 14528512 2552 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2552 1111 63 0 3484 0
vsize: 14188
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 61364 0 0 0 13824 173 0 0 25 0 1 0 673010379 13131776 2535 4294967295 134512640 134714508 3221221792 3221220192 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3206 2535 1111 63 0 3143 0
vsize: 12824
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 65839 0 0 0 14811 186 0 0 25 0 1 0 673010379 14569472 2602 4294967295 134512640 134714508 3221221792 3221217876 1075964384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3557 2602 1111 63 0 3494 0
vsize: 14228
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 69759 0 0 0 15801 196 0 0 25 0 1 0 673010379 13234176 2560 4294967295 134512640 134714508 3221221792 3221219072 1074140051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3231 2560 1111 63 0 3168 0
vsize: 12924
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 73979 0 0 0 16787 210 0 0 25 0 1 0 673010379 14671872 2625 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2625 1111 63 0 3519 0
vsize: 14328
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 78334 0 0 0 17775 222 0 0 25 0 1 0 673010379 14737408 2644 4294967295 134512640 134714508 3221221792 3221217688 1074789631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2644 1111 63 0 3535 0
vsize: 14392
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 82672 0 0 0 18764 233 0 0 25 0 1 0 673010379 13393920 2599 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3270 2599 1111 63 0 3207 0
vsize: 13080
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 86804 0 0 0 19753 244 0 0 25 0 1 0 673010379 15081472 2731 4294967295 134512640 134714508 3221221792 3221217996 1075564295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3682 2731 1111 63 0 3619 0
vsize: 14728
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 91158 0 0 0 20741 257 0 0 25 0 1 0 673010379 13508608 2627 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3298 2627 1111 63 0 3235 0
vsize: 13192
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 96718 0 0 0 21727 271 0 0 25 0 1 0 673010379 13508608 2627 4294967295 134512640 134714508 3221221792 3221219616 1075823367 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3298 2627 1111 63 0 3235 0
vsize: 13192
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 100796 0 0 0 22717 281 0 0 25 0 1 0 673010379 13594624 2648 4294967295 134512640 134714508 3221221792 3221220172 1077410225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3319 2648 1111 63 0 3256 0
vsize: 13276
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 105701 0 0 0 23705 293 0 0 25 0 1 0 673010379 15253504 2766 4294967295 134512640 134714508 3221221792 3221217944 1074883183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2766 1111 63 0 3661 0
vsize: 14896
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 110172 0 0 0 24693 305 0 0 25 0 1 0 673010379 15011840 2696 4294967295 134512640 134714508 3221221792 3221218560 1076083429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3665 2696 1111 63 0 3602 0
vsize: 14660
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 114926 0 0 0 25680 318 0 0 25 0 1 0 673010379 15044608 2700 4294967295 134512640 134714508 3221221792 3221218000 1074815241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3673 2700 1111 63 0 3610 0
vsize: 14692
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 119807 0 0 0 26668 330 0 0 25 0 1 0 673010379 13803520 2699 4294967295 134512640 134714508 3221221792 3221219744 1073986748 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3370 2699 1111 63 0 3307 0
vsize: 13480
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 124033 0 0 0 27656 342 0 0 25 0 1 0 673010379 14733312 2777 4294967295 134512640 134714508 3221221792 3221217936 1074970369 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3597 2777 1111 63 0 3534 0
vsize: 14388
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 127564 0 0 0 28648 351 0 0 25 0 1 0 673010379 13959168 2737 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3408 2737 1111 63 0 3345 0
vsize: 13632
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 132349 0 0 0 29636 363 0 0 25 0 1 0 673010379 15515648 2828 4294967295 134512640 134714508 3221221792 3221218320 1075120000 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3788 2828 1111 63 0 3725 0
vsize: 15152
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 137868 0 0 0 30623 376 0 0 25 0 1 0 673010379 15364096 2932 4294967295 134512640 134714508 3221221792 3221218064 1074961264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2932 1111 63 0 3688 0
vsize: 15004
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 141394 0 0 0 31614 385 0 0 25 0 1 0 673010379 14020608 2752 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2752 1111 63 0 3360 0
vsize: 13692
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 145771 0 0 0 32603 397 0 0 25 0 1 0 673010379 14950400 2830 4294967295 134512640 134714508 3221221792 3221218784 1075110574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3650 2830 1111 63 0 3587 0
vsize: 14600
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 151288 0 0 0 33588 412 0 0 25 0 1 0 673010379 15065088 2856 4294967295 134512640 134714508 3221221792 3221218392 1075850716 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3678 2856 1111 63 0 3615 0
vsize: 14712
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 155354 0 0 0 34579 421 0 0 25 0 1 0 673010379 15527936 2808 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3791 2813 1111 63 0 3728 0
vsize: 15164
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 160438 0 0 0 35565 435 0 0 25 0 1 0 673010379 14241792 2806 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3477 2806 1111 63 0 3414 0
vsize: 13908
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 165949 0 0 0 36550 450 0 0 25 0 1 0 673010379 14331904 2828 4294967295 134512640 134714508 3221221792 3221219772 1073961976 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3499 2828 1111 63 0 3436 0
vsize: 13996
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 171553 0 0 0 37535 465 0 0 25 0 1 0 673010379 14401536 2845 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2845 1111 63 0 3453 0
vsize: 14064
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 175962 0 0 0 38525 477 0 0 25 0 1 0 673010379 14471168 2862 4294967295 134512640 134714508 3221221792 3221220144 134650068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2862 1111 63 0 3470 0
vsize: 14132
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 179992 0 0 0 39512 489 0 0 25 0 1 0 673010379 14503936 2870 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3541 2870 1111 63 0 3478 0
vsize: 14164
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 184689 0 0 0 40500 502 0 0 25 0 1 0 673010379 14520320 2874 4294967295 134512640 134714508 3221221792 3221220192 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3545 2874 1111 63 0 3482 0
vsize: 14180
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 188777 0 0 0 41487 514 0 0 25 0 1 0 673010379 14680064 2913 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2913 1111 63 0 3521 0
vsize: 14336
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 192558 0 0 0 42478 524 0 0 25 0 1 0 673010379 16023552 3090 4294967295 134512640 134714508 3221221792 3221217892 1075964218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3912 3090 1111 63 0 3849 0
vsize: 15648
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 197306 0 0 0 43464 538 0 0 25 0 1 0 673010379 14680064 2913 4294967295 134512640 134714508 3221221792 3221220344 134543141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2913 1111 63 0 3521 0
vsize: 14336
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 201506 0 0 0 44453 549 0 0 25 0 1 0 673010379 14757888 2932 4294967295 134512640 134714508 3221221792 3221220192 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2932 1111 63 0 3540 0
vsize: 14412
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 205056 0 0 0 45446 557 0 0 25 0 1 0 673010379 14745600 2929 4294967295 134512640 134714508 3221221792 3221220044 1076999581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3600 2929 1111 63 0 3537 0
vsize: 14400
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 208176 0 0 0 46438 565 0 0 25 0 1 0 673010379 16494592 3220 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4027 3220 1111 63 0 3964 0
vsize: 16108
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 212014 0 0 0 47428 575 0 0 25 0 1 0 673010379 16519168 3061 4294967295 134512640 134714508 3221221792 3221218912 1074834340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 3061 1111 63 0 3970 0
vsize: 16132
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 215135 0 0 0 48420 584 0 0 25 0 1 0 673010379 14962688 2982 4294967295 134512640 134714508 3221221792 3221220192 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2982 1111 63 0 3590 0
vsize: 14612
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 218682 0 0 0 49410 593 0 0 25 0 1 0 673010379 16556032 3069 4294967295 134512640 134714508 3221221792 3221217848 1074789711 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4042 3069 1111 63 0 3979 0
vsize: 16168
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 223038 0 0 0 50400 604 0 0 25 0 1 0 673010379 14995456 2990 4294967295 134512640 134714508 3221221792 3221220076 1073987056 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3661 2990 1111 63 0 3598 0
vsize: 14644
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 226813 0 0 0 51390 614 0 0 25 0 1 0 673010379 16687104 3132 4294967295 134512640 134714508 3221221792 3221217688 1074789692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3132 1111 63 0 4011 0
vsize: 16296
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 230444 0 0 0 52381 622 0 0 25 0 1 0 673010379 15171584 3033 4294967295 134512640 134714508 3221221792 3221220324 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3704 3033 1111 63 0 3641 0
vsize: 14816
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 234070 0 0 0 53372 632 0 0 25 0 1 0 673010379 16494592 3064 4294967295 134512640 134714508 3221221792 3221217660 1074787507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4027 3064 1111 63 0 3964 0
vsize: 16108
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 237630 0 0 0 54362 642 0 0 25 0 1 0 673010379 17043456 3229 4294967295 134512640 134714508 3221221792 3221217968 1074882647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4161 3229 1111 63 0 4098 0
vsize: 16644
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 241325 0 0 0 55354 650 0 0 25 0 1 0 673010379 15237120 3049 4294967295 134512640 134714508 3221221792 3221219792 1074918249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3720 3049 1111 63 0 3657 0
vsize: 14880
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 245351 0 0 0 56341 663 0 0 25 0 1 0 673010379 16936960 3170 4294967295 134512640 134714508 3221221792 3221217876 1075964396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4135 3170 1111 63 0 4072 0
vsize: 16540
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 249908 0 0 0 57330 675 0 0 25 0 1 0 673010379 16969728 3182 4294967295 134512640 134714508 3221221792 3221218064 1074960881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4143 3182 1111 63 0 4080 0
vsize: 16572
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 255497 0 0 0 58315 689 0 0 25 0 1 0 673010379 16941056 3133 4294967295 134512640 134714508 3221221792 3221218728 1076083125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4136 3133 1111 63 0 4073 0
vsize: 16544
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 259762 0 0 0 59305 700 0 0 25 0 1 0 673010379 15519744 3118 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3789 3118 1111 63 0 3726 0
vsize: 15156
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22443
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 263974 0 0 0 60296 709 0 0 25 0 1 0 673010379 17141760 3200 4294967295 134512640 134714508 3221221792 3221218816 1074810494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4185 3200 1111 63 0 4122 0
vsize: 16740
[startup+620.027 s]
Raw data (loadavg): 1.07 0.99 0.99 2/56 22465
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 268053 0 0 0 61283 722 0 0 25 0 1 0 673010379 17031168 3187 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3187 1111 63 0 4095 0
vsize: 16632
[startup+630.187 s]
Raw data (loadavg): 1.14 1.00 1.00 2/58 22486
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 272589 0 0 0 62287 734 0 0 25 0 1 0 673010379 17657856 3354 4294967295 134512640 134714508 3221221792 3221217936 1074970030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3354 1111 63 0 4248 0
vsize: 17244
[startup+640.199 s]
Raw data (loadavg): 1.35 1.05 1.02 3/58 22496
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 276777 0 0 0 63278 744 0 0 25 0 1 0 673010379 15888384 3208 4294967295 134512640 134714508 3221221792 3221220440 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3879 3208 1111 63 0 3816 0
vsize: 15516
[startup+650.49 s]
Raw data (loadavg): 1.29 1.05 1.01 2/54 22496
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 280599 0 0 0 64299 753 0 0 25 0 1 0 673010379 15888384 3210 4294967295 134512640 134714508 3221221792 3221220164 1074208564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3879 3210 1111 63 0 3816 0
vsize: 15516
[startup+660.49 s]
Raw data (loadavg): 1.25 1.05 1.01 2/54 22496
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 285225 0 0 0 65287 764 0 0 25 0 1 0 673010379 16158720 3276 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3945 3276 1111 63 0 3882 0
vsize: 15780
[startup+670.49 s]
Raw data (loadavg): 1.21 1.05 1.01 2/54 22496
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 289671 0 0 0 66277 775 0 0 25 0 1 0 673010379 17395712 3424 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4247 3424 1111 63 0 4184 0
vsize: 16988
[startup+680.49 s]
Raw data (loadavg): 1.18 1.04 1.01 2/54 22496
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 292813 0 0 0 67269 782 0 0 25 0 1 0 673010379 16084992 3258 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3927 3258 1111 63 0 3864 0
vsize: 15708
[startup+690.49 s]
Raw data (loadavg): 1.15 1.04 1.01 2/54 22496
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 296735 0 0 0 68260 792 0 0 25 0 1 0 673010379 16121856 3267 4294967295 134512640 134714508 3221221792 3221220144 1073986885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3936 3267 1111 63 0 3873 0
vsize: 15744
[startup+700.49 s]
Raw data (loadavg): 1.13 1.04 1.01 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 300452 0 0 0 69251 801 0 0 25 0 1 0 673010379 17776640 3384 4294967295 134512640 134714508 3221221792 3221217876 1075964390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3384 1111 63 0 4277 0
vsize: 17360
[startup+710.49 s]
Raw data (loadavg): 1.11 1.04 1.01 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 305745 0 0 0 70238 815 0 0 25 0 1 0 673010379 16232448 3294 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3963 3294 1111 63 0 3900 0
vsize: 15852
[startup+720.491 s]
Raw data (loadavg): 1.09 1.04 1.01 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 313632 0 0 0 71217 834 0 0 25 0 1 0 673010379 17616896 3312 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4301 3319 1111 63 0 4238 0
vsize: 17204
[startup+730.49 s]
Raw data (loadavg): 1.08 1.03 1.01 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 319219 0 0 0 72205 847 0 0 25 0 1 0 673010379 17727488 3356 4294967295 134512640 134714508 3221221792 3221217936 1074970202 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4328 3356 1111 63 0 4265 0
vsize: 17312
[startup+740.492 s]
Raw data (loadavg): 1.06 1.03 1.01 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 324349 0 0 0 73193 860 0 0 25 0 1 0 673010379 17633280 3487 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4305 3487 1111 63 0 4242 0
vsize: 17220
[startup+750.491 s]
Raw data (loadavg): 1.05 1.03 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 329716 0 0 0 74180 873 0 0 25 0 1 0 673010379 16527360 3366 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4035 3366 1111 63 0 3972 0
vsize: 16140
[startup+760.491 s]
Raw data (loadavg): 1.04 1.03 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 336732 0 0 0 75162 891 0 0 25 0 1 0 673010379 16736256 3382 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 3382 1111 63 0 4023 0
vsize: 16344
[startup+770.491 s]
Raw data (loadavg): 1.04 1.03 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 341300 0 0 0 76150 903 0 0 25 0 1 0 673010379 16650240 3396 4294967295 134512640 134714508 3221221792 3221219792 1074052107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4065 3396 1111 63 0 4002 0
vsize: 16260
[startup+780.491 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 346240 0 0 0 77137 916 0 0 25 0 1 0 673010379 18268160 3456 4294967295 134512640 134714508 3221221792 3221217792 1075965294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4460 3456 1111 63 0 4397 0
vsize: 17840
[startup+790.491 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 351838 0 0 0 78124 929 0 0 25 0 1 0 673010379 18276352 3505 4294967295 134512640 134714508 3221221792 3221218360 1076048673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3505 1111 63 0 4399 0
vsize: 17848
[startup+800.491 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 356225 0 0 0 79113 941 0 0 25 0 1 0 673010379 16932864 3465 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4134 3465 1111 63 0 4071 0
vsize: 16536
[startup+810.492 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 360591 0 0 0 80103 951 0 0 25 0 1 0 673010379 16932864 3465 4294967295 134512640 134714508 3221221792 3221220160 1074140701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4134 3465 1111 63 0 4071 0
vsize: 16536
[startup+820.491 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 365128 0 0 0 81091 962 0 0 25 0 1 0 673010379 16965632 3473 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4142 3473 1111 63 0 4079 0
vsize: 16568
[startup+830.492 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 370086 0 0 0 82079 975 0 0 25 0 1 0 673010379 18489344 3535 4294967295 134512640 134714508 3221221792 3221218032 1075115762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4514 3535 1111 63 0 4451 0
vsize: 18056
[startup+840.492 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 373931 0 0 0 83067 987 0 0 25 0 1 0 673010379 17149952 3518 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4187 3518 1111 63 0 4124 0
vsize: 16748
[startup+850.492 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 377728 0 0 0 84056 998 0 0 25 0 1 0 673010379 17149952 3518 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4187 3518 1111 63 0 4124 0
vsize: 16748
[startup+860.492 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 382493 0 0 0 85046 1009 0 0 25 0 1 0 673010379 17149952 3518 4294967295 134512640 134714508 3221221792 3221220144 1073986877 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4187 3518 1111 63 0 4124 0
vsize: 16748
[startup+870.494 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 387741 0 0 0 86033 1022 0 0 25 0 1 0 673010379 18743296 3597 4294967295 134512640 134714508 3221221792 3221217952 1075091577 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4576 3597 1111 63 0 4513 0
vsize: 18304
[startup+880.493 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 395086 0 0 0 87013 1041 0 0 25 0 1 0 673010379 18632704 3587 4294967295 134512640 134714508 3221221792 3221218064 1074960845 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4549 3587 1111 63 0 4486 0
vsize: 18196
[startup+890.493 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 399798 0 0 0 88002 1052 0 0 25 0 1 0 673010379 19001344 3660 4294967295 134512640 134714508 3221221792 3221217936 1074970218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4639 3660 1111 63 0 4576 0
vsize: 18556
[startup+900.493 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 404698 0 0 0 88991 1063 0 0 25 0 1 0 673010379 19025920 3655 4294967295 134512640 134714508 3221221792 3221218856 1075007296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4645 3655 1111 63 0 4582 0
vsize: 18580
[startup+910.494 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 409189 0 0 0 89982 1073 0 0 25 0 1 0 673010379 17498112 3603 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4272 3603 1111 63 0 4209 0
vsize: 17088
[startup+920.494 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 413785 0 0 0 90972 1082 0 0 25 0 1 0 673010379 17616896 3632 4294967295 134512640 134714508 3221221792 3221219976 1077378070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4301 3632 1111 63 0 4238 0
vsize: 17204
[startup+930.494 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 419833 0 0 0 91958 1096 0 0 25 0 1 0 673010379 18513920 3699 4294967295 134512640 134714508 3221221792 3221217936 1074970202 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4520 3699 1111 63 0 4457 0
vsize: 18080
[startup+940.493 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 424823 0 0 0 92946 1109 0 0 25 0 1 0 673010379 18542592 3707 4294967295 134512640 134714508 3221221792 3221217892 1075964296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4527 3707 1111 63 0 4464 0
vsize: 18108
[startup+950.494 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 430131 0 0 0 93932 1123 0 0 25 0 1 0 673010379 19361792 3774 4294967295 134512640 134714508 3221221792 3221218064 1074960920 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4727 3774 1111 63 0 4664 0
vsize: 18908
[startup+960.495 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 433573 0 0 0 94923 1132 0 0 25 0 1 0 673010379 19177472 3718 4294967295 134512640 134714508 3221221792 3221217876 1075964386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4682 3718 1111 63 0 4619 0
vsize: 18728
[startup+970.495 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 438887 0 0 0 95909 1146 0 0 25 0 1 0 673010379 17883136 3697 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4366 3697 1111 63 0 4303 0
vsize: 17464
[startup+980.495 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 443809 0 0 0 96897 1158 0 0 25 0 1 0 673010379 17965056 3717 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4386 3717 1111 63 0 4323 0
vsize: 17544
[startup+990.496 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 448961 0 0 0 97886 1170 0 0 25 0 1 0 673010379 17965056 3717 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4386 3717 1111 63 0 4323 0
vsize: 17544
[startup+1000.5 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 454356 0 0 0 98873 1183 0 0 25 0 1 0 673010379 19460096 3866 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4751 3875 1111 63 0 4688 0
vsize: 19004
[startup+1010.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22498
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 460395 0 0 0 99859 1197 0 0 25 0 1 0 673010379 18116608 3754 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4423 3754 1111 63 0 4360 0
vsize: 17692
[startup+1020.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 465537 0 0 0 100847 1209 0 0 25 0 1 0 673010379 19644416 3799 4294967295 134512640 134714508 3221221792 3221218836 1074846163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4796 3799 1111 63 0 4733 0
vsize: 19184
[startup+1030.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 471049 0 0 0 101834 1223 0 0 25 0 1 0 673010379 19746816 3834 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4821 3834 1111 63 0 4758 0
vsize: 19284
[startup+1040.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 476667 0 0 0 102820 1237 0 0 25 0 1 0 673010379 19189760 3864 4294967295 134512640 134714508 3221221792 3221218176 1074972822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4685 3864 1111 63 0 4622 0
vsize: 18740
[startup+1050.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 481756 0 0 0 103808 1248 0 0 25 0 1 0 673010379 20037632 3936 4294967295 134512640 134714508 3221221792 3221218320 1075397211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3936 1111 63 0 4829 0
vsize: 19568
[startup+1060.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 487624 0 0 0 104794 1262 0 0 25 0 1 0 673010379 18538496 3857 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4526 3857 1111 63 0 4463 0
vsize: 18104
[startup+1070.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 493141 0 0 0 105783 1274 0 0 25 0 1 0 673010379 20185088 3932 4294967295 134512640 134714508 3221221792 3221218864 1075896028 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4928 3932 1111 63 0 4865 0
vsize: 19712
[startup+1080.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 497985 0 0 0 106770 1287 0 0 25 0 1 0 673010379 18845696 3932 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4601 3932 1111 63 0 4538 0
vsize: 18404
[startup+1090.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 503120 0 0 0 107757 1300 0 0 25 0 1 0 673010379 20230144 4114 4294967295 134512640 134714508 3221221792 3221217824 1075965234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4939 4114 1111 63 0 4876 0
vsize: 19756
[startup+1100.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 507037 0 0 0 108747 1311 0 0 25 0 1 0 673010379 20283392 3996 4294967295 134512640 134714508 3221221792 3221218832 1075860058 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4952 3996 1111 63 0 4889 0
vsize: 19808
[startup+1110.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 512929 0 0 0 109731 1326 0 0 25 0 1 0 673010379 19836928 4026 4294967295 134512640 134714508 3221221792 3221217936 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4026 1111 63 0 4780 0
vsize: 19372
[startup+1120.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 517885 0 0 0 110721 1337 0 0 25 0 1 0 673010379 18939904 3955 4294967295 134512640 134714508 3221221792 3221220412 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4624 3955 1111 63 0 4561 0
vsize: 18496
[startup+1130.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 522039 0 0 0 111711 1347 0 0 25 0 1 0 673010379 20582400 4062 4294967295 134512640 134714508 3221221792 3221217728 1075965234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5025 4062 1111 63 0 4962 0
vsize: 20100
[startup+1140.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 526220 0 0 0 112700 1358 0 0 25 0 1 0 673010379 19062784 3985 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4654 3985 1111 63 0 4591 0
vsize: 18616
[startup+1150.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 530707 0 0 0 113689 1370 0 0 25 0 1 0 673010379 20639744 4057 4294967295 134512640 134714508 3221221792 3221218836 1077379572 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5039 4057 1111 63 0 4976 0
vsize: 20156
[startup+1160.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 535011 0 0 0 114678 1381 0 0 25 0 1 0 673010379 19193856 4017 4294967295 134512640 134714508 3221221792 3221219792 1074918083 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4686 4017 1111 63 0 4623 0
vsize: 18744
[startup+1170.5 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 539189 0 0 0 115668 1391 0 0 25 0 1 0 673010379 19353600 4056 4294967295 134512640 134714508 3221221792 3221219536 1075640396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4725 4056 1111 63 0 4662 0
vsize: 18900
[startup+1174.96 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 22500
Raw data (stat): 22443 (bsolo_lpr) R 22442 7876 7672 0 -1 0 539189 0 0 0 115668 1391 0 0 25 0 1 0 673010379 19353600 4056 4294967295 134512640 134714508 3221221792 3221219536 1075640396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4725 4056 1111 63 0 4662 0
vsize: 0

Child status: 10
Real time (s): 1174.95
CPU time (s): 1175.05
CPU user time (s): 1161.06
CPU system time (s): 13.9949
CPU usage (%): 100.008
Max. virtual memory (Kb): 20156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	323
#### END VERIFIER DATA ####