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/synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUM	6292e63147fb202dc159fbf5a9ff5c77
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4822
Optimality of the best value was proved	NO
Number of terms in the objective function	771
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	33355
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	33355
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	771
Total number of constraints	1951
Number of constraints which are clauses	1949
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	1
Maximum length of a constraint	42
Trace number 39632

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 15:08:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27690 boxname=wulflinc4 idbench=248 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6292e63147fb202dc159fbf5a9ff5c77  /oldhome/oroussel/tmp/wulflinc4/normalized-C432.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-C432.opb
IDLAUNCH: 27690
/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:        394720 kB
Buffers:         35072 kB
Cached:         581392 kB
SwapCached:        568 kB
Active:          57512 kB
Inactive:       561080 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        394468 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15720 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:27:41 (client local time) WITH STATUS 10 IN 1175.33 SECONDS
stats: 27690 0 1175.33 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 771 variables and 1951 constraints.
c After prepocess the problem consists of 753 variables and 1726 constraints.
c preprocess terminated 0.795 s
c Initial Lower Bound: 4728
c Lower Bound Elapsed time: 0.3665
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4911 @ 12.152
c NEW SOLUTION FOUND: 4901 @ 33.962
c NEW SOLUTION FOUND: 4847 @ 107.306
c NEW SOLUTION FOUND: 4841 @ 182.522
c NEW SOLUTION FOUND: 4840 @ 292.534
c NEW SOLUTION FOUND: 4837 @ 307.346
c NEW SOLUTION FOUND: 4834 @ 327.272
c NEW SOLUTION FOUND: 4828 @ 1097.55
c NEW SOLUTION FOUND: 4822 @ 1158.4
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 x56 x57 x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 -x224 x225 x226 x227 x228 -x229 -x230 -x231 x232 -x233 -x234 x235 -x236 x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 -x297 -x298 -x299 x300 x301 -x302 x303 x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 x464 x465 -x466 -x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 x520 -x521 x522 x523 x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 x751 -x752 x753 x754 x755 x756 x757 -x758 -x759 x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 -x771 
c Exit Code: 10
c Total time: 1175.32 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.56 0.77 0.84 1/54 17234
Raw data (stat): 17234 (runsolver) R 17233 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893942897 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0005 s]
Raw data (loadavg): 0.62 0.77 0.84 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 3292 0 0 0 989 8 0 0 25 0 1 0 893942897 7909376 1249 4294967295 134512640 134716908 3221224592 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1931 1249 1111 63 0 1868 0
vsize: 7724
[startup+20.0018 s]
Raw data (loadavg): 0.68 0.78 0.84 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 5505 0 0 0 1983 14 0 0 25 0 1 0 893942897 7909376 1251 4294967295 134512640 134716908 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1931 1251 1111 63 0 1868 0
vsize: 7724
[startup+30.0032 s]
Raw data (loadavg): 0.73 0.79 0.84 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 7915 0 0 0 2976 21 0 0 25 0 1 0 893942897 7909376 1251 4294967295 134512640 134716908 3221224592 3221223240 134542406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1931 1251 1111 63 0 1868 0
vsize: 7724
[startup+40.0029 s]
Raw data (loadavg): 0.77 0.80 0.84 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 10237 0 0 0 3971 27 0 0 25 0 1 0 893942897 7909376 1251 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1931 1251 1111 63 0 1868 0
vsize: 7724
[startup+50.0031 s]
Raw data (loadavg): 0.81 0.80 0.84 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 12951 0 0 0 4964 34 0 0 25 0 1 0 893942897 7909376 1251 4294967295 134512640 134716908 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1931 1251 1111 63 0 1868 0
vsize: 7724
[startup+60.0036 s]
Raw data (loadavg): 0.83 0.81 0.84 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 15859 0 0 0 5956 42 0 0 25 0 1 0 893942897 9105408 1346 4294967295 134512640 134716908 3221224592 3221220648 1074789824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2223 1346 1111 63 0 2160 0
vsize: 8892
[startup+70.0034 s]
Raw data (loadavg): 0.86 0.81 0.84 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 18837 0 0 0 6949 49 0 0 25 0 1 0 893942897 7909376 1251 4294967295 134512640 134716908 3221224592 3221222956 1074063728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1931 1251 1111 63 0 1868 0
vsize: 7724
[startup+80.0046 s]
Raw data (loadavg): 0.88 0.82 0.84 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 21904 0 0 0 7942 57 0 0 25 0 1 0 893942897 7925760 1254 4294967295 134512640 134716908 3221224592 3221222592 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1935 1254 1111 63 0 1872 0
vsize: 7740
[startup+90.0042 s]
Raw data (loadavg): 0.90 0.82 0.84 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 25155 0 0 0 8934 65 0 0 25 0 1 0 893942897 9125888 1354 4294967295 134512640 134716908 3221224592 3221220864 1074960795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2228 1354 1111 63 0 2165 0
vsize: 8912
[startup+100.004 s]
Raw data (loadavg): 0.91 0.83 0.85 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 28409 0 0 0 9925 73 0 0 25 0 1 0 893942897 9003008 1347 4294967295 134512640 134716908 3221224592 3221220928 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2198 1347 1111 63 0 2135 0
vsize: 8792
[startup+110.005 s]
Raw data (loadavg): 0.93 0.83 0.85 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 31394 0 0 0 10918 81 0 0 25 0 1 0 893942897 9224192 1391 4294967295 134512640 134716908 3221224592 3221220560 1074872805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2252 1391 1111 63 0 2189 0
vsize: 9008
[startup+120.006 s]
Raw data (loadavg): 0.94 0.84 0.85 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 34465 0 0 0 11912 88 0 0 25 0 1 0 893942897 8163328 1274 4294967295 134512640 134716908 3221224592 3221221880 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1993 1274 1111 63 0 1930 0
vsize: 7972
[startup+130.007 s]
Raw data (loadavg): 0.95 0.84 0.85 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 37352 0 0 0 12905 94 0 0 25 0 1 0 893942897 8065024 1286 4294967295 134512640 134716908 3221224592 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1969 1286 1111 63 0 1906 0
vsize: 7876
[startup+140.007 s]
Raw data (loadavg): 0.95 0.85 0.85 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 40306 0 0 0 13898 101 0 0 25 0 1 0 893942897 8265728 1277 4294967295 134512640 134716908 3221224592 3221222320 1075828847 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2018 1277 1111 63 0 1955 0
vsize: 8072
[startup+150.006 s]
Raw data (loadavg): 0.96 0.85 0.85 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 43559 0 0 0 14889 110 0 0 25 0 1 0 893942897 7909376 1251 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1931 1251 1111 63 0 1868 0
vsize: 7724
[startup+160.006 s]
Raw data (loadavg): 0.97 0.86 0.85 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 47262 0 0 0 15880 120 0 0 25 0 1 0 893942897 9322496 1435 4294967295 134512640 134716908 3221224592 3221220720 1075561124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2276 1435 1111 63 0 2213 0
vsize: 9104
[startup+170.006 s]
Raw data (loadavg): 0.97 0.86 0.85 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 51065 0 0 0 16871 129 0 0 25 0 1 0 893942897 9457664 1447 4294967295 134512640 134716908 3221224592 3221220864 1074960865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2309 1447 1111 63 0 2246 0
vsize: 9236
[startup+180.006 s]
Raw data (loadavg): 0.98 0.87 0.85 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 54896 0 0 0 17862 138 0 0 25 0 1 0 893942897 9531392 1471 4294967295 134512640 134716908 3221224592 3221220752 1074794669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2327 1472 1111 63 0 2264 0
vsize: 9308
[startup+190.007 s]
Raw data (loadavg): 0.98 0.87 0.85 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 58984 0 0 0 18851 148 0 0 25 0 1 0 893942897 8298496 1347 4294967295 134512640 134716908 3221224592 3221222760 1077378142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 1347 1111 63 0 1963 0
vsize: 8104
[startup+200.007 s]
Raw data (loadavg): 0.98 0.87 0.86 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 62429 0 0 0 19843 156 0 0 25 0 1 0 893942897 8429568 1379 4294967295 134512640 134716908 3221224592 3221222908 1074206272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2058 1379 1111 63 0 1995 0
vsize: 8232
[startup+210.007 s]
Raw data (loadavg): 0.98 0.88 0.86 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 65638 0 0 0 20835 164 0 0 25 0 1 0 893942897 9830400 1530 4294967295 134512640 134716908 3221224592 3221221632 1075971386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2400 1530 1111 63 0 2337 0
vsize: 9600
[startup+220.007 s]
Raw data (loadavg): 0.99 0.88 0.86 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 69026 0 0 0 21827 172 0 0 25 0 1 0 893942897 8458240 1386 4294967295 134512640 134716908 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2065 1386 1111 63 0 2002 0
vsize: 8260
[startup+230.007 s]
Raw data (loadavg): 0.99 0.88 0.86 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 72539 0 0 0 22818 182 0 0 25 0 1 0 893942897 8523776 1402 4294967295 134512640 134716908 3221224592 3221222944 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2081 1402 1111 63 0 2018 0
vsize: 8324
[startup+240.008 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 76101 0 0 0 23809 191 0 0 25 0 1 0 893942897 8708096 1416 4294967295 134512640 134716908 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2126 1416 1111 63 0 2063 0
vsize: 8504
[startup+250.008 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 79948 0 0 0 24799 200 0 0 25 0 1 0 893942897 8654848 1434 4294967295 134512640 134716908 3221224592 3221222896 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2113 1434 1111 63 0 2050 0
vsize: 8452
[startup+260.009 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 83407 0 0 0 25791 209 0 0 25 0 1 0 893942897 8843264 1480 4294967295 134512640 134716908 3221224592 3221222880 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2159 1480 1111 63 0 2096 0
vsize: 8636
[startup+270.009 s]
Raw data (loadavg): 0.99 0.90 0.86 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 86769 0 0 0 26783 217 0 0 25 0 1 0 893942897 8998912 1518 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2197 1518 1111 63 0 2134 0
vsize: 8788
[startup+280.008 s]
Raw data (loadavg): 0.99 0.90 0.86 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 89805 0 0 0 27777 224 0 0 25 0 1 0 893942897 8966144 1510 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2189 1510 1111 63 0 2126 0
vsize: 8756
[startup+290.01 s]
Raw data (loadavg): 0.99 0.90 0.86 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 93050 0 0 0 28771 230 0 0 25 0 1 0 893942897 10383360 1684 4294967295 134512640 134716908 3221224592 3221221596 1074621024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1684 1111 63 0 2472 0
vsize: 10140
[startup+300.009 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 96343 0 0 0 29763 238 0 0 25 0 1 0 893942897 10428416 1700 4294967295 134512640 134716908 3221224592 3221220912 1075171638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2546 1700 1111 63 0 2483 0
vsize: 10184
[startup+310.01 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 99776 0 0 0 30756 245 0 0 25 0 1 0 893942897 9207808 1549 4294967295 134512640 134716908 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2248 1549 1111 63 0 2185 0
vsize: 8992
[startup+320.01 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 103768 0 0 0 31746 254 0 0 25 0 1 0 893942897 9216000 1571 4294967295 134512640 134716908 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2250 1571 1111 63 0 2187 0
vsize: 9000
[startup+330.01 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 107581 0 0 0 32736 264 0 0 25 0 1 0 893942897 10625024 1722 4294967295 134512640 134716908 3221224592 3221220928 1075113475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2594 1722 1111 63 0 2531 0
vsize: 10376
[startup+340.011 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 111084 0 0 0 33728 273 0 0 25 0 1 0 893942897 9256960 1581 4294967295 134512640 134716908 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2260 1581 1111 63 0 2197 0
vsize: 9040
[startup+350.01 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 115348 0 0 0 34718 282 0 0 25 0 1 0 893942897 9433088 1624 4294967295 134512640 134716908 3221224592 3221223292 1074018144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2303 1624 1111 63 0 2240 0
vsize: 9212
[startup+360.012 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 118869 0 0 0 35709 292 0 0 25 0 1 0 893942897 9478144 1635 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2314 1635 1111 63 0 2251 0
vsize: 9256
[startup+370.012 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 122477 0 0 0 36701 300 0 0 25 0 1 0 893942897 9674752 1683 4294967295 134512640 134716908 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2362 1683 1111 63 0 2299 0
vsize: 9448
[startup+380.012 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 126709 0 0 0 37690 311 0 0 25 0 1 0 893942897 11083776 1810 4294967295 134512640 134716908 3221224592 3221221520 1075960342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2706 1810 1111 63 0 2643 0
vsize: 10824
[startup+390.013 s]
Raw data (loadavg): 0.99 0.93 0.87 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 130840 0 0 0 38680 321 0 0 25 0 1 0 893942897 11182080 1866 4294967295 134512640 134716908 3221224592 3221220924 1075112705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2730 1866 1111 63 0 2667 0
vsize: 10920
[startup+400.013 s]
Raw data (loadavg): 0.99 0.93 0.87 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 134441 0 0 0 39671 330 0 0 25 0 1 0 893942897 10047488 1774 4294967295 134512640 134716908 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2453 1774 1111 63 0 2390 0
vsize: 9812
[startup+410.014 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 138008 0 0 0 40663 338 0 0 25 0 1 0 893942897 10113024 1790 4294967295 134512640 134716908 3221224592 3221222776 1077377401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2469 1790 1111 63 0 2406 0
vsize: 9876
[startup+420.014 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 141563 0 0 0 41654 347 0 0 25 0 1 0 893942897 10219520 1816 4294967295 134512640 134716908 3221224592 3221222976 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2495 1816 1111 63 0 2432 0
vsize: 9980
[startup+430.014 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 144745 0 0 0 42645 356 0 0 25 0 1 0 893942897 10268672 1828 4294967295 134512640 134716908 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1828 1111 63 0 2444 0
vsize: 10028
[startup+440.014 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 148081 0 0 0 43638 363 0 0 25 0 1 0 893942897 10289152 1833 4294967295 134512640 134716908 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2512 1833 1111 63 0 2449 0
vsize: 10048
[startup+450.014 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 151781 0 0 0 44628 373 0 0 25 0 1 0 893942897 10268672 1828 4294967295 134512640 134716908 3221224592 3221222896 1074143173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1828 1111 63 0 2444 0
vsize: 10028
[startup+460.015 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 155592 0 0 0 45619 382 0 0 25 0 1 0 893942897 10604544 1908 4294967295 134512640 134716908 3221224592 3221222504 1074138259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2589 1908 1111 63 0 2526 0
vsize: 10356
[startup+470.015 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 159152 0 0 0 46612 390 0 0 25 0 1 0 893942897 10424320 1866 4294967295 134512640 134716908 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2545 1866 1111 63 0 2482 0
vsize: 10180
[startup+480.016 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 162521 0 0 0 47603 399 0 0 25 0 1 0 893942897 11898880 2023 4294967295 134512640 134716908 3221224592 3221220832 1075115696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2905 2023 1111 63 0 2842 0
vsize: 11620
[startup+490.015 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 165579 0 0 0 48596 406 0 0 25 0 1 0 893942897 11943936 2060 4294967295 134512640 134716908 3221224592 3221220864 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2916 2060 1111 63 0 2853 0
vsize: 11664
[startup+500.016 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 168548 0 0 0 49588 415 0 0 25 0 1 0 893942897 12001280 2025 4294967295 134512640 134716908 3221224592 3221221360 1076083481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 2025 1111 63 0 2867 0
vsize: 11720
[startup+510.018 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 171931 0 0 0 50579 423 0 0 25 0 1 0 893942897 12083200 2085 4294967295 134512640 134716908 3221224592 3221220736 1074968515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2950 2085 1111 63 0 2887 0
vsize: 11800
[startup+520.018 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 175302 0 0 0 51572 431 0 0 25 0 1 0 893942897 10850304 1970 4294967295 134512640 134716908 3221224592 3221223208 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2649 1970 1111 63 0 2586 0
vsize: 10596
[startup+530.018 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 179037 0 0 0 52564 439 0 0 25 0 1 0 893942897 12177408 2134 4294967295 134512640 134716908 3221224592 3221220676 1075964386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2973 2134 1111 63 0 2910 0
vsize: 11892
[startup+540.019 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 182742 0 0 0 53553 450 0 0 25 0 1 0 893942897 12222464 2145 4294967295 134512640 134716908 3221224592 3221220752 1075092713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2984 2145 1111 63 0 2921 0
vsize: 11936
[startup+550.019 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 186636 0 0 0 54543 460 0 0 25 0 1 0 893942897 11014144 1990 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2689 1990 1111 63 0 2626 0
vsize: 10756
[startup+560.019 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 190443 0 0 0 55533 470 0 0 25 0 1 0 893942897 12251136 2113 4294967295 134512640 134716908 3221224592 3221221360 1076084143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2113 1111 63 0 2928 0
vsize: 11964
[startup+570.021 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 193981 0 0 0 56524 480 0 0 25 0 1 0 893942897 11108352 2033 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2712 2033 1111 63 0 2649 0
vsize: 10848
[startup+580.02 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 197814 0 0 0 57514 490 0 0 25 0 1 0 893942897 12435456 2156 4294967295 134512640 134716908 3221224592 3221221656 1075007302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3036 2156 1111 63 0 2973 0
vsize: 12144
[startup+590.02 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 201052 0 0 0 58505 499 0 0 25 0 1 0 893942897 11382784 2100 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2779 2100 1111 63 0 2716 0
vsize: 11116
[startup+600.022 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 204308 0 0 0 59496 508 0 0 25 0 1 0 893942897 11812864 2171 4294967295 134512640 134716908 3221224592 3221222320 1075828469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2884 2171 1111 63 0 2821 0
vsize: 11536
[startup+610.022 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 207855 0 0 0 60487 517 0 0 25 0 1 0 893942897 11571200 2146 4294967295 134512640 134716908 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2825 2146 1111 63 0 2762 0
vsize: 11300
[startup+620.022 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 211816 0 0 0 61478 526 0 0 25 0 1 0 893942897 11640832 2163 4294967295 134512640 134716908 3221224592 3221222732 1077379863 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2842 2163 1111 63 0 2779 0
vsize: 11368
[startup+630.022 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 215516 0 0 0 62468 536 0 0 25 0 1 0 893942897 13131776 2364 4294967295 134512640 134716908 3221224592 3221221168 1076047814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3206 2364 1111 63 0 3143 0
vsize: 12824
[startup+640.022 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 219529 0 0 0 63458 547 0 0 25 0 1 0 893942897 11808768 2204 4294967295 134512640 134716908 3221224592 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2883 2204 1111 63 0 2820 0
vsize: 11532
[startup+650.022 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 223446 0 0 0 64449 556 0 0 25 0 1 0 893942897 11915264 2230 4294967295 134512640 134716908 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2909 2230 1111 63 0 2846 0
vsize: 11636
[startup+660.024 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 227078 0 0 0 65439 566 0 0 25 0 1 0 893942897 13463552 2425 4294967295 134512640 134716908 3221224592 3221221424 1075115375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3287 2425 1111 63 0 3224 0
vsize: 13148
[startup+670.025 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 230877 0 0 0 66429 576 0 0 25 0 1 0 893942897 13520896 2438 4294967295 134512640 134716908 3221224592 3221220488 1074789566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3301 2438 1111 63 0 3238 0
vsize: 13204
[startup+680.025 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 234685 0 0 0 67421 584 0 0 25 0 1 0 893942897 12169216 2292 4294967295 134512640 134716908 3221224592 3221222944 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2971 2292 1111 63 0 2908 0
vsize: 11884
[startup+690.025 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 238311 0 0 0 68413 592 0 0 25 0 1 0 893942897 13574144 2477 4294967295 134512640 134716908 3221224592 3221221120 1075397139 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3314 2477 1111 63 0 3251 0
vsize: 13256
[startup+700.025 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 241635 0 0 0 69406 600 0 0 25 0 1 0 893942897 13783040 2497 4294967295 134512640 134716908 3221224592 3221220864 1074804609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2497 1111 63 0 3302 0
vsize: 13460
[startup+710.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 244892 0 0 0 70397 608 0 0 25 0 1 0 893942897 13856768 2521 4294967295 134512640 134716908 3221224592 3221220768 1074882604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3383 2521 1111 63 0 3320 0
vsize: 13532
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 248706 0 0 0 71387 619 0 0 25 0 1 0 893942897 13946880 2535 4294967295 134512640 134716908 3221224592 3221220720 1075561092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2535 1111 63 0 3342 0
vsize: 13620
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 252474 0 0 0 72379 627 0 0 25 0 1 0 893942897 12615680 2401 4294967295 134512640 134716908 3221224592 3221222568 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3080 2401 1111 63 0 3017 0
vsize: 12320
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 255868 0 0 0 73370 635 0 0 25 0 1 0 893942897 14147584 2569 4294967295 134512640 134716908 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3454 2569 1111 63 0 3391 0
vsize: 13816
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 259176 0 0 0 74363 643 0 0 25 0 1 0 893942897 14237696 2590 4294967295 134512640 134716908 3221224592 3221221248 1075968828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3476 2590 1111 63 0 3413 0
vsize: 13904
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 262100 0 0 0 75355 651 0 0 25 0 1 0 893942897 14290944 2640 4294967295 134512640 134716908 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3489 2640 1111 63 0 3426 0
vsize: 13956
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 265006 0 0 0 76348 659 0 0 25 0 1 0 893942897 12972032 2488 4294967295 134512640 134716908 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3167 2488 1111 63 0 3104 0
vsize: 12668
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 268088 0 0 0 77340 667 0 0 25 0 1 0 893942897 13160448 2531 4294967295 134512640 134716908 3221224592 3221222592 1074918472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3213 2531 1111 63 0 3150 0
vsize: 12852
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 271286 0 0 0 78333 674 0 0 25 0 1 0 893942897 13062144 2510 4294967295 134512640 134716908 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3189 2510 1111 63 0 3126 0
vsize: 12756
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 274621 0 0 0 79323 683 0 0 25 0 1 0 893942897 13062144 2510 4294967295 134512640 134716908 3221224592 3221222472 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3189 2510 1111 63 0 3126 0
vsize: 12756
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 278086 0 0 0 80316 691 0 0 25 0 1 0 893942897 13062144 2510 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3189 2510 1111 63 0 3126 0
vsize: 12756
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 281972 0 0 0 81308 700 0 0 25 0 1 0 893942897 13090816 2517 4294967295 134512640 134716908 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3196 2517 1111 63 0 3133 0
vsize: 12784
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 285732 0 0 0 82299 708 0 0 25 0 1 0 893942897 13635584 2594 4294967295 134512640 134716908 3221224592 3221222512 1075799538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3329 2594 1111 63 0 3266 0
vsize: 13316
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 289424 0 0 0 83289 718 0 0 25 0 1 0 893942897 13377536 2587 4294967295 134512640 134716908 3221224592 3221222992 1074118861 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3266 2587 1111 63 0 3203 0
vsize: 13064
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 292642 0 0 0 84283 725 0 0 25 0 1 0 893942897 14725120 2756 4294967295 134512640 134716908 3221224592 3221220928 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2756 1111 63 0 3532 0
vsize: 14380
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 295923 0 0 0 85274 734 0 0 25 0 1 0 893942897 13602816 2638 4294967295 134512640 134716908 3221224592 3221223040 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3321 2638 1111 63 0 3258 0
vsize: 13284
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 299539 0 0 0 86265 743 0 0 25 0 1 0 893942897 14835712 2777 4294967295 134512640 134716908 3221224592 3221220492 1074787832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3622 2777 1111 63 0 3559 0
vsize: 14488
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 302961 0 0 0 87257 752 0 0 25 0 1 0 893942897 13578240 2609 4294967295 134512640 134716908 3221224592 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3315 2609 1111 63 0 3252 0
vsize: 13260
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 306905 0 0 0 88247 762 0 0 25 0 1 0 893942897 14913536 2785 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2785 1111 63 0 3578 0
vsize: 14564
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 309873 0 0 0 89240 769 0 0 25 0 1 0 893942897 15192064 2824 4294967295 134512640 134716908 3221224592 3221220820 1075114937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3709 2824 1111 63 0 3646 0
vsize: 14836
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 312848 0 0 0 90233 776 0 0 25 0 1 0 893942897 15167488 2854 4294967295 134512640 134716908 3221224592 3221221056 1075602885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2854 1111 63 0 3640 0
vsize: 14812
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 316400 0 0 0 91224 785 0 0 25 0 1 0 893942897 13815808 2694 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3373 2694 1111 63 0 3310 0
vsize: 13492
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 319791 0 0 0 92218 792 0 0 25 0 1 0 893942897 13914112 2718 4294967295 134512640 134716908 3221224592 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3397 2718 1111 63 0 3334 0
vsize: 13588
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 323270 0 0 0 93209 801 0 0 25 0 1 0 893942897 13914112 2718 4294967295 134512640 134716908 3221224592 3221222732 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3397 2718 1111 63 0 3334 0
vsize: 13588
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 326988 0 0 0 94197 812 0 0 25 0 1 0 893942897 15405056 2923 4294967295 134512640 134716908 3221224592 3221220676 1075964437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3761 2923 1111 63 0 3698 0
vsize: 15044
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 330830 0 0 0 95188 821 0 0 25 0 1 0 893942897 14032896 2747 4294967295 134512640 134716908 3221224592 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3426 2747 1111 63 0 3363 0
vsize: 13704
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 334728 0 0 0 96179 831 0 0 25 0 1 0 893942897 15634432 2959 4294967295 134512640 134716908 3221224592 3221220796 1075564391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 2959 1111 63 0 3754 0
vsize: 15268
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 338524 0 0 0 97170 841 0 0 25 0 1 0 893942897 14245888 2799 4294967295 134512640 134716908 3221224592 3221222864 1073987049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3478 2799 1111 63 0 3415 0
vsize: 13912
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 342169 0 0 0 98160 850 0 0 25 0 1 0 893942897 15695872 2958 4294967295 134512640 134716908 3221224592 3221220664 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3832 2959 1111 63 0 3769 0
vsize: 15328
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 345862 0 0 0 99150 860 0 0 25 0 1 0 893942897 15785984 2989 4294967295 134512640 134716908 3221224592 3221221120 1075397181 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3854 2989 1111 63 0 3791 0
vsize: 15416
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 349369 0 0 0 100141 870 0 0 25 0 1 0 893942897 15843328 3003 4294967295 134512640 134716908 3221224592 3221221024 1075118408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3868 3003 1111 63 0 3805 0
vsize: 15472
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 352556 0 0 0 101133 878 0 0 25 0 1 0 893942897 16093184 3033 4294967295 134512640 134716908 3221224592 3221220752 1075091081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3929 3033 1111 63 0 3866 0
vsize: 15716
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 355766 0 0 0 102125 886 0 0 25 0 1 0 893942897 14725120 2916 4294967295 134512640 134716908 3221224592 3221222976 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2916 1111 63 0 3532 0
vsize: 14380
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 359316 0 0 0 103117 895 0 0 25 0 1 0 893942897 15294464 3013 4294967295 134512640 134716908 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3734 3013 1111 63 0 3671 0
vsize: 14936
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 362434 0 0 0 104108 904 0 0 25 0 1 0 893942897 16384000 3130 4294967295 134512640 134716908 3221224592 3221221120 1075397184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4000 3130 1111 63 0 3937 0
vsize: 16000
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 365498 0 0 0 105099 912 0 0 25 0 1 0 893942897 15241216 3038 4294967295 134512640 134716908 3221224592 3221223008 1074116385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3721 3038 1111 63 0 3658 0
vsize: 14884
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 368688 0 0 0 106091 921 0 0 25 0 1 0 893942897 15069184 3000 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3679 3000 1111 63 0 3616 0
vsize: 14716
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 372161 0 0 0 107082 930 0 0 25 0 1 0 893942897 16412672 3162 4294967295 134512640 134716908 3221224592 3221220820 1075115062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4007 3162 1111 63 0 3944 0
vsize: 16028
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 375762 0 0 0 108073 939 0 0 25 0 1 0 893942897 15269888 3017 4294967295 134512640 134716908 3221224592 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3728 3017 1111 63 0 3665 0
vsize: 14912
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 379923 0 0 0 109062 950 0 0 25 0 1 0 893942897 15626240 3136 4294967295 134512640 134716908 3221224592 3221223232 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3815 3136 1111 63 0 3752 0
vsize: 15260
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 383757 0 0 0 110051 961 0 0 25 0 1 0 893942897 17047552 3310 4294967295 134512640 134716908 3221224592 3221221360 1076083593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4162 3310 1111 63 0 4099 0
vsize: 16648
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 387448 0 0 0 111042 970 0 0 25 0 1 0 893942897 15892480 3201 4294967295 134512640 134716908 3221224592 3221223308 134558560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3880 3201 1111 63 0 3817 0
vsize: 15520
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 390617 0 0 0 112033 979 0 0 25 0 1 0 893942897 17215488 3337 4294967295 134512640 134716908 3221224592 3221220488 1074789596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4203 3337 1111 63 0 4140 0
vsize: 16812
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 393753 0 0 0 113025 988 0 0 25 0 1 0 893942897 15867904 3195 4294967295 134512640 134716908 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3195 1111 63 0 3811 0
vsize: 15496
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 396984 0 0 0 114018 995 0 0 25 0 1 0 893942897 17354752 3370 4294967295 134512640 134716908 3221224592 3221221120 1075397206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4237 3370 1111 63 0 4174 0
vsize: 16948
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 400652 0 0 0 115010 1003 0 0 25 0 1 0 893942897 16220160 3277 4294967295 134512640 134716908 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3960 3277 1111 63 0 3897 0
vsize: 15840
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 404706 0 0 0 116001 1012 0 0 25 0 1 0 893942897 16060416 3242 4294967295 134512640 134716908 3221224592 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3921 3242 1111 63 0 3858 0
vsize: 15684
[startup+1175.23 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17234
Raw data (stat): 17234 (bsolo_lpr-v2) R 17233 21152 21151 0 -1 0 404706 0 0 0 116001 1012 0 0 25 0 1 0 893942897 16060416 3242 4294967295 134512640 134716908 3221224592 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3921 3242 1111 63 0 3858 0
vsize: 0

Child status: 10
Real time (s): 1175.23
CPU time (s): 1175.33
CPU user time (s): 1165.15
CPU system time (s): 10.1785
CPU usage (%): 100.009
Max. virtual memory (Kb): 16948
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4822
#### END VERIFIER DATA ####