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/logic-synthesis/normalized-e64.b.opb
MD5SUM	bf7f8537c6faa135d25c67c53576abb5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	49
Optimality of the best value was proved	NO
Number of terms in the objective function	608
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	608
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	608
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.03484
Number of variables	607
Total number of constraints	1053
Number of constraints which are clauses	1022
Number of constraints which are cardinality constraints (but not clauses)	31
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	32
Trace number 39445

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 10:11:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27508 boxname=wulflinc3 idbench=66 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  bf7f8537c6faa135d25c67c53576abb5  /oldhome/oroussel/tmp/wulflinc3/normalized-e64.b.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-e64.b.opb
IDLAUNCH: 27508
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        278392 kB
Buffers:         34084 kB
Cached:         698852 kB
SwapCached:        240 kB
Active:          64152 kB
Inactive:       671320 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        278140 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15156 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 10:31:03 (client local time) WITH STATUS 10 IN 1175.1 SECONDS
stats: 27508 0 1175.1 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 608 variables and 1022 constraints.
c After prepocess the problem consists of 608 variables and 958 constraints.
c preprocess terminated 0.472 s
c Initial Lower Bound: 37
c Lower Bound Elapsed time: 0.17
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 53 @ 7.871
c NEW SOLUTION FOUND: 52 @ 12.915
c NEW SOLUTION FOUND: 51 @ 770.944
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 
c Exit Code: 10
c Total time: 1175.09 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.88 0.95 0.93 2/54 9432
Raw data (stat): 9432 (runsolver) R 9431 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892163861 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.90 0.95 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 7520 0 0 0 977 19 0 0 25 0 1 0 892163861 7712768 1183 4294967295 134512640 134716908 3221224592 3221222456 1077378753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 1183 1111 63 0 1820 0
vsize: 7532
[startup+20.0009 s]
Raw data (loadavg): 0.92 0.96 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 16860 0 0 0 1949 46 0 0 25 0 1 0 892163861 7774208 1205 4294967295 134512640 134716908 3221224592 3221222928 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1898 1205 1111 63 0 1835 0
vsize: 7592
[startup+30.0011 s]
Raw data (loadavg): 0.93 0.96 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 26070 0 0 0 2925 71 0 0 25 0 1 0 892163861 8192000 1231 4294967295 134512640 134716908 3221224592 3221220560 1075965248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2000 1231 1111 63 0 1937 0
vsize: 8000
[startup+40.0018 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 34395 0 0 0 3902 94 0 0 25 0 1 0 892163861 7778304 1206 4294967295 134512640 134716908 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1899 1206 1111 63 0 1836 0
vsize: 7596
[startup+50.0024 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 41988 0 0 0 4884 112 0 0 25 0 1 0 892163861 7778304 1206 4294967295 134512640 134716908 3221224592 3221222928 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1899 1206 1111 63 0 1836 0
vsize: 7596
[startup+60.0025 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 52456 0 0 0 5855 142 0 0 25 0 1 0 892163861 7778304 1206 4294967295 134512640 134716908 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1899 1206 1111 63 0 1836 0
vsize: 7596
[startup+70.0034 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 61348 0 0 0 6829 167 0 0 25 0 1 0 892163861 7778304 1206 4294967295 134512640 134716908 3221224592 3221223200 134652477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1899 1206 1111 63 0 1836 0
vsize: 7596
[startup+80.0039 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 69738 0 0 0 7804 192 0 0 25 0 1 0 892163861 8187904 1229 4294967295 134512640 134716908 3221224592 3221220820 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1999 1229 1111 63 0 1936 0
vsize: 7996
[startup+90.004 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 79337 0 0 0 8778 219 0 0 25 0 1 0 892163861 8130560 1235 4294967295 134512640 134716908 3221224592 3221220524 1074788183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1985 1235 1111 63 0 1922 0
vsize: 7940
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 91134 0 0 0 9745 252 0 0 25 0 1 0 892163861 7839744 1221 4294967295 134512640 134716908 3221224592 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1914 1221 1111 63 0 1851 0
vsize: 7656
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 100267 0 0 0 10720 277 0 0 25 0 1 0 892163861 7938048 1232 4294967295 134512640 134716908 3221224592 3221222704 1074867283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1938 1232 1111 63 0 1875 0
vsize: 7752
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 107626 0 0 0 11699 299 0 0 25 0 1 0 892163861 7880704 1229 4294967295 134512640 134716908 3221224592 3221222512 1075799528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1924 1229 1111 63 0 1861 0
vsize: 7696
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 115498 0 0 0 12678 320 0 0 25 0 1 0 892163861 8282112 1251 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 1251 1111 63 0 1959 0
vsize: 8088
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 123049 0 0 0 13657 341 0 0 25 0 1 0 892163861 8282112 1251 4294967295 134512640 134716908 3221224592 3221220752 1074794655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 1251 1111 63 0 1959 0
vsize: 8088
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 132130 0 0 0 14633 365 0 0 25 0 1 0 892163861 8282112 1236 4294967295 134512640 134716908 3221224592 3221221692 1075661488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 1233 1111 63 0 1911 0
vsize: 8088
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 140494 0 0 0 15609 389 0 0 25 0 1 0 892163861 7880704 1230 4294967295 134512640 134716908 3221224592 3221222056 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1924 1230 1111 63 0 1861 0
vsize: 7696
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 150648 0 0 0 16582 417 0 0 25 0 1 0 892163861 8085504 1233 4294967295 134512640 134716908 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1926 1232 1111 63 0 1863 0
vsize: 7896
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 157882 0 0 0 17561 437 0 0 25 0 1 0 892163861 7880704 1231 4294967295 134512640 134716908 3221224592 3221222732 1073950808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1924 1231 1111 63 0 1861 0
vsize: 7696
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 165705 0 0 0 18540 459 0 0 25 0 1 0 892163861 7888896 1233 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1926 1233 1111 63 0 1863 0
vsize: 7704
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 173033 0 0 0 19522 477 0 0 25 0 1 0 892163861 8282112 1237 4294967295 134512640 134716908 3221224592 3221221512 1075964737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1926 1233 1111 63 0 1863 0
vsize: 8088
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 181471 0 0 0 20500 499 0 0 25 0 1 0 892163861 7888896 1233 4294967295 134512640 134716908 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1926 1233 1111 63 0 1863 0
vsize: 7704
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 188551 0 0 0 21480 520 0 0 25 0 1 0 892163861 8282112 1252 4294967295 134512640 134716908 3221224592 3221221632 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 1252 1111 63 0 1959 0
vsize: 8088
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 196367 0 0 0 22460 540 0 0 25 0 1 0 892163861 7888896 1233 4294967295 134512640 134716908 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1926 1233 1111 63 0 1863 0
vsize: 7704
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 203777 0 0 0 23439 561 0 0 25 0 1 0 892163861 7880704 1231 4294967295 134512640 134716908 3221224592 3221222928 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1924 1231 1111 63 0 1861 0
vsize: 7696
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 212992 0 0 0 24413 587 0 0 25 0 1 0 892163861 8282112 1252 4294967295 134512640 134716908 3221224592 3221220964 1075965449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 1252 1111 63 0 1959 0
vsize: 8088
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 222122 0 0 0 25390 610 0 0 25 0 1 0 892163861 7880704 1231 4294967295 134512640 134716908 3221224592 3221222524 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1924 1231 1111 63 0 1861 0
vsize: 7696
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 230914 0 0 0 26367 633 0 0 25 0 1 0 892163861 7888896 1233 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1926 1233 1111 63 0 1863 0
vsize: 7704
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 238362 0 0 0 27347 653 0 0 25 0 1 0 892163861 8302592 1259 4294967295 134512640 134716908 3221224592 3221220752 1074794475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 1259 1111 63 0 1964 0
vsize: 8108
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 247251 0 0 0 28324 676 0 0 25 0 1 0 892163861 8282112 1252 4294967295 134512640 134716908 3221224592 3221220864 1074960847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 1252 1111 63 0 1959 0
vsize: 8088
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 254303 0 0 0 29306 695 0 0 25 0 1 0 892163861 8282112 1238 4294967295 134512640 134716908 3221224592 3221221676 1074619284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 1238 1111 63 0 1959 0
vsize: 8088
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 263608 0 0 0 30278 722 0 0 25 0 1 0 892163861 7987200 1254 4294967295 134512640 134716908 3221224592 3221222760 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1950 1254 1111 63 0 1887 0
vsize: 7800
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 270427 0 0 0 31262 739 0 0 25 0 1 0 892163861 8380416 1275 4294967295 134512640 134716908 3221224592 3221220604 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 1275 1111 63 0 1983 0
vsize: 8184
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 276873 0 0 0 32243 758 0 0 25 0 1 0 892163861 7987200 1257 4294967295 134512640 134716908 3221224592 3221222536 1074051985 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1950 1257 1111 63 0 1887 0
vsize: 7800
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 288254 0 0 0 33212 790 0 0 25 0 1 0 892163861 7995392 1259 4294967295 134512640 134716908 3221224592 3221222636 1077379947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1950 1257 1111 63 0 1887 0
vsize: 7808
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 299515 0 0 0 34183 819 0 0 25 0 1 0 892163861 7995392 1259 4294967295 134512640 134716908 3221224592 3221223176 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1952 1259 1111 63 0 1889 0
vsize: 7808
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 310616 0 0 0 35154 849 0 0 25 0 1 0 892163861 7987200 1257 4294967295 134512640 134716908 3221224592 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1950 1257 1111 63 0 1887 0
vsize: 7800
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 322109 0 0 0 36123 880 0 0 25 0 1 0 892163861 8192000 1260 4294967295 134512640 134716908 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1952 1259 1111 63 0 1889 0
vsize: 8000
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 332325 0 0 0 37095 908 0 0 25 0 1 0 892163861 7995392 1259 4294967295 134512640 134716908 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1952 1259 1111 63 0 1889 0
vsize: 7808
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 343251 0 0 0 38067 936 0 0 25 0 1 0 892163861 7987200 1257 4294967295 134512640 134716908 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1950 1257 1111 63 0 1887 0
vsize: 7800
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 353911 0 0 0 39037 967 0 0 25 0 1 0 892163861 8388608 1278 4294967295 134512640 134716908 3221224592 3221220604 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2048 1278 1111 63 0 1985 0
vsize: 8192
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 365024 0 0 0 40007 997 0 0 25 0 1 0 892163861 7995392 1259 4294967295 134512640 134716908 3221224592 3221222320 1075635512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1952 1259 1111 63 0 1889 0
vsize: 7808
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 375759 0 0 0 40977 1027 0 0 25 0 1 0 892163861 7987200 1257 4294967295 134512640 134716908 3221224592 3221222944 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1950 1257 1111 63 0 1887 0
vsize: 7800
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 385700 0 0 0 41949 1055 0 0 25 0 1 0 892163861 7987200 1257 4294967295 134512640 134716908 3221224592 3221222796 1077374048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1950 1257 1111 63 0 1887 0
vsize: 7800
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 398384 0 0 0 42916 1088 0 0 25 0 1 0 892163861 8417280 1282 4294967295 134512640 134716908 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 1264 1111 63 0 1894 0
vsize: 8220
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 409666 0 0 0 43884 1120 0 0 25 0 1 0 892163861 8003584 1261 4294967295 134512640 134716908 3221224592 3221221872 1074140374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2050 1265 1111 63 0 1987 0
vsize: 7816
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 419114 0 0 0 44858 1147 0 0 25 0 1 0 892163861 8003584 1261 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 1261 1111 63 0 1891 0
vsize: 7816
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 426282 0 0 0 45839 1166 0 0 25 0 1 0 892163861 8396800 1281 4294967295 134512640 134716908 3221224592 3221220968 1075112606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2050 1281 1111 63 0 1987 0
vsize: 8200
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 434282 0 0 0 46816 1189 0 0 25 0 1 0 892163861 8396800 1280 4294967295 134512640 134716908 3221224592 3221221360 1076083342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2050 1280 1111 63 0 1987 0
vsize: 8200
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 441964 0 0 0 47793 1212 0 0 25 0 1 0 892163861 7995392 1259 4294967295 134512640 134716908 3221224592 3221222944 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1952 1259 1111 63 0 1889 0
vsize: 7808
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 449866 0 0 0 48772 1233 0 0 25 0 1 0 892163861 8003584 1261 4294967295 134512640 134716908 3221224592 3221223296 134625106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 1261 1111 63 0 1891 0
vsize: 7816
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 456863 0 0 0 49755 1251 0 0 25 0 1 0 892163861 7995392 1259 4294967295 134512640 134716908 3221224592 3221222780 1077404751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1952 1259 1111 63 0 1889 0
vsize: 7808
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 463172 0 0 0 50738 1267 0 0 25 0 1 0 892163861 8413184 1284 4294967295 134512640 134716908 3221224592 3221220924 1076111500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 1284 1111 63 0 1991 0
vsize: 8216
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 472683 0 0 0 51712 1294 0 0 25 0 1 0 892163861 8015872 1264 4294967295 134512640 134716908 3221224592 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 1264 1111 63 0 1894 0
vsize: 7828
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 483464 0 0 0 52682 1324 0 0 25 0 1 0 892163861 8019968 1265 4294967295 134512640 134716908 3221224592 3221223040 1074039440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 1265 1111 63 0 1895 0
vsize: 7832
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 491802 0 0 0 53660 1346 0 0 25 0 1 0 892163861 8466432 1278 4294967295 134512640 134716908 3221224592 3221221692 1074617492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 8268
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 498659 0 0 0 54643 1363 0 0 25 0 1 0 892163861 8077312 1274 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 7888
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 505305 0 0 0 55626 1381 0 0 25 0 1 0 892163861 8077312 1274 4294967295 134512640 134716908 3221224592 3221222944 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 7888
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 511388 0 0 0 56610 1397 0 0 25 0 1 0 892163861 8466432 1278 4294967295 134512640 134716908 3221224592 3221221648 1075276463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1278 1111 63 0 2004 0
vsize: 8268
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 518854 0 0 0 57589 1418 0 0 25 0 1 0 892163861 8077312 1274 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 7888
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 526711 0 0 0 58570 1437 0 0 25 0 1 0 892163861 8077312 1274 4294967295 134512640 134716908 3221224592 3221223296 134523399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 7888
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 532959 0 0 0 59552 1455 0 0 25 0 1 0 892163861 8466432 1292 4294967295 134512640 134716908 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1292 1111 63 0 2004 0
vsize: 8268
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 539703 0 0 0 60533 1475 0 0 25 0 1 0 892163861 8077312 1274 4294967295 134512640 134716908 3221224592 3221223276 134543556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 7888
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 547080 0 0 0 61512 1496 0 0 25 0 1 0 892163861 8077312 1274 4294967295 134512640 134716908 3221224592 3221222320 1075635930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 7888
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 554611 0 0 0 62493 1515 0 0 25 0 1 0 892163861 8077312 1274 4294967295 134512640 134716908 3221224592 3221222944 1074143115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 7888
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 561658 0 0 0 63474 1534 0 0 25 0 1 0 892163861 8466432 1292 4294967295 134512640 134716908 3221224592 3221221108 1075132451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1292 1111 63 0 2004 0
vsize: 8268
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 568678 0 0 0 64455 1554 0 0 25 0 1 0 892163861 8077312 1274 4294967295 134512640 134716908 3221224592 3221222896 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 7888
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 577348 0 0 0 65431 1577 0 0 25 0 1 0 892163861 8466432 1277 4294967295 134512640 134716908 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1277 1111 63 0 2004 0
vsize: 8268
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 585290 0 0 0 66410 1599 0 0 25 0 1 0 892163861 8077312 1274 4294967295 134512640 134716908 3221224592 3221222320 1075635518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 7888
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 594640 0 0 0 67382 1626 0 0 25 0 1 0 892163861 8077312 1274 4294967295 134512640 134716908 3221224592 3221223152 134539757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 7888
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 602835 0 0 0 68358 1651 0 0 25 0 1 0 892163861 8466432 1278 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1278 1111 63 0 2004 0
vsize: 8268
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 609813 0 0 0 69336 1673 0 0 25 0 1 0 892163861 8077312 1274 4294967295 134512640 134716908 3221224592 3221223208 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 7888
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 617546 0 0 0 70317 1693 0 0 25 0 1 0 892163861 8466432 1277 4294967295 134512640 134716908 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1277 1111 63 0 2004 0
vsize: 8268
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 625483 0 0 0 71296 1714 0 0 25 0 1 0 892163861 8466432 1291 4294967295 134512640 134716908 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1291 1111 63 0 2004 0
vsize: 8268
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 634943 0 0 0 72270 1740 0 0 25 0 1 0 892163861 8077312 1274 4294967295 134512640 134716908 3221224592 3221222592 1074916785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 7888
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 643256 0 0 0 73248 1762 0 0 25 0 1 0 892163861 8077312 1274 4294967295 134512640 134716908 3221224592 3221222592 1074915763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1274 1111 63 0 1909 0
vsize: 7888
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 651554 0 0 0 74228 1783 0 0 25 0 1 0 892163861 8466432 1299 4294967295 134512640 134716908 3221224592 3221220864 1074799300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1299 1111 63 0 2004 0
vsize: 8268
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 660197 0 0 0 75203 1807 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222888 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 667017 0 0 0 76184 1826 0 0 25 0 1 0 892163861 8466432 1297 4294967295 134512640 134716908 3221224592 3221220960 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1297 1111 63 0 2004 0
vsize: 8268
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 673598 0 0 0 77165 1846 0 0 25 0 1 0 892163861 8466432 1283 4294967295 134512640 134716908 3221224592 3221221124 1075863638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1283 1111 63 0 2004 0
vsize: 8268
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 679578 0 0 0 78150 1861 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 685643 0 0 0 79134 1876 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222928 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 691120 0 0 0 80119 1892 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 696743 0 0 0 81105 1907 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222680 1077377891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 702581 0 0 0 82089 1922 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221223168 134538685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 708612 0 0 0 83073 1939 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221223296 134625164 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 714093 0 0 0 84057 1955 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222552 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 720264 0 0 0 85041 1971 0 0 25 0 1 0 892163861 8466432 1284 4294967295 134512640 134716908 3221224592 3221221536 1074620200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1284 1111 63 0 2004 0
vsize: 8268
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 726431 0 0 0 86026 1986 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222872 1077377428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 732057 0 0 0 87010 2003 0 0 25 0 1 0 892163861 8466432 1297 4294967295 134512640 134716908 3221224592 3221220688 1075963939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1297 1111 63 0 2004 0
vsize: 8268
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 737366 0 0 0 87997 2016 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222592 1074918260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 742544 0 0 0 88985 2028 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222428 1074206265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 748415 0 0 0 89968 2045 0 0 25 0 1 0 892163861 8466432 1297 4294967295 134512640 134716908 3221224592 3221220960 1075894480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1297 1111 63 0 2004 0
vsize: 8268
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 754470 0 0 0 90947 2066 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221221936 1074839048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1284 1111 63 0 2004 0
vsize: 7888
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 760712 0 0 0 91931 2082 0 0 25 0 1 0 892163861 8466432 1298 4294967295 134512640 134716908 3221224592 3221220528 1075965301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1298 1111 63 0 2004 0
vsize: 8268
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 767192 0 0 0 92913 2101 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222724 1077374077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 773617 0 0 0 93895 2118 0 0 25 0 1 0 892163861 8466432 1297 4294967295 134512640 134716908 3221224592 3221220820 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1297 1111 63 0 2004 0
vsize: 8268
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 780941 0 0 0 94872 2142 0 0 25 0 1 0 892163861 8466432 1282 4294967295 134512640 134716908 3221224592 3221221592 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1290 1111 63 0 2004 0
vsize: 8268
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 788079 0 0 0 95853 2161 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 794151 0 0 0 96835 2179 0 0 25 0 1 0 892163861 8466432 1299 4294967295 134512640 134716908 3221224592 3221220968 1075112600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1299 1111 63 0 2004 0
vsize: 8268
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 800934 0 0 0 97818 2197 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 809085 0 0 0 98794 2220 0 0 25 0 1 0 892163861 8491008 1303 4294967295 134512640 134716908 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 1303 1111 63 0 2010 0
vsize: 8292
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 814601 0 0 0 99779 2236 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222472 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 819891 0 0 0 100764 2251 0 0 25 0 1 0 892163861 8466432 1297 4294967295 134512640 134716908 3221224592 3221220736 1074969486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1297 1111 63 0 2004 0
vsize: 8268
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 824868 0 0 0 101751 2264 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222992 1074119088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 831801 0 0 0 102732 2283 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222552 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 837445 0 0 0 103718 2298 0 0 25 0 1 0 892163861 8466432 1283 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1283 1111 63 0 2004 0
vsize: 8268
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 842755 0 0 0 104703 2313 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222704 1074867344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 847692 0 0 0 105688 2328 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222828 1074206265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 853665 0 0 0 106674 2342 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 859118 0 0 0 107659 2357 0 0 25 0 1 0 892163861 8466432 1284 4294967295 134512640 134716908 3221224592 3221221636 1074846241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1284 1111 63 0 2004 0
vsize: 8268
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 864241 0 0 0 108645 2372 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 869616 0 0 0 109628 2389 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222560 1075809065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 875730 0 0 0 110612 2405 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 882476 0 0 0 111594 2423 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 889132 0 0 0 112577 2441 0 0 25 0 1 0 892163861 8466432 1297 4294967295 134512640 134716908 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1297 1111 63 0 2004 0
vsize: 8268
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 895498 0 0 0 113557 2460 0 0 25 0 1 0 892163861 8077312 1279 4294967295 134512640 134716908 3221224592 3221222504 1074138303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 1279 1111 63 0 1909 0
vsize: 7888
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 902133 0 0 0 114541 2477 0 0 25 0 1 0 892163861 8466432 1297 4294967295 134512640 134716908 3221224592 3221220736 1074969685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1297 1111 63 0 2004 0
vsize: 8268
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 9432
Raw data (stat): 9432 (bsolo_lpr-v2) R 9431 20224 20223 0 -1 0 902133 0 0 0 114541 2477 0 0 25 0 1 0 892163861 8466432 1297 4294967295 134512640 134716908 3221224592 3221220736 1074969685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1297 1111 63 0 2004 0
vsize: 0

Child status: 10
Real time (s): 1174.95
CPU time (s): 1175.1
CPU user time (s): 1150.23
CPU system time (s): 24.8732
CPU usage (%): 100.013
Max. virtual memory (Kb): 8292
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	51
#### END VERIFIER DATA ####