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-ii32e3.opb
MD5SUM	fba76bbece6bbaf52b3b51d8d6e74147
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	310
Optimality of the best value was proved	NO
Number of terms in the objective function	660
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	660
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	660
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.02584
Number of variables	660
Total number of constraints	5350
Number of constraints which are clauses	5350
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 40709

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 19:37:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28774 boxname=wulflinc5 idbench=160 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  fba76bbece6bbaf52b3b51d8d6e74147  /oldhome/oroussel/tmp/wulflinc5/normalized-ii32e3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ii32e3.opb
IDLAUNCH: 28774
/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:        840848 kB
Buffers:         26216 kB
Cached:         145924 kB
SwapCached:        648 kB
Active:          35056 kB
Inactive:       139140 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        840596 kB
SwapTotal:     2097136 kB
SwapFree:      2095528 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            13964 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 19:57:33 (client local time) WITH STATUS 10 IN 1175.07 SECONDS
stats: 28774 0 1175.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 660 variables and 5350 constraints.
c After prepocess the problem consists of 660 variables and 5350 constraints.
c preprocess terminated 12.085 s
c Initial Lower Bound: 235
c Lower Bound Elapsed time: 4.0618
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 330 @ 58.079
c NEW SOLUTION FOUND: 329 @ 58.081
c NEW SOLUTION FOUND: 328 @ 58.091
c NEW SOLUTION FOUND: 327 @ 58.1
c NEW SOLUTION FOUND: 326 @ 58.108
c NEW SOLUTION FOUND: 325 @ 58.125
c NEW SOLUTION FOUND: 324 @ 58.134
c NEW SOLUTION FOUND: 322 @ 58.389
c NEW SOLUTION FOUND: 321 @ 58.71
c NEW SOLUTION FOUND: 320 @ 58.819
c NEW SOLUTION FOUND: 319 @ 64.114
c NEW SOLUTION FOUND: 310 @ 234.608
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 
c Exit Code: 10
c Total time: 1175.06 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.84 0.95 0.90 2/54 21860
Raw data (stat): 21860 (runsolver) R 21859 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904212876 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.0006 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 1793 0 0 0 991 5 0 0 25 0 1 0 904212876 10493952 1710 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2562 1710 1111 63 0 2499 0
vsize: 10248
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 6767 0 0 0 1979 18 0 0 25 0 1 0 904212876 13922304 2638 4294967295 134512640 134716908 3221224576 3221222784 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3399 2638 1111 63 0 3336 0
vsize: 13596
[startup+30.003 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 10790 0 0 0 2969 28 0 0 25 0 1 0 904212876 16355328 2966 4294967295 134512640 134716908 3221224576 3221220624 1074970277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3993 2966 1111 63 0 3930 0
vsize: 15972
[startup+40.0035 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 14545 0 0 0 3958 39 0 0 25 0 1 0 904212876 16711680 3020 4294967295 134512640 134716908 3221224576 3221220700 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4080 3020 1111 63 0 4017 0
vsize: 16320
[startup+50.003 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 18348 0 0 0 4949 49 0 0 25 0 1 0 904212876 16781312 3203 4294967295 134512640 134716908 3221224576 3221220640 1075095323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4097 3203 1111 63 0 4034 0
vsize: 16388
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 24980 0 0 0 5931 65 0 0 25 0 1 0 904212876 12652544 2415 4294967295 134512640 134716908 3221224576 3221222520 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3089 2415 1111 63 0 3026 0
vsize: 12356
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 29671 0 0 0 6921 76 0 0 25 0 1 0 904212876 16629760 2839 4294967295 134512640 134716908 3221224576 3221220720 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4060 2839 1111 63 0 3997 0
vsize: 16240
[startup+80.0032 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 33163 0 0 0 7913 85 0 0 25 0 1 0 904212876 16740352 2872 4294967295 134512640 134716908 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4087 2872 1111 63 0 4024 0
vsize: 16348
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 36582 0 0 0 8903 94 0 0 25 0 1 0 904212876 13037568 2509 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3183 2509 1111 63 0 3120 0
vsize: 12732
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 40398 0 0 0 9895 103 0 0 25 0 1 0 904212876 12984320 2496 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3170 2496 1111 63 0 3107 0
vsize: 12680
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 43771 0 0 0 10887 110 0 0 25 0 1 0 904212876 12959744 2490 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3164 2490 1111 63 0 3101 0
vsize: 12656
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 47404 0 0 0 11878 120 0 0 25 0 1 0 904212876 13172736 2542 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3216 2542 1111 63 0 3153 0
vsize: 12864
[startup+130.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 50476 0 0 0 12870 128 0 0 25 0 1 0 904212876 17059840 3001 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4165 3001 1111 63 0 4102 0
vsize: 16660
[startup+140.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 53624 0 0 0 13863 135 0 0 25 0 1 0 904212876 14155776 2691 4294967295 134512640 134716908 3221224576 3221222688 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2691 1111 63 0 3393 0
vsize: 13824
[startup+150.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 56553 0 0 0 14856 143 0 0 25 0 1 0 904212876 13217792 2553 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2553 1111 63 0 3164 0
vsize: 12908
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 59025 0 0 0 15850 149 0 0 25 0 1 0 904212876 13217792 2553 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2553 1111 63 0 3164 0
vsize: 12908
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 61711 0 0 0 16843 156 0 0 25 0 1 0 904212876 13217792 2553 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2553 1111 63 0 3164 0
vsize: 12908
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 65771 0 0 0 17830 169 0 0 25 0 1 0 904212876 16461824 3085 4294967295 134512640 134716908 3221224576 3221220848 1074961132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4019 3085 1111 63 0 3956 0
vsize: 16076
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 68260 0 0 0 18824 175 0 0 25 0 1 0 904212876 13881344 2716 4294967295 134512640 134716908 3221224576 3221223116 134539276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3389 2716 1111 63 0 3326 0
vsize: 13556
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 71389 0 0 0 19816 183 0 0 25 0 1 0 904212876 16834560 2891 4294967295 134512640 134716908 3221224576 3221220780 1075564165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 2891 1111 63 0 4047 0
vsize: 16440
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 74924 0 0 0 20805 194 0 0 25 0 1 0 904212876 17776640 3100 4294967295 134512640 134716908 3221224576 3221221232 1075967910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3100 1111 63 0 4277 0
vsize: 17360
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 77689 0 0 0 21798 202 0 0 25 0 1 0 904212876 17809408 3353 4294967295 134512640 134716908 3221224576 3221221112 1075132865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3353 1111 63 0 4285 0
vsize: 17392
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 79936 0 0 0 22792 208 0 0 25 0 1 0 904212876 16977920 3183 4294967295 134512640 134716908 3221224576 3221220484 1074786550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4145 3183 1111 63 0 4082 0
vsize: 16580
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 85528 0 0 0 23777 222 0 0 25 0 1 0 904212876 17375232 3068 4294967295 134512640 134716908 3221224576 3221220784 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4242 3068 1111 63 0 4179 0
vsize: 16968
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 94043 0 0 0 24756 244 0 0 25 0 1 0 904212876 13926400 2727 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 2727 1111 63 0 3337 0
vsize: 13600
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 96843 0 0 0 25749 251 0 0 25 0 1 0 904212876 17465344 3067 4294967295 134512640 134716908 3221224576 3221221408 1075115375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4264 3067 1111 63 0 4201 0
vsize: 17056
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 99646 0 0 0 26742 259 0 0 25 0 1 0 904212876 13926400 2727 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 2727 1111 63 0 3337 0
vsize: 13600
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 102777 0 0 0 27733 267 0 0 25 0 1 0 904212876 16592896 2785 4294967295 134512640 134716908 3221224576 3221221504 1075960390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4051 2785 1111 63 0 3988 0
vsize: 16204
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 107392 0 0 0 28720 281 0 0 25 0 1 0 904212876 15687680 2846 4294967295 134512640 134716908 3221224576 3221220956 1075112635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3830 2846 1111 63 0 3767 0
vsize: 15320
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 114432 0 0 0 29700 301 0 0 25 0 1 0 904212876 13946880 2732 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2732 1111 63 0 3342 0
vsize: 13620
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 120429 0 0 0 30684 317 0 0 25 0 1 0 904212876 17518592 3024 4294967295 134512640 134716908 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 3024 1111 63 0 4214 0
vsize: 17108
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 124616 0 0 0 31674 327 0 0 25 0 1 0 904212876 14766080 2933 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2933 1111 63 0 3542 0
vsize: 14420
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 129105 0 0 0 32662 339 0 0 25 0 1 0 904212876 14766080 2933 4294967295 134512640 134716908 3221224576 3221222496 1075799689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2933 1111 63 0 3542 0
vsize: 14420
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 134775 0 0 0 33648 353 0 0 25 0 1 0 904212876 15224832 3045 4294967295 134512640 134716908 3221224576 3221222528 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3717 3045 1111 63 0 3654 0
vsize: 14868
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 140128 0 0 0 34634 367 0 0 25 0 1 0 904212876 18362368 3237 4294967295 134512640 134716908 3221224576 3221221520 1074620107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4483 3237 1111 63 0 4420 0
vsize: 17932
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 144221 0 0 0 35623 378 0 0 25 0 1 0 904212876 16769024 3306 4294967295 134512640 134716908 3221224576 3221220412 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4094 3306 1111 63 0 4031 0
vsize: 16376
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 148219 0 0 0 36612 390 0 0 25 0 1 0 904212876 15540224 3122 4294967295 134512640 134716908 3221224576 3221222440 1074138285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3794 3122 1111 63 0 3731 0
vsize: 15176
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 154896 0 0 0 37594 409 0 0 25 0 1 0 904212876 18169856 3453 4294967295 134512640 134716908 3221224576 3221220816 1075115730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4436 3453 1111 63 0 4373 0
vsize: 17744
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 163620 0 0 0 38573 430 0 0 25 0 1 0 904212876 19668992 3630 4294967295 134512640 134716908 3221224576 3221220540 1074787576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4802 3630 1111 63 0 4739 0
vsize: 19208
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 167544 0 0 0 39563 439 0 0 25 0 1 0 904212876 15745024 3172 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3844 3172 1111 63 0 3781 0
vsize: 15376
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 171070 0 0 0 40555 448 0 0 25 0 1 0 904212876 15851520 3198 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3870 3198 1111 63 0 3807 0
vsize: 15480
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 176713 0 0 0 41541 462 0 0 25 0 1 0 904212876 18305024 3526 4294967295 134512640 134716908 3221224576 3221220540 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4469 3526 1111 63 0 4406 0
vsize: 17876
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 180319 0 0 0 42532 471 0 0 25 0 1 0 904212876 16289792 3273 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3977 3273 1111 63 0 3914 0
vsize: 15908
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 183065 0 0 0 43526 478 0 0 25 0 1 0 904212876 18808832 3664 4294967295 134512640 134716908 3221224576 3221221116 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4592 3664 1111 63 0 4529 0
vsize: 18368
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 187445 0 0 0 44515 489 0 0 25 0 1 0 904212876 18857984 3661 4294967295 134512640 134716908 3221224576 3221220752 1074882560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4604 3661 1111 63 0 4541 0
vsize: 18416
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 190383 0 0 0 45508 496 0 0 25 0 1 0 904212876 18780160 3337 4294967295 134512640 134716908 3221224576 3221221104 1075397162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4585 3337 1111 63 0 4522 0
vsize: 18340
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 193585 0 0 0 46499 505 0 0 25 0 1 0 904212876 16134144 3267 4294967295 134512640 134716908 3221224576 3221222904 1077402446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3939 3267 1111 63 0 3876 0
vsize: 15756
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 197484 0 0 0 47492 512 0 0 25 0 1 0 904212876 18366464 3547 4294967295 134512640 134716908 3221224576 3221220704 1075112097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4484 3547 1111 63 0 4421 0
vsize: 17936
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 202631 0 0 0 48479 526 0 0 25 0 1 0 904212876 18726912 3644 4294967295 134512640 134716908 3221224576 3221220676 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4572 3644 1111 63 0 4509 0
vsize: 18288
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 206036 0 0 0 49470 534 0 0 25 0 1 0 904212876 16228352 3290 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3962 3290 1111 63 0 3899 0
vsize: 15848
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 211862 0 0 0 50454 551 0 0 25 0 1 0 904212876 17068032 3442 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 3442 1111 63 0 4104 0
vsize: 16668
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 219129 0 0 0 51436 569 0 0 25 0 1 0 904212876 17162240 3513 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4190 3513 1111 63 0 4127 0
vsize: 16760
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 224184 0 0 0 52422 583 0 0 25 0 1 0 904212876 17448960 3560 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4260 3560 1111 63 0 4197 0
vsize: 17040
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 227600 0 0 0 53414 591 0 0 25 0 1 0 904212876 19128320 3584 4294967295 134512640 134716908 3221224576 3221221776 1075967705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4670 3584 1111 63 0 4607 0
vsize: 18680
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 232310 0 0 0 54402 604 0 0 25 0 1 0 904212876 20168704 3989 4294967295 134512640 134716908 3221224576 3221220676 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4924 3989 1111 63 0 4861 0
vsize: 19696
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 235335 0 0 0 55395 611 0 0 25 0 1 0 904212876 17297408 3551 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4223 3551 1111 63 0 4160 0
vsize: 16892
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 237813 0 0 0 56389 617 0 0 25 0 1 0 904212876 17457152 3590 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4262 3590 1111 63 0 4199 0
vsize: 17048
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 240866 0 0 0 57381 625 0 0 25 0 1 0 904212876 17817600 3676 4294967295 134512640 134716908 3221224576 3221222856 1074138297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3676 1111 63 0 4287 0
vsize: 17400
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 244222 0 0 0 58374 632 0 0 25 0 1 0 904212876 20914176 3981 4294967295 134512640 134716908 3221224576 3221220720 1074969685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5106 3981 1111 63 0 5043 0
vsize: 20424
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 246973 0 0 0 59368 638 0 0 25 0 1 0 904212876 17100800 3503 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4175 3503 1111 63 0 4112 0
vsize: 16700
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 250822 0 0 0 60358 649 0 0 25 0 1 0 904212876 18108416 3668 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4421 3668 1111 63 0 4358 0
vsize: 17684
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 254239 0 0 0 61350 657 0 0 25 0 1 0 904212876 18120704 3677 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4424 3677 1111 63 0 4361 0
vsize: 17696
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 257742 0 0 0 62342 665 0 0 25 0 1 0 904212876 17309696 3554 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4226 3554 1111 63 0 4163 0
vsize: 16904
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 260839 0 0 0 63335 673 0 0 25 0 1 0 904212876 20824064 3879 4294967295 134512640 134716908 3221224576 3221220804 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5084 3879 1111 63 0 5021 0
vsize: 20336
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 263516 0 0 0 64328 679 0 0 25 0 1 0 904212876 20836352 3898 4294967295 134512640 134716908 3221224576 3221221580 1074621120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5087 3898 1111 63 0 5024 0
vsize: 20348
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 266722 0 0 0 65320 688 0 0 25 0 1 0 904212876 17502208 3601 4294967295 134512640 134716908 3221224576 3221222352 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4273 3601 1111 63 0 4210 0
vsize: 17092
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 269281 0 0 0 66314 694 0 0 25 0 1 0 904212876 21811200 4407 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 4407 1111 63 0 5262 0
vsize: 21300
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 272061 0 0 0 67308 700 0 0 25 0 1 0 904212876 17608704 3597 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4299 3597 1111 63 0 4236 0
vsize: 17196
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 274216 0 0 0 68303 705 0 0 25 0 1 0 904212876 21790720 4233 4294967295 134512640 134716908 3221224576 3221220736 1075092922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5320 4233 1111 63 0 5257 0
vsize: 21280
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 276712 0 0 0 69297 711 0 0 25 0 1 0 904212876 20635648 3828 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5038 3828 1111 63 0 4975 0
vsize: 20152
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 279269 0 0 0 70290 719 0 0 25 0 1 0 904212876 17780736 3637 4294967295 134512640 134716908 3221224576 3221222400 1074051528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3637 1111 63 0 4278 0
vsize: 17364
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 283022 0 0 0 71280 729 0 0 25 0 1 0 904212876 20512768 3718 4294967295 134512640 134716908 3221224576 3221220848 1074961149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5008 3718 1111 63 0 4945 0
vsize: 20032
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 288333 0 0 0 72266 743 0 0 25 0 1 0 904212876 19222528 3713 4294967295 134512640 134716908 3221224576 3221220804 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4693 3713 1111 63 0 4630 0
vsize: 18772
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 291892 0 0 0 73256 753 0 0 25 0 1 0 904212876 20586496 4106 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5026 4106 1111 63 0 4963 0
vsize: 20104
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 294977 0 0 0 74248 761 0 0 25 0 1 0 904212876 20963328 3990 4294967295 134512640 134716908 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5118 3990 1111 63 0 5055 0
vsize: 20472
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 298184 0 0 0 75240 770 0 0 25 0 1 0 904212876 20955136 3966 4294967295 134512640 134716908 3221224576 3221221504 1075960381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5116 3966 1111 63 0 5053 0
vsize: 20464
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 301384 0 0 0 76230 780 0 0 25 0 1 0 904212876 20287488 3693 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4953 3693 1111 63 0 4890 0
vsize: 19812
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 306448 0 0 0 77217 793 0 0 25 0 1 0 904212876 17620992 3630 4294967295 134512640 134716908 3221224576 3221222832 1073990361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4302 3630 1111 63 0 4239 0
vsize: 17208
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 311333 0 0 0 78205 806 0 0 25 0 1 0 904212876 21098496 3966 4294967295 134512640 134716908 3221224576 3221221232 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5151 3966 1111 63 0 5088 0
vsize: 20604
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 314574 0 0 0 79196 815 0 0 25 0 1 0 904212876 18112512 3729 4294967295 134512640 134716908 3221224576 3221223216 134651097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4422 3729 1111 63 0 4359 0
vsize: 17688
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 319405 0 0 0 80182 828 0 0 25 0 1 0 904212876 18223104 3751 4294967295 134512640 134716908 3221224576 3221222712 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4449 3751 1111 63 0 4386 0
vsize: 17796
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 322286 0 0 0 81175 836 0 0 25 0 1 0 904212876 21352448 3984 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5213 3984 1111 63 0 5150 0
vsize: 20852
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 325449 0 0 0 82166 845 0 0 25 0 1 0 904212876 21168128 3917 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5168 3917 1111 63 0 5105 0
vsize: 20672
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 328647 0 0 0 83158 854 0 0 25 0 1 0 904212876 23048192 4463 4294967295 134512640 134716908 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5627 4463 1111 63 0 5564 0
vsize: 22508
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 331641 0 0 0 84150 861 0 0 25 0 1 0 904212876 21532672 4099 4294967295 134512640 134716908 3221224576 3221220632 1074789711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5257 4099 1111 63 0 5194 0
vsize: 21028
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 334037 0 0 0 85145 867 0 0 25 0 1 0 904212876 22052864 4246 4294967295 134512640 134716908 3221224576 3221220804 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5384 4246 1111 63 0 5321 0
vsize: 21536
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 336257 0 0 0 86139 873 0 0 25 0 1 0 904212876 22392832 4377 4294967295 134512640 134716908 3221224576 3221220456 1074788452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5467 4377 1111 63 0 5404 0
vsize: 21868
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 338882 0 0 0 87133 880 0 0 25 0 1 0 904212876 18956288 3956 4294967295 134512640 134716908 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4628 3956 1111 63 0 4565 0
vsize: 18512
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 341681 0 0 0 88125 887 0 0 25 0 1 0 904212876 18743296 3904 4294967295 134512640 134716908 3221224576 3221222624 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4576 3904 1111 63 0 4513 0
vsize: 18304
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 343845 0 0 0 89120 892 0 0 25 0 1 0 904212876 22679552 4438 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5537 4438 1111 63 0 5474 0
vsize: 22148
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 346099 0 0 0 90115 898 0 0 25 0 1 0 904212876 21651456 4145 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5286 4145 1111 63 0 5223 0
vsize: 21144
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 348772 0 0 0 91107 906 0 0 25 0 1 0 904212876 21790720 4135 4294967295 134512640 134716908 3221224576 3221220720 1074970218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5320 4135 1111 63 0 5257 0
vsize: 21280
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 351609 0 0 0 92100 913 0 0 25 0 1 0 904212876 21811200 4184 4294967295 134512640 134716908 3221224576 3221220720 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 4184 1111 63 0 5262 0
vsize: 21300
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 354923 0 0 0 93092 922 0 0 25 0 1 0 904212876 18358272 3810 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4482 3810 1111 63 0 4419 0
vsize: 17928
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 358996 0 0 0 94081 933 0 0 25 0 1 0 904212876 19001344 3967 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4639 3967 1111 63 0 4576 0
vsize: 18556
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 361990 0 0 0 95072 941 0 0 25 0 1 0 904212876 19599360 4081 4294967295 134512640 134716908 3221224576 3221222880 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4785 4081 1111 63 0 4722 0
vsize: 19140
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 365328 0 0 0 96064 950 0 0 25 0 1 0 904212876 21934080 4072 4294967295 134512640 134716908 3221224576 3221220848 1074961246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5355 4072 1111 63 0 5292 0
vsize: 21420
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 368677 0 0 0 97056 958 0 0 25 0 1 0 904212876 22515712 4251 4294967295 134512640 134716908 3221224576 3221220704 1075561092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5497 4251 1111 63 0 5434 0
vsize: 21988
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 372596 0 0 0 98045 969 0 0 25 0 1 0 904212876 23801856 4714 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5811 4714 1111 63 0 5748 0
vsize: 23244
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 374575 0 0 0 99041 973 0 0 25 0 1 0 904212876 22962176 4408 4294967295 134512640 134716908 3221224576 3221221108 1075863672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4408 1111 63 0 5543 0
vsize: 22424
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 377604 0 0 0 100033 982 0 0 25 0 1 0 904212876 19914752 4190 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4862 4190 1111 63 0 4799 0
vsize: 19448
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 380159 0 0 0 101027 988 0 0 25 0 1 0 904212876 22941696 4456 4294967295 134512640 134716908 3221224576 3221221632 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5601 4456 1111 63 0 5538 0
vsize: 22404
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 382813 0 0 0 102020 995 0 0 25 0 1 0 904212876 19771392 4155 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4827 4155 1111 63 0 4764 0
vsize: 19308
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 385860 0 0 0 103013 1003 0 0 25 0 1 0 904212876 20406272 4310 4294967295 134512640 134716908 3221224576 3221222576 1074916804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4982 4310 1111 63 0 4919 0
vsize: 19928
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 387853 0 0 0 104007 1008 0 0 25 0 1 0 904212876 20393984 4275 4294967295 134512640 134716908 3221224576 3221222864 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4979 4275 1111 63 0 4916 0
vsize: 19916
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 390615 0 0 0 105001 1015 0 0 25 0 1 0 904212876 19992576 4209 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4881 4209 1111 63 0 4818 0
vsize: 19524
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 392569 0 0 0 105996 1020 0 0 25 0 1 0 904212876 22978560 4450 4294967295 134512640 134716908 3221224576 3221220720 1074970218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5610 4450 1111 63 0 5547 0
vsize: 22440
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 395093 0 0 0 106989 1027 0 0 25 0 1 0 904212876 20365312 4268 4294967295 134512640 134716908 3221224576 3221222572 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4972 4268 1111 63 0 4909 0
vsize: 19888
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 397351 0 0 0 107984 1033 0 0 25 0 1 0 904212876 23490560 4617 4294967295 134512640 134716908 3221224576 3221221120 1075088560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5735 4617 1111 63 0 5672 0
vsize: 22940
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 400034 0 0 0 108976 1040 0 0 25 0 1 0 904212876 23146496 4468 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5651 4468 1111 63 0 5588 0
vsize: 22604
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 402647 0 0 0 109968 1049 0 0 25 0 1 0 904212876 20922368 4404 4294967295 134512640 134716908 3221224576 3221222720 1074790230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5108 4404 1111 63 0 5045 0
vsize: 20432
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 406649 0 0 0 110958 1059 0 0 25 0 1 0 904212876 23318528 4394 4294967295 134512640 134716908 3221224576 3221221576 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5693 4394 1111 63 0 5630 0
vsize: 22772
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 410172 0 0 0 111951 1066 0 0 25 0 1 0 904212876 23891968 4633 4294967295 134512640 134716908 3221224576 3221220524 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5833 4633 1111 63 0 5770 0
vsize: 23332
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 413940 0 0 0 112942 1076 0 0 25 0 1 0 904212876 23633920 4800 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5770 4800 1111 63 0 5707 0
vsize: 23080
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 417475 0 0 0 113930 1087 0 0 25 0 1 0 904212876 20463616 4292 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4292 1111 63 0 4933 0
vsize: 19984
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 421875 0 0 0 114919 1098 0 0 25 0 1 0 904212876 21151744 4462 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5164 4462 1111 63 0 5101 0
vsize: 20656
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 424702 0 0 0 115915 1103 0 0 25 0 1 0 904212876 24727552 4925 4294967295 134512640 134716908 3221224576 3221221408 1075115781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6037 4925 1111 63 0 5974 0
vsize: 24148
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 21860
Raw data (stat): 21860 (bsolo_lpr_cuts-) R 21859 7266 7265 0 -1 0 424702 0 0 0 115915 1103 0 0 25 0 1 0 904212876 24727552 4925 4294967295 134512640 134716908 3221224576 3221221408 1075115781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6037 4925 1111 63 0 5974 0
vsize: 0

Child status: 10
Real time (s): 1174.91
CPU time (s): 1175.07
CPU user time (s): 1163.98
CPU system time (s): 11.0923
CPU usage (%): 100.013
Max. virtual memory (Kb): 24148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	310
#### END VERIFIER DATA ####