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 23872

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-05 20:48:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1315 boxname=wulflinc31 idbench=147 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c4653389ddee2820797c664a0856c651  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32b1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32b1.opb
IDLAUNCH: 1315
/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:        156976 kB
Buffers:         35048 kB
Cached:         808668 kB
SwapCached:        640 kB
Active:         481588 kB
Inactive:       364212 kB
HighTotal:      131008 kB
HighFree:        13132 kB
LowTotal:       903652 kB
LowFree:        143844 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            26196 kB
Committed_AS:    63376 kB
PageTables:        304 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-05 21:07:52 (client local time) WITH STATUS 10 IN 1175.15 SECONDS
stats: 1315 0 1175.15 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.501 s
c Initial Lower Bound: 140
c Lower Bound Elapsed time: 0.6658
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 228 @ 8.937
c NEW SOLUTION FOUND: 227 @ 8.938
c NEW SOLUTION FOUND: 226 @ 8.944
c NEW SOLUTION FOUND: 225 @ 8.95
c NEW SOLUTION FOUND: 224 @ 8.956
c NEW SOLUTION FOUND: 223 @ 8.963
c NEW SOLUTION FOUND: 222 @ 8.991
c NEW SOLUTION FOUND: 221 @ 9.03
c NEW SOLUTION FOUND: 220 @ 9.247
c NEW SOLUTION FOUND: 219 @ 11.508
c NEW SOLUTION FOUND: 215 @ 17.236
c NEW SOLUTION FOUND: 212 @ 86.435
c NEW SOLUTION FOUND: 210 @ 187.778
c NEW SOLUTION FOUND: 198 @ 283.613
c NEW SOLUTION FOUND: 197 @ 283.693
c NEW SOLUTION FOUND: 196 @ 452.195
c NEW SOLUTION FOUND: 195 @ 809.731
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.12 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.86 0.96 0.94 2/53 17952
Raw data (stat): 17952 (runsolver) R 17951 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 669040338 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0017 s]
Raw data (loadavg): 0.88 0.96 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 5746 0 0 0 972 18 0 0 25 0 1 0 669040338 7925760 1256 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1935 1256 1111 63 0 1872 0
vsize: 7740
[startup+20.0026 s]
Raw data (loadavg): 0.90 0.96 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 12798 0 0 0 1953 37 0 0 25 0 1 0 669040338 8896512 1384 4294967295 134512640 134714508 3221221792 3221218128 1075114245 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2172 1384 1111 63 0 2109 0
vsize: 8688
[startup+30.0041 s]
Raw data (loadavg): 0.91 0.96 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 19119 0 0 0 2936 54 0 0 25 0 1 0 669040338 8593408 1342 4294967295 134512640 134714508 3221221792 3221218064 1074799424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2098 1342 1111 63 0 2035 0
vsize: 8392
[startup+40.0045 s]
Raw data (loadavg): 0.93 0.96 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 25166 0 0 0 3920 70 0 0 25 0 1 0 669040338 8683520 1366 4294967295 134512640 134714508 3221221792 3221217936 1074970218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2120 1366 1111 63 0 2057 0
vsize: 8480
[startup+50.0057 s]
Raw data (loadavg): 0.94 0.96 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 31056 0 0 0 4906 85 0 0 25 0 1 0 669040338 8790016 1391 4294967295 134512640 134714508 3221221792 3221217668 1074786600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2146 1391 1111 63 0 2083 0
vsize: 8584
[startup+60.0059 s]
Raw data (loadavg): 0.95 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 36725 0 0 0 5889 102 0 0 25 0 1 0 669040338 8818688 1365 4294967295 134512640 134714508 3221221792 3221218776 1074831411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2153 1365 1111 63 0 2090 0
vsize: 8612
[startup+70.0073 s]
Raw data (loadavg): 0.95 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 43751 0 0 0 6872 119 0 0 25 0 1 0 669040338 8937472 1421 4294967295 134512640 134714508 3221221792 3221217956 1075964282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2182 1421 1111 63 0 2119 0
vsize: 8728
[startup+80.0092 s]
Raw data (loadavg): 0.96 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 48820 0 0 0 7857 133 0 0 25 0 1 0 669040338 9031680 1412 4294967295 134512640 134714508 3221221792 3221218320 1075890974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2205 1412 1111 63 0 2142 0
vsize: 8820
[startup+90.0097 s]
Raw data (loadavg): 0.97 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 55062 0 0 0 8841 150 0 0 25 0 1 0 669040338 9338880 1495 4294967295 134512640 134714508 3221221792 3221217996 1075564263 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2280 1495 1111 63 0 2217 0
vsize: 9120
[startup+100.01 s]
Raw data (loadavg): 0.97 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 62116 0 0 0 9823 169 0 0 25 0 1 0 669040338 8785920 1478 4294967295 134512640 134714508 3221221792 3221220344 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2145 1478 1111 63 0 2082 0
vsize: 8580
[startup+110.011 s]
Raw data (loadavg): 0.97 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 67403 0 0 0 10810 181 0 0 25 0 1 0 669040338 9383936 1534 4294967295 134512640 134714508 3221221792 3221218160 1075894554 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2291 1534 1111 63 0 2228 0
vsize: 9164
[startup+120.012 s]
Raw data (loadavg): 0.98 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 73260 0 0 0 11796 195 0 0 25 0 1 0 669040338 9420800 1544 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2300 1544 1111 63 0 2237 0
vsize: 9200
[startup+130.013 s]
Raw data (loadavg): 0.98 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 78098 0 0 0 12784 208 0 0 25 0 1 0 669040338 9928704 1561 4294967295 134512640 134714508 3221221792 3221218320 1075397199 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2424 1561 1111 63 0 2361 0
vsize: 9696
[startup+140.014 s]
Raw data (loadavg): 0.98 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 84375 0 0 0 13769 223 0 0 25 0 1 0 669040338 8982528 1526 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2193 1526 1111 63 0 2130 0
vsize: 8772
[startup+150.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 89442 0 0 0 14757 235 0 0 25 0 1 0 669040338 9039872 1540 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2207 1540 1111 63 0 2144 0
vsize: 8828
[startup+160.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 95860 0 0 0 15741 251 0 0 25 0 1 0 669040338 9039872 1540 4294967295 134512640 134714508 3221221792 3221219616 1075823107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2207 1540 1111 63 0 2144 0
vsize: 8828
[startup+170.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 101496 0 0 0 16728 264 0 0 25 0 1 0 669040338 9134080 1563 4294967295 134512640 134714508 3221221792 3221219792 1074056003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2230 1563 1111 63 0 2167 0
vsize: 8920
[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 107131 0 0 0 17714 278 0 0 25 0 1 0 669040338 10059776 1616 4294967295 134512640 134714508 3221221792 3221218836 1074846206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2456 1616 1111 63 0 2393 0
vsize: 9824
[startup+190.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 112569 0 0 0 18700 293 0 0 25 0 1 0 669040338 9322496 1609 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2276 1609 1111 63 0 2213 0
vsize: 9104
[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 120021 0 0 0 19680 313 0 0 25 0 1 0 669040338 10473472 1717 4294967295 134512640 134714508 3221221792 3221218128 1075113536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2557 1717 1111 63 0 2494 0
vsize: 10228
[startup+210.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 125338 0 0 0 20666 327 0 0 25 0 1 0 669040338 9408512 1630 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2297 1630 1111 63 0 2234 0
vsize: 9188
[startup+220.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 131243 0 0 0 21651 342 0 0 25 0 1 0 669040338 9437184 1637 4294967295 134512640 134714508 3221221792 3221220104 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2304 1637 1111 63 0 2241 0
vsize: 9216
[startup+230.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 137484 0 0 0 22634 359 0 0 25 0 1 0 669040338 10567680 1709 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2580 1709 1111 63 0 2517 0
vsize: 10320
[startup+240.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 142573 0 0 0 23621 372 0 0 25 0 1 0 669040338 9568256 1669 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2336 1669 1111 63 0 2273 0
vsize: 9344
[startup+250.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 149621 0 0 0 24605 389 0 0 25 0 1 0 669040338 10616832 1811 4294967295 134512640 134714508 3221221792 3221218560 1076084179 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2592 1811 1111 63 0 2529 0
vsize: 10368
[startup+260.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 155802 0 0 0 25588 406 0 0 25 0 1 0 669040338 9736192 1710 4294967295 134512640 134714508 3221221792 3221220044 1077411566 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2377 1710 1111 63 0 2314 0
vsize: 9508
[startup+270.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 161483 0 0 0 26574 419 0 0 25 0 1 0 669040338 10395648 1784 4294967295 134512640 134714508 3221221792 3221218624 1075115397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1784 1111 63 0 2475 0
vsize: 10152
[startup+280.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 167323 0 0 0 27559 434 0 0 25 0 1 0 669040338 10428416 1789 4294967295 134512640 134714508 3221221792 3221217952 1075093350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2546 1789 1111 63 0 2483 0
vsize: 10184
[startup+290.026 s]
Raw data (loadavg): 1.07 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 173335 0 0 0 28543 450 0 0 25 0 1 0 669040338 10973184 1834 4294967295 134512640 134714508 3221221792 3221218112 1075169529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1834 1111 63 0 2616 0
vsize: 10716
[startup+300.026 s]
Raw data (loadavg): 1.06 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 179558 0 0 0 29527 467 0 0 25 0 1 0 669040338 9920512 1755 4294967295 134512640 134714508 3221221792 3221220432 134650078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2422 1755 1111 63 0 2359 0
vsize: 9688
[startup+310.028 s]
Raw data (loadavg): 1.05 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 185290 0 0 0 30511 483 0 0 25 0 1 0 669040338 9986048 1771 4294967295 134512640 134714508 3221221792 3221220008 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2438 1771 1111 63 0 2375 0
vsize: 9752
[startup+320.029 s]
Raw data (loadavg): 1.04 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 191806 0 0 0 31494 500 0 0 25 0 1 0 669040338 10182656 1819 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2486 1819 1111 63 0 2423 0
vsize: 9944
[startup+330.029 s]
Raw data (loadavg): 1.04 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 198030 0 0 0 32479 515 0 0 25 0 1 0 669040338 10735616 1827 4294967295 134512640 134714508 3221221792 3221218448 1075966259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2621 1827 1111 63 0 2558 0
vsize: 10484
[startup+340.029 s]
Raw data (loadavg): 1.03 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 203980 0 0 0 33466 529 0 0 25 0 1 0 669040338 10735616 1866 4294967295 134512640 134714508 3221221792 3221217728 1075965232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2621 1866 1111 63 0 2558 0
vsize: 10484
[startup+350.03 s]
Raw data (loadavg): 1.03 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 209657 0 0 0 34451 544 0 0 25 0 1 0 669040338 10747904 1839 4294967295 134512640 134714508 3221221792 3221220120 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2624 1839 1111 63 0 2561 0
vsize: 10496
[startup+360.031 s]
Raw data (loadavg): 1.02 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 215261 0 0 0 35437 558 0 0 25 0 1 0 669040338 10235904 1832 4294967295 134512640 134714508 3221221792 3221220256 1074119510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2499 1832 1111 63 0 2436 0
vsize: 9996
[startup+370.031 s]
Raw data (loadavg): 1.02 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 221314 0 0 0 36420 575 0 0 25 0 1 0 669040338 10182656 1819 4294967295 134512640 134714508 3221221792 3221220432 134649092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2486 1819 1111 63 0 2423 0
vsize: 9944
[startup+380.032 s]
Raw data (loadavg): 1.01 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 228157 0 0 0 37403 592 0 0 25 0 1 0 669040338 10227712 1830 4294967295 134512640 134714508 3221221792 3221220348 134539315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2497 1830 1111 63 0 2434 0
vsize: 9988
[startup+390.033 s]
Raw data (loadavg): 1.01 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 234819 0 0 0 38385 610 0 0 25 0 1 0 669040338 11354112 2015 4294967295 134512640 134714508 3221221792 3221217936 1074970275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2772 2015 1111 63 0 2709 0
vsize: 11088
[startup+400.033 s]
Raw data (loadavg): 1.01 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 240007 0 0 0 39371 624 0 0 25 0 1 0 669040338 10321920 1853 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2520 1853 1111 63 0 2457 0
vsize: 10080
[startup+410.034 s]
Raw data (loadavg): 1.01 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 246276 0 0 0 40355 641 0 0 25 0 1 0 669040338 11378688 1904 4294967295 134512640 134714508 3221221792 3221218040 1077410129 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1904 1111 63 0 2715 0
vsize: 11112
[startup+420.035 s]
Raw data (loadavg): 1.01 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 251496 0 0 0 41343 653 0 0 25 0 1 0 669040338 11202560 1975 4294967295 134512640 134714508 3221221792 3221217792 1075965250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2735 1975 1111 63 0 2672 0
vsize: 10940
[startup+430.036 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 256543 0 0 0 42329 667 0 0 25 0 1 0 669040338 11440128 1917 4294967295 134512640 134714508 3221221792 3221218020 1075114948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2793 1917 1111 63 0 2730 0
vsize: 11172
[startup+440.037 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 261979 0 0 0 43316 680 0 0 25 0 1 0 669040338 10403840 1873 4294967295 134512640 134714508 3221221792 3221220100 1077402435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2540 1873 1111 63 0 2477 0
vsize: 10160
[startup+450.036 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 267254 0 0 0 44302 694 0 0 25 0 1 0 669040338 11055104 1947 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2699 1947 1111 63 0 2636 0
vsize: 10796
[startup+460.038 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 272864 0 0 0 45286 710 0 0 25 0 1 0 669040338 11206656 1956 4294967295 134512640 134714508 3221221792 3221217952 1075094100 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2736 1956 1111 63 0 2673 0
vsize: 10944
[startup+470.039 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 279342 0 0 0 46271 725 0 0 25 0 1 0 669040338 11345920 1954 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1954 1111 63 0 2707 0
vsize: 11080
[startup+480.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 285450 0 0 0 47256 741 0 0 25 0 1 0 669040338 11096064 1954 4294967295 134512640 134714508 3221221792 3221218064 1074960952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2709 1954 1111 63 0 2646 0
vsize: 10836
[startup+490.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 290556 0 0 0 48243 754 0 0 25 0 1 0 669040338 10596352 1920 4294967295 134512640 134714508 3221221792 3221220192 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2587 1920 1111 63 0 2524 0
vsize: 10348
[startup+500.041 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 296137 0 0 0 49230 766 0 0 25 0 1 0 669040338 11345920 2007 4294967295 134512640 134714508 3221221792 3221217936 1074971855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 2007 1111 63 0 2707 0
vsize: 11080
[startup+510.042 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 302230 0 0 0 50216 780 0 0 25 0 1 0 669040338 11345920 2017 4294967295 134512640 134714508 3221221792 3221217760 1074872805 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 2017 1111 63 0 2707 0
vsize: 11080
[startup+520.042 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 307931 0 0 0 51202 795 0 0 25 0 1 0 669040338 10866688 1986 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2653 1986 1111 63 0 2590 0
vsize: 10612
[startup+530.044 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 313305 0 0 0 52187 810 0 0 25 0 1 0 669040338 10866688 1986 4294967295 134512640 134714508 3221221792 3221219792 1074917897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2653 1986 1111 63 0 2590 0
vsize: 10612
[startup+540.045 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 318934 0 0 0 53174 824 0 0 25 0 1 0 669040338 11706368 2010 4294967295 134512640 134714508 3221221792 3221218392 1075850761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2858 2010 1111 63 0 2795 0
vsize: 11432
[startup+550.045 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 325751 0 0 0 54157 841 0 0 25 0 1 0 669040338 11419648 2036 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2788 2036 1111 63 0 2725 0
vsize: 11152
[startup+560.046 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 331430 0 0 0 55142 856 0 0 25 0 1 0 669040338 10866688 1986 4294967295 134512640 134714508 3221221792 3221220396 1074152784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2653 1986 1111 63 0 2590 0
vsize: 10612
[startup+570.046 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 336846 0 0 0 56128 869 0 0 25 0 1 0 669040338 10866688 1986 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2653 1986 1111 63 0 2590 0
vsize: 10612
[startup+580.048 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 342368 0 0 0 57114 884 0 0 25 0 1 0 669040338 11419648 2033 4294967295 134512640 134714508 3221221792 3221217944 1074883183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2788 2033 1111 63 0 2725 0
vsize: 11152
[startup+590.049 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 347705 0 0 0 58101 897 0 0 25 0 1 0 669040338 11440128 2028 4294967295 134512640 134714508 3221221792 3221218368 1076047982 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2793 2028 1111 63 0 2730 0
vsize: 11172
[startup+600.049 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 353530 0 0 0 59087 912 0 0 25 0 1 0 669040338 11440128 2039 4294967295 134512640 134714508 3221221792 3221217804 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2793 2039 1111 63 0 2730 0
vsize: 11172
[startup+610.051 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 358773 0 0 0 60073 925 0 0 25 0 1 0 669040338 10887168 1991 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1991 1111 63 0 2595 0
vsize: 10632
[startup+620.052 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 364659 0 0 0 61060 939 0 0 25 0 1 0 669040338 11534336 2065 4294967295 134512640 134714508 3221221792 3221218064 1074799300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2816 2065 1111 63 0 2753 0
vsize: 11264
[startup+630.052 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 371061 0 0 0 62042 957 0 0 25 0 1 0 669040338 10948608 2006 4294967295 134512640 134714508 3221221792 3221220520 134543206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2673 2006 1111 63 0 2610 0
vsize: 10692
[startup+640.053 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 376901 0 0 0 63026 973 0 0 25 0 1 0 669040338 11984896 2056 4294967295 134512640 134714508 3221221792 3221218384 1074885456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2926 2056 1111 63 0 2863 0
vsize: 11704
[startup+650.053 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 381222 0 0 0 64014 985 0 0 25 0 1 0 669040338 10981376 2014 4294967295 134512640 134714508 3221221792 3221219792 1074051849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2681 2014 1111 63 0 2618 0
vsize: 10724
[startup+660.054 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 385634 0 0 0 65004 995 0 0 25 0 1 0 669040338 10981376 2014 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2681 2014 1111 63 0 2618 0
vsize: 10724
[startup+670.054 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 391142 0 0 0 65988 1011 0 0 25 0 1 0 669040338 11714560 2078 4294967295 134512640 134714508 3221221792 3221218448 1075969178 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2860 2078 1111 63 0 2797 0
vsize: 11440
[startup+680.055 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 397192 0 0 0 66973 1027 0 0 25 0 1 0 669040338 11673600 2098 4294967295 134512640 134714508 3221221792 3221218912 1074834321 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2715 2048 1111 63 0 2652 0
vsize: 11400
[startup+690.054 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 403167 0 0 0 67957 1043 0 0 25 0 1 0 669040338 11730944 2111 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2864 2111 1111 63 0 2801 0
vsize: 11456
[startup+700.055 s]
Raw data (loadavg): 1.00 0.99 0.95 2/53 17952
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 408169 0 0 0 68943 1057 0 0 25 0 1 0 669040338 11788288 2122 4294967295 134512640 134714508 3221221792 3221217804 1074788968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2878 2122 1111 63 0 2815 0
vsize: 11512
[startup+710.057 s]
Raw data (loadavg): 1.08 1.00 0.95 3/56 17990
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 413339 0 0 0 69928 1072 0 0 25 0 1 0 669040338 12316672 2147 4294967295 134512640 134714508 3221221792 3221218064 1074960857 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3007 2147 1111 63 0 2944 0
vsize: 12028
[startup+720.056 s]
Raw data (loadavg): 1.07 1.00 0.95 2/53 18005
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 418237 0 0 0 70915 1085 0 0 25 0 1 0 669040338 11878400 2143 4294967295 134512640 134714508 3221221792 3221218064 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2900 2143 1111 63 0 2837 0
vsize: 11600
[startup+730.058 s]
Raw data (loadavg): 1.06 1.00 0.95 2/53 18005
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 424636 0 0 0 71898 1103 0 0 25 0 1 0 669040338 11317248 2096 4294967295 134512640 134714508 3221221792 3221220192 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2763 2096 1111 63 0 2700 0
vsize: 11052
[startup+740.058 s]
Raw data (loadavg): 1.05 1.00 0.95 2/53 18005
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 429849 0 0 0 72885 1116 0 0 25 0 1 0 669040338 11280384 2087 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2754 2087 1111 63 0 2691 0
vsize: 11016
[startup+750.058 s]
Raw data (loadavg): 1.04 1.00 0.95 2/53 18005
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 435131 0 0 0 73869 1132 0 0 25 0 1 0 669040338 12189696 2214 4294967295 134512640 134714508 3221221792 3221217936 1074969471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2976 2216 1111 63 0 2913 0
vsize: 11904
[startup+760.058 s]
Raw data (loadavg): 1.03 1.00 0.95 2/53 18005
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 440961 0 0 0 74855 1146 0 0 25 0 1 0 669040338 11329536 2099 4294967295 134512640 134714508 3221221792 3221220412 134539344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2766 2099 1111 63 0 2703 0
vsize: 11064
[startup+770.059 s]
Raw data (loadavg): 1.03 1.00 0.95 2/53 18005
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 446857 0 0 0 75842 1159 0 0 25 0 1 0 669040338 12054528 2155 4294967295 134512640 134714508 3221221792 3221217804 1074788930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2943 2155 1111 63 0 2880 0
vsize: 11772
[startup+780.06 s]
Raw data (loadavg): 1.02 1.00 0.95 2/53 18005
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 452857 0 0 0 76826 1175 0 0 25 0 1 0 669040338 11919360 2154 4294967295 134512640 134714508 3221221792 3221217756 1074788096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2910 2154 1111 63 0 2847 0
vsize: 11640
[startup+790.06 s]
Raw data (loadavg): 1.02 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 458425 0 0 0 77813 1189 0 0 25 0 1 0 669040338 12029952 2184 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2184 1111 63 0 2874 0
vsize: 11748
[startup+800.06 s]
Raw data (loadavg): 1.02 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 464293 0 0 0 78799 1203 0 0 25 0 1 0 669040338 11423744 2122 4294967295 134512640 134714508 3221221792 3221219792 1074918243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2789 2122 1111 63 0 2726 0
vsize: 11156
[startup+810.061 s]
Raw data (loadavg): 1.01 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 468836 0 0 0 79787 1215 0 0 25 0 1 0 669040338 12083200 2196 4294967295 134512640 134714508 3221221792 3221217952 1075093353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2950 2196 1111 63 0 2887 0
vsize: 11800
[startup+820.061 s]
Raw data (loadavg): 1.01 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 474079 0 0 0 80772 1230 0 0 25 0 1 0 669040338 12115968 2200 4294967295 134512640 134714508 3221221792 3221217952 1075090563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2958 2200 1111 63 0 2895 0
vsize: 11832
[startup+830.061 s]
Raw data (loadavg): 1.01 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 478676 0 0 0 81761 1241 0 0 25 0 1 0 669040338 12619776 2210 4294967295 134512640 134714508 3221221792 3221218128 1075113511 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3081 2210 1111 63 0 3018 0
vsize: 12324
[startup+840.062 s]
Raw data (loadavg): 1.01 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 483849 0 0 0 82749 1253 0 0 25 0 1 0 669040338 11591680 2163 4294967295 134512640 134714508 3221221792 3221220208 1074116233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2830 2163 1111 63 0 2767 0
vsize: 11320
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 488315 0 0 0 83738 1264 0 0 25 0 1 0 669040338 12156928 2206 4294967295 134512640 134714508 3221221792 3221218032 1075115752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2968 2206 1111 63 0 2905 0
vsize: 11872
[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 494269 0 0 0 84724 1278 0 0 25 0 1 0 669040338 12795904 2286 4294967295 134512640 134714508 3221221792 3221217952 1074794560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3124 2286 1111 63 0 3061 0
vsize: 12496
[startup+870.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 498840 0 0 0 85714 1288 0 0 25 0 1 0 669040338 12509184 2298 4294967295 134512640 134714508 3221221792 3221217936 1074970210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3054 2298 1111 63 0 2991 0
vsize: 12216
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 504083 0 0 0 86701 1302 0 0 25 0 1 0 669040338 11681792 2185 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2852 2185 1111 63 0 2789 0
vsize: 11408
[startup+890.065 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 509619 0 0 0 87686 1317 0 0 25 0 1 0 669040338 12230656 2230 4294967295 134512640 134714508 3221221792 3221217892 1075964296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2986 2230 1111 63 0 2923 0
vsize: 11944
[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 514825 0 0 0 88673 1330 0 0 25 0 1 0 669040338 12242944 2235 4294967295 134512640 134714508 3221221792 3221218304 1075084528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2989 2235 1111 63 0 2926 0
vsize: 11956
[startup+910.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 519642 0 0 0 89661 1341 0 0 25 0 1 0 669040338 12783616 2257 4294967295 134512640 134714508 3221221792 3221218064 1074960881 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3121 2257 1111 63 0 3058 0
vsize: 12484
[startup+920.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 525197 0 0 0 90648 1355 0 0 25 0 1 0 669040338 11784192 2210 4294967295 134512640 134714508 3221221792 3221220144 1073986885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2877 2210 1111 63 0 2814 0
vsize: 11508
[startup+930.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 531009 0 0 0 91634 1369 0 0 25 0 1 0 669040338 11821056 2215 4294967295 134512640 134714508 3221221792 3221219976 1077378462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2886 2215 1111 63 0 2823 0
vsize: 11544
[startup+940.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 536895 0 0 0 92621 1382 0 0 25 0 1 0 669040338 12390400 2265 4294967295 134512640 134714508 3221221792 3221217756 1074788173 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3025 2265 1111 63 0 2962 0
vsize: 12100
[startup+950.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 542746 0 0 0 93606 1397 0 0 25 0 1 0 669040338 12390400 2267 4294967295 134512640 134714508 3221221792 3221217760 1074872725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3025 2267 1111 63 0 2962 0
vsize: 12100
[startup+960.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 548204 0 0 0 94594 1409 0 0 25 0 1 0 669040338 11837440 2223 4294967295 134512640 134714508 3221221792 3221219904 1074867352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2890 2223 1111 63 0 2827 0
vsize: 11560
[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 553443 0 0 0 95582 1421 0 0 25 0 1 0 669040338 12390400 2265 4294967295 134512640 134714508 3221221792 3221218048 1075115509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3025 2265 1111 63 0 2962 0
vsize: 12100
[startup+980.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 558768 0 0 0 96569 1435 0 0 25 0 1 0 669040338 12427264 2278 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3034 2278 1111 63 0 2971 0
vsize: 12136
[startup+990.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 564147 0 0 0 97555 1449 0 0 25 0 1 0 669040338 12427264 2283 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3034 2283 1111 63 0 2971 0
vsize: 12136
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 569475 0 0 0 98540 1463 0 0 25 0 1 0 669040338 12427264 2276 4294967295 134512640 134714508 3221221792 3221217804 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3034 2276 1111 63 0 2971 0
vsize: 12136
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 575466 0 0 0 99525 1479 0 0 25 0 1 0 669040338 12775424 2355 4294967295 134512640 134714508 3221221792 3221218888 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3119 2355 1111 63 0 3056 0
vsize: 12476
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 581209 0 0 0 100511 1493 0 0 25 0 1 0 669040338 13025280 2321 4294967295 134512640 134714508 3221221792 3221217936 1074970175 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3180 2321 1111 63 0 3117 0
vsize: 12720
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18007
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 586712 0 0 0 101496 1508 0 0 25 0 1 0 669040338 11956224 2252 4294967295 134512640 134714508 3221221792 3221220464 134543740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2919 2252 1111 63 0 2856 0
vsize: 11676
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 592456 0 0 0 102483 1521 0 0 25 0 1 0 669040338 12021760 2268 4294967295 134512640 134714508 3221221792 3221220092 1074206256 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2935 2268 1111 63 0 2872 0
vsize: 11740
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 598527 0 0 0 103468 1537 0 0 25 0 1 0 669040338 12058624 2277 4294967295 134512640 134714508 3221221792 3221220192 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2277 1111 63 0 2881 0
vsize: 11776
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 604669 0 0 0 104453 1552 0 0 25 0 1 0 669040338 12668928 2300 4294967295 134512640 134714508 3221221792 3221218736 1074620057 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3093 2300 1111 63 0 3030 0
vsize: 12372
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 610825 0 0 0 105437 1568 0 0 25 0 1 0 669040338 13283328 2398 4294967295 134512640 134714508 3221221792 3221217952 1074794554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3243 2398 1111 63 0 3180 0
vsize: 12972
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 615378 0 0 0 106425 1580 0 0 25 0 1 0 669040338 12787712 2329 4294967295 134512640 134714508 3221221792 3221218624 1075115340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3122 2329 1111 63 0 3059 0
vsize: 12488
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 621141 0 0 0 107410 1595 0 0 25 0 1 0 669040338 12787712 2369 4294967295 134512640 134714508 3221221792 3221218560 1076083606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3122 2369 1111 63 0 3059 0
vsize: 12488
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 626796 0 0 0 108395 1610 0 0 25 0 1 0 669040338 12787712 2340 4294967295 134512640 134714508 3221221792 3221218392 1075850724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3122 2340 1111 63 0 3059 0
vsize: 12488
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 632273 0 0 0 109380 1625 0 0 25 0 1 0 669040338 12787712 2368 4294967295 134512640 134714508 3221221792 3221217780 1074786520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3122 2368 1111 63 0 3059 0
vsize: 12488
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 638142 0 0 0 110366 1639 0 0 25 0 1 0 669040338 13062144 2337 4294967295 134512640 134714508 3221221792 3221218560 1076083593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3189 2337 1111 63 0 3126 0
vsize: 12756
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 643927 0 0 0 111350 1655 0 0 25 0 1 0 669040338 12787712 2366 4294967295 134512640 134714508 3221221792 3221217952 1075091043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3122 2366 1111 63 0 3059 0
vsize: 12488
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 648748 0 0 0 112339 1667 0 0 25 0 1 0 669040338 13352960 2414 4294967295 134512640 134714508 3221221792 3221217936 1074969465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 2414 1111 63 0 3197 0
vsize: 13040
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 653287 0 0 0 113327 1679 0 0 25 0 1 0 669040338 13287424 2392 4294967295 134512640 134714508 3221221792 3221217848 1074789572 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3244 2392 1111 63 0 3181 0
vsize: 12976
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 658634 0 0 0 114314 1692 0 0 25 0 1 0 669040338 12283904 2332 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2999 2332 1111 63 0 2936 0
vsize: 11996
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/53 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 663889 0 0 0 115301 1705 0 0 25 0 1 0 669040338 12492800 2344 4294967295 134512640 134714508 3221221792 3221219712 1075799556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3050 2344 1111 63 0 2987 0
vsize: 12200
[startup+1175.16 s]
Raw data (loadavg): 1.00 1.00 0.95 1/52 18009
Raw data (stat): 17952 (bsolo_lpr) R 17951 7876 7672 0 -1 0 663889 0 0 0 115301 1705 0 0 25 0 1 0 669040338 12492800 2344 4294967295 134512640 134714508 3221221792 3221219712 1075799556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3050 2344 1111 63 0 2987 0
vsize: 0

Child status: 10
Real time (s): 1175.16
CPU time (s): 1175.15
CPU user time (s): 1158.01
CPU system time (s): 17.1434
CPU usage (%): 99.9989
Max. virtual memory (Kb): 13040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	195
#### END VERIFIER DATA ####