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-par16-5-c.opb
MD5SUM	5b3b72cfc97a7b1e471b28e18b610f1a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	341
Optimality of the best value was proved	NO
Number of terms in the objective function	682
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	682
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	682
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	2.19167
Number of variables	682
Total number of constraints	1701
Number of constraints which are clauses	1701
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	3
Trace number 40749

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 21:15:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28815 boxname=wulflinc6 idbench=201 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5b3b72cfc97a7b1e471b28e18b610f1a  /oldhome/oroussel/tmp/wulflinc6/normalized-par16-5-c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-par16-5-c.opb
IDLAUNCH: 28815
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        919892 kB
Buffers:         28896 kB
Cached:          64672 kB
SwapCached:       1292 kB
Active:          29124 kB
Inactive:        66816 kB
HighTotal:      131008 kB
HighFree:        82208 kB
LowTotal:       903652 kB
LowFree:        837684 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            13092 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 21:35:21 (client local time) WITH STATUS 10 IN 1178.73 SECONDS
stats: 28815 0 1178.73 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 682 variables and 1701 constraints.
c After prepocess the problem consists of 652 variables and 2121 constraints.
c preprocess terminated 2.707 s
c Initial Lower Bound: 250
c Lower Bound Elapsed time: 1.2633
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 341 @ 473.746
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 x673 -x674 x675 -x676 x677 -x678 -x679 x680 x681 -x682 
c Exit Code: 10
c Total time: 1178.71 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.94 0.91 2/54 2214
Raw data (stat): 2214 (runsolver) R 2213 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904798541 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+9.99947 s]
Raw data (loadavg): 0.87 0.94 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 4425 0 0 0 985 13 0 0 25 0 1 0 904798541 11542528 1976 4294967295 134512640 134716908 3221224576 3221220376 1074789584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2818 1976 1111 63 0 2755 0
vsize: 11272
[startup+19.9998 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 6959 0 0 0 1978 20 0 0 25 0 1 0 904798541 10162176 1777 4294967295 134512640 134716908 3221224576 3221223344 134529381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1777 1111 63 0 2418 0
vsize: 9924
[startup+30.0028 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 7150 0 0 0 2977 21 0 0 25 0 1 0 904798541 10838016 1968 4294967295 134512640 134716908 3221224576 3221223216 134539460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2646 1968 1111 63 0 2583 0
vsize: 10584
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 7335 0 0 0 3976 22 0 0 25 0 1 0 904798541 11649024 2153 4294967295 134512640 134716908 3221224576 3221223136 134698935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2844 2153 1111 63 0 2781 0
vsize: 11376
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 7506 0 0 0 4975 23 0 0 25 0 1 0 904798541 12324864 2324 4294967295 134512640 134716908 3221224576 3221223164 134542372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3009 2324 1111 63 0 2946 0
vsize: 12036
[startup+60.0012 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 7674 0 0 0 5974 24 0 0 25 0 1 0 904798541 13000704 2492 4294967295 134512640 134716908 3221224576 3221223244 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3174 2492 1111 63 0 3111 0
vsize: 12696
[startup+70.0013 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 7833 0 0 0 6974 25 0 0 25 0 1 0 904798541 13676544 2651 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3339 2651 1111 63 0 3276 0
vsize: 13356
[startup+80.0015 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 7981 0 0 0 7973 26 0 0 25 0 1 0 904798541 14352384 2799 4294967295 134512640 134716908 3221224576 3221223264 134543698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2799 1111 63 0 3441 0
vsize: 14016
[startup+90.0006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 8142 0 0 0 8973 27 0 0 25 0 1 0 904798541 15028224 2960 4294967295 134512640 134716908 3221224576 3221223216 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3669 2960 1111 63 0 3606 0
vsize: 14676
[startup+99.9998 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 8287 0 0 0 9972 28 0 0 25 0 1 0 904798541 15568896 3105 4294967295 134512640 134716908 3221224576 3221223312 134535750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3801 3105 1111 63 0 3738 0
vsize: 15204
[startup+110 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 8449 0 0 0 10971 29 0 0 25 0 1 0 904798541 16244736 3267 4294967295 134512640 134716908 3221224576 3221223124 134543052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3966 3267 1111 63 0 3903 0
vsize: 15864
[startup+120 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 8600 0 0 0 11971 30 0 0 25 0 1 0 904798541 16789504 3418 4294967295 134512640 134716908 3221224576 3221223196 134542824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4099 3418 1111 63 0 4036 0
vsize: 16396
[startup+130 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 8740 0 0 0 12971 30 0 0 25 0 1 0 904798541 17465344 3558 4294967295 134512640 134716908 3221224576 3221223120 134698770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4264 3558 1111 63 0 4201 0
vsize: 17056
[startup+139.999 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 8871 0 0 0 13970 31 0 0 25 0 1 0 904798541 18006016 3689 4294967295 134512640 134716908 3221224576 3221223152 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4396 3689 1111 63 0 4333 0
vsize: 17584
[startup+150 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 8999 0 0 0 14969 33 0 0 25 0 1 0 904798541 18411520 3817 4294967295 134512640 134716908 3221224576 3221223192 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4495 3817 1111 63 0 4432 0
vsize: 17980
[startup+160 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 9128 0 0 0 15968 34 0 0 25 0 1 0 904798541 18952192 3946 4294967295 134512640 134716908 3221224576 3221223216 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4627 3946 1111 63 0 4564 0
vsize: 18508
[startup+169.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 9246 0 0 0 16968 34 0 0 25 0 1 0 904798541 19492864 4064 4294967295 134512640 134716908 3221224576 3221223340 134543556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4759 4064 1111 63 0 4696 0
vsize: 19036
[startup+179.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 9368 0 0 0 17968 35 0 0 25 0 1 0 904798541 20033536 4186 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4891 4186 1111 63 0 4828 0
vsize: 19564
[startup+189.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 9489 0 0 0 18967 36 0 0 25 0 1 0 904798541 20439040 4307 4294967295 134512640 134716908 3221224576 3221223296 134535757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4990 4307 1111 63 0 4927 0
vsize: 19960
[startup+199.997 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 9619 0 0 0 19966 37 0 0 25 0 1 0 904798541 20983808 4437 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5123 4437 1111 63 0 5060 0
vsize: 20492
[startup+209.997 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 9739 0 0 0 20966 37 0 0 25 0 1 0 904798541 21524480 4557 4294967295 134512640 134716908 3221224576 3221223228 134536848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5255 4557 1111 63 0 5192 0
vsize: 21020
[startup+219.997 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 9862 0 0 0 21965 38 0 0 25 0 1 0 904798541 22073344 4680 4294967295 134512640 134716908 3221224576 3221223060 134699692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 4680 1111 63 0 5326 0
vsize: 21556
[startup+229.996 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 9987 0 0 0 22964 39 0 0 25 0 1 0 904798541 22482944 4805 4294967295 134512640 134716908 3221224576 3221223116 134539267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5489 4805 1111 63 0 5426 0
vsize: 21956
[startup+239.995 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 10101 0 0 0 23964 40 0 0 25 0 1 0 904798541 23035904 4919 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5624 4919 1111 63 0 5561 0
vsize: 22496
[startup+249.995 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 10206 0 0 0 24964 41 0 0 25 0 1 0 904798541 23441408 5024 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5723 5024 1111 63 0 5660 0
vsize: 22892
[startup+259.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 10316 0 0 0 25963 41 0 0 25 0 1 0 904798541 23986176 5134 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5856 5134 1111 63 0 5793 0
vsize: 23424
[startup+269.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 10414 0 0 0 26963 42 0 0 25 0 1 0 904798541 24256512 5232 4294967295 134512640 134716908 3221224576 3221223208 134698369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5922 5232 1111 63 0 5859 0
vsize: 23688
[startup+279.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 10524 0 0 0 27963 43 0 0 25 0 1 0 904798541 24801280 5342 4294967295 134512640 134716908 3221224576 3221223204 134698616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6055 5342 1111 63 0 5992 0
vsize: 24220
[startup+289.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 10622 0 0 0 28962 43 0 0 25 0 1 0 904798541 25206784 5440 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6154 5440 1111 63 0 6091 0
vsize: 24616
[startup+299.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 10724 0 0 0 29962 44 0 0 25 0 1 0 904798541 25612288 5542 4294967295 134512640 134716908 3221224576 3221223132 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6253 5542 1111 63 0 6190 0
vsize: 25012
[startup+309.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 10832 0 0 0 30962 45 0 0 25 0 1 0 904798541 26030080 5650 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6355 5650 1111 63 0 6292 0
vsize: 25420
[startup+319.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 10933 0 0 0 31962 45 0 0 25 0 1 0 904798541 26435584 5751 4294967295 134512640 134716908 3221224576 3221223216 134543108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6454 5751 1111 63 0 6391 0
vsize: 25816
[startup+329.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 11041 0 0 0 32961 46 0 0 25 0 1 0 904798541 26857472 5858 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6557 5858 1111 63 0 6494 0
vsize: 26228
[startup+339.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 11135 0 0 0 33961 46 0 0 25 0 1 0 904798541 27262976 5952 4294967295 134512640 134716908 3221224576 3221223164 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6656 5952 1111 63 0 6593 0
vsize: 26624
[startup+349.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 11233 0 0 0 34961 46 0 0 25 0 1 0 904798541 27668480 6050 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6755 6050 1111 63 0 6692 0
vsize: 27020
[startup+359.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 11324 0 0 0 35960 47 0 0 25 0 1 0 904798541 28073984 6141 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6854 6141 1111 63 0 6791 0
vsize: 27416
[startup+369.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 11418 0 0 0 36960 48 0 0 25 0 1 0 904798541 28479488 6235 4294967295 134512640 134716908 3221224576 3221223344 134592200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6235 1111 63 0 6890 0
vsize: 27812
[startup+379.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 11520 0 0 0 37960 48 0 0 25 0 1 0 904798541 28884992 6337 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7052 6337 1111 63 0 6989 0
vsize: 28208
[startup+389.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 11606 0 0 0 38959 49 0 0 25 0 1 0 904798541 29155328 6423 4294967295 134512640 134716908 3221224576 3221223264 134543674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6423 1111 63 0 7055 0
vsize: 28472
[startup+399.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 11697 0 0 0 39959 50 0 0 25 0 1 0 904798541 29560832 6514 4294967295 134512640 134716908 3221224576 3221223228 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7217 6514 1111 63 0 7154 0
vsize: 28868
[startup+409.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 11798 0 0 0 40958 51 0 0 25 0 1 0 904798541 29966336 6615 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7316 6615 1111 63 0 7253 0
vsize: 29264
[startup+419.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 11897 0 0 0 41958 52 0 0 25 0 1 0 904798541 30371840 6714 4294967295 134512640 134716908 3221224576 3221223312 134535728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7415 6714 1111 63 0 7352 0
vsize: 29660
[startup+429.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 12004 0 0 0 42958 52 0 0 25 0 1 0 904798541 30777344 6821 4294967295 134512640 134716908 3221224576 3221223372 134531208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7514 6821 1111 63 0 7451 0
vsize: 30056
[startup+439.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 12093 0 0 0 43958 53 0 0 25 0 1 0 904798541 31182848 6910 4294967295 134512640 134716908 3221224576 3221223216 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7613 6910 1111 63 0 7550 0
vsize: 30452
[startup+449.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 12175 0 0 0 44957 53 0 0 25 0 1 0 904798541 31588352 6992 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7712 6992 1111 63 0 7649 0
vsize: 30848
[startup+459.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 12269 0 0 0 45957 54 0 0 25 0 1 0 904798541 32006144 7086 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7814 7086 1111 63 0 7751 0
vsize: 31256
[startup+469.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 12367 0 0 0 46957 54 0 0 25 0 1 0 904798541 32276480 7184 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7880 7184 1111 63 0 7817 0
vsize: 31520
[startup+479.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 15427 0 0 0 47947 64 0 0 25 0 1 0 904798541 34152448 7559 4294967295 134512640 134716908 3221224576 3221222224 1075821149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8338 7559 1111 63 0 8275 0
vsize: 33352
[startup+489.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 19737 0 0 0 48935 75 0 0 25 0 1 0 904798541 35856384 7769 4294967295 134512640 134716908 3221224576 3221221920 1075278728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8754 7769 1111 63 0 8691 0
vsize: 35016
[startup+499.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 22302 0 0 0 49927 84 0 0 25 0 1 0 904798541 34779136 7745 4294967295 134512640 134716908 3221224576 3221222960 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8491 7745 1111 63 0 8428 0
vsize: 33964
[startup+509.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 24348 0 0 0 50920 91 0 0 25 0 1 0 904798541 35971072 7846 4294967295 134512640 134716908 3221224576 3221220476 1074787795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8782 7846 1111 63 0 8719 0
vsize: 35128
[startup+519.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 27662 0 0 0 51910 102 0 0 25 0 1 0 904798541 35926016 7923 4294967295 134512640 134716908 3221224576 3221220944 1075894562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8771 7923 1111 63 0 8708 0
vsize: 35084
[startup+529.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 30987 0 0 0 52899 113 0 0 25 0 1 0 904798541 36155392 8029 4294967295 134512640 134716908 3221224576 3221220896 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8827 8029 1111 63 0 8764 0
vsize: 35308
[startup+539.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 33061 0 0 0 53893 119 0 0 25 0 1 0 904798541 35577856 7945 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8686 7945 1111 63 0 8623 0
vsize: 34744
[startup+549.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 34635 0 0 0 54888 125 0 0 25 0 1 0 904798541 36573184 7968 4294967295 134512640 134716908 3221224576 3221221040 1075602871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8929 7968 1111 63 0 8866 0
vsize: 35716
[startup+559.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 37186 0 0 0 55882 131 0 0 25 0 1 0 904798541 36913152 8105 4294967295 134512640 134716908 3221224576 3221220720 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9012 8105 1111 63 0 8949 0
vsize: 36048
[startup+569.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 42327 0 0 0 56867 146 0 0 25 0 1 0 904798541 35418112 7913 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8647 7913 1111 63 0 8584 0
vsize: 34588
[startup+579.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 46252 0 0 0 57855 159 0 0 25 0 1 0 904798541 35483648 7929 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8663 7929 1111 63 0 8600 0
vsize: 34652
[startup+589.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 48799 0 0 0 58849 165 0 0 25 0 1 0 904798541 36872192 8168 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9002 8168 1111 63 0 8939 0
vsize: 36008
[startup+599.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 51462 0 0 0 59840 174 0 0 25 0 1 0 904798541 36106240 8052 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8815 8052 1111 63 0 8752 0
vsize: 35260
[startup+609.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 54459 0 0 0 60832 182 0 0 25 0 1 0 904798541 37396480 8191 4294967295 134512640 134716908 3221224576 3221220704 1075112086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9130 8191 1111 63 0 9067 0
vsize: 36520
[startup+619.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 57114 0 0 0 61826 189 0 0 25 0 1 0 904798541 36192256 8086 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8836 8086 1111 63 0 8773 0
vsize: 35344
[startup+629.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 60262 0 0 0 62817 198 0 0 25 0 1 0 904798541 35766272 7998 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8732 7998 1111 63 0 8669 0
vsize: 34928
[startup+639.984 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 62797 0 0 0 63809 206 0 0 25 0 1 0 904798541 37777408 8280 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9223 8280 1111 63 0 9160 0
vsize: 36892
[startup+649.983 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 64764 0 0 0 64803 212 0 0 25 0 1 0 904798541 36405248 8154 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8888 8154 1111 63 0 8825 0
vsize: 35552
[startup+659.982 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 66834 0 0 0 65796 220 0 0 25 0 1 0 904798541 37408768 8261 4294967295 134512640 134716908 3221224576 3221221120 1075088564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9133 8261 1111 63 0 9070 0
vsize: 36532
[startup+669.982 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 69636 0 0 0 66787 229 0 0 25 0 1 0 904798541 37957632 8281 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9267 8281 1111 63 0 9204 0
vsize: 37068
[startup+679.982 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 72828 0 0 0 67778 238 0 0 25 0 1 0 904798541 37765120 8369 4294967295 134512640 134716908 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9220 8369 1111 63 0 9157 0
vsize: 36880
[startup+689.982 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 76122 0 0 0 68769 248 0 0 25 0 1 0 904798541 38600704 8478 4294967295 134512640 134716908 3221224576 3221220796 1075116523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9424 8478 1111 63 0 9361 0
vsize: 37696
[startup+699.982 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 78573 0 0 0 69762 255 0 0 25 0 1 0 904798541 37171200 8330 4294967295 134512640 134716908 3221224576 3221222788 1075964218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9075 8330 1111 63 0 9012 0
vsize: 36300
[startup+709.982 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 80479 0 0 0 70756 261 0 0 25 0 1 0 904798541 37183488 8326 4294967295 134512640 134716908 3221224576 3221222880 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9078 8326 1111 63 0 9015 0
vsize: 36312
[startup+719.981 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 82094 0 0 0 71752 266 0 0 25 0 1 0 904798541 38649856 8484 4294967295 134512640 134716908 3221224576 3221220444 1074787806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9436 8484 1111 63 0 9373 0
vsize: 37744
[startup+729.981 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 84197 0 0 0 72746 272 0 0 25 0 1 0 904798541 36962304 8290 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9024 8290 1111 63 0 8961 0
vsize: 36096
[startup+739.98 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 85987 0 0 0 73740 278 0 0 25 0 1 0 904798541 38395904 8516 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9374 8516 1111 63 0 9311 0
vsize: 37496
[startup+749.981 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 87573 0 0 0 74735 283 0 0 25 0 1 0 904798541 37380096 8376 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9126 8376 1111 63 0 9063 0
vsize: 36504
[startup+759.981 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 89911 0 0 0 75729 290 0 0 25 0 1 0 904798541 38080512 8470 4294967295 134512640 134716908 3221224576 3221220768 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9297 8470 1111 63 0 9234 0
vsize: 37188
[startup+769.98 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 92116 0 0 0 76725 294 0 0 25 0 1 0 904798541 37425152 8370 4294967295 134512640 134716908 3221224576 3221223064 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8370 1111 63 0 9074 0
vsize: 36548
[startup+779.98 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 94166 0 0 0 77718 301 0 0 25 0 1 0 904798541 38785024 8516 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9469 8516 1111 63 0 9406 0
vsize: 37876
[startup+789.98 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 97096 0 0 0 78710 310 0 0 25 0 1 0 904798541 38793216 8485 4294967295 134512640 134716908 3221224576 3221220784 1074815439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9471 8485 1111 63 0 9408 0
vsize: 37884
[startup+799.979 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 99609 0 0 0 79704 316 0 0 25 0 1 0 904798541 38899712 8512 4294967295 134512640 134716908 3221224576 3221220912 1075113508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9497 8512 1111 63 0 9434 0
vsize: 37988
[startup+809.979 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 102016 0 0 0 80697 323 0 0 25 0 1 0 904798541 39030784 8562 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9529 8562 1111 63 0 9466 0
vsize: 38116
[startup+819.979 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 105029 0 0 0 81687 334 0 0 25 0 1 0 904798541 37638144 8433 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9189 8433 1111 63 0 9126 0
vsize: 36756
[startup+829.979 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 106699 0 0 0 82682 339 0 0 25 0 1 0 904798541 38674432 8578 4294967295 134512640 134716908 3221224576 3221220848 1074804726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9442 8578 1111 63 0 9379 0
vsize: 37768
[startup+839.978 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 109219 0 0 0 83676 346 0 0 25 0 1 0 904798541 37683200 8440 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9200 8440 1111 63 0 9137 0
vsize: 36800
[startup+849.978 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 111154 0 0 0 84669 352 0 0 25 0 1 0 904798541 37687296 8449 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9201 8449 1111 63 0 9138 0
vsize: 36804
[startup+859.977 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 113913 0 0 0 85662 360 0 0 25 0 1 0 904798541 39280640 8594 4294967295 134512640 134716908 3221224576 3221220524 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9590 8594 1111 63 0 9527 0
vsize: 38360
[startup+869.978 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 115534 0 0 0 86658 364 0 0 25 0 1 0 904798541 39084032 8676 4294967295 134512640 134716908 3221224576 3221220452 1074786507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9542 8676 1111 63 0 9479 0
vsize: 38168
[startup+879.977 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 118057 0 0 0 87653 370 0 0 25 0 1 0 904798541 39198720 8571 4294967295 134512640 134716908 3221224576 3221221408 1075115406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9570 8571 1111 63 0 9507 0
vsize: 38280
[startup+889.977 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 119819 0 0 0 88647 376 0 0 25 0 1 0 904798541 39239680 8739 4294967295 134512640 134716908 3221224576 3221220756 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9580 8739 1111 63 0 9517 0
vsize: 38320
[startup+899.977 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 121756 0 0 0 89642 381 0 0 25 0 1 0 904798541 39628800 8688 4294967295 134512640 134716908 3221224576 3221221580 1074621045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9675 8688 1111 63 0 9612 0
vsize: 38700
[startup+909.977 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 123110 0 0 0 90637 387 0 0 25 0 1 0 904798541 39882752 8759 4294967295 134512640 134716908 3221224576 3221220524 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9737 8759 1111 63 0 9674 0
vsize: 38948
[startup+919.977 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 125214 0 0 0 91631 393 0 0 25 0 1 0 904798541 38187008 8589 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9323 8589 1111 63 0 9260 0
vsize: 37292
[startup+929.987 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 126836 0 0 0 92627 398 0 0 25 0 1 0 904798541 38985728 8754 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9518 8754 1111 63 0 9455 0
vsize: 38072
[startup+939.987 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 128588 0 0 0 93623 403 0 0 25 0 1 0 904798541 40607744 8925 4294967295 134512640 134716908 3221224576 3221220796 1075116492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9914 8925 1111 63 0 9851 0
vsize: 39656
[startup+949.986 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 129785 0 0 0 94619 407 0 0 25 0 1 0 904798541 40177664 8946 4294967295 134512640 134716908 3221224576 3221220484 1074786582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9809 8946 1111 63 0 9746 0
vsize: 39236
[startup+959.987 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 131686 0 0 0 95614 412 0 0 25 0 1 0 904798541 39088128 8801 4294967295 134512640 134716908 3221224576 3221222572 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9543 8801 1111 63 0 9480 0
vsize: 38172
[startup+969.987 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 134570 0 0 0 96604 423 0 0 25 0 1 0 904798541 39268352 8820 4294967295 134512640 134716908 3221224576 3221222548 1077378736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9587 8820 1111 63 0 9524 0
vsize: 38348
[startup+979.987 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 137151 0 0 0 97596 431 0 0 25 0 1 0 904798541 40726528 8960 4294967295 134512640 134716908 3221224576 3221220620 1074873483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9943 8960 1111 63 0 9880 0
vsize: 39772
[startup+990.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 138804 0 0 0 98593 436 0 0 25 0 1 0 904798541 40845312 8989 4294967295 134512640 134716908 3221224576 3221220960 1076116648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9972 8989 1111 63 0 9909 0
vsize: 39888
[startup+1000 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 140333 0 0 0 99589 440 0 0 25 0 1 0 904798541 40853504 8962 4294967295 134512640 134716908 3221224576 3221220736 1074883536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9974 8962 1111 63 0 9911 0
vsize: 39896
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 142659 0 0 0 100581 448 0 0 25 0 1 0 904798541 39411712 8882 4294967295 134512640 134716908 3221224576 3221223072 134646650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9622 8882 1111 63 0 9559 0
vsize: 38488
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 144802 0 0 0 101576 454 0 0 25 0 1 0 904798541 40415232 9023 4294967295 134512640 134716908 3221224576 3221220544 1075965240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9867 9023 1111 63 0 9804 0
vsize: 39468
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 146445 0 0 0 102570 460 0 0 25 0 1 0 904798541 39583744 8894 4294967295 134512640 134716908 3221224576 3221222788 1075964218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 8894 1111 63 0 9601 0
vsize: 38656
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 148689 0 0 0 103563 467 0 0 25 0 1 0 904798541 40521728 9042 4294967295 134512640 134716908 3221224576 3221220568 1075964764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9893 9042 1111 63 0 9830 0
vsize: 39572
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 151172 0 0 0 104557 474 0 0 25 0 1 0 904798541 40624128 9058 4294967295 134512640 134716908 3221224576 3221221104 1075397173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9918 9058 1111 63 0 9855 0
vsize: 39672
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 153296 0 0 0 105551 481 0 0 25 0 1 0 904798541 41132032 9061 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10042 9061 1111 63 0 9979 0
vsize: 40168
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 156252 0 0 0 106543 489 0 0 25 0 1 0 904798541 39772160 8925 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9710 8925 1111 63 0 9647 0
vsize: 38840
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 158032 0 0 0 107539 494 0 0 25 0 1 0 904798541 39989248 8997 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9763 8997 1111 63 0 9700 0
vsize: 39052
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 159526 0 0 0 108535 498 0 0 25 0 1 0 904798541 41418752 9165 4294967295 134512640 134716908 3221224576 3221220524 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10112 9165 1111 63 0 10049 0
vsize: 40448
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 161539 0 0 0 109528 505 0 0 25 0 1 0 904798541 39972864 9019 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9759 9019 1111 63 0 9696 0
vsize: 39036
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 163333 0 0 0 110522 511 0 0 25 0 1 0 904798541 39571456 8927 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9661 8927 1111 63 0 9598 0
vsize: 38644
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 165599 0 0 0 111515 519 0 0 25 0 1 0 904798541 41627648 9185 4294967295 134512640 134716908 3221224576 3221220608 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10163 9185 1111 63 0 10100 0
vsize: 40652
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 167932 0 0 0 112508 526 0 0 25 0 1 0 904798541 40271872 9053 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9832 9053 1111 63 0 9769 0
vsize: 39328
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 169782 0 0 0 113503 532 0 0 25 0 1 0 904798541 41271296 9220 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10076 9220 1111 63 0 10013 0
vsize: 40304
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 171435 0 0 0 114498 537 0 0 25 0 1 0 904798541 41324544 9225 4294967295 134512640 134716908 3221224576 3221221168 1074886143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10089 9225 1111 63 0 10026 0
vsize: 40356
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 173020 0 0 0 115494 541 0 0 25 0 1 0 904798541 41897984 9256 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10229 9256 1111 63 0 10166 0
vsize: 40916
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 174652 0 0 0 116489 546 0 0 25 0 1 0 904798541 41930752 9219 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10237 9219 1111 63 0 10174 0
vsize: 40948
[startup+1178.4 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 2214
Raw data (stat): 2214 (bsolo_lpr_cuts-) R 2213 25568 25567 0 -1 0 174652 0 0 0 116489 546 0 0 25 0 1 0 904798541 41930752 9219 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10237 9219 1111 63 0 10174 0
vsize: 0

Child status: 10
Real time (s): 1178.4
CPU time (s): 1178.73
CPU user time (s): 1173.21
CPU system time (s): 5.52416
CPU usage (%): 100.029
Max. virtual memory (Kb): 40948
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	341
#### END VERIFIER DATA ####