PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb
MD5SUM	812314147c77e28d5e428080c7a2412d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	191
Optimality of the best value was proved	NO
Number of terms in the objective function	672
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	672
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	672
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03684
Number of variables	672
Total number of constraints	2404
Number of constraints which are clauses	2404
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	8
Trace number 40715

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 19:57:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28781 boxname=wulflinc5 idbench=167 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  812314147c77e28d5e428080c7a2412d  /oldhome/oroussel/tmp/wulflinc5/normalized-ii8b1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ii8b1.opb
IDLAUNCH: 28781
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        840392 kB
Buffers:         26900 kB
Cached:         145852 kB
SwapCached:        648 kB
Active:          35796 kB
Inactive:       138992 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        840140 kB
SwapTotal:     2097136 kB
SwapFree:      2095528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            13708 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 20:17:16 (client local time) WITH STATUS 10 IN 1175.69 SECONDS
stats: 28781 0 1175.69 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 672 variables and 2404 constraints.
c After prepocess the problem consists of 672 variables and 2524 constraints.
c preprocess terminated 2.964 s
c Initial Lower Bound: 177
c Lower Bound Elapsed time: 1.944
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 336 @ 4.956
c NEW SOLUTION FOUND: 335 @ 4.958
c NEW SOLUTION FOUND: 334 @ 4.966
c NEW SOLUTION FOUND: 333 @ 4.974
c NEW SOLUTION FOUND: 332 @ 4.981
c NEW SOLUTION FOUND: 331 @ 4.989
c NEW SOLUTION FOUND: 330 @ 4.998
c NEW SOLUTION FOUND: 329 @ 5.006
c NEW SOLUTION FOUND: 328 @ 5.015
c NEW SOLUTION FOUND: 327 @ 5.024
c NEW SOLUTION FOUND: 326 @ 5.035
c NEW SOLUTION FOUND: 325 @ 5.045
c NEW SOLUTION FOUND: 324 @ 5.055
c NEW SOLUTION FOUND: 322 @ 5.067
c NEW SOLUTION FOUND: 321 @ 5.079
c NEW SOLUTION FOUND: 320 @ 5.092
c NEW SOLUTION FOUND: 319 @ 5.151
c NEW SOLUTION FOUND: 318 @ 5.173
c NEW SOLUTION FOUND: 317 @ 5.195
c NEW SOLUTION FOUND: 316 @ 5.264
c NEW SOLUTION FOUND: 314 @ 5.291
c NEW SOLUTION FOUND: 313 @ 5.348
c NEW SOLUTION FOUND: 273 @ 6.225
c NEW SOLUTION FOUND: 272 @ 6.338
c NEW SOLUTION FOUND: 258 @ 6.864
c NEW SOLUTION FOUND: 244 @ 14.567
c NEW SOLUTION FOUND: 243 @ 30.721
c NEW SOLUTION FOUND: 242 @ 38.957
c NEW SOLUTION FOUND: 241 @ 44.16
c NEW SOLUTION FOUND: 233 @ 76.197
c NEW SOLUTION FOUND: 218 @ 276.44
c NEW SOLUTION FOUND: 217 @ 384.313
c NEW SOLUTION FOUND: 216 @ 723.255
c NEW SOLUTION FOUND: 215 @ 840.004
c NEW SOLUTION FOUND: 214 @ 911.817
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 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 x542 x543 -x544 -x545 x546 -x547 x548 -x549 x550 -x551 x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 x564 x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 x578 x579 -x580 -x581 x582 -x583 x584 -x585 x586 -x587 x588 x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 x614 x615 -x616 -x617 x618 -x619 x620 -x621 x622 -x623 x624 x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 x651 -x652 -x653 x654 -x655 x656 -x657 x658 -x659 x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 
c Exit Code: 10
c Total time: 1175.67 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.91 0.95 0.90 2/54 21953
Raw data (stat): 21953 (runsolver) R 21952 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904331195 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.0005 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 4352 0 0 0 985 12 0 0 25 0 1 0 904331195 9793536 1466 4294967295 134512640 134716908 3221224576 3221220660 1075964384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2391 1466 1111 63 0 2328 0
vsize: 9564
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 6763 0 0 0 1977 20 0 0 25 0 1 0 904331195 8638464 1436 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2109 1436 1111 63 0 2046 0
vsize: 8436
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 9334 0 0 0 2967 30 0 0 25 0 1 0 904331195 9842688 1466 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2403 1467 1111 63 0 2340 0
vsize: 9612
[startup+40.0034 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 12320 0 0 0 3957 40 0 0 25 0 1 0 904331195 8912896 1480 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2270 1484 1111 63 0 2207 0
vsize: 8704
[startup+50.0045 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 15304 0 0 0 4947 51 0 0 25 0 1 0 904331195 10190848 1559 4294967295 134512640 134716908 3221224576 3221221040 1075602885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2488 1563 1111 63 0 2425 0
vsize: 9952
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 18450 0 0 0 5938 60 0 0 25 0 1 0 904331195 10592256 1647 4294967295 134512640 134716908 3221224576 3221221608 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2586 1647 1111 63 0 2523 0
vsize: 10344
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 21229 0 0 0 6928 70 0 0 25 0 1 0 904331195 9236480 1582 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2255 1582 1111 63 0 2192 0
vsize: 9020
[startup+80.0053 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 24436 0 0 0 7918 80 0 0 25 0 1 0 904331195 9412608 1601 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2298 1601 1111 63 0 2235 0
vsize: 9192
[startup+90.0048 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 27915 0 0 0 8907 92 0 0 25 0 1 0 904331195 9760768 1682 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2383 1682 1111 63 0 2320 0
vsize: 9532
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 31900 0 0 0 9895 104 0 0 25 0 1 0 904331195 10846208 1707 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2648 1707 1111 63 0 2585 0
vsize: 10592
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 35619 0 0 0 10884 115 0 0 25 0 1 0 904331195 9699328 1695 4294967295 134512640 134716908 3221224576 3221222624 1075963516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2368 1695 1111 63 0 2305 0
vsize: 9472
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 39367 0 0 0 11873 126 0 0 25 0 1 0 904331195 9916416 1748 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2421 1748 1111 63 0 2358 0
vsize: 9684
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 43561 0 0 0 12862 138 0 0 25 0 1 0 904331195 11210752 1795 4294967295 134512640 134716908 3221224576 3221220720 1074970166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2737 1795 1111 63 0 2674 0
vsize: 10948
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21953
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 47158 0 0 0 13851 148 0 0 25 0 1 0 904331195 11591680 1880 4294967295 134512640 134716908 3221224576 3221220828 1077410128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2830 1880 1111 63 0 2767 0
vsize: 11320
[startup+150.006 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 22006
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 51157 0 0 0 14840 159 0 0 25 0 1 0 904331195 11517952 1854 4294967295 134512640 134716908 3221224576 3221220716 1077410224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1854 1111 63 0 2749 0
vsize: 11248
[startup+160.016 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 22006
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 54949 0 0 0 15831 170 0 0 25 0 1 0 904331195 10596352 1886 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2587 1886 1111 63 0 2524 0
vsize: 10348
[startup+170.016 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 22006
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 59057 0 0 0 16819 181 0 0 25 0 1 0 904331195 10723328 1921 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2618 1921 1111 63 0 2555 0
vsize: 10472
[startup+180.016 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 22006
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 63242 0 0 0 17807 194 0 0 25 0 1 0 904331195 12054528 2024 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2024 1111 63 0 2880 0
vsize: 11772
[startup+190.017 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 22006
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 65655 0 0 0 18800 201 0 0 25 0 1 0 904331195 10985472 1987 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2682 1987 1111 63 0 2619 0
vsize: 10728
[startup+200.017 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 22006
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 68129 0 0 0 19791 211 0 0 25 0 1 0 904331195 10891264 1986 4294967295 134512640 134716908 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2659 1986 1111 63 0 2596 0
vsize: 10636
[startup+210.017 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 22006
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 71734 0 0 0 20780 222 0 0 25 0 1 0 904331195 11202560 2050 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2735 2050 1111 63 0 2672 0
vsize: 10940
[startup+220.017 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 22006
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 75496 0 0 0 21770 231 0 0 25 0 1 0 904331195 11431936 2095 4294967295 134512640 134716908 3221224576 3221222976 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2791 2095 1111 63 0 2728 0
vsize: 11164
[startup+230.018 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 79129 0 0 0 22761 241 0 0 25 0 1 0 904331195 11579392 2109 4294967295 134512640 134716908 3221224576 3221222812 1077404823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2827 2109 1111 63 0 2764 0
vsize: 11308
[startup+240.017 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 82736 0 0 0 23751 251 0 0 25 0 1 0 904331195 11190272 2059 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2732 2059 1111 63 0 2669 0
vsize: 10928
[startup+250.017 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 86627 0 0 0 24740 262 0 0 25 0 1 0 904331195 11735040 2168 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2865 2168 1111 63 0 2802 0
vsize: 11460
[startup+260.017 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 90493 0 0 0 25730 272 0 0 25 0 1 0 904331195 11784192 2177 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2877 2177 1111 63 0 2814 0
vsize: 11508
[startup+270.017 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 94059 0 0 0 26719 283 0 0 25 0 1 0 904331195 11530240 2142 4294967295 134512640 134716908 3221224576 3221223248 134652564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2815 2142 1111 63 0 2752 0
vsize: 11260
[startup+280.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 97812 0 0 0 27709 293 0 0 25 0 1 0 904331195 13279232 2306 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3242 2306 1111 63 0 3179 0
vsize: 12968
[startup+290.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 101575 0 0 0 28701 302 0 0 25 0 1 0 904331195 13381632 2324 4294967295 134512640 134716908 3221224576 3221220736 1075091081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3267 2324 1111 63 0 3204 0
vsize: 13068
[startup+300.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 105415 0 0 0 29689 313 0 0 25 0 1 0 904331195 13541376 2360 4294967295 134512640 134716908 3221224576 3221220608 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3306 2360 1111 63 0 3243 0
vsize: 13224
[startup+310.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 109542 0 0 0 30678 324 0 0 25 0 1 0 904331195 12488704 2331 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3049 2331 1111 63 0 2986 0
vsize: 12196
[startup+320.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 113005 0 0 0 31669 334 0 0 25 0 1 0 904331195 12660736 2375 4294967295 134512640 134716908 3221224576 3221222600 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3091 2375 1111 63 0 3028 0
vsize: 12364
[startup+330.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 116413 0 0 0 32660 344 0 0 25 0 1 0 904331195 13803520 2430 4294967295 134512640 134716908 3221224576 3221221104 1075397211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3370 2430 1111 63 0 3307 0
vsize: 13480
[startup+340.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 120150 0 0 0 33648 355 0 0 25 0 1 0 904331195 13680640 2386 4294967295 134512640 134716908 3221224576 3221221140 1076046549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2386 1111 63 0 3277 0
vsize: 13360
[startup+350.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 123911 0 0 0 34637 366 0 0 25 0 1 0 904331195 13918208 2490 4294967295 134512640 134716908 3221224576 3221220660 1075964437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3398 2490 1111 63 0 3335 0
vsize: 13592
[startup+360.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 127542 0 0 0 35627 377 0 0 25 0 1 0 904331195 14143488 2523 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3453 2523 1111 63 0 3390 0
vsize: 13812
[startup+370.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 131215 0 0 0 36617 387 0 0 25 0 1 0 904331195 13086720 2479 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3195 2479 1111 63 0 3132 0
vsize: 12780
[startup+380.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 135129 0 0 0 37606 399 0 0 25 0 1 0 904331195 14331904 2565 4294967295 134512640 134716908 3221224576 3221220804 1075114957 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3499 2565 1111 63 0 3436 0
vsize: 13996
[startup+390.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 138808 0 0 0 38596 409 0 0 25 0 1 0 904331195 12861440 2467 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3140 2467 1111 63 0 3077 0
vsize: 12560
[startup+400.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 142687 0 0 0 39587 418 0 0 25 0 1 0 904331195 13398016 2555 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3271 2555 1111 63 0 3208 0
vsize: 13084
[startup+410.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 146474 0 0 0 40576 428 0 0 25 0 1 0 904331195 13238272 2539 4294967295 134512640 134716908 3221224576 3221222576 1074916125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3232 2539 1111 63 0 3169 0
vsize: 12928
[startup+420.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 150566 0 0 0 41565 439 0 0 25 0 1 0 904331195 14733312 2658 4294967295 134512640 134716908 3221224576 3221221208 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3597 2658 1111 63 0 3534 0
vsize: 14388
[startup+430.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 154512 0 0 0 42556 450 0 0 25 0 1 0 904331195 13623296 2638 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3326 2638 1111 63 0 3263 0
vsize: 13304
[startup+440.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 158363 0 0 0 43546 459 0 0 25 0 1 0 904331195 15052800 2742 4294967295 134512640 134716908 3221224576 3221220724 1075964386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2742 1111 63 0 3612 0
vsize: 14700
[startup+450.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 161763 0 0 0 44537 468 0 0 25 0 1 0 904331195 13529088 2630 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2630 1111 63 0 3240 0
vsize: 13212
[startup+460.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 165031 0 0 0 45527 479 0 0 25 0 1 0 904331195 15192064 2768 4294967295 134512640 134716908 3221224576 3221220724 1075964401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3709 2768 1111 63 0 3646 0
vsize: 14836
[startup+470.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 168886 0 0 0 46516 490 0 0 25 0 1 0 904331195 15392768 2818 4294967295 134512640 134716908 3221224576 3221220816 1075115724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3758 2818 1111 63 0 3695 0
vsize: 15032
[startup+480.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 172992 0 0 0 47505 500 0 0 25 0 1 0 904331195 15446016 2824 4294967295 134512640 134716908 3221224576 3221221108 1075863638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3771 2824 1111 63 0 3708 0
vsize: 15084
[startup+490.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22008
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 177060 0 0 0 48493 513 0 0 25 0 1 0 904331195 15368192 2840 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2840 1111 63 0 3689 0
vsize: 15008
[startup+500.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 181103 0 0 0 49480 526 0 0 25 0 1 0 904331195 15634432 2884 4294967295 134512640 134716908 3221224576 3221221616 1075860406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3817 2884 1111 63 0 3754 0
vsize: 15268
[startup+510.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 185581 0 0 0 50468 539 0 0 25 0 1 0 904331195 14491648 2836 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3538 2836 1111 63 0 3475 0
vsize: 14152
[startup+520.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 189510 0 0 0 51457 549 0 0 25 0 1 0 904331195 14647296 2879 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2879 1111 63 0 3513 0
vsize: 14304
[startup+530.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 193099 0 0 0 52447 560 0 0 25 0 1 0 904331195 14413824 2846 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2846 1111 63 0 3456 0
vsize: 14076
[startup+540.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 197221 0 0 0 53434 573 0 0 25 0 1 0 904331195 14524416 2873 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2873 1111 63 0 3483 0
vsize: 14184
[startup+550.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 200769 0 0 0 54426 582 0 0 25 0 1 0 904331195 16248832 3046 4294967295 134512640 134716908 3221224576 3221220476 1074787461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3967 3046 1111 63 0 3904 0
vsize: 15868
[startup+560.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 202965 0 0 0 55419 589 0 0 25 0 1 0 904331195 16244736 3072 4294967295 134512640 134716908 3221224576 3221220720 1074969499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3966 3072 1111 63 0 3903 0
vsize: 15864
[startup+570.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 204846 0 0 0 56412 596 0 0 25 0 1 0 904331195 15097856 3013 4294967295 134512640 134716908 3221224576 3221222576 1074916735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3686 3013 1111 63 0 3623 0
vsize: 14744
[startup+580.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 207169 0 0 0 57405 603 0 0 25 0 1 0 904331195 15097856 3013 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3686 3013 1111 63 0 3623 0
vsize: 14744
[startup+590.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 210448 0 0 0 58396 611 0 0 25 0 1 0 904331195 15196160 3027 4294967295 134512640 134716908 3221224576 3221222576 1074917207 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3710 3027 1111 63 0 3647 0
vsize: 14840
[startup+600.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 213811 0 0 0 59387 621 0 0 25 0 1 0 904331195 16748544 3159 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4089 3159 1111 63 0 4026 0
vsize: 16356
[startup+610.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 217349 0 0 0 60378 631 0 0 25 0 1 0 904331195 16797696 3192 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3192 1111 63 0 4038 0
vsize: 16404
[startup+620.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 220516 0 0 0 61369 640 0 0 25 0 1 0 904331195 15773696 3158 4294967295 134512640 134716908 3221224576 3221222680 1077374653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3851 3158 1111 63 0 3788 0
vsize: 15404
[startup+630.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 224309 0 0 0 62357 651 0 0 25 0 1 0 904331195 17080320 3269 4294967295 134512640 134716908 3221224576 3221220444 1074787869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4170 3269 1111 63 0 4107 0
vsize: 16680
[startup+640.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 227681 0 0 0 63348 661 0 0 25 0 1 0 904331195 17182720 3264 4294967295 134512640 134716908 3221224576 3221220444 1074787549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4195 3264 1111 63 0 4132 0
vsize: 16780
[startup+650.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 231191 0 0 0 64338 671 0 0 25 0 1 0 904331195 16265216 3254 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3971 3254 1111 63 0 3908 0
vsize: 15884
[startup+660.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 234455 0 0 0 65328 681 0 0 25 0 1 0 904331195 15761408 3175 4294967295 134512640 134716908 3221224576 3221222832 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3848 3175 1111 63 0 3785 0
vsize: 15392
[startup+670.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 238103 0 0 0 66317 692 0 0 25 0 1 0 904331195 17465344 3291 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4264 3291 1111 63 0 4201 0
vsize: 17056
[startup+680.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 241384 0 0 0 67309 701 0 0 25 0 1 0 904331195 17563648 3356 4294967295 134512640 134716908 3221224576 3221221104 1075397184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4288 3356 1111 63 0 4225 0
vsize: 17152
[startup+690.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 244770 0 0 0 68299 710 0 0 25 0 1 0 904331195 17620992 3381 4294967295 134512640 134716908 3221224576 3221220912 1075113511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4302 3381 1111 63 0 4239 0
vsize: 17208
[startup+700.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 248202 0 0 0 69290 720 0 0 25 0 1 0 904331195 17805312 3427 4294967295 134512640 134716908 3221224576 3221220660 1075964386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4347 3427 1111 63 0 4284 0
vsize: 17388
[startup+710.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 251717 0 0 0 70281 729 0 0 25 0 1 0 904331195 16273408 3300 4294967295 134512640 134716908 3221224576 3221222152 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3300 1111 63 0 3910 0
vsize: 15892
[startup+720.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 255476 0 0 0 71270 740 0 0 25 0 1 0 904331195 17920000 3437 4294967295 134512640 134716908 3221224576 3221220848 1074960876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4375 3437 1111 63 0 4312 0
vsize: 17500
[startup+730.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 258808 0 0 0 72260 750 0 0 25 0 1 0 904331195 18092032 3508 4294967295 134512640 134716908 3221224576 3221221232 1075967941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4417 3508 1111 63 0 4354 0
vsize: 17668
[startup+740.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 262312 0 0 0 73250 760 0 0 25 0 1 0 904331195 16826368 3410 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4108 3410 1111 63 0 4045 0
vsize: 16432
[startup+750.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 265789 0 0 0 74240 771 0 0 25 0 1 0 904331195 17047552 3470 4294967295 134512640 134716908 3221224576 3221223024 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4162 3470 1111 63 0 4099 0
vsize: 16648
[startup+760.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 269303 0 0 0 75229 782 0 0 25 0 1 0 904331195 18329600 3564 4294967295 134512640 134716908 3221224576 3221220472 1074789607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4475 3564 1111 63 0 4412 0
vsize: 17900
[startup+770.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 272405 0 0 0 76217 793 0 0 25 0 1 0 904331195 17297408 3506 4294967295 134512640 134716908 3221224576 3221222976 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4223 3506 1111 63 0 4160 0
vsize: 16892
[startup+780.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 275927 0 0 0 77208 803 0 0 25 0 1 0 904331195 16891904 3451 4294967295 134512640 134716908 3221224576 3221222736 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4124 3451 1111 63 0 4061 0
vsize: 16496
[startup+790.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 279685 0 0 0 78199 812 0 0 25 0 1 0 904331195 18423808 3582 4294967295 134512640 134716908 3221224576 3221221232 1075966250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4498 3582 1111 63 0 4435 0
vsize: 17992
[startup+800.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 283248 0 0 0 79190 822 0 0 25 0 1 0 904331195 17391616 3519 4294967295 134512640 134716908 3221224576 3221222224 1075818298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4246 3519 1111 63 0 4183 0
vsize: 16984
[startup+810.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 286932 0 0 0 80179 833 0 0 25 0 1 0 904331195 17715200 3605 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 3605 1111 63 0 4262 0
vsize: 17300
[startup+820.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 290283 0 0 0 81171 840 0 0 25 0 1 0 904331195 18894848 3699 4294967295 134512640 134716908 3221224576 3221221232 1075967692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 3699 1111 63 0 4550 0
vsize: 18452
[startup+830.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 293634 0 0 0 82162 850 0 0 25 0 1 0 904331195 17997824 3677 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4394 3677 1111 63 0 4331 0
vsize: 17576
[startup+840.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 297267 0 0 0 83150 862 0 0 25 0 1 0 904331195 17584128 3620 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4293 3620 1111 63 0 4230 0
vsize: 17172
[startup+850.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 300966 0 0 0 84140 873 0 0 25 0 1 0 904331195 17989632 3691 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4392 3691 1111 63 0 4329 0
vsize: 17568
[startup+860.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 304631 0 0 0 85129 884 0 0 25 0 1 0 904331195 17801216 3673 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4346 3673 1111 63 0 4283 0
vsize: 17384
[startup+870.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 307887 0 0 0 86121 891 0 0 25 0 1 0 904331195 18300928 3751 4294967295 134512640 134716908 3221224576 3221222560 1074052248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4468 3751 1111 63 0 4405 0
vsize: 17872
[startup+880.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 311294 0 0 0 87112 901 0 0 25 0 1 0 904331195 18259968 3765 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3765 1111 63 0 4395 0
vsize: 17832
[startup+890.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 314878 0 0 0 88101 912 0 0 25 0 1 0 904331195 18456576 3786 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4506 3786 1111 63 0 4443 0
vsize: 18024
[startup+900.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 318441 0 0 0 89091 922 0 0 25 0 1 0 904331195 18104320 3747 4294967295 134512640 134716908 3221224576 3221223192 134543141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4420 3747 1111 63 0 4357 0
vsize: 17680
[startup+910.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 322465 0 0 0 90081 932 0 0 25 0 1 0 904331195 19820544 3891 4294967295 134512640 134716908 3221224576 3221220648 1074950204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3891 1111 63 0 4776 0
vsize: 19356
[startup+920.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 325743 0 0 0 91074 940 0 0 25 0 1 0 904331195 18857984 3911 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4604 3911 1111 63 0 4541 0
vsize: 18416
[startup+930.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 328923 0 0 0 92065 949 0 0 25 0 1 0 904331195 19771392 3882 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4827 3882 1111 63 0 4764 0
vsize: 19308
[startup+940.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 332701 0 0 0 93056 958 0 0 25 0 1 0 904331195 19054592 3949 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4652 3949 1111 63 0 4589 0
vsize: 18608
[startup+950.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 334375 0 0 0 94052 963 0 0 25 0 1 0 904331195 19095552 3957 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3957 1111 63 0 4599 0
vsize: 18648
[startup+960.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 336465 0 0 0 95044 971 0 0 25 0 1 0 904331195 19320832 4012 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4717 4012 1111 63 0 4654 0
vsize: 18868
[startup+970.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 339265 0 0 0 96035 979 0 0 25 0 1 0 904331195 18837504 3926 4294967295 134512640 134716908 3221224576 3221222916 1073986859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4599 3926 1111 63 0 4536 0
vsize: 18396
[startup+980.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 342539 0 0 0 97026 989 0 0 25 0 1 0 904331195 20545536 4075 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5016 4075 1111 63 0 4953 0
vsize: 20064
[startup+990.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 345879 0 0 0 98016 999 0 0 25 0 1 0 904331195 18923520 3947 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4620 3947 1111 63 0 4557 0
vsize: 18480
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 348966 0 0 0 99007 1008 0 0 25 0 1 0 904331195 20701184 4093 4294967295 134512640 134716908 3221224576 3221221208 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5054 4093 1111 63 0 4991 0
vsize: 20216
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 352125 0 0 0 99996 1019 0 0 25 0 1 0 904331195 19144704 4001 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4674 4001 1111 63 0 4611 0
vsize: 18696
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 355286 0 0 0 100987 1029 0 0 25 0 1 0 904331195 20885504 4164 4294967295 134512640 134716908 3221224576 3221220816 1075115758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5099 4164 1111 63 0 5036 0
vsize: 20396
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 358830 0 0 0 101977 1039 0 0 25 0 1 0 904331195 19828736 4132 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4841 4132 1111 63 0 4778 0
vsize: 19364
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 362026 0 0 0 102966 1050 0 0 25 0 1 0 904331195 19390464 4061 4294967295 134512640 134716908 3221224576 3221222968 1074153841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4734 4061 1111 63 0 4671 0
vsize: 18936
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 365033 0 0 0 103960 1057 0 0 25 0 1 0 904331195 21049344 4253 4294967295 134512640 134716908 3221224576 3221220912 1075113423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5139 4253 1111 63 0 5076 0
vsize: 20556
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 368186 0 0 0 104953 1064 0 0 25 0 1 0 904331195 20025344 4185 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4889 4185 1111 63 0 4826 0
vsize: 19556
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 371150 0 0 0 105945 1071 0 0 25 0 1 0 904331195 19763200 4146 4294967295 134512640 134716908 3221224576 3221222856 1074138306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4825 4146 1111 63 0 4762 0
vsize: 19300
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 374365 0 0 0 106936 1081 0 0 25 0 1 0 904331195 19709952 4139 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4812 4139 1111 63 0 4749 0
vsize: 19248
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 378009 0 0 0 107925 1092 0 0 25 0 1 0 904331195 19779584 4156 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4829 4156 1111 63 0 4766 0
vsize: 19316
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 381561 0 0 0 108916 1101 0 0 25 0 1 0 904331195 21491712 4321 4294967295 134512640 134716908 3221224576 3221220632 1074789534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5247 4321 1111 63 0 5184 0
vsize: 20988
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 385112 0 0 0 109907 1111 0 0 25 0 1 0 904331195 19988480 4207 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4880 4207 1111 63 0 4817 0
vsize: 19520
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 387917 0 0 0 110899 1119 0 0 25 0 1 0 904331195 20045824 4221 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4894 4221 1111 63 0 4831 0
vsize: 19576
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 390906 0 0 0 111890 1127 0 0 25 0 1 0 904331195 20119552 4239 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4912 4239 1111 63 0 4849 0
vsize: 19648
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 393732 0 0 0 112882 1136 0 0 25 0 1 0 904331195 21696512 4399 4294967295 134512640 134716908 3221224576 3221221344 1076083827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 4399 1111 63 0 5234 0
vsize: 21188
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 396567 0 0 0 113874 1144 0 0 25 0 1 0 904331195 20746240 4376 4294967295 134512640 134716908 3221224576 3221222600 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5065 4376 1111 63 0 5002 0
vsize: 20260
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 399606 0 0 0 114865 1154 0 0 25 0 1 0 904331195 20787200 4385 4294967295 134512640 134716908 3221224576 3221223040 134607102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4385 1111 63 0 5012 0
vsize: 20300
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 402289 0 0 0 115858 1161 0 0 25 0 1 0 904331195 22024192 4458 4294967295 134512640 134716908 3221224576 3221220848 1074960955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5377 4458 1111 63 0 5314 0
vsize: 21508
[startup+1175.53 s]
Raw data (loadavg): 1.00 0.98 0.91 1/53 22010
Raw data (stat): 21953 (bsolo_lpr_cuts-) R 21952 7266 7265 0 -1 0 402289 0 0 0 115858 1161 0 0 25 0 1 0 904331195 22024192 4458 4294967295 134512640 134716908 3221224576 3221220848 1074960955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5377 4458 1111 63 0 5314 0
vsize: 0

Child status: 10
Real time (s): 1175.53
CPU time (s): 1175.69
CPU user time (s): 1164.01
CPU system time (s): 11.6742
CPU usage (%): 100.014
Max. virtual memory (Kb): 21508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	214
#### END VERIFIER DATA ####