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-9symml.opb
MD5SUM	48809ba02390b1184dab90aed89aff8e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4517
Optimality of the best value was proved	NO
Number of terms in the objective function	651
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	28138
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	28138
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	651
Total number of constraints	1658
Number of constraints which are clauses	1656
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 39631

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 15:07:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27688 boxname=wulflinc5 idbench=246 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  48809ba02390b1184dab90aed89aff8e  /oldhome/oroussel/tmp/wulflinc5/normalized-9symml.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-9symml.opb
IDLAUNCH: 27688
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        342544 kB
Buffers:         34736 kB
Cached:         633068 kB
SwapCached:        568 kB
Active:          58020 kB
Inactive:       611860 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        342292 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16664 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:27:18 (client local time) WITH STATUS 30 IN 1168.71 SECONDS
stats: 27688 0 1168.71 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 651 variables and 1658 constraints.
c After prepocess the problem consists of 634 variables and 1380 constraints.
c preprocess terminated 0.694 s
c Initial Lower Bound: 4451
c Lower Bound Elapsed time: 0.20325
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4598 @ 6.767
c NEW SOLUTION FOUND: 4591 @ 7.644
c NEW SOLUTION FOUND: 4588 @ 62.826
c NEW SOLUTION FOUND: 4581 @ 63.433
c NEW SOLUTION FOUND: 4576 @ 176.668
c NEW SOLUTION FOUND: 4575 @ 177.602
c NEW SOLUTION FOUND: 4559 @ 178.929
c NEW SOLUTION FOUND: 4550 @ 518.093
c NEW SOLUTION FOUND: 4542 @ 635.613
c NEW SOLUTION FOUND: 4539 @ 831.614
c NEW SOLUTION FOUND: 4537 @ 840.865
c NEW SOLUTION FOUND: 4533 @ 844.983
c NEW SOLUTION FOUND: 4517 @ 846.437
s OPTIMUM FOUND
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 
c Exit Code: 30
c Total time: 1168.7 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.93 0.98 0.92 1/54 5949
Raw data (stat): 5949 (runsolver) R 5948 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893950624 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 3559 0 0 0 986 11 0 0 25 0 1 0 893950624 8302592 1144 4294967295 134512640 134716908 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 1144 1111 63 0 1964 0
vsize: 8108
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 6756 0 0 0 1977 19 0 0 25 0 1 0 893950624 7430144 1124 4294967295 134512640 134716908 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1814 1124 1111 63 0 1751 0
vsize: 7256
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 10309 0 0 0 2967 29 0 0 25 0 1 0 893950624 7458816 1134 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1821 1134 1111 63 0 1758 0
vsize: 7284
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 13487 0 0 0 3961 35 0 0 25 0 1 0 893950624 7471104 1137 4294967295 134512640 134716908 3221224592 3221222336 1075646973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1824 1137 1111 63 0 1761 0
vsize: 7296
[startup+50.0023 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 16861 0 0 0 4952 45 0 0 25 0 1 0 893950624 7458816 1134 4294967295 134512640 134716908 3221224592 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1821 1134 1111 63 0 1758 0
vsize: 7284
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 20256 0 0 0 5943 54 0 0 25 0 1 0 893950624 7639040 1146 4294967295 134512640 134716908 3221224592 3221221696 1074138853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1865 1147 1111 63 0 1802 0
vsize: 7460
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 23775 0 0 0 6932 64 0 0 25 0 1 0 893950624 8306688 1191 4294967295 134512640 134716908 3221224592 3221221664 1074867358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2028 1191 1111 63 0 1965 0
vsize: 8112
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 27309 0 0 0 7920 76 0 0 25 0 1 0 893950624 7536640 1139 4294967295 134512640 134716908 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1840 1139 1111 63 0 1777 0
vsize: 7360
[startup+90.004 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 31118 0 0 0 8910 86 0 0 25 0 1 0 893950624 7458816 1136 4294967295 134512640 134716908 3221224592 3221222992 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1821 1136 1111 63 0 1758 0
vsize: 7284
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 34799 0 0 0 9900 97 0 0 25 0 1 0 893950624 8331264 1186 4294967295 134512640 134716908 3221224592 3221220648 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2034 1186 1111 63 0 1971 0
vsize: 8136
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 38385 0 0 0 10891 106 0 0 25 0 1 0 893950624 7512064 1149 4294967295 134512640 134716908 3221224592 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1834 1149 1111 63 0 1771 0
vsize: 7336
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 41293 0 0 0 11882 114 0 0 25 0 1 0 893950624 7512064 1149 4294967295 134512640 134716908 3221224592 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1834 1149 1111 63 0 1771 0
vsize: 7336
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 44233 0 0 0 12876 121 0 0 25 0 1 0 893950624 8343552 1197 4294967295 134512640 134716908 3221224592 3221221136 1075088560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2037 1197 1111 63 0 1974 0
vsize: 8148
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 47061 0 0 0 13869 128 0 0 25 0 1 0 893950624 8257536 1172 4294967295 134512640 134716908 3221224592 3221220460 1074787639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2016 1172 1111 63 0 1953 0
vsize: 8064
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 49658 0 0 0 14862 135 0 0 25 0 1 0 893950624 7512064 1149 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1834 1149 1111 63 0 1771 0
vsize: 7336
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 52386 0 0 0 15854 143 0 0 25 0 1 0 893950624 7512064 1149 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1834 1149 1111 63 0 1771 0
vsize: 7336
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 55359 0 0 0 16847 151 0 0 25 0 1 0 893950624 7512064 1149 4294967295 134512640 134716908 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1834 1149 1111 63 0 1771 0
vsize: 7336
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 58467 0 0 0 17838 160 0 0 25 0 1 0 893950624 7512064 1149 4294967295 134512640 134716908 3221224592 3221222464 1074050966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1834 1149 1111 63 0 1771 0
vsize: 7336
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 61652 0 0 0 18830 168 0 0 25 0 1 0 893950624 7512064 1149 4294967295 134512640 134716908 3221224592 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1834 1149 1111 63 0 1771 0
vsize: 7336
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 64775 0 0 0 19822 176 0 0 25 0 1 0 893950624 8335360 1191 4294967295 134512640 134716908 3221224592 3221221520 1075960440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2035 1191 1111 63 0 1972 0
vsize: 8140
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 67851 0 0 0 20815 183 0 0 25 0 1 0 893950624 7512064 1149 4294967295 134512640 134716908 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1834 1149 1111 63 0 1771 0
vsize: 7336
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 71048 0 0 0 21808 190 0 0 25 0 1 0 893950624 8253440 1169 4294967295 134512640 134716908 3221224592 3221221184 1074885958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2015 1169 1111 63 0 1952 0
vsize: 8060
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 74153 0 0 0 22799 199 0 0 25 0 1 0 893950624 8343552 1193 4294967295 134512640 134716908 3221224592 3221220820 1075115127 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2037 1193 1111 63 0 1974 0
vsize: 8148
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 77808 0 0 0 23789 209 0 0 25 0 1 0 893950624 7524352 1152 4294967295 134512640 134716908 3221224592 3221223220 134651106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1837 1152 1111 63 0 1774 0
vsize: 7348
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 81339 0 0 0 24779 219 0 0 25 0 1 0 893950624 7512064 1149 4294967295 134512640 134716908 3221224592 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1834 1149 1111 63 0 1771 0
vsize: 7336
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 84819 0 0 0 25770 229 0 0 25 0 1 0 893950624 7512064 1149 4294967295 134512640 134716908 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1834 1149 1111 63 0 1771 0
vsize: 7336
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 88256 0 0 0 26760 239 0 0 25 0 1 0 893950624 7561216 1150 4294967295 134512640 134716908 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1846 1150 1111 63 0 1783 0
vsize: 7384
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 91786 0 0 0 27750 249 0 0 25 0 1 0 893950624 7536640 1155 4294967295 134512640 134716908 3221224592 3221222904 1074138198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1840 1155 1111 63 0 1777 0
vsize: 7360
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 94998 0 0 0 28743 257 0 0 25 0 1 0 893950624 8355840 1196 4294967295 134512640 134716908 3221224592 3221220720 1075561195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2040 1196 1111 63 0 1977 0
vsize: 8160
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 98142 0 0 0 29734 265 0 0 25 0 1 0 893950624 7593984 1169 4294967295 134512640 134716908 3221224592 3221223208 134543184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1854 1169 1111 63 0 1791 0
vsize: 7416
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 101069 0 0 0 30728 272 0 0 25 0 1 0 893950624 8355840 1201 4294967295 134512640 134716908 3221224592 3221220648 1074789720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2040 1201 1111 63 0 1977 0
vsize: 8160
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 103822 0 0 0 31721 279 0 0 25 0 1 0 893950624 7553024 1159 4294967295 134512640 134716908 3221224592 3221222848 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 1159 1111 63 0 1781 0
vsize: 7376
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 106543 0 0 0 32714 287 0 0 25 0 1 0 893950624 7553024 1159 4294967295 134512640 134716908 3221224592 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 1159 1111 63 0 1781 0
vsize: 7376
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 109268 0 0 0 33708 293 0 0 25 0 1 0 893950624 7553024 1159 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 1159 1111 63 0 1781 0
vsize: 7376
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 112287 0 0 0 34700 301 0 0 25 0 1 0 893950624 8380416 1203 4294967295 134512640 134716908 3221224592 3221220636 1074873600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 1203 1111 63 0 1983 0
vsize: 8184
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 115280 0 0 0 35692 309 0 0 25 0 1 0 893950624 7553024 1159 4294967295 134512640 134716908 3221224592 3221222716 1077379780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 1159 1111 63 0 1781 0
vsize: 7376
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 118330 0 0 0 36685 316 0 0 25 0 1 0 893950624 7708672 1160 4294967295 134512640 134716908 3221224592 3221222240 1075817957 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1882 1160 1111 63 0 1819 0
vsize: 7528
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 121314 0 0 0 37678 324 0 0 25 0 1 0 893950624 8347648 1197 4294967295 134512640 134716908 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2038 1197 1111 63 0 1975 0
vsize: 8152
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 124324 0 0 0 38670 332 0 0 25 0 1 0 893950624 7553024 1159 4294967295 134512640 134716908 3221224592 3221222944 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 1159 1111 63 0 1781 0
vsize: 7376
[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 126934 0 0 0 39663 338 0 0 25 0 1 0 893950624 7553024 1159 4294967295 134512640 134716908 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 1159 1111 63 0 1781 0
vsize: 7376
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 129899 0 0 0 40655 347 0 0 25 0 1 0 893950624 7553024 1159 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 1159 1111 63 0 1781 0
vsize: 7376
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 133115 0 0 0 41647 355 0 0 25 0 1 0 893950624 7622656 1176 4294967295 134512640 134716908 3221224592 3221222336 1075646215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 1176 1111 63 0 1798 0
vsize: 7444
[startup+430.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 136007 0 0 0 42639 364 0 0 25 0 1 0 893950624 8536064 1219 4294967295 134512640 134716908 3221224592 3221220796 1075564165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2084 1219 1111 63 0 2021 0
vsize: 8336
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 138847 0 0 0 43631 372 0 0 25 0 1 0 893950624 8491008 1198 4294967295 134512640 134716908 3221224592 3221220928 1075113511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 1198 1111 63 0 2010 0
vsize: 8292
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 141537 0 0 0 44624 379 0 0 25 0 1 0 893950624 8392704 1208 4294967295 134512640 134716908 3221224592 3221220648 1074789534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2049 1208 1111 63 0 1986 0
vsize: 8196
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 144163 0 0 0 45617 386 0 0 25 0 1 0 893950624 7602176 1171 4294967295 134512640 134716908 3221224592 3221222944 1074115306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1856 1171 1111 63 0 1793 0
vsize: 7424
[startup+470.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 146929 0 0 0 46610 393 0 0 25 0 1 0 893950624 7602176 1171 4294967295 134512640 134716908 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1856 1171 1111 63 0 1793 0
vsize: 7424
[startup+480.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 149820 0 0 0 47602 401 0 0 25 0 1 0 893950624 7602176 1171 4294967295 134512640 134716908 3221224592 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1856 1171 1111 63 0 1793 0
vsize: 7424
[startup+490.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 152644 0 0 0 48594 410 0 0 25 0 1 0 893950624 7602176 1171 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1856 1171 1111 63 0 1793 0
vsize: 7424
[startup+500.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 155545 0 0 0 49587 417 0 0 25 0 1 0 893950624 8409088 1214 4294967295 134512640 134716908 3221224592 3221221088 1075860000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2053 1214 1111 63 0 1990 0
vsize: 8212
[startup+510.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 158506 0 0 0 50578 426 0 0 25 0 1 0 893950624 8396800 1211 4294967295 134512640 134716908 3221224592 3221220800 1076079424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2050 1211 1111 63 0 1987 0
vsize: 8200
[startup+520.009 s]
Raw data (loadavg): 0.99 0.98 0.92 3/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 161102 0 0 0 51570 434 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+530.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 163709 0 0 0 52562 441 0 0 25 0 1 0 893950624 8376320 1208 4294967295 134512640 134716908 3221224592 3221220832 1075115734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2045 1208 1111 63 0 1982 0
vsize: 8180
[startup+540.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 166364 0 0 0 53554 450 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222856 1077404829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+550.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 169113 0 0 0 54546 458 0 0 25 0 1 0 893950624 8544256 1226 4294967295 134512640 134716908 3221224592 3221221360 1076083737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2086 1226 1111 63 0 2023 0
vsize: 8344
[startup+560.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 171700 0 0 0 55538 466 0 0 25 0 1 0 893950624 7626752 1182 4294967295 134512640 134716908 3221224592 3221222504 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1862 1182 1111 63 0 1799 0
vsize: 7448
[startup+570.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 174152 0 0 0 56532 472 0 0 25 0 1 0 893950624 8314880 1210 4294967295 134512640 134716908 3221224592 3221221124 1075863644 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2030 1210 1111 63 0 1967 0
vsize: 8120
[startup+580.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 176703 0 0 0 57526 479 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+590.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 179274 0 0 0 58519 486 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+600.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 181893 0 0 0 59512 493 0 0 25 0 1 0 893950624 7630848 1186 4294967295 134512640 134716908 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 1186 1111 63 0 1800 0
vsize: 7452
[startup+610.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 184592 0 0 0 60504 501 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+620.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 187238 0 0 0 61497 508 0 0 25 0 1 0 893950624 8310784 1202 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2029 1202 1111 63 0 1966 0
vsize: 8116
[startup+630.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 189944 0 0 0 62489 517 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+640.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 192806 0 0 0 63479 526 0 0 25 0 1 0 893950624 7630848 1186 4294967295 134512640 134716908 3221224592 3221223008 1074117074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 1186 1111 63 0 1800 0
vsize: 7452
[startup+650.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 195564 0 0 0 64472 533 0 0 25 0 1 0 893950624 7655424 1183 4294967295 134512640 134716908 3221224592 3221223008 1074116227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1869 1183 1111 63 0 1806 0
vsize: 7476
[startup+660.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 198429 0 0 0 65465 541 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+670.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 201290 0 0 0 66457 549 0 0 25 0 1 0 893950624 7655424 1192 4294967295 134512640 134716908 3221224592 3221222992 1074118885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1869 1192 1111 63 0 1806 0
vsize: 7476
[startup+680.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 204011 0 0 0 67450 556 0 0 25 0 1 0 893950624 8400896 1214 4294967295 134512640 134716908 3221224592 3221220832 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2051 1214 1111 63 0 1988 0
vsize: 8204
[startup+690.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 206732 0 0 0 68442 564 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222496 1074057992 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+700.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 209473 0 0 0 69436 571 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+710.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 212259 0 0 0 70429 578 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+720.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 215118 0 0 0 71422 585 0 0 25 0 1 0 893950624 8527872 1224 4294967295 134512640 134716908 3221224592 3221220720 1075561119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2082 1224 1111 63 0 2019 0
vsize: 8328
[startup+730.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 217971 0 0 0 72415 592 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 220694 0 0 0 73408 600 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 223434 0 0 0 74400 607 0 0 25 0 1 0 893950624 7630848 1183 4294967295 134512640 134716908 3221224592 3221222944 1074115244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 1183 1111 63 0 1800 0
vsize: 7452
[startup+760.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 226284 0 0 0 75394 614 0 0 25 0 1 0 893950624 8445952 1234 4294967295 134512640 134716908 3221224592 3221220720 1075561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2062 1234 1111 63 0 1999 0
vsize: 8248
[startup+770.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 229053 0 0 0 76386 622 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222856 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+780.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 231909 0 0 0 77380 629 0 0 25 0 1 0 893950624 8433664 1220 4294967295 134512640 134716908 3221224592 3221220864 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2059 1221 1111 63 0 1996 0
vsize: 8236
[startup+790.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 234684 0 0 0 78373 636 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222972 1074152946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+800.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 237629 0 0 0 79364 644 0 0 25 0 1 0 893950624 7630848 1186 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 1186 1111 63 0 1800 0
vsize: 7452
[startup+810.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 240419 0 0 0 80356 653 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+820.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 243330 0 0 0 81347 662 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+830.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 246185 0 0 0 82340 669 0 0 25 0 1 0 893950624 8429568 1223 4294967295 134512640 134716908 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2058 1223 1111 63 0 1995 0
vsize: 8232
[startup+840.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 248909 0 0 0 83332 676 0 0 25 0 1 0 893950624 8425472 1213 4294967295 134512640 134716908 3221224592 3221221160 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2057 1213 1111 63 0 1994 0
vsize: 8228
[startup+850.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 251741 0 0 0 84325 683 0 0 25 0 1 0 893950624 8577024 1238 4294967295 134512640 134716908 3221224592 3221220720 1075561092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2094 1238 1111 63 0 2031 0
vsize: 8376
[startup+860.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 254563 0 0 0 85318 691 0 0 25 0 1 0 893950624 8445952 1237 4294967295 134512640 134716908 3221224592 3221220740 1075964401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2062 1237 1111 63 0 1999 0
vsize: 8248
[startup+870.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 257371 0 0 0 86311 698 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+880.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 260163 0 0 0 87303 706 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222976 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+890.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 262969 0 0 0 88296 713 0 0 25 0 1 0 893950624 7790592 1183 4294967295 134512640 134716908 3221224592 3221222240 1075818322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1902 1183 1111 63 0 1839 0
vsize: 7608
[startup+900.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 265990 0 0 0 89289 721 0 0 25 0 1 0 893950624 7643136 1189 4294967295 134512640 134716908 3221224592 3221223376 134624483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1866 1189 1111 63 0 1803 0
vsize: 7464
[startup+910.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 268886 0 0 0 90282 728 0 0 25 0 1 0 893950624 7614464 1182 4294967295 134512640 134716908 3221224592 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1859 1182 1111 63 0 1796 0
vsize: 7436
[startup+920.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 271704 0 0 0 91275 735 0 0 25 0 1 0 893950624 7630848 1186 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 1186 1111 63 0 1800 0
vsize: 7452
[startup+930.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 274466 0 0 0 92268 742 0 0 25 0 1 0 893950624 8585216 1243 4294967295 134512640 134716908 3221224592 3221221520 1075960372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2096 1243 1111 63 0 2033 0
vsize: 8384
[startup+940.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 277054 0 0 0 93259 751 0 0 25 0 1 0 893950624 7647232 1190 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1867 1190 1111 63 0 1804 0
vsize: 7468
[startup+950.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 279740 0 0 0 94252 759 0 0 25 0 1 0 893950624 8470528 1242 4294967295 134512640 134716908 3221224592 3221220832 1075115734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2068 1242 1111 63 0 2005 0
vsize: 8272
[startup+960.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 282424 0 0 0 95245 766 0 0 25 0 1 0 893950624 7680000 1198 4294967295 134512640 134716908 3221224592 3221223296 134654890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1875 1198 1111 63 0 1812 0
vsize: 7500
[startup+970.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 285275 0 0 0 96237 773 0 0 25 0 1 0 893950624 8572928 1260 4294967295 134512640 134716908 3221224592 3221220820 1075114960 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2093 1260 1111 63 0 2030 0
vsize: 8372
[startup+980.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 288510 0 0 0 97229 782 0 0 25 0 1 0 893950624 8663040 1296 4294967295 134512640 134716908 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2115 1296 1111 63 0 2052 0
vsize: 8460
[startup+990.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 292041 0 0 0 98220 792 0 0 25 0 1 0 893950624 8769536 1280 4294967295 134512640 134716908 3221224592 3221221760 1074820790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2141 1280 1111 63 0 2078 0
vsize: 8564
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 295690 0 0 0 99210 801 0 0 25 0 1 0 893950624 8941568 1354 4294967295 134512640 134716908 3221224592 3221220636 1074873439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2183 1354 1111 63 0 2120 0
vsize: 8732
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 299438 0 0 0 100201 811 0 0 25 0 1 0 893950624 9183232 1402 4294967295 134512640 134716908 3221224592 3221221120 1075397153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2242 1402 1111 63 0 2179 0
vsize: 8968
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 303710 0 0 0 101191 820 0 0 25 0 1 0 893950624 9170944 1409 4294967295 134512640 134716908 3221224592 3221220740 1075964396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2239 1409 1111 63 0 2176 0
vsize: 8956
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 307862 0 0 0 102181 831 0 0 25 0 1 0 893950624 8265728 1341 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2018 1341 1111 63 0 1955 0
vsize: 8072
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 312088 0 0 0 103171 841 0 0 25 0 1 0 893950624 8531968 1406 4294967295 134512640 134716908 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2083 1406 1111 63 0 2020 0
vsize: 8332
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 315491 0 0 0 104160 852 0 0 25 0 1 0 893950624 9482240 1496 4294967295 134512640 134716908 3221224592 3221221584 1075338889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2315 1496 1111 63 0 2252 0
vsize: 9260
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 318790 0 0 0 105152 861 0 0 25 0 1 0 893950624 8531968 1406 4294967295 134512640 134716908 3221224592 3221222992 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2083 1406 1111 63 0 2020 0
vsize: 8332
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 321849 0 0 0 106144 868 0 0 25 0 1 0 893950624 8564736 1414 4294967295 134512640 134716908 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2091 1414 1111 63 0 2028 0
vsize: 8364
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 325128 0 0 0 107137 876 0 0 25 0 1 0 893950624 9441280 1468 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2305 1468 1111 63 0 2242 0
vsize: 9220
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 328405 0 0 0 108129 884 0 0 25 0 1 0 893950624 8564736 1414 4294967295 134512640 134716908 3221224592 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2091 1414 1111 63 0 2028 0
vsize: 8364
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 331732 0 0 0 109119 894 0 0 25 0 1 0 893950624 8663040 1438 4294967295 134512640 134716908 3221224592 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2115 1438 1111 63 0 2052 0
vsize: 8460
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 335005 0 0 0 110111 902 0 0 25 0 1 0 893950624 8724480 1453 4294967295 134512640 134716908 3221224592 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2130 1453 1111 63 0 2067 0
vsize: 8520
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 338315 0 0 0 111104 910 0 0 25 0 1 0 893950624 8724480 1453 4294967295 134512640 134716908 3221224592 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2130 1453 1111 63 0 2067 0
vsize: 8520
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 342517 0 0 0 112094 920 0 0 25 0 1 0 893950624 9871360 1581 4294967295 134512640 134716908 3221224592 3221220624 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2410 1581 1111 63 0 2347 0
vsize: 9640
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 346578 0 0 0 113083 931 0 0 25 0 1 0 893950624 8933376 1504 4294967295 134512640 134716908 3221224592 3221222992 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2181 1504 1111 63 0 2118 0
vsize: 8724
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 350814 0 0 0 114070 944 0 0 25 0 1 0 893950624 9101312 1545 4294967295 134512640 134716908 3221224592 3221222944 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2222 1545 1111 63 0 2159 0
vsize: 8888
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 354864 0 0 0 115061 954 0 0 25 0 1 0 893950624 10293248 1703 4294967295 134512640 134716908 3221224592 3221220820 1075114975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2513 1703 1111 63 0 2450 0
vsize: 10052
[startup+1168.58 s]
Raw data (loadavg): 0.99 0.98 0.92 1/53 5949
Raw data (stat): 5949 (bsolo_lpr-v2) R 5948 7266 7265 0 -1 0 354864 0 0 0 115061 954 0 0 25 0 1 0 893950624 10293248 1703 4294967295 134512640 134716908 3221224592 3221220820 1075114975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2513 1703 1111 63 0 2450 0
vsize: 0

Child status: 30
Real time (s): 1168.58
CPU time (s): 1168.71
CPU user time (s): 1159.08
CPU system time (s): 9.63753
CPU usage (%): 100.011
Max. virtual memory (Kb): 10052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4517
#### END VERIFIER DATA ####