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 39531

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 12:16:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27597 boxname=wulflinc4 idbench=155 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  151e246868267296e134c3c76a3cb289  /oldhome/oroussel/tmp/wulflinc4/normalized-ii32d1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ii32d1.opb
IDLAUNCH: 27597
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        398480 kB
Buffers:         34576 kB
Cached:         578148 kB
SwapCached:        568 kB
Active:          57308 kB
Inactive:       557612 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        398228 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15604 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 12:35:45 (client local time) WITH STATUS 10 IN 1175.16 SECONDS
stats: 27597 0 1175.16 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.597 s
c Initial Lower Bound: 193
c Lower Bound Elapsed time: 0.47475
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 332 @ 5.543
c NEW SOLUTION FOUND: 331 @ 5.552
c NEW SOLUTION FOUND: 330 @ 5.56
c NEW SOLUTION FOUND: 329 @ 5.569
c NEW SOLUTION FOUND: 328 @ 5.58
c NEW SOLUTION FOUND: 322 @ 160.847
c NEW SOLUTION FOUND: 321 @ 160.872
c NEW SOLUTION FOUND: 320 @ 161.219
c NEW SOLUTION FOUND: 317 @ 163.183
c NEW SOLUTION FOUND: 316 @ 168.065
c NEW SOLUTION FOUND: 310 @ 900.615
c NEW SOLUTION FOUND: 309 @ 901.006
c NEW SOLUTION FOUND: 302 @ 901.427
c NEW SOLUTION FOUND: 293 @ 1143.54
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.14 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.92 0.98 0.93 1/54 13437
Raw data (stat): 13437 (runsolver) R 13436 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892911167 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 3639 0 0 0 989 9 0 0 25 0 1 0 892911167 10293248 1590 4294967295 134512640 134716908 3221224592 3221220796 1075564159 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2513 1590 1111 63 0 2450 0
vsize: 10052
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 6250 0 0 0 1982 16 0 0 25 0 1 0 892911167 10682368 1639 4294967295 134512640 134716908 3221224592 3221220924 1076111476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2608 1639 1111 63 0 2545 0
vsize: 10432
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 8496 0 0 0 2977 21 0 0 25 0 1 0 892911167 9846784 1625 4294967295 134512640 134716908 3221224592 3221220752 1075094879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2404 1625 1111 63 0 2341 0
vsize: 9616
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 12988 0 0 0 3968 30 0 0 25 0 1 0 892911167 9175040 1559 4294967295 134512640 134716908 3221224592 3221221784 1074138268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2513 1565 1111 63 0 2450 0
vsize: 8960
[startup+50.0007 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 16499 0 0 0 4959 39 0 0 25 0 1 0 892911167 10518528 1597 4294967295 134512640 134716908 3221224592 3221220928 1075113414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2568 1597 1111 63 0 2505 0
vsize: 10272
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 20607 0 0 0 5948 50 0 0 25 0 1 0 892911167 9175040 1559 4294967295 134512640 134716908 3221224592 3221222992 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 1559 1111 63 0 2177 0
vsize: 8960
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 24331 0 0 0 6940 58 0 0 25 0 1 0 892911167 10518528 1584 4294967295 134512640 134716908 3221224592 3221220752 1075091814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2568 1584 1111 63 0 2505 0
vsize: 10272
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 31100 0 0 0 7925 74 0 0 25 0 1 0 892911167 10518528 1583 4294967295 134512640 134716908 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2568 1583 1111 63 0 2505 0
vsize: 10272
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 36365 0 0 0 8912 86 0 0 25 0 1 0 892911167 9175040 1559 4294967295 134512640 134716908 3221224592 3221222752 1074050938 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 1559 1111 63 0 2177 0
vsize: 8960
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 40749 0 0 0 9902 97 0 0 25 0 1 0 892911167 10518528 1595 4294967295 134512640 134716908 3221224592 3221220648 1074789596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2568 1595 1111 63 0 2505 0
vsize: 10272
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 44667 0 0 0 10892 107 0 0 25 0 1 0 892911167 9175040 1559 4294967295 134512640 134716908 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 1559 1111 63 0 2177 0
vsize: 8960
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 48992 0 0 0 11882 118 0 0 25 0 1 0 892911167 10596352 1603 4294967295 134512640 134716908 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1603 1111 63 0 2524 0
vsize: 10348
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 53436 0 0 0 12871 129 0 0 25 0 1 0 892911167 10731520 1631 4294967295 134512640 134716908 3221224592 3221221248 1075967440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2620 1631 1111 63 0 2557 0
vsize: 10480
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 56732 0 0 0 13863 136 0 0 25 0 1 0 892911167 10797056 1662 4294967295 134512640 134716908 3221224592 3221220488 1074789596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2636 1662 1111 63 0 2573 0
vsize: 10544
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 64550 0 0 0 14843 157 0 0 25 0 1 0 892911167 10313728 1675 4294967295 134512640 134716908 3221224592 3221221360 1076083342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2518 1675 1111 63 0 2455 0
vsize: 10072
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 73043 0 0 0 15823 177 0 0 25 0 1 0 892911167 10899456 1685 4294967295 134512640 134716908 3221224592 3221221424 1075115428 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2661 1685 1111 63 0 2598 0
vsize: 10644
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 79633 0 0 0 16806 194 0 0 25 0 1 0 892911167 10907648 1674 4294967295 134512640 134716908 3221224592 3221220832 1075115726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2663 1674 1111 63 0 2600 0
vsize: 10652
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 84576 0 0 0 17794 206 0 0 25 0 1 0 892911167 11059200 1701 4294967295 134512640 134716908 3221224592 3221221104 1075084528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2700 1701 1111 63 0 2637 0
vsize: 10800
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 90582 0 0 0 18781 219 0 0 25 0 1 0 892911167 9580544 1660 4294967295 134512640 134716908 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2339 1660 1111 63 0 2276 0
vsize: 9356
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 99236 0 0 0 19759 241 0 0 25 0 1 0 892911167 9654272 1679 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2357 1679 1111 63 0 2294 0
vsize: 9428
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 114243 0 0 0 20725 276 0 0 25 0 1 0 892911167 10665984 1775 4294967295 134512640 134716908 3221224592 3221221692 1075661488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2604 1775 1111 63 0 2541 0
vsize: 10416
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 121138 0 0 0 21708 292 0 0 25 0 1 0 892911167 11272192 1772 4294967295 134512640 134716908 3221224592 3221220648 1074789530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2752 1772 1111 63 0 2689 0
vsize: 11008
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 127267 0 0 0 22694 307 0 0 25 0 1 0 892911167 10928128 1833 4294967295 134512640 134716908 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2668 1833 1111 63 0 2605 0
vsize: 10672
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 135103 0 0 0 23674 327 0 0 25 0 1 0 892911167 11415552 1817 4294967295 134512640 134716908 3221224592 3221220928 1075113623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2787 1817 1111 63 0 2724 0
vsize: 11148
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 142700 0 0 0 24656 346 0 0 25 0 1 0 892911167 10121216 1793 4294967295 134512640 134716908 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2471 1793 1111 63 0 2408 0
vsize: 9884
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 148960 0 0 0 25640 361 0 0 25 0 1 0 892911167 11042816 1867 4294967295 134512640 134716908 3221224592 3221220528 1075965253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2696 1867 1111 63 0 2633 0
vsize: 10784
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 155676 0 0 0 26622 379 0 0 25 0 1 0 892911167 11128832 1881 4294967295 134512640 134716908 3221224592 3221220928 1075114277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2717 1881 1111 63 0 2654 0
vsize: 10868
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 161738 0 0 0 27605 396 0 0 25 0 1 0 892911167 10268672 1829 4294967295 134512640 134716908 3221224592 3221221872 1074140001 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2507 1829 1111 63 0 2444 0
vsize: 10028
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 172109 0 0 0 28581 421 0 0 25 0 1 0 892911167 10354688 1850 4294967295 134512640 134716908 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2528 1850 1111 63 0 2465 0
vsize: 10112
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 178391 0 0 0 29565 438 0 0 25 0 1 0 892911167 10407936 1863 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1863 1111 63 0 2478 0
vsize: 10164
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 186123 0 0 0 30548 454 0 0 25 0 1 0 892911167 11329536 1936 4294967295 134512640 134716908 3221224592 3221220736 1074970469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2766 1936 1111 63 0 2703 0
vsize: 11064
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 196616 0 0 0 31523 480 0 0 25 0 1 0 892911167 11354112 1935 4294967295 134512640 134716908 3221224592 3221220820 1075114960 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2772 1935 1111 63 0 2709 0
vsize: 11088
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 204893 0 0 0 32504 499 0 0 25 0 1 0 892911167 10567680 1902 4294967295 134512640 134716908 3221224592 3221222944 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1902 1111 63 0 2517 0
vsize: 10320
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 210439 0 0 0 33491 512 0 0 25 0 1 0 892911167 11542528 1984 4294967295 134512640 134716908 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2818 1984 1111 63 0 2755 0
vsize: 11272
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 216881 0 0 0 34475 528 0 0 25 0 1 0 892911167 10604544 1911 4294967295 134512640 134716908 3221224592 3221222776 1077377416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1911 1111 63 0 2526 0
vsize: 10356
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 224489 0 0 0 35458 546 0 0 25 0 1 0 892911167 10633216 1918 4294967295 134512640 134716908 3221224592 3221222336 1075640210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2596 1918 1111 63 0 2533 0
vsize: 10384
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 230751 0 0 0 36442 561 0 0 25 0 1 0 892911167 10719232 1939 4294967295 134512640 134716908 3221224592 3221222496 1073978442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2617 1939 1111 63 0 2554 0
vsize: 10468
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 238455 0 0 0 37423 581 0 0 25 0 1 0 892911167 10768384 1951 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2629 1951 1111 63 0 2566 0
vsize: 10516
[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 247403 0 0 0 38403 601 0 0 25 0 1 0 892911167 10768384 1951 4294967295 134512640 134716908 3221224592 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2629 1951 1111 63 0 2566 0
vsize: 10516
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 253447 0 0 0 39388 616 0 0 25 0 1 0 892911167 12230656 2008 4294967295 134512640 134716908 3221224592 3221221248 1075967858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2986 2008 1111 63 0 2923 0
vsize: 11944
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 259947 0 0 0 40371 633 0 0 25 0 1 0 892911167 12488704 2059 4294967295 134512640 134716908 3221224592 3221221120 1075119949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3049 2059 1111 63 0 2986 0
vsize: 12196
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 266053 0 0 0 41358 646 0 0 25 0 1 0 892911167 12365824 2042 4294967295 134512640 134716908 3221224592 3221220736 1074969772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3019 2042 1111 63 0 2956 0
vsize: 12076
[startup+430.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 272321 0 0 0 42343 661 0 0 25 0 1 0 892911167 12472320 2073 4294967295 134512640 134716908 3221224592 3221221124 1075863672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 2073 1111 63 0 2982 0
vsize: 12180
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 278213 0 0 0 43330 675 0 0 25 0 1 0 892911167 12505088 2070 4294967295 134512640 134716908 3221224592 3221220820 1075114969 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3053 2070 1111 63 0 2990 0
vsize: 12212
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 282441 0 0 0 44318 686 0 0 25 0 1 0 892911167 11128832 2039 4294967295 134512640 134716908 3221224592 3221223228 134651434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2717 2039 1111 63 0 2654 0
vsize: 10868
[startup+460.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 290411 0 0 0 45300 705 0 0 25 0 1 0 892911167 11141120 2042 4294967295 134512640 134716908 3221224592 3221221696 1074139121 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2939 2048 1111 63 0 2876 0
vsize: 10880
[startup+470.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 296608 0 0 0 46285 720 0 0 25 0 1 0 892911167 12795904 2132 4294967295 134512640 134716908 3221224592 3221220768 1074882592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3124 2132 1111 63 0 3061 0
vsize: 12496
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 303163 0 0 0 47270 736 0 0 25 0 1 0 892911167 12132352 2133 4294967295 134512640 134716908 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2962 2133 1111 63 0 2899 0
vsize: 11848
[startup+490.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 308556 0 0 0 48256 749 0 0 25 0 1 0 892911167 12681216 2111 4294967295 134512640 134716908 3221224592 3221220736 1074969465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3096 2111 1111 63 0 3033 0
vsize: 12384
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 314391 0 0 0 49242 764 0 0 25 0 1 0 892911167 12849152 2297 4294967295 134512640 134716908 3221224592 3221220752 1074883509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3137 2297 1111 63 0 3074 0
vsize: 12548
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 321199 0 0 0 50225 781 0 0 25 0 1 0 892911167 11464704 2121 4294967295 134512640 134716908 3221224592 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2799 2121 1111 63 0 2736 0
vsize: 11196
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 328918 0 0 0 51207 799 0 0 25 0 1 0 892911167 11481088 2125 4294967295 134512640 134716908 3221224592 3221222992 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2803 2125 1111 63 0 2740 0
vsize: 11212
[startup+530.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 337674 0 0 0 52186 820 0 0 25 0 1 0 892911167 12378112 2192 4294967295 134512640 134716908 3221224592 3221221248 1075966540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3022 2192 1111 63 0 2959 0
vsize: 12088
[startup+540.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 345898 0 0 0 53167 839 0 0 25 0 1 0 892911167 11481088 2125 4294967295 134512640 134716908 3221224592 3221223232 134524469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2803 2125 1111 63 0 2740 0
vsize: 11212
[startup+550.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 354557 0 0 0 54146 860 0 0 25 0 1 0 892911167 11489280 2127 4294967295 134512640 134716908 3221224592 3221222976 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2805 2127 1111 63 0 2742 0
vsize: 11220
[startup+560.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 359946 0 0 0 55134 873 0 0 25 0 1 0 892911167 11571200 2147 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2825 2147 1111 63 0 2762 0
vsize: 11300
[startup+570.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 366255 0 0 0 56119 888 0 0 25 0 1 0 892911167 11694080 2177 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2855 2177 1111 63 0 2792 0
vsize: 11420
[startup+580.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 373327 0 0 0 57103 904 0 0 25 0 1 0 892911167 11694080 2177 4294967295 134512640 134716908 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2855 2177 1111 63 0 2792 0
vsize: 11420
[startup+590.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 381045 0 0 0 58085 922 0 0 25 0 1 0 892911167 11771904 2196 4294967295 134512640 134716908 3221224592 3221222836 1077374189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2874 2196 1111 63 0 2811 0
vsize: 11496
[startup+600.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 387219 0 0 0 59072 935 0 0 25 0 1 0 892911167 12738560 2282 4294967295 134512640 134716908 3221224592 3221220736 1074968776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3110 2282 1111 63 0 3047 0
vsize: 12440
[startup+610.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 392606 0 0 0 60060 948 0 0 25 0 1 0 892911167 11931648 2235 4294967295 134512640 134716908 3221224592 3221222944 1074115304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2913 2235 1111 63 0 2850 0
vsize: 11652
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 400425 0 0 0 61041 967 0 0 25 0 1 0 892911167 12914688 2322 4294967295 134512640 134716908 3221224592 3221220704 1075895652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3153 2322 1111 63 0 3090 0
vsize: 12612
[startup+630.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 405904 0 0 0 62027 981 0 0 25 0 1 0 892911167 12017664 2256 4294967295 134512640 134716908 3221224592 3221222320 1075829570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2934 2256 1111 63 0 2871 0
vsize: 11736
[startup+640.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 410842 0 0 0 63014 994 0 0 25 0 1 0 892911167 13021184 2343 4294967295 134512640 134716908 3221224592 3221220528 1075965250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3179 2343 1111 63 0 3116 0
vsize: 12716
[startup+650.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 417864 0 0 0 63999 1010 0 0 25 0 1 0 892911167 12095488 2275 4294967295 134512640 134716908 3221224592 3221223208 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2953 2275 1111 63 0 2890 0
vsize: 11812
[startup+660.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 424350 0 0 0 64985 1024 0 0 25 0 1 0 892911167 12165120 2292 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2970 2292 1111 63 0 2907 0
vsize: 11880
[startup+670.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 431496 0 0 0 65967 1042 0 0 25 0 1 0 892911167 13606912 2341 4294967295 134512640 134716908 3221224592 3221220648 1074789611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3322 2341 1111 63 0 3259 0
vsize: 13288
[startup+680.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 438622 0 0 0 66951 1059 0 0 25 0 1 0 892911167 12238848 2310 4294967295 134512640 134716908 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2988 2310 1111 63 0 2925 0
vsize: 11952
[startup+690.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 444935 0 0 0 67935 1075 0 0 25 0 1 0 892911167 13799424 2360 4294967295 134512640 134716908 3221224592 3221220820 1075114921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2360 1111 63 0 3306 0
vsize: 13476
[startup+700.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 450802 0 0 0 68921 1088 0 0 25 0 1 0 892911167 13758464 2376 4294967295 134512640 134716908 3221224592 3221220752 1074883509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3359 2376 1111 63 0 3296 0
vsize: 13436
[startup+710.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 456886 0 0 0 69906 1104 0 0 25 0 1 0 892911167 12509184 2376 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3054 2376 1111 63 0 2991 0
vsize: 12216
[startup+720.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 463669 0 0 0 70889 1121 0 0 25 0 1 0 892911167 13881344 2421 4294967295 134512640 134716908 3221224592 3221221664 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3389 2421 1111 63 0 3326 0
vsize: 13556
[startup+730.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 468757 0 0 0 71877 1133 0 0 25 0 1 0 892911167 13508608 2468 4294967295 134512640 134716908 3221224592 3221220796 1075564169 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3298 2468 1111 63 0 3235 0
vsize: 13192
[startup+740.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 475581 0 0 0 72860 1151 0 0 25 0 1 0 892911167 14000128 2441 4294967295 134512640 134716908 3221224592 3221220736 1074970267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3418 2441 1111 63 0 3355 0
vsize: 13672
[startup+750.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 480959 0 0 0 73847 1163 0 0 25 0 1 0 892911167 12627968 2405 4294967295 134512640 134716908 3221224592 3221223256 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3083 2405 1111 63 0 3020 0
vsize: 12332
[startup+760.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 486861 0 0 0 74833 1178 0 0 25 0 1 0 892911167 12660736 2413 4294967295 134512640 134716908 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3091 2413 1111 63 0 3028 0
vsize: 12364
[startup+770.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 492455 0 0 0 75819 1192 0 0 25 0 1 0 892911167 13627392 2494 4294967295 134512640 134716908 3221224592 3221220500 1074786562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3327 2494 1111 63 0 3264 0
vsize: 13308
[startup+780.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 498206 0 0 0 76806 1206 0 0 25 0 1 0 892911167 14163968 2471 4294967295 134512640 134716908 3221224592 3221221360 1076084087 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3458 2471 1111 63 0 3395 0
vsize: 13832
[startup+790.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 504456 0 0 0 77791 1221 0 0 25 0 1 0 892911167 13684736 2509 4294967295 134512640 134716908 3221224592 3221220692 1075964248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2509 1111 63 0 3278 0
vsize: 13364
[startup+800.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 511177 0 0 0 78776 1236 0 0 25 0 1 0 892911167 14336000 2513 4294967295 134512640 134716908 3221224592 3221221056 1075602919 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3500 2513 1111 63 0 3437 0
vsize: 14000
[startup+810.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 518131 0 0 0 79759 1253 0 0 25 0 1 0 892911167 12836864 2456 4294967295 134512640 134716908 3221224592 3221222628 1077378730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3134 2456 1111 63 0 3071 0
vsize: 12536
[startup+820.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 524762 0 0 0 80744 1268 0 0 25 0 1 0 892911167 13836288 2548 4294967295 134512640 134716908 3221224592 3221221248 1075966271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3378 2548 1111 63 0 3315 0
vsize: 13512
[startup+830.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 531528 0 0 0 81728 1285 0 0 25 0 1 0 892911167 13004800 2497 4294967295 134512640 134716908 3221224592 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3175 2497 1111 63 0 3112 0
vsize: 12700
[startup+840.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 538498 0 0 0 82711 1302 0 0 25 0 1 0 892911167 13045760 2504 4294967295 134512640 134716908 3221224592 3221223296 134528702 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2504 1111 63 0 3122 0
vsize: 12740
[startup+850.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 543549 0 0 0 83698 1315 0 0 25 0 1 0 892911167 13111296 2523 4294967295 134512640 134716908 3221224592 3221222992 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3201 2523 1111 63 0 3138 0
vsize: 12804
[startup+860.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 547502 0 0 0 84687 1325 0 0 25 0 1 0 892911167 14032896 2599 4294967295 134512640 134716908 3221224592 3221220624 1074790236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3426 2599 1111 63 0 3363 0
vsize: 13704
[startup+870.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 555125 0 0 0 85669 1344 0 0 25 0 1 0 892911167 13217792 2538 4294967295 134512640 134716908 3221224592 3221222592 1074916822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2538 1111 63 0 3164 0
vsize: 12908
[startup+880.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 562000 0 0 0 86654 1359 0 0 25 0 1 0 892911167 14508032 2651 4294967295 134512640 134716908 3221224592 3221220752 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3542 2662 1111 63 0 3479 0
vsize: 14168
[startup+890.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 569050 0 0 0 87638 1375 0 0 25 0 1 0 892911167 14123008 2618 4294967295 134512640 134716908 3221224592 3221220736 1074969986 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3448 2618 1111 63 0 3385 0
vsize: 13792
[startup+900.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 574840 0 0 0 88624 1389 0 0 25 0 1 0 892911167 14696448 2615 4294967295 134512640 134716908 3221224592 3221221184 1074886253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2615 1111 63 0 3525 0
vsize: 14352
[startup+910.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 584045 0 0 0 89603 1411 0 0 25 0 1 0 892911167 13352960 2582 4294967295 134512640 134716908 3221224592 3221222776 1077377551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3260 2582 1111 63 0 3197 0
vsize: 13040
[startup+920.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 588844 0 0 0 90591 1423 0 0 25 0 1 0 892911167 13352960 2582 4294967295 134512640 134716908 3221224592 3221222968 1074143073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3260 2582 1111 63 0 3197 0
vsize: 13040
[startup+930.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 592653 0 0 0 91582 1432 0 0 25 0 1 0 892911167 14921728 2652 4294967295 134512640 134716908 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3643 2652 1111 63 0 3580 0
vsize: 14572
[startup+940.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 600885 0 0 0 92562 1452 0 0 25 0 1 0 892911167 14331904 2669 4294967295 134512640 134716908 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3499 2669 1111 63 0 3436 0
vsize: 13996
[startup+950.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 608989 0 0 0 93542 1472 0 0 25 0 1 0 892911167 14995456 2654 4294967295 134512640 134716908 3221224592 3221220752 1075090771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3661 2654 1111 63 0 3598 0
vsize: 14644
[startup+960.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 615540 0 0 0 94527 1487 0 0 25 0 1 0 892911167 13496320 2617 4294967295 134512640 134716908 3221224592 3221222868 1077374550 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3295 2617 1111 63 0 3232 0
vsize: 13180
[startup+970.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 622362 0 0 0 95512 1502 0 0 25 0 1 0 892911167 15097856 2680 4294967295 134512640 134716908 3221224592 3221220832 1075115734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3686 2680 1111 63 0 3623 0
vsize: 14744
[startup+980.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 628345 0 0 0 96498 1516 0 0 25 0 1 0 892911167 14913536 2671 4294967295 134512640 134716908 3221224592 3221220928 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2671 1111 63 0 3578 0
vsize: 14564
[startup+990.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 631900 0 0 0 97490 1525 0 0 25 0 1 0 892911167 13570048 2635 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3313 2635 1111 63 0 3250 0
vsize: 13252
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 636900 0 0 0 98478 1537 0 0 25 0 1 0 892911167 15126528 2694 4294967295 134512640 134716908 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3693 2694 1111 63 0 3630 0
vsize: 14772
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 641438 0 0 0 99465 1551 0 0 25 0 1 0 892911167 15175680 2701 4294967295 134512640 134716908 3221224592 3221220488 1074789545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3705 2701 1111 63 0 3642 0
vsize: 14820
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 646984 0 0 0 100453 1562 0 0 25 0 1 0 892911167 15159296 2725 4294967295 134512640 134716908 3221224592 3221220820 1075114975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3701 2725 1111 63 0 3638 0
vsize: 14804
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 652260 0 0 0 101439 1577 0 0 25 0 1 0 892911167 13815808 2695 4294967295 134512640 134716908 3221224592 3221222940 1074207488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3373 2695 1111 63 0 3310 0
vsize: 13492
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 656378 0 0 0 102430 1586 0 0 25 0 1 0 892911167 13860864 2706 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3384 2706 1111 63 0 3321 0
vsize: 13536
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 661969 0 0 0 103416 1600 0 0 25 0 1 0 892911167 14815232 2787 4294967295 134512640 134716908 3221224592 3221220500 1074786528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3617 2787 1111 63 0 3554 0
vsize: 14468
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 667471 0 0 0 104402 1614 0 0 25 0 1 0 892911167 15306752 2736 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3737 2739 1111 63 0 3674 0
vsize: 14948
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 672576 0 0 0 105389 1627 0 0 25 0 1 0 892911167 14151680 2742 4294967295 134512640 134716908 3221224592 3221222728 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3455 2742 1111 63 0 3392 0
vsize: 13820
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 676692 0 0 0 106378 1639 0 0 25 0 1 0 892911167 15433728 2795 4294967295 134512640 134716908 3221224592 3221220684 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3768 2795 1111 63 0 3705 0
vsize: 15072
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 682049 0 0 0 107364 1653 0 0 25 0 1 0 892911167 15462400 2946 4294967295 134512640 134716908 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3775 2946 1111 63 0 3712 0
vsize: 15100
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 685938 0 0 0 108354 1663 0 0 25 0 1 0 892911167 15712256 2850 4294967295 134512640 134716908 3221224592 3221220820 1075115033 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3836 2850 1111 63 0 3773 0
vsize: 15344
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 690775 0 0 0 109342 1675 0 0 25 0 1 0 892911167 14221312 2794 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3472 2794 1111 63 0 3409 0
vsize: 13888
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 694614 0 0 0 110331 1685 0 0 25 0 1 0 892911167 15810560 2860 4294967295 134512640 134716908 3221224592 3221220928 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3860 2860 1111 63 0 3797 0
vsize: 15440
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 699702 0 0 0 111316 1700 0 0 25 0 1 0 892911167 15765504 2872 4294967295 134512640 134716908 3221224592 3221220752 1074794528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3849 2872 1111 63 0 3786 0
vsize: 15396
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 703571 0 0 0 112306 1711 0 0 25 0 1 0 892911167 15908864 2900 4294967295 134512640 134716908 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3884 2900 1111 63 0 3821 0
vsize: 15536
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 707790 0 0 0 113294 1722 0 0 25 0 1 0 892911167 14413824 2841 4294967295 134512640 134716908 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2841 1111 63 0 3456 0
vsize: 14076
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 712500 0 0 0 114283 1734 0 0 25 0 1 0 892911167 15937536 2900 4294967295 134512640 134716908 3221224592 3221220736 1074969637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 2900 1111 63 0 3828 0
vsize: 15564
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 719905 0 0 0 115263 1753 0 0 25 0 1 0 892911167 15446016 2920 4294967295 134512640 134716908 3221224592 3221220656 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3771 2920 1111 63 0 3708 0
vsize: 15084
[startup+1175.02 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 13437
Raw data (stat): 13437 (bsolo_lpr-v2) R 13436 21152 21151 0 -1 0 719905 0 0 0 115263 1753 0 0 25 0 1 0 892911167 15446016 2920 4294967295 134512640 134716908 3221224592 3221220656 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3771 2920 1111 63 0 3708 0
vsize: 0

Child status: 10
Real time (s): 1175.02
CPU time (s): 1175.16
CPU user time (s): 1157.53
CPU system time (s): 17.6253
CPU usage (%): 100.012
Max. virtual memory (Kb): 15564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	293
#### END VERIFIER DATA ####