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-ii8a3.opb
MD5SUM	a430664a9b4f203a5896b33ca2b0e0e5
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	528
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	528
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	528
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02384
Number of variables	528
Total number of constraints	1816
Number of constraints which are clauses	1816
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	8
Trace number 23962

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-07 02:46:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1477 boxname=wulflinc31 idbench=165 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  a430664a9b4f203a5896b33ca2b0e0e5  /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a3.opb
IDLAUNCH: 1477
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        149416 kB
Buffers:         37908 kB
Cached:         813148 kB
SwapCached:        644 kB
Active:         487408 kB
Inactive:       366000 kB
HighTotal:      131008 kB
HighFree:         8428 kB
LowTotal:       903652 kB
LowFree:        140988 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             112 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26224 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-07 03:06:03 (client local time) WITH STATUS 10 IN 1175.56 SECONDS
stats: 1477 0 1175.56 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 528 variables and 1816 constraints.
c After prepocess the problem consists of 528 variables and 2110 constraints.
c preprocess terminated 2.772 s
c Initial Lower Bound: 167
c Lower Bound Elapsed time: 1.47475
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 263 @ 8.701
c NEW SOLUTION FOUND: 262 @ 8.702
c NEW SOLUTION FOUND: 261 @ 8.71
c NEW SOLUTION FOUND: 260 @ 8.716
c NEW SOLUTION FOUND: 259 @ 8.722
c NEW SOLUTION FOUND: 258 @ 8.729
c NEW SOLUTION FOUND: 257 @ 8.743
c NEW SOLUTION FOUND: 256 @ 8.757
c NEW SOLUTION FOUND: 249 @ 8.771
c NEW SOLUTION FOUND: 248 @ 8.785
c NEW SOLUTION FOUND: 247 @ 8.798
c NEW SOLUTION FOUND: 246 @ 8.813
c NEW SOLUTION FOUND: 245 @ 8.827
c NEW SOLUTION FOUND: 244 @ 8.841
c NEW SOLUTION FOUND: 243 @ 8.855
c NEW SOLUTION FOUND: 242 @ 8.88
c NEW SOLUTION FOUND: 241 @ 8.894
c NEW SOLUTION FOUND: 240 @ 8.922
c NEW SOLUTION FOUND: 239 @ 8.952
c NEW SOLUTION FOUND: 238 @ 8.968
c NEW SOLUTION FOUND: 237 @ 8.996
c NEW SOLUTION FOUND: 236 @ 9.011
c NEW SOLUTION FOUND: 235 @ 9.027
c NEW SOLUTION FOUND: 234 @ 9.059
c NEW SOLUTION FOUND: 231 @ 9.108
c NEW SOLUTION FOUND: 230 @ 9.286
c NEW SOLUTION FOUND: 229 @ 9.485
c NEW SOLUTION FOUND: 228 @ 9.792
c NEW SOLUTION FOUND: 227 @ 10.04
c NEW SOLUTION FOUND: 226 @ 10.938
c NEW SOLUTION FOUND: 224 @ 11.467
c NEW SOLUTION FOUND: 223 @ 12.117
c NEW SOLUTION FOUND: 222 @ 13.444
c NEW SOLUTION FOUND: 221 @ 14.325
c NEW SOLUTION FOUND: 220 @ 16.384
c NEW SOLUTION FOUND: 219 @ 17.32
c NEW SOLUTION FOUND: 202 @ 29.105
c NEW SOLUTION FOUND: 200 @ 145.671
s SATISFIABLE
v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 -x11 x12 -x13 x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 -x59 x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 -x97 x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 x113 -x114 x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 x125 -x126 -x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 -x139 x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 -x155 x156 -x157 x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 -x173 x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 -x187 x188 x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 x200 -x201 x202 -x203 -x204 -x205 x206 x207 -x208 -x209 -x210 -x211 x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 x227 -x228 -x229 x230 -x231 x232 -x233 x234 x235 -x236 -x237 x238 -x239 x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 x262 -x263 x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 x298 x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 x310 x311 -x312 x313 -x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 x340 -x341 x342 x343 -x344 -x345 x346 -x347 x348 -x349 x350 -x351 -x352 x353 -x354 -x355 x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 x382 -x383 -x384 x385 -x386 -x387 x388 -x389 x390 -x391 x392 -x393 x394 -x395 x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 x428 -x429 x430 -x431 -x432 x433 -x434 -x435 x436 -x437 x438 -x439 x440 -x441 x442 -x443 x444 -x445 x446 -x447 -x448 x449 -x450 -x451 x452 -x453 x454 -x455 -x456 -x457 x458 -x459 -x460 x461 -x462 -x463 x464 -x465 x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 x482 x483 -x484 -x485 -x486 -x487 x488 -x489 x490 -x491 -x492 -x493 x494 -x495 x496 -x497 x498 -x499 x500 x501 -x502 -x503 x504 x505 -x506 -x507 x508 -x509 x510 -x511 x512 -x513 x514 -x515 x516 x517 -x518 -x519 x520 -x521 x522 -x523 x524 -x525 x526 -x527 x528 
c Exit Code: 10
c Total time: 1175.54 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
Raw data (loadavg): 0.92 0.97 0.99 2/54 28354
Raw data (stat): 28354 (runsolver) R 28353 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 679830654 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 6124 0 0 0 979 17 0 0 25 0 1 0 679830654 8224768 1330 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2008 1330 1111 63 0 1945 0
vsize: 8032
[startup+20.002 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 18044 0 0 0 1950 45 0 0 25 0 1 0 679830654 9904128 1499 4294967295 134512640 134714508 3221221792 3221217936 1074970267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2418 1499 1111 63 0 2355 0
vsize: 9672
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 20431 0 0 0 2943 52 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+40.003 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 23220 0 0 0 3935 59 0 0 25 0 1 0 679830654 9445376 1388 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1388 1111 63 0 2243 0
vsize: 9224
[startup+50.004 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 25615 0 0 0 4929 66 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+60.0047 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 28448 0 0 0 5922 73 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221218912 1074865024 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 30630 0 0 0 6917 79 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 32763 0 0 0 7911 85 0 0 25 0 1 0 679830654 9592832 1373 4294967295 134512640 134714508 3221221792 3221217936 1074969509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2342 1373 1111 63 0 2279 0
vsize: 9368
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 35063 0 0 0 8905 91 0 0 25 0 1 0 679830654 9445376 1390 4294967295 134512640 134714508 3221221792 3221217692 1074787696 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1390 1111 63 0 2243 0
vsize: 9224
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 37267 0 0 0 9898 97 0 0 25 0 1 0 679830654 9445376 1388 4294967295 134512640 134714508 3221221792 3221217996 1075564150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1388 1111 63 0 2243 0
vsize: 9224
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 39617 0 0 0 10892 104 0 0 25 0 1 0 679830654 9592832 1387 4294967295 134512640 134714508 3221221792 3221217824 1075965253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2342 1387 1111 63 0 2279 0
vsize: 9368
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 42095 0 0 0 11886 111 0 0 25 0 1 0 679830654 9445376 1369 4294967295 134512640 134714508 3221221792 3221217848 1074860223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1369 1111 63 0 2243 0
vsize: 9224
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 44487 0 0 0 12880 117 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221219792 1074919290 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 46931 0 0 0 13874 123 0 0 25 0 1 0 679830654 9445376 1378 4294967295 134512640 134714508 3221221792 3221218176 1074973611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1378 1111 63 0 2243 0
vsize: 9224
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 49636 0 0 0 14865 131 0 0 25 0 1 0 679830654 9445376 1371 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2306 1371 1111 63 0 2243 0
vsize: 9224
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 52632 0 0 0 15856 141 0 0 25 0 1 0 679830654 9592832 1425 4294967295 134512640 134714508 3221221792 3221218064 1074961635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2342 1425 1111 63 0 2279 0
vsize: 9368
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 56858 0 0 0 16844 152 0 0 25 0 1 0 679830654 9445376 1370 4294967295 134512640 134714508 3221221792 3221218064 1074960765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1370 1111 63 0 2243 0
vsize: 9224
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 59909 0 0 0 17835 161 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 62645 0 0 0 18827 169 0 0 25 0 1 0 679830654 9445376 1382 4294967295 134512640 134714508 3221221792 3221218384 1074886353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1382 1111 63 0 2243 0
vsize: 9224
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 65864 0 0 0 19817 179 0 0 25 0 1 0 679830654 9445376 1359 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1359 1111 63 0 2243 0
vsize: 9224
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 68979 0 0 0 20809 188 0 0 25 0 1 0 679830654 9596928 1392 4294967295 134512640 134714508 3221221792 3221217848 1074789701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2343 1392 1111 63 0 2280 0
vsize: 9372
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 71886 0 0 0 21802 195 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220192 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 74562 0 0 0 22795 202 0 0 25 0 1 0 679830654 9601024 1381 4294967295 134512640 134714508 3221221792 3221218712 1075964730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2344 1381 1111 63 0 2281 0
vsize: 9376
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 77064 0 0 0 23788 209 0 0 25 0 1 0 679830654 9445376 1381 4294967295 134512640 134714508 3221221792 3221218448 1075967392 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1381 1111 63 0 2243 0
vsize: 9224
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 79586 0 0 0 24781 216 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 82228 0 0 0 25774 223 0 0 25 0 1 0 679830654 9588736 1402 4294967295 134512640 134714508 3221221792 3221217856 1074791314 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2341 1402 1111 63 0 2278 0
vsize: 9364
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 84933 0 0 0 26766 231 0 0 25 0 1 0 679830654 9580544 1414 4294967295 134512640 134714508 3221221792 3221218368 1076046834 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2339 1414 1111 63 0 2276 0
vsize: 9356
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 87407 0 0 0 27759 239 0 0 25 0 1 0 679830654 9445376 1372 4294967295 134512640 134714508 3221221792 3221218560 1076083606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1372 1111 63 0 2243 0
vsize: 9224
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 89861 0 0 0 28753 246 0 0 25 0 1 0 679830654 9445376 1375 4294967295 134512640 134714508 3221221792 3221218712 1075964778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1375 1111 63 0 2243 0
vsize: 9224
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 92249 0 0 0 29745 253 0 0 25 0 1 0 679830654 9588736 1391 4294967295 134512640 134714508 3221221792 3221218008 1074794353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2341 1391 1111 63 0 2278 0
vsize: 9364
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 94875 0 0 0 30739 259 0 0 25 0 1 0 679830654 9445376 1380 4294967295 134512640 134714508 3221221792 3221217936 1074970267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1380 1111 63 0 2243 0
vsize: 9224
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 97599 0 0 0 31733 265 0 0 25 0 1 0 679830654 9719808 1434 4294967295 134512640 134714508 3221221792 3221217596 1074787653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2373 1434 1111 63 0 2310 0
vsize: 9492
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 100294 0 0 0 32726 273 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 103063 0 0 0 33718 281 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 105790 0 0 0 34711 288 0 0 25 0 1 0 679830654 9445376 1381 4294967295 134512640 134714508 3221221792 3221217596 1074787525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1381 1111 63 0 2243 0
vsize: 9224
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 108353 0 0 0 35704 296 0 0 25 0 1 0 679830654 8368128 1357 4294967295 134512640 134714508 3221221792 3221218984 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2043 1359 1111 63 0 1980 0
vsize: 8172
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 111061 0 0 0 36696 303 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220156 1074207655 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 113825 0 0 0 37688 311 0 0 25 0 1 0 679830654 9613312 1436 4294967295 134512640 134714508 3221221792 3221217704 1074788468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2347 1436 1111 63 0 2284 0
vsize: 9388
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 116697 0 0 0 38680 320 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 119841 0 0 0 39671 329 0 0 25 0 1 0 679830654 9445376 1377 4294967295 134512640 134714508 3221221792 3221218064 1074960879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1377 1111 63 0 2243 0
vsize: 9224
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 122395 0 0 0 40664 336 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220144 1073986748 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 125030 0 0 0 41656 344 0 0 25 0 1 0 679830654 9592832 1403 4294967295 134512640 134714508 3221221792 3221218864 1074867212 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2342 1403 1111 63 0 2279 0
vsize: 9368
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 127606 0 0 0 42650 351 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221218912 1074865129 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 130207 0 0 0 43642 358 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220400 134650161 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 133236 0 0 0 44635 366 0 0 25 0 1 0 679830654 9588736 1405 4294967295 134512640 134714508 3221221792 3221218032 1075115734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2341 1405 1111 63 0 2278 0
vsize: 9364
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 136525 0 0 0 45626 375 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220192 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 139693 0 0 0 46616 385 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220320 1074912873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 142845 0 0 0 47608 393 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220256 1074121085 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 146181 0 0 0 48598 404 0 0 25 0 1 0 679830654 9445376 1376 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1376 1111 63 0 2243 0
vsize: 9224
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 149392 0 0 0 49591 411 0 0 25 0 1 0 679830654 9580544 1415 4294967295 134512640 134714508 3221221792 3221217728 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2339 1415 1111 63 0 2276 0
vsize: 9356
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 152946 0 0 0 50581 422 0 0 25 0 1 0 679830654 9445376 1362 4294967295 134512640 134714508 3221221792 3221218128 1075113521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1362 1111 63 0 2243 0
vsize: 9224
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 157618 0 0 0 51568 434 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 160867 0 0 0 52559 444 0 0 25 0 1 0 679830654 9654272 1433 4294967295 134512640 134714508 3221221792 3221218064 1074960935 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2357 1433 1111 63 0 2294 0
vsize: 9428
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 163904 0 0 0 53550 452 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 167022 0 0 0 54542 461 0 0 25 0 1 0 679830654 9584640 1390 4294967295 134512640 134714508 3221221792 3221217876 1075964393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2340 1390 1111 63 0 2277 0
vsize: 9360
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 170091 0 0 0 55534 469 0 0 25 0 1 0 679830654 9588736 1386 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2341 1386 1111 63 0 2278 0
vsize: 9364
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 173582 0 0 0 56524 479 0 0 25 0 1 0 679830654 9445376 1367 4294967295 134512640 134714508 3221221792 3221218808 1074950789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 9224
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 176948 0 0 0 57517 486 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221219792 1074916167 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 180619 0 0 0 58508 496 0 0 25 0 1 0 679830654 9580544 1375 4294967295 134512640 134714508 3221221792 3221218892 1074809764 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2339 1375 1111 63 0 2276 0
vsize: 9356
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 183852 0 0 0 59498 505 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 187008 0 0 0 60489 515 0 0 25 0 1 0 679830654 9609216 1402 4294967295 134512640 134714508 3221221792 3221218752 1074790226 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2346 1402 1111 63 0 2283 0
vsize: 9384
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 190162 0 0 0 61479 525 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220520 134600217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 193524 0 0 0 62470 534 0 0 25 0 1 0 679830654 9445376 1370 4294967295 134512640 134714508 3221221792 3221217936 1074950925 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1370 1111 63 0 2243 0
vsize: 9224
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 196793 0 0 0 63461 543 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220192 1074153767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 200420 0 0 0 64452 553 0 0 25 0 1 0 679830654 9588736 1361 4294967295 134512640 134714508 3221221792 3221218020 1075114948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2341 1361 1111 63 0 2278 0
vsize: 9364
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 203901 0 0 0 65444 561 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220144 1073986742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 206956 0 0 0 66435 570 0 0 25 0 1 0 679830654 9588736 1384 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2341 1384 1111 63 0 2278 0
vsize: 9364
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 210501 0 0 0 67425 580 0 0 25 0 1 0 679830654 8224768 1339 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1339 1111 63 0 1945 0
vsize: 8032
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 213366 0 0 0 68419 587 0 0 25 0 1 0 679830654 8278016 1352 4294967295 134512640 134714508 3221221792 3221220068 1077374461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2021 1352 1111 63 0 1958 0
vsize: 8084
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 216244 0 0 0 69412 594 0 0 25 0 1 0 679830654 8294400 1356 4294967295 134512640 134714508 3221221792 3221219704 1074138315 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2025 1356 1111 63 0 1962 0
vsize: 8100
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 219205 0 0 0 70404 602 0 0 25 0 1 0 679830654 8278016 1352 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2021 1352 1111 63 0 1958 0
vsize: 8084
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 222370 0 0 0 71395 611 0 0 25 0 1 0 679830654 9650176 1398 4294967295 134512640 134714508 3221221792 3221217704 1074788452 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2356 1398 1111 63 0 2293 0
vsize: 9424
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 225661 0 0 0 72386 621 0 0 25 0 1 0 679830654 9691136 1419 4294967295 134512640 134714508 3221221792 3221217920 1075561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2366 1419 1111 63 0 2303 0
vsize: 9464
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 228789 0 0 0 73378 628 0 0 25 0 1 0 679830654 9498624 1383 4294967295 134512640 134714508 3221221792 3221218448 1075968658 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2319 1383 1111 63 0 2256 0
vsize: 9276
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 231743 0 0 0 74369 638 0 0 25 0 1 0 679830654 8314880 1361 4294967295 134512640 134714508 3221221792 3221219768 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2030 1361 1111 63 0 1967 0
vsize: 8120
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 234792 0 0 0 75360 647 0 0 25 0 1 0 679830654 8351744 1366 4294967295 134512640 134714508 3221221792 3221218896 1074138844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2039 1366 1111 63 0 1976 0
vsize: 8156
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 237736 0 0 0 76351 655 0 0 25 0 1 0 679830654 9715712 1405 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2372 1405 1111 63 0 2309 0
vsize: 9488
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 241409 0 0 0 77342 665 0 0 25 0 1 0 679830654 9535488 1392 4294967295 134512640 134714508 3221221792 3221218020 1075115141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2328 1392 1111 63 0 2265 0
vsize: 9312
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 244784 0 0 0 78333 674 0 0 25 0 1 0 679830654 9764864 1468 4294967295 134512640 134714508 3221221792 3221218772 1075964073 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2384 1468 1111 63 0 2321 0
vsize: 9536
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 248010 0 0 0 79323 684 0 0 25 0 1 0 679830654 8314880 1361 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2030 1361 1111 63 0 1967 0
vsize: 8120
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28354
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 251359 0 0 0 80314 693 0 0 25 0 1 0 679830654 8331264 1365 4294967295 134512640 134714508 3221221792 3221220192 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2034 1365 1111 63 0 1971 0
vsize: 8136
[startup+820.027 s]
Raw data (loadavg): 1.07 0.99 0.99 3/57 28391
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 254454 0 0 0 81306 701 0 0 25 0 1 0 679830654 9777152 1471 4294967295 134512640 134714508 3221221792 3221218020 1075115127 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2387 1471 1111 63 0 2324 0
vsize: 9548
[startup+830.028 s]
Raw data (loadavg): 1.14 1.00 1.00 2/54 28407
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 257386 0 0 0 82297 710 0 0 25 0 1 0 679830654 9793536 1465 4294967295 134512640 134714508 3221221792 3221218064 1074960771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2391 1465 1111 63 0 2328 0
vsize: 9564
[startup+840.029 s]
Raw data (loadavg): 1.11 1.00 1.00 2/54 28407
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 259991 0 0 0 83291 717 0 0 25 0 1 0 679830654 9818112 1461 4294967295 134512640 134714508 3221221792 3221218064 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2397 1461 1111 63 0 2334 0
vsize: 9588
[startup+850.029 s]
Raw data (loadavg): 1.10 1.00 1.00 2/54 28407
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 262675 0 0 0 84282 726 0 0 25 0 1 0 679830654 8429568 1389 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2058 1389 1111 63 0 1995 0
vsize: 8232
[startup+860.03 s]
Raw data (loadavg): 1.08 1.00 1.00 2/54 28407
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 265337 0 0 0 85275 733 0 0 25 0 1 0 679830654 9793536 1461 4294967295 134512640 134714508 3221221792 3221217728 1075965307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2391 1461 1111 63 0 2328 0
vsize: 9564
[startup+870.031 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 28407
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 267986 0 0 0 86268 740 0 0 25 0 1 0 679830654 9830400 1466 4294967295 134512640 134714508 3221221792 3221218256 1075603046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 1466 1111 63 0 2337 0
vsize: 9600
[startup+880.031 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 28407
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 270433 0 0 0 87260 748 0 0 25 0 1 0 679830654 9850880 1460 4294967295 134512640 134714508 3221221792 3221218320 1075119993 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2405 1463 1111 63 0 2342 0
vsize: 9620
[startup+890.032 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 272970 0 0 0 88254 755 0 0 25 0 1 0 679830654 9846784 1477 4294967295 134512640 134714508 3221221792 3221217876 1075964393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2404 1477 1111 63 0 2341 0
vsize: 9616
[startup+900.033 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 275249 0 0 0 89247 762 0 0 25 0 1 0 679830654 8462336 1397 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2066 1397 1111 63 0 2003 0
vsize: 8264
[startup+910.034 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 277882 0 0 0 90239 770 0 0 25 0 1 0 679830654 8638464 1404 4294967295 134512640 134714508 3221221792 3221219072 1074140041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2109 1408 1111 63 0 2046 0
vsize: 8436
[startup+920.034 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 280259 0 0 0 91232 777 0 0 25 0 1 0 679830654 9830400 1474 4294967295 134512640 134714508 3221221792 3221217608 1074788427 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2400 1474 1111 63 0 2337 0
vsize: 9600
[startup+930.034 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 283088 0 0 0 92224 785 0 0 25 0 1 0 679830654 8462336 1397 4294967295 134512640 134714508 3221221792 3221220120 1077402401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2066 1397 1111 63 0 2003 0
vsize: 8264
[startup+940.035 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 286219 0 0 0 93215 795 0 0 25 0 1 0 679830654 8478720 1398 4294967295 134512640 134714508 3221221792 3221219760 1074247421 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2070 1398 1111 63 0 2007 0
vsize: 8280
[startup+950.035 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 289088 0 0 0 94206 804 0 0 25 0 1 0 679830654 9867264 1478 4294967295 134512640 134714508 3221221792 3221217728 1075965308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2409 1478 1111 63 0 2346 0
vsize: 9636
[startup+960.036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 292062 0 0 0 95198 812 0 0 25 0 1 0 679830654 9912320 1472 4294967295 134512640 134714508 3221221792 3221217952 1075091819 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2420 1472 1111 63 0 2357 0
vsize: 9680
[startup+970.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 295160 0 0 0 96190 821 0 0 25 0 1 0 679830654 8495104 1405 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2074 1405 1111 63 0 2011 0
vsize: 8296
[startup+980.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 298067 0 0 0 97182 829 0 0 25 0 1 0 679830654 9879552 1462 4294967295 134512640 134714508 3221221792 3221217936 1074969465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2412 1462 1111 63 0 2349 0
vsize: 9648
[startup+990.038 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 300731 0 0 0 98174 837 0 0 25 0 1 0 679830654 8511488 1409 4294967295 134512640 134714508 3221221792 3221220192 1074118806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2078 1409 1111 63 0 2015 0
vsize: 8312
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 303401 0 0 0 99167 844 0 0 25 0 1 0 679830654 8495104 1405 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2074 1405 1111 63 0 2011 0
vsize: 8296
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 306461 0 0 0 100159 852 0 0 25 0 1 0 679830654 8495104 1405 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2074 1405 1111 63 0 2011 0
vsize: 8296
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 309478 0 0 0 101151 860 0 0 25 0 1 0 679830654 8511488 1409 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2078 1409 1111 63 0 2015 0
vsize: 8312
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 315201 0 0 0 102136 875 0 0 25 0 1 0 679830654 8511488 1409 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2078 1409 1111 63 0 2015 0
vsize: 8312
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 319134 0 0 0 103127 885 0 0 25 0 1 0 679830654 8511488 1409 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2078 1409 1111 63 0 2015 0
vsize: 8312
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 322692 0 0 0 104118 894 0 0 25 0 1 0 679830654 8548352 1418 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2087 1418 1111 63 0 2024 0
vsize: 8348
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 327872 0 0 0 105105 907 0 0 25 0 1 0 679830654 8548352 1418 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2087 1418 1111 63 0 2024 0
vsize: 8348
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 331598 0 0 0 106095 917 0 0 25 0 1 0 679830654 8708096 1425 4294967295 134512640 134714508 3221221792 3221219520 1075828843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2126 1425 1111 63 0 2063 0
vsize: 8504
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 334748 0 0 0 107087 926 0 0 25 0 1 0 679830654 8548352 1418 4294967295 134512640 134714508 3221221792 3221219904 1074867352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2087 1418 1111 63 0 2024 0
vsize: 8348
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 338630 0 0 0 108076 937 0 0 25 0 1 0 679830654 8548352 1418 4294967295 134512640 134714508 3221221792 3221220120 1073978417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2087 1418 1111 63 0 2024 0
vsize: 8348
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 341561 0 0 0 109068 945 0 0 25 0 1 0 679830654 10018816 1523 4294967295 134512640 134714508 3221221792 3221217760 1074791011 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2446 1523 1111 63 0 2383 0
vsize: 9784
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 344590 0 0 0 110058 955 0 0 25 0 1 0 679830654 9801728 1448 4294967295 134512640 134714508 3221221792 3221218784 1075110368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2393 1448 1111 63 0 2330 0
vsize: 9572
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 347475 0 0 0 111051 963 0 0 25 0 1 0 679830654 8601600 1431 4294967295 134512640 134714508 3221221792 3221220192 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2100 1431 1111 63 0 2037 0
vsize: 8400
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28409
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 350594 0 0 0 112043 971 0 0 25 0 1 0 679830654 9822208 1451 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2398 1451 1111 63 0 2335 0
vsize: 9592
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28411
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 353969 0 0 0 113034 980 0 0 25 0 1 0 679830654 9990144 1499 4294967295 134512640 134714508 3221221792 3221218912 1074835534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2439 1499 1111 63 0 2376 0
vsize: 9756
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28411
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 356977 0 0 0 114025 989 0 0 25 0 1 0 679830654 8617984 1435 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2104 1435 1111 63 0 2041 0
vsize: 8416
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28411
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 359484 0 0 0 115018 996 0 0 25 0 1 0 679830654 9990144 1492 4294967295 134512640 134714508 3221221792 3221217920 1075561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2439 1492 1111 63 0 2376 0
vsize: 9756
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28411
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 362387 0 0 0 116010 1005 0 0 25 0 1 0 679830654 8617984 1435 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2104 1435 1111 63 0 2041 0
vsize: 8416
[startup+1175.46 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 28411
Raw data (stat): 28354 (bsolo_lpr) R 28353 7876 7672 0 -1 0 362387 0 0 0 116010 1005 0 0 25 0 1 0 679830654 8617984 1435 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2104 1435 1111 63 0 2041 0
vsize: 0

Child status: 10
Real time (s): 1175.46
CPU time (s): 1175.56
CPU user time (s): 1165.46
CPU system time (s): 10.1035
CPU usage (%): 100.009
Max. virtual memory (Kb): 9784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	200
#### END VERIFIER DATA ####