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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb
MD5SUM8afff0cc8710524125079d5ef00fedc0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers9
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.03084
Number of variables450
Total number of constraints1505
Number of constraints which are clauses1505
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32

Trace number 39527

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        839368 kB
Buffers:         33664 kB
Cached:         139600 kB
SwapCached:       1020 kB
Active:          30688 kB
Inactive:       144732 kB
HighTotal:      131008 kB
HighFree:        97860 kB
LowTotal:       903652 kB
LowFree:        741508 kB
SwapTotal:     2097136 kB
SwapFree:      2095192 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            14176 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 12:22:21 (client local time) WITH STATUS 30 IN 987.437 SECONDS
stats: 27593 0 987.437 30
#### 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.396 s
c Initial Lower Bound: 129
c Lower Bound Elapsed time: 0.1835
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 167 @ 6.351
s OPTIMUM FOUND
v -x1 -x2 x3 -x4 -x5 x6 x7 -x8 -x9 -x10 x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 -x60 x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 x74 x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 x83 -x84 -x85 x86 x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 x173 -x174 -x175 x176 -x177 -x178 x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 x187 -x188 x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 x207 -x208 x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235 -x236 x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 x250 x251 -x252 x253 -x254 -x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 -x335 x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 -x399 x400 x401 -x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 x412 x413 -x414 -x415 x416 -x417 x418 x419 -x420 -x421 x422 x423 -x424 -x425 x426 x427 -x428 -x429 x430 -x431 x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 -x445 x446 -x447 x448 x449 -x450 
c Exit Code: 30
c Total time: 987.427 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.94 2/54 14380
Raw data (stat): 14380 (runsolver) R 14379 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892858057 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 4797 0 0 0 985 12 0 0 25 0 1 0 892858057 7860224 1164 4294967295 134512640 134716908 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1919 1165 1111 63 0 1856 0
vsize: 7676
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 9981 0 0 0 1972 26 0 0 25 0 1 0 892858057 7462912 1137 4294967295 134512640 134716908 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1822 1137 1111 63 0 1759 0
vsize: 7288
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 14289 0 0 0 2959 38 0 0 25 0 1 0 892858057 8433664 1195 4294967295 134512640 134716908 3221224592 3221220636 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2059 1195 1111 63 0 1996 0
vsize: 8236
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 19437 0 0 0 3947 51 0 0 25 0 1 0 892858057 7462912 1145 4294967295 134512640 134716908 3221224592 3221222592 1074916549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1822 1145 1111 63 0 1759 0
vsize: 7288
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 24781 0 0 0 4933 65 0 0 25 0 1 0 892858057 8392704 1211 4294967295 134512640 134716908 3221224592 3221220928 1075113508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2049 1211 1111 63 0 1986 0
vsize: 8196
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 29178 0 0 0 5921 77 0 0 25 0 1 0 892858057 7753728 1191 4294967295 134512640 134716908 3221224592 3221222320 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1893 1191 1111 63 0 1830 0
vsize: 7572
[startup+70.004 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 33738 0 0 0 6911 88 0 0 25 0 1 0 892858057 8327168 1247 4294967295 134512640 134716908 3221224592 3221221512 1075964775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2033 1247 1111 63 0 1970 0
vsize: 8132
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 37859 0 0 0 7899 101 0 0 25 0 1 0 892858057 7630848 1186 4294967295 134512640 134716908 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 1186 1111 63 0 1800 0
vsize: 7452
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 41555 0 0 0 8889 111 0 0 25 0 1 0 892858057 8478720 1221 4294967295 134512640 134716908 3221224592 3221220832 1075115696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2070 1221 1111 63 0 2007 0
vsize: 8280
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 45253 0 0 0 9880 120 0 0 25 0 1 0 892858057 7630848 1186 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 1186 1111 63 0 1800 0
vsize: 7452
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 48882 0 0 0 10873 128 0 0 25 0 1 0 892858057 8101888 1231 4294967295 134512640 134716908 3221224592 3221220756 1075964296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1978 1231 1111 63 0 1915 0
vsize: 7912
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 53239 0 0 0 11862 139 0 0 25 0 1 0 892858057 8560640 1261 4294967295 134512640 134716908 3221224592 3221221664 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2090 1261 1111 63 0 2027 0
vsize: 8360
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 56738 0 0 0 12853 148 0 0 25 0 1 0 892858057 8617984 1242 4294967295 134512640 134716908 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2104 1242 1111 63 0 2041 0
vsize: 8416
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 60462 0 0 0 13843 159 0 0 25 0 1 0 892858057 7655424 1192 4294967295 134512640 134716908 3221224592 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1869 1192 1111 63 0 1806 0
vsize: 7476
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 64349 0 0 0 14834 169 0 0 25 0 1 0 892858057 8728576 1274 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2131 1274 1111 63 0 2068 0
vsize: 8524
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 69072 0 0 0 15821 182 0 0 25 0 1 0 892858057 7688192 1200 4294967295 134512640 134716908 3221224592 3221223312 134625111 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 1200 1111 63 0 1814 0
vsize: 7508
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 73099 0 0 0 16810 193 0 0 25 0 1 0 892858057 8679424 1279 4294967295 134512640 134716908 3221224592 3221220736 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1279 1111 63 0 2056 0
vsize: 8476
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 76584 0 0 0 17800 203 0 0 25 0 1 0 892858057 8200192 1263 4294967295 134512640 134716908 3221224592 3221220752 1074794661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2002 1263 1111 63 0 1939 0
vsize: 8008
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 80559 0 0 0 18789 215 0 0 25 0 1 0 892858057 8200192 1266 4294967295 134512640 134716908 3221224592 3221221168 1076047982 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2002 1266 1111 63 0 1939 0
vsize: 8008
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 84145 0 0 0 19780 224 0 0 25 0 1 0 892858057 8220672 1272 4294967295 134512640 134716908 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2007 1272 1111 63 0 1944 0
vsize: 8028
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 87509 0 0 0 20771 233 0 0 25 0 1 0 892858057 8601600 1273 4294967295 134512640 134716908 3221224592 3221218100 1075336305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2100 1273 1111 63 0 2037 0
vsize: 8400
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 91292 0 0 0 21761 244 0 0 25 0 1 0 892858057 8769536 1349 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2141 1349 1111 63 0 2078 0
vsize: 8564
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 94994 0 0 0 22751 254 0 0 25 0 1 0 892858057 8810496 1285 4294967295 134512640 134716908 3221224592 3221221104 1075084539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2151 1285 1111 63 0 2088 0
vsize: 8604
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 99051 0 0 0 23740 265 0 0 25 0 1 0 892858057 8790016 1268 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2146 1268 1111 63 0 2083 0
vsize: 8584
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 104390 0 0 0 24727 279 0 0 25 0 1 0 892858057 7917568 1256 4294967295 134512640 134716908 3221224592 3221223376 134624885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1256 1111 63 0 1870 0
vsize: 7732
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 108513 0 0 0 25714 292 0 0 25 0 1 0 892858057 7905280 1253 4294967295 134512640 134716908 3221224592 3221222320 1075828650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1930 1253 1111 63 0 1867 0
vsize: 7720
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 112322 0 0 0 26705 302 0 0 25 0 1 0 892858057 8425472 1307 4294967295 134512640 134716908 3221224592 3221220528 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2057 1307 1111 63 0 1994 0
vsize: 8228
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 115552 0 0 0 27696 311 0 0 25 0 1 0 892858057 8863744 1344 4294967295 134512640 134716908 3221224592 3221221404 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2164 1344 1111 63 0 2101 0
vsize: 8656
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 118892 0 0 0 28687 320 0 0 25 0 1 0 892858057 8667136 1363 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 1363 1111 63 0 2053 0
vsize: 8464
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 123305 0 0 0 29676 332 0 0 25 0 1 0 892858057 7970816 1269 4294967295 134512640 134716908 3221224592 3221223232 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 1269 1111 63 0 1883 0
vsize: 7784
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 126853 0 0 0 30666 342 0 0 25 0 1 0 892858057 8773632 1291 4294967295 134512640 134716908 3221224592 3221221184 1074887060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2142 1292 1111 63 0 2079 0
vsize: 8568
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 130883 0 0 0 31655 354 0 0 25 0 1 0 892858057 8024064 1281 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 1281 1111 63 0 1896 0
vsize: 7836
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 134143 0 0 0 32647 362 0 0 25 0 1 0 892858057 8929280 1317 4294967295 134512640 134716908 3221224592 3221220648 1074789633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 1317 1111 63 0 2117 0
vsize: 8720
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 137868 0 0 0 33638 371 0 0 25 0 1 0 892858057 8691712 1371 4294967295 134512640 134716908 3221224592 3221220864 1074961301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2122 1371 1111 63 0 2059 0
vsize: 8488
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 141573 0 0 0 34628 382 0 0 25 0 1 0 892858057 7983104 1272 4294967295 134512640 134716908 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 1272 1111 63 0 1886 0
vsize: 7796
[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 145485 0 0 0 35618 392 0 0 25 0 1 0 892858057 7983104 1272 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 1272 1111 63 0 1886 0
vsize: 7796
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 149214 0 0 0 36609 402 0 0 25 0 1 0 892858057 8040448 1286 4294967295 134512640 134716908 3221224592 3221222896 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1963 1286 1111 63 0 1900 0
vsize: 7852
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 152661 0 0 0 37599 412 0 0 25 0 1 0 892858057 8896512 1349 4294967295 134512640 134716908 3221224592 3221221248 1075966266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2172 1349 1111 63 0 2109 0
vsize: 8688
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 156323 0 0 0 38590 421 0 0 25 0 1 0 892858057 9134080 1387 4294967295 134512640 134716908 3221224592 3221220864 1074961191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2230 1387 1111 63 0 2167 0
vsize: 8920
[startup+400.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 159809 0 0 0 39582 430 0 0 25 0 1 0 892858057 8089600 1298 4294967295 134512640 134716908 3221224592 3221222836 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1975 1298 1111 63 0 1912 0
vsize: 7900
[startup+410.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 163366 0 0 0 40573 440 0 0 25 0 1 0 892858057 9011200 1375 4294967295 134512640 134716908 3221224592 3221220488 1074789553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2200 1375 1111 63 0 2137 0
vsize: 8800
[startup+420.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 167114 0 0 0 41561 452 0 0 25 0 1 0 892858057 9007104 1378 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2199 1378 1111 63 0 2136 0
vsize: 8796
[startup+430.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 171053 0 0 0 42550 463 0 0 25 0 1 0 892858057 8564736 1314 4294967295 134512640 134716908 3221224592 3221221576 1074831508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2091 1314 1111 63 0 2028 0
vsize: 8364
[startup+440.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 174595 0 0 0 43540 473 0 0 25 0 1 0 892858057 8998912 1377 4294967295 134512640 134716908 3221224592 3221221120 1075119993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2197 1377 1111 63 0 2134 0
vsize: 8788
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 178154 0 0 0 44531 482 0 0 25 0 1 0 892858057 8777728 1356 4294967295 134512640 134716908 3221224592 3221220928 1075114279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2143 1356 1111 63 0 2080 0
vsize: 8572
[startup+460.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 181724 0 0 0 45523 491 0 0 25 0 1 0 892858057 8978432 1346 4294967295 134512640 134716908 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2192 1346 1111 63 0 2129 0
vsize: 8768
[startup+470.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 185403 0 0 0 46513 502 0 0 25 0 1 0 892858057 9216000 1417 4294967295 134512640 134716908 3221224592 3221221664 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2250 1417 1111 63 0 2187 0
vsize: 9000
[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 189118 0 0 0 47503 512 0 0 25 0 1 0 892858057 8933376 1436 4294967295 134512640 134716908 3221224592 3221220524 1074788201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2181 1436 1111 63 0 2118 0
vsize: 8724
[startup+490.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 192457 0 0 0 48495 521 0 0 25 0 1 0 892858057 9146368 1372 4294967295 134512640 134716908 3221224592 3221220752 1074794557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2233 1372 1111 63 0 2170 0
vsize: 8932
[startup+500.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 195556 0 0 0 49485 530 0 0 25 0 1 0 892858057 9297920 1468 4294967295 134512640 134716908 3221224592 3221220728 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2270 1468 1111 63 0 2207 0
vsize: 9080
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 199468 0 0 0 50475 540 0 0 25 0 1 0 892858057 8785920 1345 4294967295 134512640 134716908 3221224592 3221221120 1075890968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2081 1341 1111 63 0 2018 0
vsize: 8580
[startup+520.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 203459 0 0 0 51464 552 0 0 25 0 1 0 892858057 8761344 1383 4294967295 134512640 134716908 3221224592 3221220820 1075115106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2139 1383 1111 63 0 2076 0
vsize: 8556
[startup+530.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 207197 0 0 0 52454 562 0 0 25 0 1 0 892858057 8290304 1347 4294967295 134512640 134716908 3221224592 3221222408 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2024 1347 1111 63 0 1961 0
vsize: 8096
[startup+540.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 210765 0 0 0 53446 571 0 0 25 0 1 0 892858057 8351744 1362 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2039 1362 1111 63 0 1976 0
vsize: 8156
[startup+550.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 214210 0 0 0 54437 580 0 0 25 0 1 0 892858057 8351744 1362 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2039 1362 1111 63 0 1976 0
vsize: 8156
[startup+560.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 219679 0 0 0 55422 595 0 0 25 0 1 0 892858057 9256960 1438 4294967295 134512640 134716908 3221224592 3221220624 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2260 1438 1111 63 0 2197 0
vsize: 9040
[startup+570.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 222913 0 0 0 56413 604 0 0 25 0 1 0 892858057 9396224 1473 4294967295 134512640 134716908 3221224592 3221220800 1074815241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 1473 1111 63 0 2231 0
vsize: 9176
[startup+580.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 226203 0 0 0 57404 614 0 0 25 0 1 0 892858057 9121792 1479 4294967295 134512640 134716908 3221224592 3221220528 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2227 1479 1111 63 0 2164 0
vsize: 8908
[startup+590.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 229887 0 0 0 58393 625 0 0 25 0 1 0 892858057 9379840 1459 4294967295 134512640 134716908 3221224592 3221220928 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2290 1459 1111 63 0 2227 0
vsize: 9160
[startup+600.02 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 233529 0 0 0 59385 633 0 0 25 0 1 0 892858057 8892416 1440 4294967295 134512640 134716908 3221224592 3221221148 1075240388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2171 1440 1111 63 0 2108 0
vsize: 8684
[startup+610.02 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 237018 0 0 0 60375 644 0 0 25 0 1 0 892858057 8986624 1441 4294967295 134512640 134716908 3221224592 3221221656 1075007302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2194 1441 1111 63 0 2131 0
vsize: 8776
[startup+620.02 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 240254 0 0 0 61367 652 0 0 25 0 1 0 892858057 8605696 1419 4294967295 134512640 134716908 3221224592 3221222592 1074917184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2101 1419 1111 63 0 2038 0
vsize: 8404
[startup+630.02 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 243856 0 0 0 62358 662 0 0 25 0 1 0 892858057 9490432 1492 4294967295 134512640 134716908 3221224592 3221220752 1075092579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2317 1492 1111 63 0 2254 0
vsize: 9268
[startup+640.02 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 247994 0 0 0 63348 671 0 0 25 0 1 0 892858057 8474624 1392 4294967295 134512640 134716908 3221224592 3221222704 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2069 1392 1111 63 0 2006 0
vsize: 8276
[startup+650.019 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 252237 0 0 0 64337 683 0 0 25 0 1 0 892858057 8474624 1392 4294967295 134512640 134716908 3221224592 3221223264 134652564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2069 1392 1111 63 0 2006 0
vsize: 8276
[startup+660.019 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 256022 0 0 0 65328 693 0 0 25 0 1 0 892858057 8507392 1400 4294967295 134512640 134716908 3221224592 3221223208 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2077 1400 1111 63 0 2014 0
vsize: 8308
[startup+670.019 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 260040 0 0 0 66318 703 0 0 25 0 1 0 892858057 9031680 1451 4294967295 134512640 134716908 3221224592 3221220960 1075894554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2205 1451 1111 63 0 2142 0
vsize: 8820
[startup+680.02 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 263925 0 0 0 67306 715 0 0 25 0 1 0 892858057 9531392 1459 4294967295 134512640 134716908 3221224592 3221220560 1074873131 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2327 1459 1111 63 0 2264 0
vsize: 9308
[startup+690.02 s]
Raw data (loadavg): 1.09 1.02 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 267506 0 0 0 68297 725 0 0 25 0 1 0 892858057 9240576 1515 4294967295 134512640 134716908 3221224592 3221221184 1074886997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2256 1515 1111 63 0 2193 0
vsize: 9024
[startup+700.02 s]
Raw data (loadavg): 1.08 1.02 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 271169 0 0 0 69288 734 0 0 25 0 1 0 892858057 9486336 1486 4294967295 134512640 134716908 3221224592 3221220648 1074789619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2316 1486 1111 63 0 2253 0
vsize: 9264
[startup+710.02 s]
Raw data (loadavg): 1.07 1.01 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 274750 0 0 0 70278 744 0 0 25 0 1 0 892858057 9551872 1477 4294967295 134512640 134716908 3221224592 3221220432 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2332 1477 1111 63 0 2269 0
vsize: 9328
[startup+720.02 s]
Raw data (loadavg): 1.06 1.01 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 278459 0 0 0 71267 756 0 0 25 0 1 0 892858057 8474624 1392 4294967295 134512640 134716908 3221224592 3221222680 1077377866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2069 1392 1111 63 0 2006 0
vsize: 8276
[startup+730.02 s]
Raw data (loadavg): 1.05 1.01 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 282419 0 0 0 72255 768 0 0 25 0 1 0 892858057 9392128 1463 4294967295 134512640 134716908 3221224592 3221220768 1074882511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2293 1463 1111 63 0 2230 0
vsize: 9172
[startup+740.019 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 286218 0 0 0 73244 779 0 0 25 0 1 0 892858057 8589312 1420 4294967295 134512640 134716908 3221224592 3221222616 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2097 1420 1111 63 0 2034 0
vsize: 8388
[startup+750.02 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 289648 0 0 0 74235 788 0 0 25 0 1 0 892858057 8605696 1424 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2101 1424 1111 63 0 2038 0
vsize: 8404
[startup+760.019 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 293620 0 0 0 75226 797 0 0 25 0 1 0 892858057 8912896 1474 4294967295 134512640 134716908 3221224592 3221222320 1075828674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2176 1474 1111 63 0 2113 0
vsize: 8704
[startup+770.019 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 297043 0 0 0 76217 807 0 0 25 0 1 0 892858057 8818688 1445 4294967295 134512640 134716908 3221224592 3221222512 1075799652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2153 1445 1111 63 0 2090 0
vsize: 8612
[startup+780.019 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 300445 0 0 0 77208 816 0 0 25 0 1 0 892858057 9605120 1484 4294967295 134512640 134716908 3221224592 3221221520 1075960384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2345 1484 1111 63 0 2282 0
vsize: 9380
[startup+790.019 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 303214 0 0 0 78201 823 0 0 25 0 1 0 892858057 9637888 1521 4294967295 134512640 134716908 3221224592 3221220752 1074883672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2353 1521 1111 63 0 2290 0
vsize: 9412
[startup+800.018 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 306393 0 0 0 79191 834 0 0 25 0 1 0 892858057 9424896 1565 4294967295 134512640 134716908 3221224592 3221220960 1075894558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2301 1565 1111 63 0 2238 0
vsize: 9204
[startup+810.019 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 309829 0 0 0 80182 843 0 0 25 0 1 0 892858057 9510912 1476 4294967295 134512640 134716908 3221224592 3221220684 1075663503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2322 1476 1111 63 0 2259 0
vsize: 9288
[startup+820.018 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 313077 0 0 0 81173 852 0 0 25 0 1 0 892858057 9588736 1522 4294967295 134512640 134716908 3221224592 3221220488 1074789711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2341 1522 1111 63 0 2278 0
vsize: 9364
[startup+830.018 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 316322 0 0 0 82164 862 0 0 25 0 1 0 892858057 9674752 1502 4294967295 134512640 134716908 3221224592 3221221248 1075967916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2362 1502 1111 63 0 2299 0
vsize: 9448
[startup+840.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 319426 0 0 0 83156 870 0 0 25 0 1 0 892858057 9629696 1520 4294967295 134512640 134716908 3221224592 3221220976 1074973611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2351 1520 1111 63 0 2288 0
vsize: 9404
[startup+850.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 322841 0 0 0 84148 878 0 0 25 0 1 0 892858057 9625600 1496 4294967295 134512640 134716908 3221224592 3221221712 1074835532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2350 1496 1111 63 0 2287 0
vsize: 9400
[startup+860.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 326164 0 0 0 85140 887 0 0 25 0 1 0 892858057 9793536 1564 4294967295 134512640 134716908 3221224592 3221220752 1075091819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2391 1564 1111 63 0 2328 0
vsize: 9564
[startup+870.016 s]
Raw data (loadavg): 1.08 1.02 0.95 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 329654 0 0 0 86131 895 0 0 25 0 1 0 892858057 9547776 1507 4294967295 134512640 134716908 3221224592 3221221712 1074834358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2331 1507 1111 63 0 2268 0
vsize: 9324
[startup+880.016 s]
Raw data (loadavg): 1.14 1.03 0.96 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 333145 0 0 0 87123 904 0 0 25 0 1 0 892858057 9678848 1529 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2363 1529 1111 63 0 2300 0
vsize: 9452
[startup+890.017 s]
Raw data (loadavg): 1.12 1.03 0.96 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 336699 0 0 0 88114 914 0 0 25 0 1 0 892858057 9695232 1544 4294967295 134512640 134716908 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2367 1544 1111 63 0 2304 0
vsize: 9468
[startup+900.017 s]
Raw data (loadavg): 1.10 1.03 0.96 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 339615 0 0 0 89105 923 0 0 25 0 1 0 892858057 8769536 1464 4294967295 134512640 134716908 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2141 1464 1111 63 0 2078 0
vsize: 8564
[startup+910.017 s]
Raw data (loadavg): 1.08 1.03 0.96 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 342706 0 0 0 90097 931 0 0 25 0 1 0 892858057 8904704 1468 4294967295 134512640 134716908 3221224592 3221222240 1075818272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2174 1468 1111 63 0 2111 0
vsize: 8696
[startup+920.017 s]
Raw data (loadavg): 1.07 1.03 0.96 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 345896 0 0 0 91090 939 0 0 25 0 1 0 892858057 9203712 1486 4294967295 134512640 134716908 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2354 1493 1111 63 0 2291 0
vsize: 8988
[startup+930.017 s]
Raw data (loadavg): 1.14 1.04 0.96 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 349603 0 0 0 92078 950 0 0 25 0 1 0 892858057 9728000 1514 4294967295 134512640 134716908 3221224592 3221220924 1075112835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2375 1514 1111 63 0 2312 0
vsize: 9500
[startup+940.017 s]
Raw data (loadavg): 1.19 1.06 0.97 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 353226 0 0 0 93068 961 0 0 25 0 1 0 892858057 8863744 1476 4294967295 134512640 134716908 3221224592 3221222592 1074916681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2164 1476 1111 63 0 2101 0
vsize: 8656
[startup+950.017 s]
Raw data (loadavg): 1.16 1.05 0.97 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 356326 0 0 0 94059 971 0 0 25 0 1 0 892858057 8814592 1475 4294967295 134512640 134716908 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1475 1111 63 0 2089 0
vsize: 8608
[startup+960.017 s]
Raw data (loadavg): 1.14 1.05 0.97 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 359560 0 0 0 95051 979 0 0 25 0 1 0 892858057 9613312 1505 4294967295 134512640 134716908 3221224592 3221220752 1074883536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2347 1506 1111 63 0 2284 0
vsize: 9388
[startup+970.017 s]
Raw data (loadavg): 1.12 1.05 0.97 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 363113 0 0 0 96041 989 0 0 25 0 1 0 892858057 8790016 1469 4294967295 134512640 134716908 3221224592 3221222992 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2146 1469 1111 63 0 2083 0
vsize: 8584
[startup+980.016 s]
Raw data (loadavg): 1.10 1.05 0.97 2/54 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 366797 0 0 0 97032 998 0 0 25 0 1 0 892858057 9809920 1560 4294967295 134512640 134716908 3221224592 3221220540 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2395 1560 1111 63 0 2332 0
vsize: 9580
[startup+987.141 s]
Raw data (loadavg): 1.08 1.05 0.97 1/53 14380
Raw data (stat): 14380 (bsolo_lpr-v2) R 14379 25568 25567 0 -1 0 366797 0 0 0 97032 998 0 0 25 0 1 0 892858057 9809920 1560 4294967295 134512640 134716908 3221224592 3221220540 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2395 1560 1111 63 0 2332 0
vsize: 0

Child status: 30
Real time (s): 987.14
CPU time (s): 987.437
CPU user time (s): 977.37
CPU system time (s): 10.0665
CPU usage (%): 100.03
Max. virtual memory (Kb): 9580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	167
#### END VERIFIER DATA ####