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-4-c.opb
MD5SUM	fabab1fefe64535b227fac16b2477da8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	324
Optimality of the best value was proved	NO
Number of terms in the objective function	648
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	648
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	648
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	0.809876
Number of variables	648
Total number of constraints	1616
Number of constraints which are clauses	1616
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 40747

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 21:07:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28813 boxname=wulflinc4 idbench=199 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  fabab1fefe64535b227fac16b2477da8  /oldhome/oroussel/tmp/wulflinc4/normalized-par16-4-c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-par16-4-c.opb
IDLAUNCH: 28813
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        857764 kB
Buffers:         29980 kB
Cached:         121560 kB
SwapCached:       5200 kB
Active:          35980 kB
Inactive:       121852 kB
HighTotal:      131008 kB
HighFree:        74144 kB
LowTotal:       903652 kB
LowFree:        783620 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13504 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 21:26:57 (client local time) WITH STATUS 10 IN 1175.9 SECONDS
stats: 28813 0 1175.9 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 648 variables and 1616 constraints.
c After prepocess the problem consists of 618 variables and 2036 constraints.
c preprocess terminated 2.611 s
c Initial Lower Bound: 243
c Lower Bound Elapsed time: 1.0815
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 324 @ 484.38
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 
c Exit Code: 10
c Total time: 1175.87 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.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (runsolver) R 4524 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904739691 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 5102 0 0 0 983 15 0 0 25 0 1 0 904739691 10248192 1798 4294967295 134512640 134716908 3221224576 3221222680 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1798 1111 63 0 2439 0
vsize: 10008
[startup+20.0016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 6546 0 0 0 1978 19 0 0 25 0 1 0 904739691 10067968 1774 4294967295 134512640 134716908 3221224576 3221223220 134536691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2458 1774 1111 63 0 2395 0
vsize: 9832
[startup+30.0029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 6678 0 0 0 2977 20 0 0 25 0 1 0 904739691 10608640 1906 4294967295 134512640 134716908 3221224576 3221223116 134539284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2590 1906 1111 63 0 2527 0
vsize: 10360
[startup+40.0023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 6841 0 0 0 3976 22 0 0 25 0 1 0 904739691 11284480 2069 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2755 2069 1111 63 0 2692 0
vsize: 11020
[startup+50.0032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 6977 0 0 0 4976 22 0 0 25 0 1 0 904739691 11960320 2205 4294967295 134512640 134716908 3221224576 3221223200 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2920 2205 1111 63 0 2857 0
vsize: 11680
[startup+60.0035 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 7128 0 0 0 5975 23 0 0 25 0 1 0 904739691 12500992 2356 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3052 2356 1111 63 0 2989 0
vsize: 12208
[startup+70.0049 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 7254 0 0 0 6974 24 0 0 25 0 1 0 904739691 13041664 2482 4294967295 134512640 134716908 3221224576 3221223232 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2482 1111 63 0 3121 0
vsize: 12736
[startup+80.0058 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 7424 0 0 0 7973 25 0 0 25 0 1 0 904739691 13717504 2652 4294967295 134512640 134716908 3221224576 3221223312 134523936 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3349 2652 1111 63 0 3286 0
vsize: 13396
[startup+90.0061 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 7542 0 0 0 8972 26 0 0 25 0 1 0 904739691 14258176 2770 4294967295 134512640 134716908 3221224576 3221223116 134539251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3481 2770 1111 63 0 3418 0
vsize: 13924
[startup+100.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 7714 0 0 0 9972 27 0 0 25 0 1 0 904739691 14938112 2942 4294967295 134512640 134716908 3221224576 3221223216 134698468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3647 2942 1111 63 0 3584 0
vsize: 14588
[startup+110.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 7904 0 0 0 10970 29 0 0 25 0 1 0 904739691 15749120 3132 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3845 3132 1111 63 0 3782 0
vsize: 15380
[startup+120.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 8080 0 0 0 11968 31 0 0 25 0 1 0 904739691 16420864 3308 4294967295 134512640 134716908 3221224576 3221223260 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4009 3308 1111 63 0 3946 0
vsize: 16036
[startup+130.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 8305 0 0 0 12967 32 0 0 25 0 1 0 904739691 17371136 3533 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4241 3533 1111 63 0 4178 0
vsize: 16964
[startup+140.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 8488 0 0 0 13965 33 0 0 25 0 1 0 904739691 18046976 3716 4294967295 134512640 134716908 3221224576 3221223288 134523157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4406 3716 1111 63 0 4343 0
vsize: 17624
[startup+150.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 8688 0 0 0 14964 34 0 0 25 0 1 0 904739691 18857984 3916 4294967295 134512640 134716908 3221224576 3221223116 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4604 3916 1111 63 0 4541 0
vsize: 18416
[startup+160.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 8861 0 0 0 15964 35 0 0 25 0 1 0 904739691 19668992 4089 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4802 4089 1111 63 0 4739 0
vsize: 19208
[startup+170.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 9047 0 0 0 16963 36 0 0 25 0 1 0 904739691 20348928 4275 4294967295 134512640 134716908 3221224576 3221223156 134542685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4968 4275 1111 63 0 4905 0
vsize: 19872
[startup+180.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 9272 0 0 0 17962 37 0 0 25 0 1 0 904739691 21295104 4500 4294967295 134512640 134716908 3221224576 3221223164 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5199 4500 1111 63 0 5136 0
vsize: 20796
[startup+190.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 9461 0 0 0 18962 38 0 0 25 0 1 0 904739691 22102016 4689 4294967295 134512640 134716908 3221224576 3221223248 134542865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5396 4689 1111 63 0 5333 0
vsize: 21584
[startup+200.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 9669 0 0 0 19960 39 0 0 25 0 1 0 904739691 22917120 4897 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5595 4897 1111 63 0 5532 0
vsize: 22380
[startup+210.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 9891 0 0 0 20958 41 0 0 25 0 1 0 904739691 23863296 5119 4294967295 134512640 134716908 3221224576 3221222648 134613973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5826 5119 1111 63 0 5763 0
vsize: 23304
[startup+220.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 10161 0 0 0 21957 43 0 0 25 0 1 0 904739691 24944640 5389 4294967295 134512640 134716908 3221224576 3221223296 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6090 5389 1111 63 0 6027 0
vsize: 24360
[startup+230.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 10450 0 0 0 22955 45 0 0 25 0 1 0 904739691 26173440 5677 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6390 5677 1111 63 0 6327 0
vsize: 25560
[startup+240.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 10699 0 0 0 23953 47 0 0 25 0 1 0 904739691 27123712 5926 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6622 5926 1111 63 0 6559 0
vsize: 26488
[startup+250.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 10869 0 0 0 24952 48 0 0 25 0 1 0 904739691 27934720 6096 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6820 6096 1111 63 0 6757 0
vsize: 27280
[startup+260.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 11083 0 0 0 25951 49 0 0 25 0 1 0 904739691 28758016 6310 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7021 6310 1111 63 0 6958 0
vsize: 28084
[startup+270.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 11282 0 0 0 26950 50 0 0 25 0 1 0 904739691 29569024 6509 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7219 6509 1111 63 0 7156 0
vsize: 28876
[startup+280.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 11561 0 0 0 27948 51 0 0 25 0 1 0 904739691 30785536 6788 4294967295 134512640 134716908 3221224576 3221223360 134529421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7516 6788 1111 63 0 7453 0
vsize: 30064
[startup+290.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 11838 0 0 0 28947 53 0 0 25 0 1 0 904739691 31862784 7065 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7779 7065 1111 63 0 7716 0
vsize: 31116
[startup+300.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 12127 0 0 0 29945 55 0 0 25 0 1 0 904739691 33116160 7354 4294967295 134512640 134716908 3221224576 3221223368 134531231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8085 7354 1111 63 0 8022 0
vsize: 32340
[startup+310.018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 12232 0 0 0 30945 55 0 0 25 0 1 0 904739691 33521664 7459 4294967295 134512640 134716908 3221224576 3221223208 134698369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8184 7459 1111 63 0 8121 0
vsize: 32736
[startup+320.018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 12335 0 0 0 31945 56 0 0 25 0 1 0 904739691 33927168 7562 4294967295 134512640 134716908 3221224576 3221223260 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8283 7562 1111 63 0 8220 0
vsize: 33132
[startup+330.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 12457 0 0 0 32943 57 0 0 25 0 1 0 904739691 34467840 7684 4294967295 134512640 134716908 3221224576 3221223168 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8415 7684 1111 63 0 8352 0
vsize: 33660
[startup+340.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 12560 0 0 0 33942 58 0 0 25 0 1 0 904739691 34873344 7787 4294967295 134512640 134716908 3221224576 3221223204 134698616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8514 7787 1111 63 0 8451 0
vsize: 34056
[startup+350.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 12695 0 0 0 34941 60 0 0 25 0 1 0 904739691 35414016 7922 4294967295 134512640 134716908 3221224576 3221223248 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8646 7922 1111 63 0 8583 0
vsize: 34584
[startup+360.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 12868 0 0 0 35940 61 0 0 25 0 1 0 904739691 36102144 8095 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8814 8095 1111 63 0 8751 0
vsize: 35256
[startup+370.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 13026 0 0 0 36939 62 0 0 25 0 1 0 904739691 36794368 8252 4294967295 134512640 134716908 3221224576 3221223232 134536627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8983 8252 1111 63 0 8920 0
vsize: 35932
[startup+380.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 13134 0 0 0 37938 63 0 0 25 0 1 0 904739691 37199872 8360 4294967295 134512640 134716908 3221224576 3221223168 134549588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8360 1111 63 0 9019 0
vsize: 36328
[startup+390.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 13268 0 0 0 38937 65 0 0 25 0 1 0 904739691 37740544 8494 4294967295 134512640 134716908 3221224576 3221223104 134543035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9214 8494 1111 63 0 9151 0
vsize: 36856
[startup+400.023 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 13368 0 0 0 39936 66 0 0 25 0 1 0 904739691 38146048 8594 4294967295 134512640 134716908 3221224576 3221223164 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9313 8594 1111 63 0 9250 0
vsize: 37252
[startup+410.023 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 13492 0 0 0 40936 66 0 0 25 0 1 0 904739691 38686720 8718 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9445 8718 1111 63 0 9382 0
vsize: 37780
[startup+420.023 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 13638 0 0 0 41935 67 0 0 25 0 1 0 904739691 39362560 8864 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9610 8864 1111 63 0 9547 0
vsize: 38440
[startup+430.024 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 13805 0 0 0 42934 68 0 0 25 0 1 0 904739691 40038400 9031 4294967295 134512640 134716908 3221224576 3221223248 134543674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9775 9031 1111 63 0 9712 0
vsize: 39100
[startup+440.024 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 13929 0 0 0 43933 69 0 0 25 0 1 0 904739691 40476672 9154 4294967295 134512640 134716908 3221224576 3221223392 134590194 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9882 9154 1111 63 0 9819 0
vsize: 39528
[startup+450.025 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 14158 0 0 0 44932 71 0 0 25 0 1 0 904739691 41422848 9383 4294967295 134512640 134716908 3221224576 3221223232 134536635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10113 9383 1111 63 0 10050 0
vsize: 40452
[startup+460.025 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 14291 0 0 0 45931 72 0 0 25 0 1 0 904739691 41963520 9516 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10245 9516 1111 63 0 10182 0
vsize: 40980
[startup+470.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 14530 0 0 0 46929 74 0 0 25 0 1 0 904739691 43044864 9755 4294967295 134512640 134716908 3221224576 3221223292 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10509 9755 1111 63 0 10446 0
vsize: 42036
[startup+480.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 14724 0 0 0 47928 75 0 0 25 0 1 0 904739691 43855872 9949 4294967295 134512640 134716908 3221224576 3221223168 134549660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10707 9949 1111 63 0 10644 0
vsize: 42828
[startup+490.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 16260 0 0 0 48923 80 0 0 25 0 1 0 904739691 46616576 10371 4294967295 134512640 134716908 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11381 10371 1111 63 0 11318 0
vsize: 45524
[startup+500.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 19989 0 0 0 49913 91 0 0 25 0 1 0 904739691 47173632 10632 4294967295 134512640 134716908 3221224576 3221220780 1075564159 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11517 10632 1111 63 0 11454 0
vsize: 46068
[startup+510.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 23446 0 0 0 50901 102 0 0 25 0 1 0 904739691 47538176 10625 4294967295 134512640 134716908 3221224576 3221220720 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11606 10625 1111 63 0 11543 0
vsize: 46424
[startup+520.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 26523 0 0 0 51891 113 0 0 25 0 1 0 904739691 47898624 10698 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11694 10698 1111 63 0 11631 0
vsize: 46776
[startup+530.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 28827 0 0 0 52883 121 0 0 25 0 1 0 904739691 46731264 10631 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11409 10631 1111 63 0 11346 0
vsize: 45636
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 31627 0 0 0 53874 129 0 0 25 0 1 0 904739691 48070656 10747 4294967295 134512640 134716908 3221224576 3221221108 1075863638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11736 10747 1111 63 0 11673 0
vsize: 46944
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 34449 0 0 0 54866 138 0 0 25 0 1 0 904739691 46731264 10631 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11409 10631 1111 63 0 11346 0
vsize: 45636
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 37916 0 0 0 55857 148 0 0 25 0 1 0 904739691 48095232 10857 4294967295 134512640 134716908 3221224576 3221220544 1075965260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11742 10857 1111 63 0 11679 0
vsize: 46968
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 41856 0 0 0 56843 161 0 0 25 0 1 0 904739691 48406528 10943 4294967295 134512640 134716908 3221224576 3221220640 1075084627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11818 10943 1111 63 0 11755 0
vsize: 47272
[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 43597 0 0 0 57837 167 0 0 25 0 1 0 904739691 47058944 10711 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11489 10711 1111 63 0 11426 0
vsize: 45956
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 47513 0 0 0 58825 179 0 0 25 0 1 0 904739691 48283648 10795 4294967295 134512640 134716908 3221224576 3221220848 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11788 10795 1111 63 0 11725 0
vsize: 47152
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 52033 0 0 0 59811 194 0 0 25 0 1 0 904739691 47362048 10785 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11563 10785 1111 63 0 11500 0
vsize: 46252
[startup+610.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 56185 0 0 0 60797 207 0 0 25 0 1 0 904739691 48218112 10848 4294967295 134512640 134716908 3221224576 3221222216 1075850422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11772 10848 1111 63 0 11709 0
vsize: 47088
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 59548 0 0 0 61786 218 0 0 25 0 1 0 904739691 47656960 10857 4294967295 134512640 134716908 3221224576 3221222008 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11635 10857 1111 63 0 11572 0
vsize: 46540
[startup+630.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 63278 0 0 0 62777 228 0 0 25 0 1 0 904739691 48033792 10936 4294967295 134512640 134716908 3221224576 3221222880 1074039252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11727 10936 1111 63 0 11664 0
vsize: 46908
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 66110 0 0 0 63767 238 0 0 25 0 1 0 904739691 48066560 10940 4294967295 134512640 134716908 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11735 10940 1111 63 0 11672 0
vsize: 46940
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 70211 0 0 0 64756 249 0 0 25 0 1 0 904739691 50130944 11296 4294967295 134512640 134716908 3221224576 3221220736 1074883536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12239 11296 1111 63 0 12176 0
vsize: 48956
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 74217 0 0 0 65746 259 0 0 25 0 1 0 904739691 48939008 11136 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11948 11136 1111 63 0 11885 0
vsize: 47792
[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 76533 0 0 0 66739 266 0 0 25 0 1 0 904739691 49700864 11285 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12134 11285 1111 63 0 12071 0
vsize: 48536
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 78627 0 0 0 67734 272 0 0 25 0 1 0 904739691 49958912 11316 4294967295 134512640 134716908 3221224576 3221220608 1074790177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12197 11316 1111 63 0 12134 0
vsize: 48788
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 80909 0 0 0 68726 279 0 0 25 0 1 0 904739691 49938432 11331 4294967295 134512640 134716908 3221224576 3221220736 1075093350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12192 11331 1111 63 0 12129 0
vsize: 48768
[startup+700.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 82865 0 0 0 69719 286 0 0 25 0 1 0 904739691 48607232 11089 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11867 11089 1111 63 0 11804 0
vsize: 47468
[startup+710.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 84399 0 0 0 70715 291 0 0 25 0 1 0 904739691 50495488 11317 4294967295 134512640 134716908 3221224576 3221220524 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12328 11317 1111 63 0 12265 0
vsize: 49312
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 86034 0 0 0 71710 296 0 0 25 0 1 0 904739691 50085888 11338 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12228 11338 1111 63 0 12165 0
vsize: 48912
[startup+730.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 89090 0 0 0 72702 304 0 0 25 0 1 0 904739691 49885184 11297 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12179 11297 1111 63 0 12116 0
vsize: 48716
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 92507 0 0 0 73691 315 0 0 25 0 1 0 904739691 50462720 11418 4294967295 134512640 134716908 3221224576 3221220688 1075895668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12320 11418 1111 63 0 12257 0
vsize: 49280
[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 95213 0 0 0 74682 324 0 0 25 0 1 0 904739691 49135616 11190 4294967295 134512640 134716908 3221224576 3221223164 1074152784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11996 11190 1111 63 0 11933 0
vsize: 47984
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 97236 0 0 0 75675 332 0 0 25 0 1 0 904739691 50462720 11297 4294967295 134512640 134716908 3221224576 3221221616 1075859853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12320 11297 1111 63 0 12257 0
vsize: 49280
[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 100028 0 0 0 76665 341 0 0 25 0 1 0 904739691 49057792 11186 4294967295 134512640 134716908 3221224576 3221223056 1074031998 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11977 11186 1111 63 0 11914 0
vsize: 47908
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 103221 0 0 0 77656 351 0 0 25 0 1 0 904739691 50585600 11381 4294967295 134512640 134716908 3221224576 3221220784 1074815430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12350 11381 1111 63 0 12287 0
vsize: 49400
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 105154 0 0 0 78650 357 0 0 25 0 1 0 904739691 50262016 11378 4294967295 134512640 134716908 3221224576 3221220848 1074960874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12271 11378 1111 63 0 12208 0
vsize: 49084
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 109068 0 0 0 79637 369 0 0 25 0 1 0 904739691 50761728 11406 4294967295 134512640 134716908 3221224576 3221220828 1076079657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12393 11406 1111 63 0 12330 0
vsize: 49572
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 112056 0 0 0 80627 380 0 0 25 0 1 0 904739691 50851840 11409 4294967295 134512640 134716908 3221224576 3221220704 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12415 11409 1111 63 0 12352 0
vsize: 49660
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 113495 0 0 0 81622 385 0 0 25 0 1 0 904739691 50421760 11442 4294967295 134512640 134716908 3221224576 3221221232 1075967935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12310 11442 1111 63 0 12247 0
vsize: 49240
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 116226 0 0 0 82614 393 0 0 25 0 1 0 904739691 49651712 11290 4294967295 134512640 134716908 3221224576 3221223056 1074031958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12122 11290 1111 63 0 12059 0
vsize: 48488
[startup+840.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 118808 0 0 0 83606 400 0 0 25 0 1 0 904739691 51048448 11461 4294967295 134512640 134716908 3221224576 3221220724 1075964401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12463 11461 1111 63 0 12400 0
vsize: 49852
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 121643 0 0 0 84598 409 0 0 25 0 1 0 904739691 50872320 11450 4294967295 134512640 134716908 3221224576 3221221120 1074886368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11450 1111 63 0 12357 0
vsize: 49680
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 123345 0 0 0 85592 415 0 0 25 0 1 0 904739691 50757632 11502 4294967295 134512640 134716908 3221224576 3221220848 1074961120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12392 11502 1111 63 0 12329 0
vsize: 49568
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 126809 0 0 0 86582 425 0 0 25 0 1 0 904739691 50032640 11383 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12215 11383 1111 63 0 12152 0
vsize: 48860
[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 129479 0 0 0 87574 433 0 0 25 0 1 0 904739691 51290112 11550 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12522 11550 1111 63 0 12459 0
vsize: 50088
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 131732 0 0 0 88568 440 0 0 25 0 1 0 904739691 51691520 11620 4294967295 134512640 134716908 3221224576 3221221640 1075007302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12620 11620 1111 63 0 12557 0
vsize: 50480
[startup+900.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 133982 0 0 0 89560 448 0 0 25 0 1 0 904739691 50298880 11479 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12280 11479 1111 63 0 12217 0
vsize: 49120
[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 137328 0 0 0 90553 455 0 0 25 0 1 0 904739691 51294208 11646 4294967295 134512640 134716908 3221224576 3221220540 1074788153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12523 11646 1111 63 0 12460 0
vsize: 50092
[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 139737 0 0 0 91545 463 0 0 25 0 1 0 904739691 51544064 11688 4294967295 134512640 134716908 3221224576 3221220608 1074790218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12584 11688 1111 63 0 12521 0
vsize: 50336
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 142929 0 0 0 92539 470 0 0 25 0 1 0 904739691 52039680 11700 4294967295 134512640 134716908 3221224576 3221220736 1074883521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12705 11700 1111 63 0 12642 0
vsize: 50820
[startup+940.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 145233 0 0 0 93531 478 0 0 25 0 1 0 904739691 50634752 11564 4294967295 134512640 134716908 3221224576 3221223080 134605777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12362 11564 1111 63 0 12299 0
vsize: 49448
[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 147377 0 0 0 94524 484 0 0 25 0 1 0 904739691 52334592 11880 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12777 11880 1111 63 0 12714 0
vsize: 51108
[startup+960.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 149620 0 0 0 95519 490 0 0 25 0 1 0 904739691 51777536 11765 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12641 11765 1111 63 0 12578 0
vsize: 50564
[startup+970.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 152163 0 0 0 96512 497 0 0 25 0 1 0 904739691 51957760 11824 4294967295 134512640 134716908 3221224576 3221220784 1074815403 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12685 11824 1111 63 0 12622 0
vsize: 50740
[startup+980.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 156807 0 0 0 97500 509 0 0 25 0 1 0 904739691 52551680 11813 4294967295 134512640 134716908 3221224576 3221220604 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12830 11813 1111 63 0 12767 0
vsize: 51320
[startup+990.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 159352 0 0 0 98493 516 0 0 25 0 1 0 904739691 52781056 11911 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12886 11911 1111 63 0 12823 0
vsize: 51544
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 160475 0 0 0 99491 519 0 0 25 0 1 0 904739691 50380800 11529 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12300 11529 1111 63 0 12237 0
vsize: 49200
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 165804 0 0 0 100475 535 0 0 25 0 1 0 904739691 52375552 11735 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12787 11735 1111 63 0 12724 0
vsize: 51148
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 169231 0 0 0 101465 545 0 0 25 0 1 0 904739691 52023296 11800 4294967295 134512640 134716908 3221224576 3221220908 1076111494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12701 11800 1111 63 0 12638 0
vsize: 50804
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 173534 0 0 0 102453 558 0 0 25 0 1 0 904739691 51154944 11675 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12489 11675 1111 63 0 12426 0
vsize: 49956
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 177481 0 0 0 103441 570 0 0 25 0 1 0 904739691 51101696 11687 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 11687 1111 63 0 12413 0
vsize: 49904
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 181641 0 0 0 104429 581 0 0 25 0 1 0 904739691 52187136 11876 4294967295 134512640 134716908 3221224576 3221220656 1075112103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12741 11876 1111 63 0 12678 0
vsize: 50964
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 184855 0 0 0 105420 591 0 0 25 0 1 0 904739691 52039680 11841 4294967295 134512640 134716908 3221224576 3221220800 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12705 11841 1111 63 0 12642 0
vsize: 50820
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 187009 0 0 0 106413 598 0 0 25 0 1 0 904739691 51425280 11752 4294967295 134512640 134716908 3221224576 3221223104 134649035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12555 11752 1111 63 0 12492 0
vsize: 50220
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 190653 0 0 0 107404 607 0 0 25 0 1 0 904739691 52989952 11899 4294967295 134512640 134716908 3221224576 3221220804 1075114950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12937 11899 1111 63 0 12874 0
vsize: 51748
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 193553 0 0 0 108396 616 0 0 25 0 1 0 904739691 53092352 11891 4294967295 134512640 134716908 3221224576 3221220736 1074794661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12962 11891 1111 63 0 12899 0
vsize: 51848
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 195847 0 0 0 109388 623 0 0 25 0 1 0 904739691 52682752 11964 4294967295 134512640 134716908 3221224576 3221221132 1075240388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12862 11964 1111 63 0 12799 0
vsize: 51448
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 198918 0 0 0 110380 632 0 0 25 0 1 0 904739691 51748864 11860 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12634 11860 1111 63 0 12571 0
vsize: 50536
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 202188 0 0 0 111368 643 0 0 25 0 1 0 904739691 52998144 12001 4294967295 134512640 134716908 3221224576 3221220800 1074960970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12939 12001 1111 63 0 12876 0
vsize: 51756
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 205026 0 0 0 112359 653 0 0 25 0 1 0 904739691 53387264 12017 4294967295 134512640 134716908 3221224576 3221220912 1075113557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13034 12017 1111 63 0 12971 0
vsize: 52136
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 208140 0 0 0 113350 662 0 0 25 0 1 0 904739691 51863552 11880 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12662 11880 1111 63 0 12599 0
vsize: 50648
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 211116 0 0 0 114342 670 0 0 25 0 1 0 904739691 51879936 11888 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12666 11888 1111 63 0 12603 0
vsize: 50664
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 215385 0 0 0 115330 683 0 0 25 0 1 0 904739691 51896320 11889 4294967295 134512640 134716908 3221224576 3221222832 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12670 11889 1111 63 0 12607 0
vsize: 50680
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 219222 0 0 0 116319 694 0 0 25 0 1 0 904739691 53895168 12111 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13158 12111 1111 63 0 13095 0
vsize: 52632
[startup+1175.81 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 4525
Raw data (stat): 4525 (bsolo_lpr_cuts-) R 4524 21152 21151 0 -1 0 219222 0 0 0 116319 694 0 0 25 0 1 0 904739691 53895168 12111 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13158 12111 1111 63 0 13095 0
vsize: 0

Child status: 10
Real time (s): 1175.81
CPU time (s): 1175.9
CPU user time (s): 1168.89
CPU system time (s): 7.01493
CPU usage (%): 100.008
Max. virtual memory (Kb): 52632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	324
#### END VERIFIER DATA ####