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-ii8a3.opb
MD5SUMa430664a9b4f203a5896b33ca2b0e0e5
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved NO
Number of terms in the objective function 528
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 528
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 528
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.02384
Number of variables528
Total number of constraints1816
Number of constraints which are clauses1816
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 constraint8

Trace number 40713

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 19:43:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28779 boxname=wulflinc2 idbench=165 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a430664a9b4f203a5896b33ca2b0e0e5  /oldhome/oroussel/tmp/wulflinc2/normalized-ii8a3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ii8a3.opb
IDLAUNCH: 28779
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        872468 kB
Buffers:         24672 kB
Cached:         115596 kB
SwapCached:       1376 kB
Active:          28160 kB
Inactive:       114168 kB
HighTotal:      131008 kB
HighFree:        29736 kB
LowTotal:       903652 kB
LowFree:        842732 kB
SwapTotal:     2097136 kB
SwapFree:      2094724 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14080 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 20:03:18 (client local time) WITH STATUS 10 IN 1176.08 SECONDS
stats: 28779 0 1176.08 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 528 variables and 1816 constraints.
c After prepocess the problem consists of 528 variables and 2110 constraints.
c preprocess terminated 2.67 s
c Initial Lower Bound: 167
c Lower Bound Elapsed time: 2.507
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 264 @ 5.207
c NEW SOLUTION FOUND: 263 @ 5.208
c NEW SOLUTION FOUND: 262 @ 5.215
c NEW SOLUTION FOUND: 261 @ 5.222
c NEW SOLUTION FOUND: 260 @ 5.229
c NEW SOLUTION FOUND: 258 @ 5.237
c NEW SOLUTION FOUND: 257 @ 5.246
c NEW SOLUTION FOUND: 256 @ 5.255
c NEW SOLUTION FOUND: 255 @ 5.264
c NEW SOLUTION FOUND: 254 @ 5.282
c NEW SOLUTION FOUND: 253 @ 5.292
c NEW SOLUTION FOUND: 252 @ 5.302
c NEW SOLUTION FOUND: 251 @ 5.312
c NEW SOLUTION FOUND: 250 @ 5.332
c NEW SOLUTION FOUND: 249 @ 5.343
c NEW SOLUTION FOUND: 248 @ 5.354
c NEW SOLUTION FOUND: 247 @ 5.364
c NEW SOLUTION FOUND: 246 @ 5.376
c NEW SOLUTION FOUND: 245 @ 5.387
c NEW SOLUTION FOUND: 244 @ 5.399
c NEW SOLUTION FOUND: 243 @ 5.411
c NEW SOLUTION FOUND: 242 @ 5.423
c NEW SOLUTION FOUND: 241 @ 5.436
c NEW SOLUTION FOUND: 240 @ 5.45
c NEW SOLUTION FOUND: 239 @ 5.463
c NEW SOLUTION FOUND: 237 @ 5.483
c NEW SOLUTION FOUND: 234 @ 5.508
c NEW SOLUTION FOUND: 233 @ 5.551
c NEW SOLUTION FOUND: 232 @ 5.573
c NEW SOLUTION FOUND: 231 @ 5.595
c NEW SOLUTION FOUND: 230 @ 5.618
c NEW SOLUTION FOUND: 229 @ 5.641
c NEW SOLUTION FOUND: 228 @ 5.723
c NEW SOLUTION FOUND: 227 @ 5.762
c NEW SOLUTION FOUND: 226 @ 5.834
c NEW SOLUTION FOUND: 225 @ 5.881
c NEW SOLUTION FOUND: 224 @ 5.926
c NEW SOLUTION FOUND: 223 @ 6.02
c NEW SOLUTION FOUND: 222 @ 6.068
c NEW SOLUTION FOUND: 221 @ 6.112
c NEW SOLUTION FOUND: 220 @ 6.161
c NEW SOLUTION FOUND: 219 @ 6.264
c NEW SOLUTION FOUND: 218 @ 6.316
c NEW SOLUTION FOUND: 217 @ 6.369
c NEW SOLUTION FOUND: 216 @ 6.42
c NEW SOLUTION FOUND: 215 @ 6.468
c NEW SOLUTION FOUND: 214 @ 6.58
c NEW SOLUTION FOUND: 213 @ 6.636
c NEW SOLUTION FOUND: 212 @ 6.687
c NEW SOLUTION FOUND: 211 @ 6.741
c NEW SOLUTION FOUND: 210 @ 6.795
c NEW SOLUTION FOUND: 209 @ 6.858
c NEW SOLUTION FOUND: 199 @ 9.369
c NEW SOLUTION FOUND: 198 @ 105.233
c NEW SOLUTION FOUND: 191 @ 133.464
s SATISFIABLE
v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 -x11 x12 -x13 x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 -x59 x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 -x109 x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 -x129 x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 -x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 -x173 x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 -x187 x188 x189 -x190 x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 x232 -x233 x234 -x235 x236 x237 -x238 -x239 x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 x262 -x263 x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 x287 -x288 -x289 x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 x313 -x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 x334 -x335 -x336 -x337 x338 -x339 x340 -x341 x342 -x343 x344 x345 -x346 -x347 x348 -x349 x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 x385 -x386 -x387 x388 -x389 x390 -x391 x392 -x393 x394 -x395 x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 x433 -x434 -x435 x436 -x437 x438 -x439 x440 -x441 x442 -x443 x444 -x445 x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 x490 -x491 -x492 -x493 x494 -x495 x496 -x497 x498 -x499 x500 x501 -x502 -x503 x504 x505 -x506 -x507 x508 -x509 x510 -x511 x512 -x513 x514 -x515 x516 x517 -x518 -x519 x520 -x521 x522 -x523 x524 -x525 x526 -x527 x528 
c Exit Code: 10
c Total time: 1176.07 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.92 1/54 15270
Raw data (stat): 15270 (runsolver) R 15269 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904251009 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 4791 0 0 0 980 16 0 0 25 0 1 0 904251009 8187904 1320 4294967295 134512640 134716908 3221224576 3221222820 1077374077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1999 1320 1111 63 0 1936 0
vsize: 7996
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 8508 0 0 0 1969 27 0 0 25 0 1 0 904251009 8695808 1434 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2123 1434 1111 63 0 2060 0
vsize: 8492
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 12231 0 0 0 2958 39 0 0 25 0 1 0 904251009 9822208 1522 4294967295 134512640 134716908 3221224576 3221220848 1074800005 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2398 1522 1111 63 0 2335 0
vsize: 9592
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 15721 0 0 0 3948 49 0 0 25 0 1 0 904251009 9969664 1565 4294967295 134512640 134716908 3221224576 3221221608 1077410285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2434 1565 1111 63 0 2371 0
vsize: 9736
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 19768 0 0 0 4936 61 0 0 25 0 1 0 904251009 10031104 1574 4294967295 134512640 134716908 3221224576 3221220540 1074787912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2449 1574 1111 63 0 2386 0
vsize: 9796
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 23357 0 0 0 5925 72 0 0 25 0 1 0 904251009 9187328 1544 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2243 1544 1111 63 0 2180 0
vsize: 8972
[startup+70.0004 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 27433 0 0 0 6914 83 0 0 25 0 1 0 904251009 10305536 1650 4294967295 134512640 134716908 3221224576 3221220472 1074789527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2516 1650 1111 63 0 2453 0
vsize: 10064
[startup+80.0015 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 31547 0 0 0 7901 96 0 0 25 0 1 0 904251009 9388032 1603 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2292 1603 1111 63 0 2229 0
vsize: 9168
[startup+90.0011 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 34968 0 0 0 8891 107 0 0 25 0 1 0 904251009 9527296 1634 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2326 1634 1111 63 0 2263 0
vsize: 9304
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 40016 0 0 0 9877 121 0 0 25 0 1 0 904251009 9592832 1643 4294967295 134512640 134716908 3221224576 3221223088 134646691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2342 1643 1111 63 0 2279 0
vsize: 9368
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 44839 0 0 0 10863 134 0 0 25 0 1 0 904251009 9859072 1709 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2407 1709 1111 63 0 2344 0
vsize: 9628
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 49579 0 0 0 11851 147 0 0 25 0 1 0 904251009 9908224 1724 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2419 1724 1111 63 0 2356 0
vsize: 9676
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 55160 0 0 0 12834 164 0 0 25 0 1 0 904251009 11206656 1858 4294967295 134512640 134716908 3221224576 3221220472 1074789701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2736 1858 1111 63 0 2673 0
vsize: 10944
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 59207 0 0 0 13820 177 0 0 25 0 1 0 904251009 11202560 1850 4294967295 134512640 134716908 3221224576 3221220536 1074789584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2735 1851 1111 63 0 2672 0
vsize: 10940
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 62201 0 0 0 14811 187 0 0 25 0 1 0 904251009 11329536 1896 4294967295 134512640 134716908 3221224576 3221220632 1074789548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2766 1896 1111 63 0 2703 0
vsize: 11064
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 66661 0 0 0 15798 200 0 0 25 0 1 0 904251009 10690560 1898 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2610 1898 1111 63 0 2547 0
vsize: 10440
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 70734 0 0 0 16786 212 0 0 25 0 1 0 904251009 10801152 1923 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2637 1923 1111 63 0 2574 0
vsize: 10548
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 75481 0 0 0 17775 224 0 0 25 0 1 0 904251009 11685888 1982 4294967295 134512640 134716908 3221224576 3221220720 1074969490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2853 1982 1111 63 0 2790 0
vsize: 11412
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 79980 0 0 0 18762 237 0 0 25 0 1 0 904251009 11808768 2010 4294967295 134512640 134716908 3221224576 3221220456 1074788427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2883 2010 1111 63 0 2820 0
vsize: 11532
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 84523 0 0 0 19749 250 0 0 25 0 1 0 904251009 12066816 2046 4294967295 134512640 134716908 3221224576 3221220780 1075564165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2946 2046 1111 63 0 2883 0
vsize: 11784
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 89097 0 0 0 20737 262 0 0 25 0 1 0 904251009 12312576 2116 4294967295 134512640 134716908 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3006 2116 1111 63 0 2943 0
vsize: 12024
[startup+220.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 91700 0 0 0 21729 270 0 0 25 0 1 0 904251009 11239424 2073 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2744 2073 1111 63 0 2681 0
vsize: 10976
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 94586 0 0 0 22720 279 0 0 25 0 1 0 904251009 12451840 2146 4294967295 134512640 134716908 3221224576 3221220660 1075964384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3040 2146 1111 63 0 2977 0
vsize: 12160
[startup+240.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 98721 0 0 0 23708 292 0 0 25 0 1 0 904251009 11563008 2130 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2823 2130 1111 63 0 2760 0
vsize: 11292
[startup+250.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 103461 0 0 0 24695 305 0 0 25 0 1 0 904251009 12812288 2228 4294967295 134512640 134716908 3221224576 3221220720 1074970275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3128 2228 1111 63 0 3065 0
vsize: 12512
[startup+260.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 107336 0 0 0 25682 318 0 0 25 0 1 0 904251009 11710464 2188 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2859 2188 1111 63 0 2796 0
vsize: 11436
[startup+270.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 111822 0 0 0 26669 331 0 0 25 0 1 0 904251009 13037568 2273 4294967295 134512640 134716908 3221224576 3221220848 1074960671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2273 1111 63 0 3120 0
vsize: 12732
[startup+280.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 116418 0 0 0 27657 344 0 0 25 0 1 0 904251009 11759616 2200 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2871 2200 1111 63 0 2808 0
vsize: 11484
[startup+290.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 120275 0 0 0 28646 355 0 0 25 0 1 0 904251009 12345344 2325 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3014 2325 1111 63 0 2951 0
vsize: 12056
[startup+300.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 123756 0 0 0 29636 364 0 0 25 0 1 0 904251009 12009472 2261 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2932 2261 1111 63 0 2869 0
vsize: 11728
[startup+310.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 127654 0 0 0 30625 376 0 0 25 0 1 0 904251009 13541376 2434 4294967295 134512640 134716908 3221224576 3221221568 1075110521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3306 2434 1111 63 0 3243 0
vsize: 13224
[startup+320.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 131786 0 0 0 31614 387 0 0 25 0 1 0 904251009 13697024 2448 4294967295 134512640 134716908 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3344 2448 1111 63 0 3281 0
vsize: 13376
[startup+330.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 135335 0 0 0 32605 397 0 0 25 0 1 0 904251009 13860864 2535 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3384 2535 1111 63 0 3321 0
vsize: 13536
[startup+340.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 139204 0 0 0 33594 408 0 0 25 0 1 0 904251009 12414976 2360 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3031 2360 1111 63 0 2968 0
vsize: 12124
[startup+350.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 143543 0 0 0 34583 419 0 0 25 0 1 0 904251009 12652544 2410 4294967295 134512640 134716908 3221224576 3221222576 1074916850 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3089 2410 1111 63 0 3026 0
vsize: 12356
[startup+360.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 147865 0 0 0 35570 432 0 0 25 0 1 0 904251009 14065664 2567 4294967295 134512640 134716908 3221224576 3221220668 1075663516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3434 2567 1111 63 0 3371 0
vsize: 13736
[startup+370.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 152204 0 0 0 36557 445 0 0 25 0 1 0 904251009 14204928 2586 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3468 2586 1111 63 0 3405 0
vsize: 13872
[startup+380.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 155832 0 0 0 37547 456 0 0 25 0 1 0 904251009 13336576 2539 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3256 2539 1111 63 0 3193 0
vsize: 13024
[startup+390.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 159492 0 0 0 38536 466 0 0 25 0 1 0 904251009 14323712 2638 4294967295 134512640 134716908 3221224576 3221220804 1075114969 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3497 2638 1111 63 0 3434 0
vsize: 13988
[startup+400.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 163209 0 0 0 39525 478 0 0 25 0 1 0 904251009 14442496 2650 4294967295 134512640 134716908 3221224576 3221220804 1075114950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3526 2650 1111 63 0 3463 0
vsize: 14104
[startup+410.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 167267 0 0 0 40513 490 0 0 25 0 1 0 904251009 14491648 2639 4294967295 134512640 134716908 3221224576 3221221696 1074835532 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3538 2639 1111 63 0 3475 0
vsize: 14152
[startup+420.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 171208 0 0 0 41503 500 0 0 25 0 1 0 904251009 14774272 2746 4294967295 134512640 134716908 3221224576 3221221104 1075397189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3607 2746 1111 63 0 3544 0
vsize: 14428
[startup+430.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 174846 0 0 0 42492 511 0 0 25 0 1 0 904251009 13279232 2571 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3242 2571 1111 63 0 3179 0
vsize: 12968
[startup+440.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 178424 0 0 0 43482 521 0 0 25 0 1 0 904251009 14934016 2780 4294967295 134512640 134716908 3221224576 3221220780 1075564295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3646 2780 1111 63 0 3583 0
vsize: 14584
[startup+450.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 181397 0 0 0 44474 530 0 0 25 0 1 0 904251009 14868480 2711 4294967295 134512640 134716908 3221224576 3221220896 1075859351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3630 2711 1111 63 0 3567 0
vsize: 14520
[startup+460.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 184761 0 0 0 45465 539 0 0 25 0 1 0 904251009 13561856 2640 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3311 2640 1111 63 0 3248 0
vsize: 13244
[startup+470.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 188103 0 0 0 46456 548 0 0 25 0 1 0 904251009 14241792 2774 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3477 2774 1111 63 0 3414 0
vsize: 13908
[startup+480.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 191366 0 0 0 47447 558 0 0 25 0 1 0 904251009 14282752 2769 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3487 2769 1111 63 0 3424 0
vsize: 13948
[startup+490.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 195293 0 0 0 48436 569 0 0 25 0 1 0 904251009 15241216 2808 4294967295 134512640 134716908 3221224576 3221220720 1074970277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3721 2808 1111 63 0 3658 0
vsize: 14884
[startup+500.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 198470 0 0 0 49425 579 0 0 25 0 1 0 904251009 14041088 2757 4294967295 134512640 134716908 3221224576 3221223224 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3428 2757 1111 63 0 3365 0
vsize: 13712
[startup+510.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 202118 0 0 0 50415 590 0 0 25 0 1 0 904251009 14655488 2865 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2865 1111 63 0 3515 0
vsize: 14312
[startup+520.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 205812 0 0 0 51405 600 0 0 25 0 1 0 904251009 15581184 2926 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3804 2926 1111 63 0 3741 0
vsize: 15216
[startup+530.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 209694 0 0 0 52393 612 0 0 25 0 1 0 904251009 15470592 2880 4294967295 134512640 134716908 3221224576 3221221604 1075964248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 2880 1111 63 0 3714 0
vsize: 15108
[startup+540.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 213061 0 0 0 53384 622 0 0 25 0 1 0 904251009 15773696 2956 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3851 2956 1111 63 0 3788 0
vsize: 15404
[startup+550.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 216545 0 0 0 54375 631 0 0 25 0 1 0 904251009 15814656 2971 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2971 1111 63 0 3798 0
vsize: 15444
[startup+560.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 220581 0 0 0 55363 642 0 0 25 0 1 0 904251009 15974400 3029 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3900 3029 1111 63 0 3837 0
vsize: 15600
[startup+570.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 223758 0 0 0 56354 653 0 0 25 0 1 0 904251009 14995456 2990 4294967295 134512640 134716908 3221224576 3221222536 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3661 2990 1111 63 0 3598 0
vsize: 14644
[startup+580.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 225557 0 0 0 57348 658 0 0 25 0 1 0 904251009 16072704 3053 4294967295 134512640 134716908 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3924 3053 1111 63 0 3861 0
vsize: 15696
[startup+590.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 227592 0 0 0 58341 665 0 0 25 0 1 0 904251009 15261696 3023 4294967295 134512640 134716908 3221224576 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3726 3023 1111 63 0 3663 0
vsize: 14904
[startup+600.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 229492 0 0 0 59336 672 0 0 25 0 1 0 904251009 15130624 3023 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3694 3023 1111 63 0 3631 0
vsize: 14776
[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 231612 0 0 0 60328 680 0 0 25 0 1 0 904251009 15429632 3064 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3767 3064 1111 63 0 3704 0
vsize: 15068
[startup+620.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 234152 0 0 0 61319 689 0 0 25 0 1 0 904251009 16519168 3147 4294967295 134512640 134716908 3221224576 3221220740 1074791769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4033 3147 1111 63 0 3970 0
vsize: 16132
[startup+630.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 237339 0 0 0 62310 699 0 0 25 0 1 0 904251009 15564800 3105 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3800 3105 1111 63 0 3737 0
vsize: 15200
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 240832 0 0 0 63300 709 0 0 25 0 1 0 904251009 16625664 3167 4294967295 134512640 134716908 3221224576 3221220712 1074814821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3167 1111 63 0 3996 0
vsize: 16236
[startup+650.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 244801 0 0 0 64289 720 0 0 25 0 1 0 904251009 15814656 3142 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3861 3142 1111 63 0 3798 0
vsize: 15444
[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 247823 0 0 0 65280 729 0 0 25 0 1 0 904251009 16900096 3256 4294967295 134512640 134716908 3221224576 3221220816 1075115741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4126 3256 1111 63 0 4063 0
vsize: 16504
[startup+670.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 250996 0 0 0 66271 738 0 0 25 0 1 0 904251009 16973824 3281 4294967295 134512640 134716908 3221224576 3221221176 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4144 3281 1111 63 0 4081 0
vsize: 16576
[startup+680.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 254269 0 0 0 67261 748 0 0 25 0 1 0 904251009 16887808 3251 4294967295 134512640 134716908 3221224576 3221220472 1074789584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4123 3251 1111 63 0 4060 0
vsize: 16492
[startup+690.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 257920 0 0 0 68251 759 0 0 25 0 1 0 904251009 17182720 3300 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4195 3300 1111 63 0 4132 0
vsize: 16780
[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 261305 0 0 0 69240 770 0 0 25 0 1 0 904251009 17293312 3333 4294967295 134512640 134716908 3221224576 3221221696 1074834340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4222 3333 1111 63 0 4159 0
vsize: 16888
[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 264260 0 0 0 70231 779 0 0 25 0 1 0 904251009 15941632 3221 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 3221 1111 63 0 3829 0
vsize: 15568
[startup+720.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 267633 0 0 0 71221 789 0 0 25 0 1 0 904251009 16539648 3322 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4038 3322 1111 63 0 3975 0
vsize: 16152
[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 271020 0 0 0 72212 798 0 0 25 0 1 0 904251009 16551936 3347 4294967295 134512640 134716908 3221224576 3221222788 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4041 3347 1111 63 0 3978 0
vsize: 16164
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 274578 0 0 0 73202 808 0 0 25 0 1 0 904251009 17584128 3398 4294967295 134512640 134716908 3221224576 3221220816 1075115765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4293 3398 1111 63 0 4230 0
vsize: 17172
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 278479 0 0 0 74192 819 0 0 25 0 1 0 904251009 16695296 3359 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 3359 1111 63 0 4013 0
vsize: 16304
[startup+760.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 282708 0 0 0 75180 831 0 0 25 0 1 0 904251009 17760256 3447 4294967295 134512640 134716908 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4336 3447 1111 63 0 4273 0
vsize: 17344
[startup+770.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 285931 0 0 0 76170 842 0 0 25 0 1 0 904251009 16949248 3449 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4138 3449 1111 63 0 4075 0
vsize: 16552
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 288830 0 0 0 77160 851 0 0 25 0 1 0 904251009 17981440 3496 4294967295 134512640 134716908 3221224576 3221220912 1075113414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4390 3496 1111 63 0 4327 0
vsize: 17560
[startup+790.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 292030 0 0 0 78150 862 0 0 25 0 1 0 904251009 18046976 3524 4294967295 134512640 134716908 3221224576 3221220912 1075113427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4406 3524 1111 63 0 4343 0
vsize: 17624
[startup+800.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 295020 0 0 0 79142 870 0 0 25 0 1 0 904251009 17125376 3487 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4181 3487 1111 63 0 4118 0
vsize: 16724
[startup+810.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 298078 0 0 0 80133 879 0 0 25 0 1 0 904251009 17203200 3512 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 3512 1111 63 0 4137 0
vsize: 16800
[startup+820.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 301112 0 0 0 81124 888 0 0 25 0 1 0 904251009 18309120 3543 4294967295 134512640 134716908 3221224576 3221221344 1076083427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4470 3549 1111 63 0 4407 0
vsize: 17880
[startup+830.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 304258 0 0 0 82114 898 0 0 25 0 1 0 904251009 17342464 3537 4294967295 134512640 134716908 3221224576 3221223216 134651142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3537 1111 63 0 4171 0
vsize: 16936
[startup+840.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 307403 0 0 0 83105 907 0 0 25 0 1 0 904251009 17522688 3559 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4278 3559 1111 63 0 4215 0
vsize: 17112
[startup+850.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 311092 0 0 0 84095 918 0 0 25 0 1 0 904251009 17526784 3564 4294967295 134512640 134716908 3221224576 3221223056 1074031967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4279 3564 1111 63 0 4216 0
vsize: 17116
[startup+860.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 314951 0 0 0 85085 928 0 0 25 0 1 0 904251009 17707008 3607 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4323 3607 1111 63 0 4260 0
vsize: 17292
[startup+870.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 319240 0 0 0 86073 941 0 0 25 0 1 0 904251009 18702336 3695 4294967295 134512640 134716908 3221224576 3221220472 1074789711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4566 3695 1111 63 0 4503 0
vsize: 18264
[startup+880.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 323521 0 0 0 87060 953 0 0 25 0 1 0 904251009 18595840 3657 4294967295 134512640 134716908 3221224576 3221220456 1074788440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4540 3657 1111 63 0 4477 0
vsize: 18160
[startup+890.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 327776 0 0 0 88048 966 0 0 25 0 1 0 904251009 17424384 3583 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3583 1111 63 0 4191 0
vsize: 17016
[startup+900.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 331864 0 0 0 89036 978 0 0 25 0 1 0 904251009 17567744 3618 4294967295 134512640 134716908 3221224576 3221223024 1073990411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4289 3618 1111 63 0 4226 0
vsize: 17156
[startup+910.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 335857 0 0 0 90023 991 0 0 25 0 1 0 904251009 18948096 3759 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4626 3759 1111 63 0 4563 0
vsize: 18504
[startup+920.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 339604 0 0 0 91012 1002 0 0 25 0 1 0 904251009 19222528 3790 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4693 3791 1111 63 0 4630 0
vsize: 18772
[startup+930.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 343640 0 0 0 92002 1012 0 0 25 0 1 0 904251009 18395136 3774 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4491 3774 1111 63 0 4428 0
vsize: 17964
[startup+940.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 347384 0 0 0 92989 1026 0 0 25 0 1 0 904251009 18305024 3771 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4469 3771 1111 63 0 4406 0
vsize: 17876
[startup+950.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 351403 0 0 0 93978 1038 0 0 25 0 1 0 904251009 19517440 3888 4294967295 134512640 134716908 3221224576 3221220724 1075964406 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4765 3888 1111 63 0 4702 0
vsize: 19060
[startup+960.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 355350 0 0 0 94965 1050 0 0 25 0 1 0 904251009 19562496 3896 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4776 3896 1111 63 0 4713 0
vsize: 19104
[startup+970.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 359332 0 0 0 95955 1061 0 0 25 0 1 0 904251009 18292736 3795 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4466 3795 1111 63 0 4403 0
vsize: 17864
[startup+980.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15270
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 363249 0 0 0 96943 1072 0 0 25 0 1 0 904251009 19628032 3926 4294967295 134512640 134716908 3221224576 3221221152 1076046840 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4792 3926 1111 63 0 4729 0
vsize: 19168
[startup+990.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15323
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 367149 0 0 0 97929 1085 0 0 25 0 1 0 904251009 19910656 3995 4294967295 134512640 134716908 3221224576 3221220472 1074789534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4861 3995 1111 63 0 4798 0
vsize: 19444
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15323
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 370610 0 0 0 98920 1094 0 0 25 0 1 0 904251009 19075072 3942 4294967295 134512640 134716908 3221224576 3221222960 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3942 1111 63 0 4594 0
vsize: 18628
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15323
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 374311 0 0 0 99911 1104 0 0 25 0 1 0 904251009 18890752 3931 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4612 3931 1111 63 0 4549 0
vsize: 18448
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15323
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 377571 0 0 0 100902 1113 0 0 25 0 1 0 904251009 19947520 4105 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 4105 1111 63 0 4807 0
vsize: 19480
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15323
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 380890 0 0 0 101892 1123 0 0 25 0 1 0 904251009 18866176 3935 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4606 3935 1111 63 0 4543 0
vsize: 18424
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15323
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 384520 0 0 0 102882 1134 0 0 25 0 1 0 904251009 19140608 3995 4294967295 134512640 134716908 3221224576 3221222576 1074916565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4673 3995 1111 63 0 4610 0
vsize: 18692
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 387487 0 0 0 103875 1141 0 0 25 0 1 0 904251009 20426752 4095 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4987 4095 1111 63 0 4924 0
vsize: 19948
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 391023 0 0 0 104863 1153 0 0 25 0 1 0 904251009 19091456 3990 4294967295 134512640 134716908 3221224576 3221223024 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4661 3990 1111 63 0 4598 0
vsize: 18644
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 394737 0 0 0 105851 1165 0 0 25 0 1 0 904251009 20385792 4103 4294967295 134512640 134716908 3221224576 3221221088 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4977 4103 1111 63 0 4914 0
vsize: 19908
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 398407 0 0 0 106839 1178 0 0 25 0 1 0 904251009 20824064 4203 4294967295 134512640 134716908 3221224576 3221221696 1074834317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5084 4203 1111 63 0 5021 0
vsize: 20336
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 400609 0 0 0 107831 1186 0 0 25 0 1 0 904251009 19701760 4139 4294967295 134512640 134716908 3221224576 3221222624 1075963516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4810 4139 1111 63 0 4747 0
vsize: 19240
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 403842 0 0 0 108821 1196 0 0 25 0 1 0 904251009 20860928 4212 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5093 4212 1111 63 0 5030 0
vsize: 20372
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 407173 0 0 0 109811 1206 0 0 25 0 1 0 904251009 20946944 4252 4294967295 134512640 134716908 3221224576 3221221088 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 4252 1111 63 0 5051 0
vsize: 20456
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 410456 0 0 0 110800 1217 0 0 25 0 1 0 904251009 21045248 4277 4294967295 134512640 134716908 3221224576 3221221808 1075552862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4877 4203 1111 63 0 4814 0
vsize: 20552
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 413562 0 0 0 111791 1227 0 0 25 0 1 0 904251009 20975616 4239 4294967295 134512640 134716908 3221224576 3221221232 1075967440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5121 4240 1111 63 0 5058 0
vsize: 20484
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 417186 0 0 0 112780 1237 0 0 25 0 1 0 904251009 21258240 4312 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5190 4312 1111 63 0 5127 0
vsize: 20760
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 420795 0 0 0 113772 1247 0 0 25 0 1 0 904251009 21450752 4370 4294967295 134512640 134716908 3221224576 3221220960 1074972964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 4370 1111 63 0 5174 0
vsize: 20948
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 424339 0 0 0 114759 1259 0 0 25 0 1 0 904251009 20312064 4255 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4959 4255 1111 63 0 4896 0
vsize: 19836
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 427710 0 0 0 115750 1269 0 0 25 0 1 0 904251009 20164608 4252 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 4252 1111 63 0 4860 0
vsize: 19692
[startup+1175.93 s]
Raw data (loadavg): 0.99 0.98 0.92 1/53 15325
Raw data (stat): 15270 (bsolo_lpr_cuts-) R 15269 31399 31398 0 -1 0 427710 0 0 0 115750 1269 0 0 25 0 1 0 904251009 20164608 4252 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 4252 1111 63 0 4860 0
vsize: 0

Child status: 10
Real time (s): 1175.93
CPU time (s): 1176.08
CPU user time (s): 1163.31
CPU system time (s): 12.7731
CPU usage (%): 100.013
Max. virtual memory (Kb): 20948
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	191
#### END VERIFIER DATA ####