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-ii32c1.opb
MD5SUM	8afff0cc8710524125079d5ef00fedc0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	167
Optimality of the best value was proved	NO
Number of terms in the objective function	450
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	450
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	450
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.03084
Number of variables	450
Total number of constraints	1505
Number of constraints which are clauses	1505
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 23892

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 01:24:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1351 boxname=wulflinc31 idbench=151 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8afff0cc8710524125079d5ef00fedc0  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c1.opb
IDLAUNCH: 1351
/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:        155856 kB
Buffers:         35564 kB
Cached:         809100 kB
SwapCached:        644 kB
Active:         482976 kB
Inactive:       364004 kB
HighTotal:      131008 kB
HighFree:        12404 kB
LowTotal:       903652 kB
LowFree:        143452 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26260 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 01:43:39 (client local time) WITH STATUS 10 IN 1175.77 SECONDS
stats: 1351 0 1175.77 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 1505 constraints.
c After prepocess the problem consists of 450 variables and 1505 constraints.
c preprocess terminated 1.369 s
c Initial Lower Bound: 135
c Lower Bound Elapsed time: 0.598667
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 195 @ 12.106
c NEW SOLUTION FOUND: 189 @ 12.541
c NEW SOLUTION FOUND: 184 @ 49.693
c NEW SOLUTION FOUND: 178 @ 437.128
c NEW SOLUTION FOUND: 167 @ 604.443
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 
c Exit Code: 10
c Total time: 1175.74 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.87 0.95 0.91 2/54 20183
Raw data (stat): 20183 (runsolver) R 20182 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 670695196 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 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 4964 0 0 0 978 17 0 0 25 0 1 0 670695196 8499200 1229 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2075 1229 1111 63 0 2012 0
vsize: 8300
[startup+20.001 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 9647 0 0 0 1965 30 0 0 25 0 1 0 670695196 7467008 1147 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1823 1147 1111 63 0 1760 0
vsize: 7292
[startup+30.0013 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 15707 0 0 0 2950 45 0 0 25 0 1 0 670695196 7598080 1179 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1855 1179 1111 63 0 1792 0
vsize: 7420
[startup+40.0019 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 22455 0 0 0 3930 65 0 0 25 0 1 0 670695196 7696384 1203 4294967295 134512640 134714508 3221221792 3221220192 1074153469 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 1203 1111 63 0 1816 0
vsize: 7516
[startup+50.0026 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 29665 0 0 0 4911 84 0 0 25 0 1 0 670695196 7798784 1228 4294967295 134512640 134714508 3221221792 3221220032 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1904 1228 1111 63 0 1841 0
vsize: 7616
[startup+60.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 33653 0 0 0 5899 96 0 0 25 0 1 0 670695196 8384512 1295 4294967295 134512640 134714508 3221221792 3221218152 1075115857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2047 1295 1111 63 0 1984 0
vsize: 8188
[startup+70.0035 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 38434 0 0 0 6888 107 0 0 25 0 1 0 670695196 8372224 1303 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2044 1303 1111 63 0 1981 0
vsize: 8176
[startup+80.0034 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 43009 0 0 0 7877 119 0 0 25 0 1 0 670695196 7995392 1284 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1952 1284 1111 63 0 1889 0
vsize: 7808
[startup+90.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 47244 0 0 0 8865 131 0 0 25 0 1 0 670695196 7995392 1284 4294967295 134512640 134714508 3221221792 3221220464 134650219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1952 1284 1111 63 0 1889 0
vsize: 7808
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 52492 0 0 0 9851 145 0 0 25 0 1 0 670695196 9080832 1482 4294967295 134512640 134714508 3221221792 3221217724 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2217 1482 1111 63 0 2154 0
vsize: 8868
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 57542 0 0 0 10836 160 0 0 25 0 1 0 670695196 9003008 1369 4294967295 134512640 134714508 3221221792 3221218304 1075084528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2198 1369 1111 63 0 2135 0
vsize: 8792
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 62317 0 0 0 11823 174 0 0 25 0 1 0 670695196 8699904 1386 4294967295 134512640 134714508 3221221792 3221218448 1075966713 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2124 1386 1111 63 0 2061 0
vsize: 8496
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 67581 0 0 0 12808 189 0 0 25 0 1 0 670695196 8974336 1405 4294967295 134512640 134714508 3221221792 3221217952 1074794655 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2191 1406 1111 63 0 2128 0
vsize: 8764
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 72886 0 0 0 13791 206 0 0 25 0 1 0 670695196 8359936 1373 4294967295 134512640 134714508 3221221792 3221220112 1074207529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2041 1373 1111 63 0 1978 0
vsize: 8164
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 78299 0 0 0 14776 222 0 0 25 0 1 0 670695196 9211904 1497 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2249 1497 1111 63 0 2186 0
vsize: 8996
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 83891 0 0 0 15760 238 0 0 25 0 1 0 670695196 9146368 1482 4294967295 134512640 134714508 3221221792 3221217760 1075965250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2233 1482 1111 63 0 2170 0
vsize: 8932
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 88705 0 0 0 16747 251 0 0 25 0 1 0 670695196 9179136 1494 4294967295 134512640 134714508 3221221792 3221217756 1074788195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2241 1494 1111 63 0 2178 0
vsize: 8964
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 93492 0 0 0 17734 264 0 0 25 0 1 0 670695196 8642560 1438 4294967295 134512640 134714508 3221221792 3221220192 1074118790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2110 1438 1111 63 0 2047 0
vsize: 8440
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 97261 0 0 0 18725 273 0 0 25 0 1 0 670695196 9211904 1504 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2249 1504 1111 63 0 2186 0
vsize: 8996
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 101894 0 0 0 19713 285 0 0 25 0 1 0 670695196 9109504 1482 4294967295 134512640 134714508 3221221792 3221217760 1074872824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2224 1482 1111 63 0 2161 0
vsize: 8896
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 105642 0 0 0 20703 295 0 0 25 0 1 0 670695196 9113600 1493 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2225 1493 1111 63 0 2162 0
vsize: 8900
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 109630 0 0 0 21693 306 0 0 25 0 1 0 670695196 9396224 1519 4294967295 134512640 134714508 3221221792 3221217892 1075964237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2294 1519 1111 63 0 2231 0
vsize: 9176
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 113759 0 0 0 22682 317 0 0 25 0 1 0 670695196 9064448 1478 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2213 1478 1111 63 0 2150 0
vsize: 8852
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 118203 0 0 0 23669 330 0 0 25 0 1 0 670695196 8708096 1458 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2126 1458 1111 63 0 2063 0
vsize: 8504
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 122981 0 0 0 24655 344 0 0 25 0 1 0 670695196 9883648 1586 4294967295 134512640 134714508 3221221792 3221217884 1075663507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2413 1586 1111 63 0 2350 0
vsize: 9652
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 126945 0 0 0 25645 354 0 0 25 0 1 0 670695196 9691136 1530 4294967295 134512640 134714508 3221221792 3221218712 1075964742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2366 1530 1111 63 0 2303 0
vsize: 9464
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 131215 0 0 0 26634 365 0 0 25 0 1 0 670695196 9699328 1535 4294967295 134512640 134714508 3221221792 3221217740 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2368 1535 1111 63 0 2305 0
vsize: 9472
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 135569 0 0 0 27621 378 0 0 25 0 1 0 670695196 9752576 1571 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2381 1571 1111 63 0 2318 0
vsize: 9524
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 139732 0 0 0 28609 390 0 0 25 0 1 0 670695196 10018816 1610 4294967295 134512640 134714508 3221221792 3221218752 1074790236 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2446 1610 1111 63 0 2383 0
vsize: 9784
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 144075 0 0 0 29598 402 0 0 25 0 1 0 670695196 9998336 1574 4294967295 134512640 134714508 3221221792 3221217824 1075965256 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2441 1574 1111 63 0 2378 0
vsize: 9764
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 148457 0 0 0 30586 414 0 0 25 0 1 0 670695196 9592832 1596 4294967295 134512640 134714508 3221221792 3221215312 1075337970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2342 1596 1111 63 0 2279 0
vsize: 9368
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 152763 0 0 0 31575 425 0 0 25 0 1 0 670695196 10051584 1590 4294967295 134512640 134714508 3221221792 3221218448 1075967695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1590 1111 63 0 2391 0
vsize: 9816
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 156877 0 0 0 32564 436 0 0 25 0 1 0 670695196 10088448 1615 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2463 1615 1111 63 0 2400 0
vsize: 9852
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 161341 0 0 0 33552 448 0 0 25 0 1 0 670695196 9838592 1624 4294967295 134512640 134714508 3221221792 3221218064 1074960845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2402 1624 1111 63 0 2339 0
vsize: 9608
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 165797 0 0 0 34539 461 0 0 25 0 1 0 670695196 9887744 1641 4294967295 134512640 134714508 3221221792 3221218128 1075114245 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2414 1641 1111 63 0 2351 0
vsize: 9656
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 169828 0 0 0 35528 473 0 0 25 0 1 0 670695196 9904128 1643 4294967295 134512640 134714508 3221221792 3221218320 1075397177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2418 1643 1111 63 0 2355 0
vsize: 9672
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 173888 0 0 0 36516 484 0 0 25 0 1 0 670695196 9228288 1585 4294967295 134512640 134714508 3221221792 3221219704 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2253 1585 1111 63 0 2190 0
vsize: 9012
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 177951 0 0 0 37504 497 0 0 25 0 1 0 670695196 10235904 1647 4294967295 134512640 134714508 3221221792 3221217632 1075965301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2499 1647 1111 63 0 2436 0
vsize: 9996
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 181671 0 0 0 38494 507 0 0 25 0 1 0 670695196 9310208 1605 4294967295 134512640 134714508 3221221792 3221220560 134624533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2273 1605 1111 63 0 2210 0
vsize: 9092
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 185445 0 0 0 39484 517 0 0 25 0 1 0 670695196 9293824 1601 4294967295 134512640 134714508 3221221792 3221220096 1073978447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2269 1601 1111 63 0 2206 0
vsize: 9076
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 189984 0 0 0 40473 528 0 0 25 0 1 0 670695196 10264576 1699 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2506 1699 1111 63 0 2443 0
vsize: 10024
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 194050 0 0 0 41463 539 0 0 25 0 1 0 670695196 9383936 1623 4294967295 134512640 134714508 3221221792 3221220144 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2291 1623 1111 63 0 2228 0
vsize: 9164
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 198185 0 0 0 42452 550 0 0 25 0 1 0 670695196 10354688 1704 4294967295 134512640 134714508 3221221792 3221218020 1075114975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2528 1704 1111 63 0 2465 0
vsize: 10112
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 202179 0 0 0 43441 560 0 0 25 0 1 0 670695196 9523200 1657 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2325 1657 1111 63 0 2262 0
vsize: 9300
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 205320 0 0 0 44431 571 0 0 25 0 1 0 670695196 10297344 1699 4294967295 134512640 134714508 3221221792 3221217632 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2514 1699 1111 63 0 2451 0
vsize: 10056
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 208726 0 0 0 45421 581 0 0 25 0 1 0 670695196 10301440 1697 4294967295 134512640 134714508 3221221792 3221218336 1075088581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1697 1111 63 0 2452 0
vsize: 10060
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 212533 0 0 0 46410 592 0 0 25 0 1 0 670695196 10518528 1769 4294967295 134512640 134714508 3221221792 3221217672 1074788440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2568 1769 1111 63 0 2505 0
vsize: 10272
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 216015 0 0 0 47402 601 0 0 25 0 1 0 670695196 10477568 1692 4294967295 134512640 134714508 3221221792 3221218448 1075967695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2558 1692 1111 63 0 2495 0
vsize: 10232
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 219482 0 0 0 48391 612 0 0 25 0 1 0 670695196 10444800 1695 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2550 1695 1111 63 0 2487 0
vsize: 10200
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 222852 0 0 0 49383 620 0 0 25 0 1 0 670695196 9596928 1666 4294967295 134512640 134714508 3221221792 3221219792 1074916715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2343 1666 1111 63 0 2280 0
vsize: 9372
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 226359 0 0 0 50372 631 0 0 25 0 1 0 670695196 10027008 1705 4294967295 134512640 134714508 3221221792 3221218320 1075397206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2448 1705 1111 63 0 2385 0
vsize: 9792
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 229978 0 0 0 51362 642 0 0 25 0 1 0 670695196 10219520 1721 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2495 1721 1111 63 0 2432 0
vsize: 9980
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 233888 0 0 0 52349 655 0 0 25 0 1 0 670695196 9900032 1694 4294967295 134512640 134714508 3221221792 3221218712 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2417 1694 1111 63 0 2354 0
vsize: 9668
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 238314 0 0 0 53337 667 0 0 25 0 1 0 670695196 10432512 1737 4294967295 134512640 134714508 3221221792 3221217952 1074794549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2547 1737 1111 63 0 2484 0
vsize: 10188
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 242458 0 0 0 54326 678 0 0 25 0 1 0 670695196 10481664 1801 4294967295 134512640 134714508 3221221792 3221217760 1075965299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2559 1801 1111 63 0 2496 0
vsize: 10236
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 246374 0 0 0 55317 687 0 0 25 0 1 0 670695196 9822208 1681 4294967295 134512640 134714508 3221221792 3221219904 1074867311 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2398 1681 1111 63 0 2335 0
vsize: 9592
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 250330 0 0 0 56305 699 0 0 25 0 1 0 670695196 9535488 1660 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2328 1660 1111 63 0 2265 0
vsize: 9312
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 253798 0 0 0 57296 709 0 0 25 0 1 0 670695196 9449472 1639 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2307 1639 1111 63 0 2244 0
vsize: 9228
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 258024 0 0 0 58285 719 0 0 25 0 1 0 670695196 9519104 1656 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2324 1656 1111 63 0 2261 0
vsize: 9296
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 262353 0 0 0 59274 730 0 0 25 0 1 0 670695196 9883648 1745 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2413 1745 1111 63 0 2350 0
vsize: 9652
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 266311 0 0 0 60262 743 0 0 25 0 1 0 670695196 9691136 1698 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2366 1698 1111 63 0 2303 0
vsize: 9464
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 270688 0 0 0 61250 755 0 0 25 0 1 0 670695196 9781248 1720 4294967295 134512640 134714508 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2388 1720 1111 63 0 2325 0
vsize: 9552
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 273938 0 0 0 62241 764 0 0 25 0 1 0 670695196 10682368 1855 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2608 1855 1111 63 0 2545 0
vsize: 10432
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 277072 0 0 0 63233 773 0 0 25 0 1 0 670695196 10092544 1707 4294967295 134512640 134714508 3221221792 3221217756 1074788168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2464 1707 1111 63 0 2401 0
vsize: 9856
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 280627 0 0 0 64224 782 0 0 25 0 1 0 670695196 9756672 1704 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2382 1704 1111 63 0 2319 0
vsize: 9528
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 284025 0 0 0 65215 791 0 0 25 0 1 0 670695196 9900032 1750 4294967295 134512640 134714508 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2417 1750 1111 63 0 2354 0
vsize: 9668
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 287352 0 0 0 66206 800 0 0 25 0 1 0 670695196 10252288 1747 4294967295 134512640 134714508 3221221792 3221218716 1075113299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2503 1747 1111 63 0 2440 0
vsize: 10012
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 290988 0 0 0 67195 811 0 0 25 0 1 0 670695196 10616832 1822 4294967295 134512640 134714508 3221221792 3221218064 1074960859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2592 1822 1111 63 0 2529 0
vsize: 10368
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 294768 0 0 0 68185 821 0 0 25 0 1 0 670695196 10231808 1739 4294967295 134512640 134714508 3221221792 3221217864 1075964742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2498 1739 1111 63 0 2435 0
vsize: 9992
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 299010 0 0 0 69175 831 0 0 25 0 1 0 670695196 9646080 1688 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2355 1688 1111 63 0 2292 0
vsize: 9420
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 302483 0 0 0 70166 840 0 0 25 0 1 0 670695196 9568256 1669 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2336 1669 1111 63 0 2273 0
vsize: 9344
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 306526 0 0 0 71155 851 0 0 25 0 1 0 670695196 10481664 1812 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2559 1812 1111 63 0 2496 0
vsize: 10236
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 310569 0 0 0 72146 861 0 0 25 0 1 0 670695196 10739712 1769 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2622 1769 1111 63 0 2559 0
vsize: 10488
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 315552 0 0 0 73134 873 0 0 25 0 1 0 670695196 9789440 1723 4294967295 134512640 134714508 3221221792 3221220256 1074121049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2390 1723 1111 63 0 2327 0
vsize: 9560
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 319671 0 0 0 74124 883 0 0 25 0 1 0 670695196 10715136 1855 4294967295 134512640 134714508 3221221792 3221217760 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2616 1855 1111 63 0 2553 0
vsize: 10464
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 324075 0 0 0 75111 896 0 0 25 0 1 0 670695196 9629696 1675 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2351 1675 1111 63 0 2288 0
vsize: 9404
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 328433 0 0 0 76099 909 0 0 25 0 1 0 670695196 10833920 1915 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2645 1915 1111 63 0 2582 0
vsize: 10580
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 332323 0 0 0 77088 920 0 0 25 0 1 0 670695196 11112448 1893 4294967295 134512640 134714508 3221221792 3221218064 1074961149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2713 1893 1111 63 0 2650 0
vsize: 10852
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 336838 0 0 0 78076 931 0 0 25 0 1 0 670695196 9703424 1702 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2369 1702 1111 63 0 2306 0
vsize: 9476
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 340889 0 0 0 79064 944 0 0 25 0 1 0 670695196 9654272 1690 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2357 1690 1111 63 0 2294 0
vsize: 9428
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 345166 0 0 0 80056 953 0 0 25 0 1 0 670695196 9654272 1690 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2357 1690 1111 63 0 2294 0
vsize: 9428
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 349659 0 0 0 81044 964 0 0 25 0 1 0 670695196 11096064 1941 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2709 1941 1111 63 0 2646 0
vsize: 10836
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 354005 0 0 0 82033 976 0 0 25 0 1 0 670695196 11071488 1878 4294967295 134512640 134714508 3221221792 3221217848 1074789806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2703 1878 1111 63 0 2640 0
vsize: 10812
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 358357 0 0 0 83022 987 0 0 25 0 1 0 670695196 9654272 1690 4294967295 134512640 134714508 3221221792 3221219440 1075817784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2357 1690 1111 63 0 2294 0
vsize: 9428
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 363359 0 0 0 84009 1000 0 0 25 0 1 0 670695196 10240000 1743 4294967295 134512640 134714508 3221221792 3221217936 1074969511 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2500 1743 1111 63 0 2437 0
vsize: 10000
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 367616 0 0 0 84998 1011 0 0 25 0 1 0 670695196 10240000 1745 4294967295 134512640 134714508 3221221792 3221218032 1075115717 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2500 1745 1111 63 0 2437 0
vsize: 10000
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 371794 0 0 0 85987 1022 0 0 25 0 1 0 670695196 9740288 1711 4294967295 134512640 134714508 3221221792 3221219888 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2378 1711 1111 63 0 2315 0
vsize: 9512
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 376062 0 0 0 86976 1033 0 0 25 0 1 0 670695196 10891264 1896 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2659 1896 1111 63 0 2596 0
vsize: 10636
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 380625 0 0 0 87964 1046 0 0 25 0 1 0 670695196 11055104 1833 4294967295 134512640 134714508 3221221792 3221218020 1075115043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2699 1833 1111 63 0 2636 0
vsize: 10796
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 385354 0 0 0 88953 1057 0 0 25 0 1 0 670695196 9654272 1690 4294967295 134512640 134714508 3221221792 3221220096 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2357 1690 1111 63 0 2294 0
vsize: 9428
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 389445 0 0 0 89943 1067 0 0 25 0 1 0 670695196 9957376 1761 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2431 1761 1111 63 0 2368 0
vsize: 9724
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 394053 0 0 0 90930 1080 0 0 25 0 1 0 670695196 11190272 1894 4294967295 134512640 134714508 3221221792 3221218032 1075115758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2732 1894 1111 63 0 2669 0
vsize: 10928
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 398262 0 0 0 91920 1090 0 0 25 0 1 0 670695196 9740288 1711 4294967295 134512640 134714508 3221221792 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2378 1711 1111 63 0 2315 0
vsize: 9512
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 402463 0 0 0 92909 1102 0 0 25 0 1 0 670695196 9752576 1714 4294967295 134512640 134714508 3221221792 3221220104 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2381 1714 1111 63 0 2318 0
vsize: 9524
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 406989 0 0 0 93898 1113 0 0 25 0 1 0 670695196 11206656 1902 4294967295 134512640 134714508 3221221792 3221218448 1075967892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2736 1902 1111 63 0 2673 0
vsize: 10944
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 411421 0 0 0 94885 1126 0 0 25 0 1 0 670695196 9654272 1690 4294967295 134512640 134714508 3221221792 3221219976 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2357 1690 1111 63 0 2294 0
vsize: 9428
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 415792 0 0 0 95874 1137 0 0 25 0 1 0 670695196 10780672 1882 4294967295 134512640 134714508 3221221792 3221217676 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2632 1882 1111 63 0 2569 0
vsize: 10528
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 419917 0 0 0 96864 1147 0 0 25 0 1 0 670695196 9695232 1700 4294967295 134512640 134714508 3221221792 3221219792 1074052193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2367 1700 1111 63 0 2304 0
vsize: 9468
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 424186 0 0 0 97852 1159 0 0 25 0 1 0 670695196 9744384 1712 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2379 1712 1111 63 0 2316 0
vsize: 9516
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 427415 0 0 0 98844 1168 0 0 25 0 1 0 670695196 11046912 1940 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2697 1940 1111 63 0 2634 0
vsize: 10788
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 431632 0 0 0 99831 1181 0 0 25 0 1 0 670695196 10936320 1791 4294967295 134512640 134714508 3221221792 3221218864 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2670 1791 1111 63 0 2607 0
vsize: 10680
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 436048 0 0 0 100820 1192 0 0 25 0 1 0 670695196 9990144 1750 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2417 1747 1111 63 0 2354 0
vsize: 9756
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 440515 0 0 0 101810 1203 0 0 25 0 1 0 670695196 9908224 1752 4294967295 134512640 134714508 3221221792 3221220584 134542414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2419 1752 1111 63 0 2356 0
vsize: 9676
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 444852 0 0 0 102797 1215 0 0 25 0 1 0 670695196 10817536 1882 4294967295 134512640 134714508 3221221792 3221217952 1074794589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2641 1882 1111 63 0 2578 0
vsize: 10564
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 448628 0 0 0 103788 1225 0 0 25 0 1 0 670695196 11141120 1994 4294967295 134512640 134714508 3221221792 3221218336 1075088573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2720 1994 1111 63 0 2657 0
vsize: 10880
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 452507 0 0 0 104777 1236 0 0 25 0 1 0 670695196 11579392 2053 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2827 2053 1111 63 0 2764 0
vsize: 11308
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 456836 0 0 0 105767 1247 0 0 25 0 1 0 670695196 9695232 1700 4294967295 134512640 134714508 3221221792 3221219440 1073986807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2367 1700 1111 63 0 2304 0
vsize: 9468
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 460721 0 0 0 106755 1258 0 0 25 0 1 0 670695196 10080256 1794 4294967295 134512640 134714508 3221221792 3221220256 1074121076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2461 1794 1111 63 0 2398 0
vsize: 9844
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 464520 0 0 0 107746 1267 0 0 25 0 1 0 670695196 9842688 1736 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2403 1736 1111 63 0 2340 0
vsize: 9612
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 468381 0 0 0 108737 1277 0 0 25 0 1 0 670695196 11214848 1862 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2738 1862 1111 63 0 2675 0
vsize: 10952
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 472314 0 0 0 109725 1289 0 0 25 0 1 0 670695196 11444224 1936 4294967295 134512640 134714508 3221221792 3221218084 1075116295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2794 1936 1111 63 0 2731 0
vsize: 11176
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 476331 0 0 0 110715 1299 0 0 25 0 1 0 670695196 11014144 1778 4294967295 134512640 134714508 3221221792 3221218776 1074831376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2689 1778 1111 63 0 2626 0
vsize: 10756
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 480398 0 0 0 111704 1310 0 0 25 0 1 0 670695196 11046912 1817 4294967295 134512640 134714508 3221221792 3221217940 1075964416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2697 1817 1111 63 0 2634 0
vsize: 10788
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 484849 0 0 0 112692 1322 0 0 25 0 1 0 670695196 10801152 1883 4294967295 134512640 134714508 3221221792 3221217952 1075094832 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2637 1883 1111 63 0 2574 0
vsize: 10548
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 488764 0 0 0 113683 1332 0 0 25 0 1 0 670695196 11485184 1982 4294967295 134512640 134714508 3221221792 3221218728 1075066468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2804 1982 1111 63 0 2741 0
vsize: 11216
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 492530 0 0 0 114673 1342 0 0 25 0 1 0 670695196 11259904 2021 4294967295 134512640 134714508 3221221792 3221218560 1076083593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2749 2021 1111 63 0 2686 0
vsize: 10996
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 496310 0 0 0 115662 1353 0 0 25 0 1 0 670695196 11104256 1934 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2711 1934 1111 63 0 2648 0
vsize: 10844
[startup+1175.64 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20183
Raw data (stat): 20183 (bsolo_lpr) R 20182 7876 7672 0 -1 0 496310 0 0 0 115662 1353 0 0 25 0 1 0 670695196 11104256 1934 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2711 1934 1111 63 0 2648 0
vsize: 0

Child status: 10
Real time (s): 1175.64
CPU time (s): 1175.77
CPU user time (s): 1162.17
CPU system time (s): 13.5969
CPU usage (%): 100.011
Max. virtual memory (Kb): 11308
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	167
#### END VERIFIER DATA ####