PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
MD5SUM	c4653389ddee2820797c664a0856c651
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	191
Optimality of the best value was proved	NO
Number of terms in the objective function	456
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	456
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	456
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02784
Number of variables	456
Total number of constraints	1602
Number of constraints which are clauses	1602
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 39523

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        276488 kB
Buffers:         34300 kB
Cached:         700472 kB
SwapCached:        240 kB
Active:          64252 kB
Inactive:       673064 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        276236 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15196 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 12:09:03 (client local time) WITH STATUS 10 IN 1175.08 SECONDS
stats: 27589 0 1175.08 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 456 variables and 1602 constraints.
c After prepocess the problem consists of 456 variables and 1602 constraints.
c preprocess terminated 1.437 s
c Initial Lower Bound: 132
c Lower Bound Elapsed time: 0.17975
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 228 @ 2.174
c NEW SOLUTION FOUND: 227 @ 2.18
c NEW SOLUTION FOUND: 226 @ 2.186
c NEW SOLUTION FOUND: 224 @ 2.194
c NEW SOLUTION FOUND: 223 @ 2.202
c NEW SOLUTION FOUND: 222 @ 2.21
c NEW SOLUTION FOUND: 221 @ 2.218
c NEW SOLUTION FOUND: 220 @ 2.226
c NEW SOLUTION FOUND: 219 @ 2.253
c NEW SOLUTION FOUND: 213 @ 2.382
c NEW SOLUTION FOUND: 212 @ 2.406
c NEW SOLUTION FOUND: 211 @ 86.114
c NEW SOLUTION FOUND: 204 @ 89.904
c NEW SOLUTION FOUND: 197 @ 351.278
c NEW SOLUTION FOUND: 196 @ 351.318
c NEW SOLUTION FOUND: 194 @ 379.672
c NEW SOLUTION FOUND: 193 @ 379.887
c NEW SOLUTION FOUND: 192 @ 404.727
c NEW SOLUTION FOUND: 191 @ 657.729
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 
c Exit Code: 10
c Total time: 1175.07 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.84 0.94 0.90 2/54 10886
Raw data (stat): 10886 (runsolver) R 10885 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892751870 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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+9.99999 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 7914 0 0 0 978 19 0 0 25 0 1 0 892751870 7933952 1184 4294967295 134512640 134716908 3221224592 3221220692 1075964218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1184 1111 63 0 1874 0
vsize: 7748
[startup+20.0005 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 14692 0 0 0 1961 36 0 0 25 0 1 0 892751870 7520256 1152 4294967295 134512640 134716908 3221224592 3221222992 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1836 1152 1111 63 0 1773 0
vsize: 7344
[startup+30.0003 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 22008 0 0 0 2945 52 0 0 25 0 1 0 892751870 7520256 1152 4294967295 134512640 134716908 3221224592 3221223168 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1836 1152 1111 63 0 1773 0
vsize: 7344
[startup+40.0097 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 29673 0 0 0 3927 71 0 0 25 0 1 0 892751870 8105984 1207 4294967295 134512640 134716908 3221224592 3221220588 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 1207 1111 63 0 1916 0
vsize: 7916
[startup+50.019 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 36684 0 0 0 4910 89 0 0 25 0 1 0 892751870 8384512 1240 4294967295 134512640 134716908 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 1246 1111 63 0 2085 0
vsize: 8188
[startup+60.0191 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 42798 0 0 0 5892 107 0 0 25 0 1 0 892751870 7749632 1208 4294967295 134512640 134716908 3221224592 3221222784 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1892 1208 1111 63 0 1829 0
vsize: 7568
[startup+70.02 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 50803 0 0 0 6873 127 0 0 25 0 1 0 892751870 8466432 1288 4294967295 134512640 134716908 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1288 1111 63 0 2004 0
vsize: 8268
[startup+80.0205 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 58678 0 0 0 7852 148 0 0 25 0 1 0 892751870 8626176 1333 4294967295 134512640 134716908 3221224592 3221220820 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2106 1333 1111 63 0 2043 0
vsize: 8424
[startup+90.0209 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 68479 0 0 0 8828 172 0 0 25 0 1 0 892751870 8163328 1300 4294967295 134512640 134716908 3221224592 3221221872 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1993 1300 1111 63 0 1930 0
vsize: 7972
[startup+100.022 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 75929 0 0 0 9809 191 0 0 25 0 1 0 892751870 8118272 1300 4294967295 134512640 134716908 3221224592 3221222320 1075828228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1982 1300 1111 63 0 1919 0
vsize: 7928
[startup+110.022 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 84564 0 0 0 10790 210 0 0 25 0 1 0 892751870 8331264 1352 4294967295 134512640 134716908 3221224592 3221222992 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2034 1352 1111 63 0 1971 0
vsize: 8136
[startup+120.023 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 92743 0 0 0 11770 230 0 0 25 0 1 0 892751870 8458240 1383 4294967295 134512640 134716908 3221224592 3221223140 134698782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2065 1383 1111 63 0 2002 0
vsize: 8260
[startup+130.023 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 99224 0 0 0 12755 246 0 0 25 0 1 0 892751870 9011200 1429 4294967295 134512640 134716908 3221224592 3221220832 1075115758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2200 1429 1111 63 0 2137 0
vsize: 8800
[startup+140.023 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 106009 0 0 0 13741 260 0 0 25 0 1 0 892751870 8433664 1377 4294967295 134512640 134716908 3221224592 3221222512 1075802507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2059 1377 1111 63 0 1996 0
vsize: 8236
[startup+150.024 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 111703 0 0 0 14727 274 0 0 25 0 1 0 892751870 9060352 1449 4294967295 134512640 134716908 3221224592 3221221184 1074887949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2212 1449 1111 63 0 2149 0
vsize: 8848
[startup+160.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 118804 0 0 0 15710 291 0 0 25 0 1 0 892751870 8507392 1403 4294967295 134512640 134716908 3221224592 3221222240 1075818335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2077 1403 1111 63 0 2014 0
vsize: 8308
[startup+170.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 125751 0 0 0 16694 308 0 0 25 0 1 0 892751870 9113600 1426 4294967295 134512640 134716908 3221224592 3221221572 1075964032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2225 1426 1111 63 0 2162 0
vsize: 8900
[startup+180.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 133172 0 0 0 17677 325 0 0 25 0 1 0 892751870 8699904 1450 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2124 1450 1111 63 0 2061 0
vsize: 8496
[startup+190.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 141963 0 0 0 18656 345 0 0 25 0 1 0 892751870 8798208 1474 4294967295 134512640 134716908 3221224592 3221223252 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 1474 1111 63 0 2085 0
vsize: 8592
[startup+200.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 150880 0 0 0 19634 368 0 0 25 0 1 0 892751870 8925184 1505 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2179 1505 1111 63 0 2116 0
vsize: 8716
[startup+210.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 158372 0 0 0 20616 386 0 0 25 0 1 0 892751870 9539584 1568 4294967295 134512640 134716908 3221224592 3221220928 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2329 1568 1111 63 0 2266 0
vsize: 9316
[startup+220.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 165853 0 0 0 21599 404 0 0 25 0 1 0 892751870 9547776 1564 4294967295 134512640 134716908 3221224592 3221220552 1075964723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2331 1564 1111 63 0 2268 0
vsize: 9324
[startup+230.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 172031 0 0 0 22584 418 0 0 25 0 1 0 892751870 9625600 1583 4294967295 134512640 134716908 3221224592 3221220736 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2350 1585 1111 63 0 2287 0
vsize: 9400
[startup+240.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 179508 0 0 0 23567 436 0 0 25 0 1 0 892751870 9072640 1541 4294967295 134512640 134716908 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2215 1541 1111 63 0 2152 0
vsize: 8860
[startup+250.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 184777 0 0 0 24554 449 0 0 25 0 1 0 892751870 9105408 1549 4294967295 134512640 134716908 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2223 1549 1111 63 0 2160 0
vsize: 8892
[startup+260.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 192457 0 0 0 25536 467 0 0 25 0 1 0 892751870 9093120 1546 4294967295 134512640 134716908 3221224592 3221221872 1074140013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2220 1546 1111 63 0 2157 0
vsize: 8880
[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 200909 0 0 0 26517 486 0 0 25 0 1 0 892751870 9125888 1554 4294967295 134512640 134716908 3221224592 3221223208 134543141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2228 1554 1111 63 0 2165 0
vsize: 8912
[startup+280.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 208605 0 0 0 27497 506 0 0 25 0 1 0 892751870 9850880 1610 4294967295 134512640 134716908 3221224592 3221220604 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2405 1610 1111 63 0 2342 0
vsize: 9620
[startup+290.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 216099 0 0 0 28480 523 0 0 25 0 1 0 892751870 9830400 1635 4294967295 134512640 134716908 3221224592 3221221632 1075971383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2400 1635 1111 63 0 2337 0
vsize: 9600
[startup+300.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 224301 0 0 0 29463 541 0 0 25 0 1 0 892751870 9420800 1626 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2300 1626 1111 63 0 2237 0
vsize: 9200
[startup+310.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 232224 0 0 0 30444 560 0 0 25 0 1 0 892751870 10039296 1684 4294967295 134512640 134716908 3221224592 3221221144 1075088529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1684 1111 63 0 2388 0
vsize: 9804
[startup+320.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 239910 0 0 0 31426 578 0 0 25 0 1 0 892751870 9555968 1659 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2333 1659 1111 63 0 2270 0
vsize: 9332
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 247683 0 0 0 32406 598 0 0 25 0 1 0 892751870 10338304 1732 4294967295 134512640 134716908 3221224592 3221221120 1075397225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2524 1732 1111 63 0 2461 0
vsize: 10096
[startup+340.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 255022 0 0 0 33388 617 0 0 25 0 1 0 892751870 9756672 1706 4294967295 134512640 134716908 3221224592 3221223408 134590269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2382 1706 1111 63 0 2319 0
vsize: 9528
[startup+350.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 260676 0 0 0 34374 631 0 0 25 0 1 0 892751870 10305536 1752 4294967295 134512640 134716908 3221224592 3221221712 1074834307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2516 1752 1111 63 0 2453 0
vsize: 10064
[startup+360.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 266784 0 0 0 35359 646 0 0 25 0 1 0 892751870 10330112 1756 4294967295 134512640 134716908 3221224592 3221221104 1075084536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2522 1756 1111 63 0 2459 0
vsize: 10088
[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 272911 0 0 0 36343 662 0 0 25 0 1 0 892751870 10866688 1792 4294967295 134512640 134716908 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2653 1792 1111 63 0 2590 0
vsize: 10612
[startup+380.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 279325 0 0 0 37328 677 0 0 25 0 1 0 892751870 9863168 1725 4294967295 134512640 134716908 3221224592 3221222592 1074918533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2408 1725 1111 63 0 2345 0
vsize: 9632
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 286316 0 0 0 38312 693 0 0 25 0 1 0 892751870 9822208 1724 4294967295 134512640 134716908 3221224592 3221222868 1077374491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2398 1724 1111 63 0 2335 0
vsize: 9592
[startup+400.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 293142 0 0 0 39296 708 0 0 25 0 1 0 892751870 9850880 1731 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2405 1731 1111 63 0 2342 0
vsize: 9620
[startup+410.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 299627 0 0 0 40280 724 0 0 25 0 1 0 892751870 9871360 1736 4294967295 134512640 134716908 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2410 1736 1111 63 0 2347 0
vsize: 9640
[startup+420.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 305416 0 0 0 41265 740 0 0 25 0 1 0 892751870 10424320 1781 4294967295 134512640 134716908 3221224592 3221220864 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2545 1781 1111 63 0 2482 0
vsize: 10180
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 311747 0 0 0 42252 753 0 0 25 0 1 0 892751870 9969664 1760 4294967295 134512640 134716908 3221224592 3221221656 1077377771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2501 1760 1111 63 0 2438 0
vsize: 9736
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 318196 0 0 0 43237 768 0 0 25 0 1 0 892751870 9969664 1760 4294967295 134512640 134716908 3221224592 3221222904 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1760 1111 63 0 2371 0
vsize: 9736
[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 324175 0 0 0 44224 782 0 0 25 0 1 0 892751870 10670080 1817 4294967295 134512640 134716908 3221224592 3221221248 1075966456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2605 1817 1111 63 0 2542 0
vsize: 10420
[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 330844 0 0 0 45207 799 0 0 25 0 1 0 892751870 9969664 1760 4294967295 134512640 134716908 3221224592 3221222992 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1760 1111 63 0 2371 0
vsize: 9736
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 337746 0 0 0 46192 814 0 0 25 0 1 0 892751870 11022336 1839 4294967295 134512640 134716908 3221224592 3221220736 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2691 1839 1111 63 0 2628 0
vsize: 10764
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 343621 0 0 0 47176 830 0 0 25 0 1 0 892751870 10006528 1769 4294967295 134512640 134716908 3221224592 3221222592 1074052300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2443 1769 1111 63 0 2380 0
vsize: 9772
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 349661 0 0 0 48162 844 0 0 25 0 1 0 892751870 10604544 1794 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2589 1794 1111 63 0 2526 0
vsize: 10356
[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 355847 0 0 0 49149 858 0 0 25 0 1 0 892751870 10100736 1792 4294967295 134512640 134716908 3221224592 3221222928 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2466 1792 1111 63 0 2403 0
vsize: 9864
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 361863 0 0 0 50135 872 0 0 25 0 1 0 892751870 10653696 1836 4294967295 134512640 134716908 3221224592 3221220720 1074880801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2601 1836 1111 63 0 2538 0
vsize: 10404
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 367223 0 0 0 51122 885 0 0 25 0 1 0 892751870 10170368 1809 4294967295 134512640 134716908 3221224592 3221222992 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2483 1809 1111 63 0 2420 0
vsize: 9932
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 373581 0 0 0 52105 902 0 0 25 0 1 0 892751870 10858496 1888 4294967295 134512640 134716908 3221224592 3221220468 1074786389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2651 1888 1111 63 0 2588 0
vsize: 10604
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 379034 0 0 0 53092 915 0 0 25 0 1 0 892751870 11210752 1972 4294967295 134512640 134716908 3221224592 3221220704 1075895668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2737 1972 1111 63 0 2674 0
vsize: 10948
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 385308 0 0 0 54077 931 0 0 25 0 1 0 892751870 10436608 1874 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2548 1874 1111 63 0 2485 0
vsize: 10192
[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 390798 0 0 0 55064 944 0 0 25 0 1 0 892751870 10473472 1883 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2557 1883 1111 63 0 2494 0
vsize: 10228
[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 396602 0 0 0 56050 958 0 0 25 0 1 0 892751870 10571776 1907 4294967295 134512640 134716908 3221224592 3221222896 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1907 1111 63 0 2518 0
vsize: 10324
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 404091 0 0 0 57033 974 0 0 25 0 1 0 892751870 11677696 1990 4294967295 134512640 134716908 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2851 1990 1111 63 0 2788 0
vsize: 11404
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 409171 0 0 0 58024 984 0 0 25 0 1 0 892751870 11173888 1966 4294967295 134512640 134716908 3221224592 3221220752 1075093367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2728 1966 1111 63 0 2665 0
vsize: 10912
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 415282 0 0 0 59010 999 0 0 25 0 1 0 892751870 10620928 1919 4294967295 134512640 134716908 3221224592 3221222420 1077378710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1919 1111 63 0 2530 0
vsize: 10372
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 421823 0 0 0 59996 1012 0 0 25 0 1 0 892751870 10682368 1934 4294967295 134512640 134716908 3221224592 3221222944 1074142734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2608 1934 1111 63 0 2545 0
vsize: 10432
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 427426 0 0 0 60983 1025 0 0 25 0 1 0 892751870 11243520 1984 4294967295 134512640 134716908 3221224592 3221221192 1075850679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2745 1984 1111 63 0 2682 0
vsize: 10980
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10886
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 433898 0 0 0 61968 1041 0 0 25 0 1 0 892751870 10723328 1944 4294967295 134512640 134716908 3221224592 3221222572 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2618 1944 1111 63 0 2555 0
vsize: 10472
[startup+640.04 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 10933
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 439463 0 0 0 62954 1055 0 0 25 0 1 0 892751870 10825728 1969 4294967295 134512640 134716908 3221224592 3221222764 1074206158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2643 1969 1111 63 0 2580 0
vsize: 10572
[startup+650.039 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 10939
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 445973 0 0 0 63939 1070 0 0 25 0 1 0 892751870 10858496 1977 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2651 1977 1111 63 0 2588 0
vsize: 10604
[startup+660.039 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 10939
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 452551 0 0 0 64923 1086 0 0 25 0 1 0 892751870 10928128 1994 4294967295 134512640 134716908 3221224592 3221221784 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2668 1994 1111 63 0 2605 0
vsize: 10672
[startup+670.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 10939
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 463453 0 0 0 65898 1111 0 0 25 0 1 0 892751870 10928128 1994 4294967295 134512640 134716908 3221224592 3221223168 134549324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2668 1994 1111 63 0 2605 0
vsize: 10672
[startup+680.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 10939
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 473421 0 0 0 66875 1134 0 0 25 0 1 0 892751870 10928128 1994 4294967295 134512640 134716908 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2668 1994 1111 63 0 2605 0
vsize: 10672
[startup+690.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 10939
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 483305 0 0 0 67848 1161 0 0 25 0 1 0 892751870 11481088 2037 4294967295 134512640 134716908 3221224592 3221220692 1075964296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2803 2037 1111 63 0 2740 0
vsize: 11212
[startup+700.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 10939
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 493684 0 0 0 68824 1186 0 0 25 0 1 0 892751870 11481088 2035 4294967295 134512640 134716908 3221224592 3221220540 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2803 2036 1111 63 0 2740 0
vsize: 11212
[startup+710.039 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 503612 0 0 0 69800 1210 0 0 25 0 1 0 892751870 10928128 1994 4294967295 134512640 134716908 3221224592 3221222836 1077374125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2668 1994 1111 63 0 2605 0
vsize: 10672
[startup+720.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 513482 0 0 0 70776 1234 0 0 25 0 1 0 892751870 10928128 1994 4294967295 134512640 134716908 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2668 1994 1111 63 0 2605 0
vsize: 10672
[startup+730.041 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 523098 0 0 0 71751 1259 0 0 25 0 1 0 892751870 11481088 2038 4294967295 134512640 134716908 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2803 2038 1111 63 0 2740 0
vsize: 11212
[startup+740.041 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 532753 0 0 0 72727 1283 0 0 25 0 1 0 892751870 10960896 1996 4294967295 134512640 134716908 3221224592 3221222616 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2676 1996 1111 63 0 2613 0
vsize: 10704
[startup+750.041 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 542866 0 0 0 73703 1308 0 0 25 0 1 0 892751870 10960896 2000 4294967295 134512640 134716908 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2676 2000 1111 63 0 2613 0
vsize: 10704
[startup+760.041 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 553371 0 0 0 74678 1333 0 0 25 0 1 0 892751870 11513856 2042 4294967295 134512640 134716908 3221224592 3221221536 1074620117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2811 2042 1111 63 0 2748 0
vsize: 11244
[startup+770.041 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 563412 0 0 0 75654 1356 0 0 25 0 1 0 892751870 11239424 2003 4294967295 134512640 134716908 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2811 2009 1111 63 0 2748 0
vsize: 10976
[startup+780.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 573564 0 0 0 76630 1381 0 0 25 0 1 0 892751870 10960896 2000 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2676 2000 1111 63 0 2613 0
vsize: 10704
[startup+790.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 583456 0 0 0 77607 1404 0 0 25 0 1 0 892751870 11513856 2044 4294967295 134512640 134716908 3221224592 3221220928 1075114279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2811 2044 1111 63 0 2748 0
vsize: 11244
[startup+800.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 593429 0 0 0 78584 1427 0 0 25 0 1 0 892751870 11014144 2009 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2689 2009 1111 63 0 2626 0
vsize: 10756
[startup+810.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 603116 0 0 0 79566 1446 0 0 25 0 1 0 892751870 11014144 2009 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2689 2009 1111 63 0 2626 0
vsize: 10756
[startup+820.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 613209 0 0 0 80542 1470 0 0 25 0 1 0 892751870 11567104 2053 4294967295 134512640 134716908 3221224592 3221220560 1075965289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2824 2053 1111 63 0 2761 0
vsize: 11296
[startup+830.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 622609 0 0 0 81519 1493 0 0 25 0 1 0 892751870 12054528 2087 4294967295 134512640 134716908 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2087 1111 63 0 2880 0
vsize: 11772
[startup+840.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 631784 0 0 0 82498 1514 0 0 25 0 1 0 892751870 11599872 2061 4294967295 134512640 134716908 3221224592 3221220620 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2832 2061 1111 63 0 2769 0
vsize: 11328
[startup+850.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 641921 0 0 0 83475 1538 0 0 25 0 1 0 892751870 11046912 2023 4294967295 134512640 134716908 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2697 2023 1111 63 0 2634 0
vsize: 10788
[startup+860.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 652885 0 0 0 84451 1561 0 0 25 0 1 0 892751870 11046912 2023 4294967295 134512640 134716908 3221224592 3221223288 1076648085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2697 2023 1111 63 0 2634 0
vsize: 10788
[startup+870.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 664427 0 0 0 85425 1588 0 0 25 0 1 0 892751870 11046912 2023 4294967295 134512640 134716908 3221224592 3221222592 1074918931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2697 2023 1111 63 0 2634 0
vsize: 10788
[startup+880.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 670925 0 0 0 86409 1604 0 0 25 0 1 0 892751870 11739136 2073 4294967295 134512640 134716908 3221224592 3221220820 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2866 2073 1111 63 0 2803 0
vsize: 11464
[startup+890.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 678983 0 0 0 87392 1621 0 0 25 0 1 0 892751870 11079680 2029 4294967295 134512640 134716908 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2705 2029 1111 63 0 2642 0
vsize: 10820
[startup+900.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 686885 0 0 0 88373 1640 0 0 25 0 1 0 892751870 11653120 2075 4294967295 134512640 134716908 3221224592 3221220968 1075112521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2845 2075 1111 63 0 2782 0
vsize: 11380
[startup+910.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 692962 0 0 0 89358 1655 0 0 25 0 1 0 892751870 11669504 2083 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2849 2083 1111 63 0 2786 0
vsize: 11396
[startup+920.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 700181 0 0 0 90341 1672 0 0 25 0 1 0 892751870 11157504 2050 4294967295 134512640 134716908 3221224592 3221222972 1073986672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2724 2050 1111 63 0 2661 0
vsize: 10896
[startup+930.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 708493 0 0 0 91321 1693 0 0 25 0 1 0 892751870 11157504 2050 4294967295 134512640 134716908 3221224592 3221222992 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2724 2050 1111 63 0 2661 0
vsize: 10896
[startup+940.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 715215 0 0 0 92305 1709 0 0 25 0 1 0 892751870 11792384 2110 4294967295 134512640 134716908 3221224592 3221220752 1075093367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2110 1111 63 0 2816 0
vsize: 11516
[startup+950.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 723053 0 0 0 93288 1726 0 0 25 0 1 0 892751870 11792384 2110 4294967295 134512640 134716908 3221224592 3221220604 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2110 1111 63 0 2816 0
vsize: 11516
[startup+960.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 730110 0 0 0 94271 1743 0 0 25 0 1 0 892751870 11943936 2092 4294967295 134512640 134716908 3221224592 3221220664 1074950204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2916 2103 1111 63 0 2853 0
vsize: 11664
[startup+970.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 736370 0 0 0 95257 1758 0 0 25 0 1 0 892751870 11825152 2120 4294967295 134512640 134716908 3221224592 3221220736 1074970267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2887 2120 1111 63 0 2824 0
vsize: 11548
[startup+980.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10941
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 741994 0 0 0 96243 1772 0 0 25 0 1 0 892751870 11825152 2125 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2887 2125 1111 63 0 2824 0
vsize: 11548
[startup+990.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 746939 0 0 0 97231 1784 0 0 25 0 1 0 892751870 12193792 2132 4294967295 134512640 134716908 3221224592 3221220488 1074789776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 2132 1111 63 0 2914 0
vsize: 11908
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 752893 0 0 0 98218 1797 0 0 25 0 1 0 892751870 12431360 2179 4294967295 134512640 134716908 3221224592 3221220820 1075114940 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3035 2179 1111 63 0 2972 0
vsize: 12140
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 757630 0 0 0 99206 1809 0 0 25 0 1 0 892751870 11362304 2100 4294967295 134512640 134716908 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2774 2100 1111 63 0 2711 0
vsize: 11096
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 763249 0 0 0 100193 1823 0 0 25 0 1 0 892751870 11440128 2119 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2793 2119 1111 63 0 2730 0
vsize: 11172
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 770249 0 0 0 101176 1840 0 0 25 0 1 0 892751870 11440128 2119 4294967295 134512640 134716908 3221224592 3221222512 1075802507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2793 2119 1111 63 0 2730 0
vsize: 11172
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 775712 0 0 0 102163 1853 0 0 25 0 1 0 892751870 12021760 2172 4294967295 134512640 134716908 3221224592 3221220752 1074794560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2935 2172 1111 63 0 2872 0
vsize: 11740
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 781557 0 0 0 103150 1866 0 0 25 0 1 0 892751870 11517952 2138 4294967295 134512640 134716908 3221224592 3221222416 1075824356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2812 2138 1111 63 0 2749 0
vsize: 11248
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 787901 0 0 0 104135 1881 0 0 25 0 1 0 892751870 12316672 2215 4294967295 134512640 134716908 3221224592 3221221104 1075240583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 2215 1111 63 0 2944 0
vsize: 12028
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 794698 0 0 0 105120 1896 0 0 25 0 1 0 892751870 11661312 2173 4294967295 134512640 134716908 3221224592 3221222592 1074918536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2847 2173 1111 63 0 2784 0
vsize: 11388
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 800592 0 0 0 106105 1912 0 0 25 0 1 0 892751870 11661312 2173 4294967295 134512640 134716908 3221224592 3221222896 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2847 2173 1111 63 0 2784 0
vsize: 11388
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 807120 0 0 0 107089 1928 0 0 25 0 1 0 892751870 12234752 2220 4294967295 134512640 134716908 3221224592 3221220540 1074788980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2987 2220 1111 63 0 2924 0
vsize: 11948
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 812777 0 0 0 108074 1942 0 0 25 0 1 0 892751870 11743232 2193 4294967295 134512640 134716908 3221224592 3221223292 134558496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2867 2193 1111 63 0 2804 0
vsize: 11468
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 818452 0 0 0 109060 1957 0 0 25 0 1 0 892751870 11784192 2203 4294967295 134512640 134716908 3221224592 3221222832 1074057922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2877 2203 1111 63 0 2814 0
vsize: 11508
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 824633 0 0 0 110044 1973 0 0 25 0 1 0 892751870 12824576 2273 4294967295 134512640 134716908 3221224592 3221221168 1076049309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3131 2273 1111 63 0 3068 0
vsize: 12524
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 830191 0 0 0 111030 1987 0 0 25 0 1 0 892751870 11796480 2206 4294967295 134512640 134716908 3221224592 3221223160 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2880 2206 1111 63 0 2817 0
vsize: 11520
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 835924 0 0 0 112015 2003 0 0 25 0 1 0 892751870 11943936 2230 4294967295 134512640 134716908 3221224592 3221222592 1074918162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2916 2230 1111 63 0 2853 0
vsize: 11664
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 840714 0 0 0 113002 2016 0 0 25 0 1 0 892751870 11874304 2225 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2899 2225 1111 63 0 2836 0
vsize: 11596
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 846779 0 0 0 113986 2032 0 0 25 0 1 0 892751870 11919360 2236 4294967295 134512640 134716908 3221224592 3221222836 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 2236 1111 63 0 2847 0
vsize: 11640
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 852452 0 0 0 114973 2045 0 0 25 0 1 0 892751870 11919360 2236 4294967295 134512640 134716908 3221224592 3221221872 1074140697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3045 2242 1111 63 0 2982 0
vsize: 11640
[startup+1174.94 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 10943
Raw data (stat): 10886 (bsolo_lpr-v2) R 10885 20224 20223 0 -1 0 852452 0 0 0 114973 2045 0 0 25 0 1 0 892751870 11919360 2236 4294967295 134512640 134716908 3221224592 3221221872 1074140697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3045 2242 1111 63 0 2982 0
vsize: 0

Child status: 10
Real time (s): 1174.94
CPU time (s): 1175.08
CPU user time (s): 1154.53
CPU system time (s): 20.5489
CPU usage (%): 100.012
Max. virtual memory (Kb): 12524
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	191
#### END VERIFIER DATA ####