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-3-c.opb
MD5SUM	9758fd8c9a8bc907d5083400c8e6642e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	334
Optimality of the best value was proved	NO
Number of terms in the objective function	668
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	668
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	668
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.53961
Number of variables	668
Total number of constraints	1666
Number of constraints which are clauses	1666
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 40745

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 21:03:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28811 boxname=wulflinc1 idbench=197 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  9758fd8c9a8bc907d5083400c8e6642e  /oldhome/oroussel/tmp/wulflinc1/normalized-par16-3-c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-par16-3-c.opb
IDLAUNCH: 28811
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        850292 kB
Buffers:         28368 kB
Cached:         131848 kB
SwapCached:       1148 kB
Active:          42504 kB
Inactive:       119936 kB
HighTotal:      131008 kB
HighFree:          756 kB
LowTotal:       903652 kB
LowFree:        849536 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            16236 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 21:23:00 (client local time) WITH STATUS 10 IN 1180.18 SECONDS
stats: 28811 0 1180.18 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 668 variables and 1666 constraints.
c After prepocess the problem consists of 638 variables and 2086 constraints.
c preprocess terminated 2.629 s
c Initial Lower Bound: 252
c Lower Bound Elapsed time: 1.1841
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 334 @ 227.265
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 
c Exit Code: 10
c Total time: 1180.15 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.85 0.96 0.91 2/55 26245
Raw data (stat): 26245 (runsolver) R 26244 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847868183 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.99985 s]
Raw data (loadavg): 0.87 0.97 0.91 2/55 26245
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 4446 0 0 0 986 11 0 0 25 0 1 0 847868183 11452416 1967 4294967295 134512640 134716908 3221224576 3221220684 1075564169 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2796 1967 1111 63 0 2733 0
vsize: 11184
[startup+20.0005 s]
Raw data (loadavg): 0.89 0.97 0.91 2/55 26245
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 6495 0 0 0 1979 17 0 0 25 0 1 0 847868183 10137600 1800 4294967295 134512640 134716908 3221224576 3221223216 134698446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2475 1800 1111 63 0 2412 0
vsize: 9900
[startup+30.0003 s]
Raw data (loadavg): 0.91 0.97 0.91 2/55 26245
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 6662 0 0 0 2978 18 0 0 25 0 1 0 847868183 10948608 1967 4294967295 134512640 134716908 3221224576 3221223240 134524381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2673 1967 1111 63 0 2610 0
vsize: 10692
[startup+40.0001 s]
Raw data (loadavg): 0.92 0.97 0.91 2/55 26245
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 6847 0 0 0 3977 19 0 0 25 0 1 0 847868183 11624448 2152 4294967295 134512640 134716908 3221224576 3221223164 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2838 2152 1111 63 0 2775 0
vsize: 11352
[startup+50.0009 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 26245
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 7028 0 0 0 4976 21 0 0 25 0 1 0 847868183 12435456 2333 4294967295 134512640 134716908 3221224576 3221223072 134699746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3036 2333 1111 63 0 2973 0
vsize: 12144
[startup+60.0006 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 26245
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 7200 0 0 0 5975 22 0 0 25 0 1 0 847868183 13111296 2505 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2505 1111 63 0 3138 0
vsize: 12804
[startup+70.0014 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 26245
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 7386 0 0 0 6974 23 0 0 25 0 1 0 847868183 13787136 2691 4294967295 134512640 134716908 3221224576 3221223216 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3366 2691 1111 63 0 3303 0
vsize: 13464
[startup+80.0022 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 26245
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 7558 0 0 0 7974 24 0 0 25 0 1 0 847868183 14594048 2863 4294967295 134512640 134716908 3221224576 3221223216 134698446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3563 2863 1111 63 0 3500 0
vsize: 14252
[startup+90.002 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 26245
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 7727 0 0 0 8973 25 0 0 25 0 1 0 847868183 15278080 3032 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 3032 1111 63 0 3667 0
vsize: 14920
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 26245
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 7893 0 0 0 9972 25 0 0 25 0 1 0 847868183 15953920 3198 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3895 3198 1111 63 0 3832 0
vsize: 15580
[startup+110.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 26245
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 8064 0 0 0 10972 26 0 0 25 0 1 0 847868183 16629760 3369 4294967295 134512640 134716908 3221224576 3221223296 134535757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4060 3369 1111 63 0 3997 0
vsize: 16240
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 26245
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 8251 0 0 0 11971 27 0 0 25 0 1 0 847868183 17457152 3556 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4262 3556 1111 63 0 4199 0
vsize: 17048
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 26245
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 8415 0 0 0 12970 28 0 0 25 0 1 0 847868183 18137088 3720 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4428 3720 1111 63 0 4365 0
vsize: 17712
[startup+140.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 8586 0 0 0 13970 29 0 0 25 0 1 0 847868183 18812928 3891 4294967295 134512640 134716908 3221224576 3221223180 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4593 3891 1111 63 0 4530 0
vsize: 18372
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 8745 0 0 0 14969 30 0 0 25 0 1 0 847868183 19488768 4050 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4758 4050 1111 63 0 4695 0
vsize: 19032
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 8910 0 0 0 15969 30 0 0 25 0 1 0 847868183 20164608 4215 4294967295 134512640 134716908 3221224576 3221223216 134698437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 4215 1111 63 0 4860 0
vsize: 19692
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 9067 0 0 0 16968 31 0 0 25 0 1 0 847868183 20705280 4372 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5055 4372 1111 63 0 4992 0
vsize: 20220
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 9228 0 0 0 17967 32 0 0 25 0 1 0 847868183 21381120 4533 4294967295 134512640 134716908 3221224576 3221223168 134549770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4533 1111 63 0 5157 0
vsize: 20880
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 9385 0 0 0 18966 33 0 0 25 0 1 0 847868183 22056960 4690 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5385 4690 1111 63 0 5322 0
vsize: 21540
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 9553 0 0 0 19966 34 0 0 25 0 1 0 847868183 22753280 4856 4294967295 134512640 134716908 3221224576 3221223216 134536650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5555 4856 1111 63 0 5492 0
vsize: 22220
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 9745 0 0 0 20965 35 0 0 25 0 1 0 847868183 23592960 5047 4294967295 134512640 134716908 3221224576 3221223212 134523156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5760 5047 1111 63 0 5697 0
vsize: 23040
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 9900 0 0 0 21965 35 0 0 25 0 1 0 847868183 24268800 5202 4294967295 134512640 134716908 3221224576 3221223340 134543569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5925 5202 1111 63 0 5862 0
vsize: 23700
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 11004 0 0 0 22961 39 0 0 25 0 1 0 847868183 26714112 5701 4294967295 134512640 134716908 3221224576 3221220736 1075095096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6522 5701 1111 63 0 6459 0
vsize: 26088
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 13379 0 0 0 23955 45 0 0 25 0 1 0 847868183 26705920 5705 4294967295 134512640 134716908 3221224576 3221220816 1075115724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6520 5705 1111 63 0 6457 0
vsize: 26080
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 17897 0 0 0 24943 57 0 0 25 0 1 0 847868183 26185728 5620 4294967295 134512640 134716908 3221224576 3221222992 1073989433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6393 5620 1111 63 0 6330 0
vsize: 25572
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 22152 0 0 0 25931 69 0 0 25 0 1 0 847868183 27488256 5891 4294967295 134512640 134716908 3221224576 3221220608 1074790226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 5891 1111 63 0 6648 0
vsize: 26844
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 24738 0 0 0 26923 78 0 0 25 0 1 0 847868183 27791360 5862 4294967295 134512640 134716908 3221224576 3221220476 1074787759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6785 5862 1111 63 0 6722 0
vsize: 27140
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 27151 0 0 0 27916 85 0 0 25 0 1 0 847868183 27942912 5898 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6822 5898 1111 63 0 6759 0
vsize: 27288
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 29565 0 0 0 28907 93 0 0 25 0 1 0 847868183 27004928 5830 4294967295 134512640 134716908 3221224576 3221222976 1073987716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6593 5830 1111 63 0 6530 0
vsize: 26372
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 32028 0 0 0 29900 100 0 0 25 0 1 0 847868183 28221440 5976 4294967295 134512640 134716908 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6890 5976 1111 63 0 6827 0
vsize: 27560
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 34123 0 0 0 30895 106 0 0 25 0 1 0 847868183 28102656 5942 4294967295 134512640 134716908 3221224576 3221220736 1074883504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6861 5942 1111 63 0 6798 0
vsize: 27444
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 37260 0 0 0 31885 116 0 0 25 0 1 0 847868183 27262976 5880 4294967295 134512640 134716908 3221224576 3221222572 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6656 5880 1111 63 0 6593 0
vsize: 26624
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 40109 0 0 0 32877 124 0 0 25 0 1 0 847868183 27463680 5942 4294967295 134512640 134716908 3221224576 3221223104 134649069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5942 1111 63 0 6642 0
vsize: 26820
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 43384 0 0 0 33868 134 0 0 25 0 1 0 847868183 27451392 5958 4294967295 134512640 134716908 3221224576 3221222992 1073989433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6702 5958 1111 63 0 6639 0
vsize: 26808
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 46269 0 0 0 34860 142 0 0 25 0 1 0 847868183 28372992 6115 4294967295 134512640 134716908 3221224576 3221220588 1074788937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6927 6115 1111 63 0 6864 0
vsize: 27708
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 49283 0 0 0 35853 149 0 0 25 0 1 0 847868183 28659712 6177 4294967295 134512640 134716908 3221224576 3221220544 1074872824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 6177 1111 63 0 6934 0
vsize: 27988
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 51750 0 0 0 36847 155 0 0 25 0 1 0 847868183 28872704 6127 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7049 6127 1111 63 0 6986 0
vsize: 28196
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 57274 0 0 0 37832 170 0 0 25 0 1 0 847868183 28233728 6120 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6893 6120 1111 63 0 6830 0
vsize: 27572
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 60834 0 0 0 38822 180 0 0 25 0 1 0 847868183 28139520 6109 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6870 6109 1111 63 0 6807 0
vsize: 27480
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 64456 0 0 0 39812 190 0 0 25 0 1 0 847868183 27697152 6033 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6762 6033 1111 63 0 6699 0
vsize: 27048
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 67179 0 0 0 40804 199 0 0 25 0 1 0 847868183 28291072 6160 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6907 6160 1111 63 0 6844 0
vsize: 27628
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 70571 0 0 0 41795 207 0 0 25 0 1 0 847868183 28389376 6182 4294967295 134512640 134716908 3221224576 3221223128 1074206849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6931 6182 1111 63 0 6868 0
vsize: 27724
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 73157 0 0 0 42788 215 0 0 25 0 1 0 847868183 29773824 6328 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7269 6328 1111 63 0 7206 0
vsize: 29076
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 75152 0 0 0 43781 222 0 0 25 0 1 0 847868183 29691904 6321 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7249 6321 1111 63 0 7186 0
vsize: 28996
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 76605 0 0 0 44776 227 0 0 25 0 1 0 847868183 28389376 6202 4294967295 134512640 134716908 3221224576 3221222576 1074916735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6931 6202 1111 63 0 6868 0
vsize: 27724
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 78689 0 0 0 45770 233 0 0 25 0 1 0 847868183 29396992 6333 4294967295 134512640 134716908 3221224576 3221220736 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7177 6333 1111 63 0 7114 0
vsize: 28708
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 80913 0 0 0 46763 240 0 0 25 0 1 0 847868183 29491200 6349 4294967295 134512640 134716908 3221224576 3221220848 1074961155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7200 6349 1111 63 0 7137 0
vsize: 28800
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 84235 0 0 0 47755 249 0 0 25 0 1 0 847868183 29560832 6411 4294967295 134512640 134716908 3221224576 3221220516 1074786395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7217 6411 1111 63 0 7154 0
vsize: 28868
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 86464 0 0 0 48749 254 0 0 25 0 1 0 847868183 28921856 6327 4294967295 134512640 134716908 3221224576 3221222832 1073990256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7061 6327 1111 63 0 6998 0
vsize: 28244
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 88554 0 0 0 49743 261 0 0 25 0 1 0 847868183 29736960 6414 4294967295 134512640 134716908 3221224576 3221220756 1075115078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7260 6414 1111 63 0 7197 0
vsize: 29040
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 90737 0 0 0 50738 266 0 0 25 0 1 0 847868183 30109696 6395 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7351 6395 1111 63 0 7288 0
vsize: 29404
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 93104 0 0 0 51731 274 0 0 25 0 1 0 847868183 29282304 6387 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7149 6387 1111 63 0 7086 0
vsize: 28596
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 95893 0 0 0 52724 281 0 0 25 0 1 0 847868183 29409280 6385 4294967295 134512640 134716908 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7180 6385 1111 63 0 7117 0
vsize: 28720
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 98797 0 0 0 53715 290 0 0 25 0 1 0 847868183 30613504 6650 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7474 6650 1111 63 0 7411 0
vsize: 29896
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 101496 0 0 0 54706 299 0 0 25 0 1 0 847868183 30281728 6569 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7393 6569 1111 63 0 7330 0
vsize: 29572
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 103600 0 0 0 55700 305 0 0 25 0 1 0 847868183 30687232 6544 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7492 6544 1111 63 0 7429 0
vsize: 29968
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 106668 0 0 0 56692 313 0 0 25 0 1 0 847868183 30371840 6597 4294967295 134512640 134716908 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6597 1111 63 0 7352 0
vsize: 29660
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 109525 0 0 0 57685 320 0 0 25 0 1 0 847868183 30494720 6605 4294967295 134512640 134716908 3221224576 3221220848 1074961149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7445 6605 1111 63 0 7382 0
vsize: 29780
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 111983 0 0 0 58679 326 0 0 25 0 1 0 847868183 30928896 6623 4294967295 134512640 134716908 3221224576 3221220376 1074789653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7551 6623 1111 63 0 7488 0
vsize: 30204
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 115516 0 0 0 59671 335 0 0 25 0 1 0 847868183 30998528 6637 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7568 6637 1111 63 0 7505 0
vsize: 30272
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 117868 0 0 0 60666 340 0 0 25 0 1 0 847868183 29908992 6520 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7302 6520 1111 63 0 7239 0
vsize: 29208
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 120252 0 0 0 61659 347 0 0 25 0 1 0 847868183 29822976 6527 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7281 6527 1111 63 0 7218 0
vsize: 29124
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 122662 0 0 0 62653 353 0 0 25 0 1 0 847868183 30851072 6694 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7532 6694 1111 63 0 7469 0
vsize: 30128
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 126121 0 0 0 63644 362 0 0 25 0 1 0 847868183 31256576 6686 4294967295 134512640 134716908 3221224576 3221221232 1075967695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7631 6686 1111 63 0 7568 0
vsize: 30524
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 128342 0 0 0 64639 367 0 0 25 0 1 0 847868183 31354880 6693 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7655 6693 1111 63 0 7592 0
vsize: 30620
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 130066 0 0 0 65634 373 0 0 25 0 1 0 847868183 30965760 6726 4294967295 134512640 134716908 3221224576 3221220736 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7560 6726 1111 63 0 7497 0
vsize: 30240
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 132782 0 0 0 66628 378 0 0 25 0 1 0 847868183 31440896 6709 4294967295 134512640 134716908 3221224576 3221220608 1075965248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7676 6709 1111 63 0 7613 0
vsize: 30704
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 135709 0 0 0 67620 387 0 0 25 0 1 0 847868183 30027776 6540 4294967295 134512640 134716908 3221224576 3221222544 1075961074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7331 6540 1111 63 0 7268 0
vsize: 29324
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 138052 0 0 0 68614 393 0 0 25 0 1 0 847868183 31215616 6658 4294967295 134512640 134716908 3221224576 3221221408 1075115830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7621 6658 1111 63 0 7558 0
vsize: 30484
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 141086 0 0 0 69604 403 0 0 25 0 1 0 847868183 31039488 6752 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 6752 1111 63 0 7515 0
vsize: 30312
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 143379 0 0 0 70597 410 0 0 25 0 1 0 847868183 31543296 6776 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7701 6776 1111 63 0 7638 0
vsize: 30804
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 145862 0 0 0 71590 417 0 0 25 0 1 0 847868183 30302208 6644 4294967295 134512640 134716908 3221224576 3221222788 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7398 6644 1111 63 0 7335 0
vsize: 29592
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 148519 0 0 0 72581 426 0 0 25 0 1 0 847868183 31899648 6774 4294967295 134512640 134716908 3221224576 3221221620 1074846208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7788 6774 1111 63 0 7725 0
vsize: 31152
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 150545 0 0 0 73575 432 0 0 25 0 1 0 847868183 31944704 6865 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7799 6865 1111 63 0 7736 0
vsize: 31196
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 152821 0 0 0 74571 437 0 0 25 0 1 0 847868183 30638080 6715 4294967295 134512640 134716908 3221224576 3221223064 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7480 6715 1111 63 0 7417 0
vsize: 29920
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 155394 0 0 0 75563 444 0 0 25 0 1 0 847868183 31862784 6855 4294967295 134512640 134716908 3221224576 3221220540 1074787504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7779 6855 1111 63 0 7716 0
vsize: 31116
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 158419 0 0 0 76555 453 0 0 25 0 1 0 847868183 30474240 6701 4294967295 134512640 134716908 3221224576 3221222880 1074153719 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7440 6701 1111 63 0 7377 0
vsize: 29760
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 159822 0 0 0 77551 457 0 0 25 0 1 0 847868183 31637504 6891 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7724 6891 1111 63 0 7661 0
vsize: 30896
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 161931 0 0 0 78546 462 0 0 25 0 1 0 847868183 30801920 6752 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7520 6752 1111 63 0 7457 0
vsize: 30080
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 164729 0 0 0 79536 472 0 0 25 0 1 0 847868183 30482432 6668 4294967295 134512640 134716908 3221224576 3221222320 1075640393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7442 6668 1111 63 0 7379 0
vsize: 29768
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 168255 0 0 0 80526 482 0 0 25 0 1 0 847868183 30248960 6656 4294967295 134512640 134716908 3221224576 3221222760 1077378266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7385 6656 1111 63 0 7322 0
vsize: 29540
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 171190 0 0 0 81518 490 0 0 25 0 1 0 847868183 31891456 6946 4294967295 134512640 134716908 3221224576 3221220800 1075895891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7786 6946 1111 63 0 7723 0
vsize: 31144
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 174792 0 0 0 82508 501 0 0 25 0 1 0 847868183 30355456 6682 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7411 6682 1111 63 0 7348 0
vsize: 29644
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 177539 0 0 0 83501 507 0 0 25 0 1 0 847868183 32399360 6995 4294967295 134512640 134716908 3221224576 3221220848 1074961120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7910 6995 1111 63 0 7847 0
vsize: 31640
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 179425 0 0 0 84496 513 0 0 25 0 1 0 847868183 31105024 6826 4294967295 134512640 134716908 3221224576 3221222896 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7594 6826 1111 63 0 7531 0
vsize: 30376
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 182200 0 0 0 85488 521 0 0 25 0 1 0 847868183 32518144 6988 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7939 6988 1111 63 0 7876 0
vsize: 31756
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 184887 0 0 0 86480 529 0 0 25 0 1 0 847868183 32071680 6983 4294967295 134512640 134716908 3221224576 3221220512 1075965232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7830 6983 1111 63 0 7767 0
vsize: 31320
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 187678 0 0 0 87472 537 0 0 25 0 1 0 847868183 31117312 6807 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7597 6807 1111 63 0 7534 0
vsize: 30388
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 190124 0 0 0 88466 543 0 0 25 0 1 0 847868183 32497664 7095 4294967295 134512640 134716908 3221224576 3221220800 1075895691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7934 7095 1111 63 0 7871 0
vsize: 31736
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 192477 0 0 0 89460 550 0 0 25 0 1 0 847868183 31137792 6856 4294967295 134512640 134716908 3221224576 3221222572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7602 6856 1111 63 0 7539 0
vsize: 30408
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 194508 0 0 0 90454 556 0 0 25 0 1 0 847868183 30662656 6757 4294967295 134512640 134716908 3221224576 3221222740 1077378607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7486 6757 1111 63 0 7423 0
vsize: 29944
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 196734 0 0 0 91448 562 0 0 25 0 1 0 847868183 31387648 6885 4294967295 134512640 134716908 3221224576 3221222788 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7663 6885 1111 63 0 7600 0
vsize: 30652
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 198536 0 0 0 92443 567 0 0 25 0 1 0 847868183 32894976 7080 4294967295 134512640 134716908 3221224576 3221220848 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8031 7080 1111 63 0 7968 0
vsize: 32124
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 201295 0 0 0 93436 574 0 0 25 0 1 0 847868183 31748096 6992 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7751 6992 1111 63 0 7688 0
vsize: 31004
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 205880 0 0 0 94426 584 0 0 25 0 1 0 847868183 32825344 7192 4294967295 134512640 134716908 3221224576 3221220544 1075965307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8014 7192 1111 63 0 7951 0
vsize: 32056
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 209799 0 0 0 95416 595 0 0 25 0 1 0 847868183 30953472 6828 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7557 6828 1111 63 0 7494 0
vsize: 30228
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 212902 0 0 0 96407 604 0 0 25 0 1 0 847868183 33472512 7222 4294967295 134512640 134716908 3221224576 3221220848 1074961191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8172 7222 1111 63 0 8109 0
vsize: 32688
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 215974 0 0 0 97400 611 0 0 25 0 1 0 847868183 32018432 7030 4294967295 134512640 134716908 3221224576 3221223056 1074031949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7817 7030 1111 63 0 7754 0
vsize: 31268
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 217967 0 0 0 98394 616 0 0 25 0 1 0 847868183 31834112 7043 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7772 7043 1111 63 0 7709 0
vsize: 31088
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 220991 0 0 0 99387 624 0 0 25 0 1 0 847868183 32280576 7105 4294967295 134512640 134716908 3221224576 3221222680 1075964730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7881 7105 1111 63 0 7818 0
vsize: 31524
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 223987 0 0 0 100379 632 0 0 25 0 1 0 847868183 32120832 7092 4294967295 134512640 134716908 3221224576 3221222572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7842 7092 1111 63 0 7779 0
vsize: 31368
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 225925 0 0 0 101373 638 0 0 25 0 1 0 847868183 33366016 7265 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8146 7265 1111 63 0 8083 0
vsize: 32584
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 229079 0 0 0 102366 646 0 0 25 0 1 0 847868183 33894400 7255 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8275 7255 1111 63 0 8212 0
vsize: 33100
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 231258 0 0 0 103359 652 0 0 25 0 1 0 847868183 32378880 7119 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7905 7119 1111 63 0 7842 0
vsize: 31620
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 233336 0 0 0 104353 658 0 0 25 0 1 0 847868183 33452032 7295 4294967295 134512640 134716908 3221224576 3221220688 1075895652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7295 1111 63 0 8104 0
vsize: 32668
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 235670 0 0 0 105346 665 0 0 25 0 1 0 847868183 34000896 7424 4294967295 134512640 134716908 3221224576 3221220572 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8301 7424 1111 63 0 8238 0
vsize: 33204
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 237891 0 0 0 106340 672 0 0 25 0 1 0 847868183 33636352 7332 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8212 7332 1111 63 0 8149 0
vsize: 32848
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 239724 0 0 0 107336 676 0 0 25 0 1 0 847868183 32698368 7202 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7983 7202 1111 63 0 7920 0
vsize: 31932
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 241776 0 0 0 108330 682 0 0 25 0 1 0 847868183 33759232 7371 4294967295 134512640 134716908 3221224576 3221220512 1075965301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8242 7371 1111 63 0 8179 0
vsize: 32968
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 244931 0 0 0 109322 690 0 0 25 0 1 0 847868183 34131968 7343 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8333 7343 1111 63 0 8270 0
vsize: 33332
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 248654 0 0 0 110312 700 0 0 25 0 1 0 847868183 34381824 7365 4294967295 134512640 134716908 3221224576 3221220724 1075964396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8394 7365 1111 63 0 8331 0
vsize: 33576
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 251197 0 0 0 111308 705 0 0 25 0 1 0 847868183 34299904 7385 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8374 7385 1111 63 0 8311 0
vsize: 33496
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 254947 0 0 0 112298 715 0 0 25 0 1 0 847868183 34209792 7313 4294967295 134512640 134716908 3221224576 3221221580 1074621052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8352 7313 1111 63 0 8289 0
vsize: 33408
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 258201 0 0 0 113289 725 0 0 25 0 1 0 847868183 32522240 7184 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7940 7184 1111 63 0 7877 0
vsize: 31760
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 261582 0 0 0 114280 733 0 0 25 0 1 0 847868183 32477184 7187 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7929 7187 1111 63 0 7866 0
vsize: 31716
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 264142 0 0 0 115274 739 0 0 25 0 1 0 847868183 34107392 7451 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8327 7451 1111 63 0 8264 0
vsize: 33308
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 266578 0 0 0 116269 745 0 0 25 0 1 0 847868183 34619392 7456 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8452 7456 1111 63 0 8389 0
vsize: 33808
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 269351 0 0 0 117261 753 0 0 25 0 1 0 847868183 33128448 7301 4294967295 134512640 134716908 3221224576 3221222880 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8088 7301 1111 63 0 8025 0
vsize: 32352
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 26247
Raw data (stat): 26245 (bsolo_lpr_cuts-) R 26244 8378 8377 0 -1 0 269351 0 0 0 117261 753 0 0 25 0 1 0 847868183 33128448 7301 4294967295 134512640 134716908 3221224576 3221222880 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8088 7301 1111 63 0 8025 0
vsize: 0

Child status: 10
Real time (s): 1180.05
CPU time (s): 1180.18
CPU user time (s): 1172.62
CPU system time (s): 7.55485
CPU usage (%): 100.01
Max. virtual memory (Kb): 33808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	334
#### END VERIFIER DATA ####