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-ii32b4.opb
MD5SUM	c3974db7e8a7a7dcf1a342d47c14e34f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	376
Optimality of the best value was proved	NO
Number of terms in the objective function	762
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	762
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	762
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03584
Number of variables	762
Total number of constraints	7299
Number of constraints which are clauses	7299
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 23888

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 00:50:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1343 boxname=wulflinc31 idbench=150 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c3974db7e8a7a7dcf1a342d47c14e34f  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32b4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii32b4.opb
IDLAUNCH: 1343
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        155660 kB
Buffers:         35472 kB
Cached:         809260 kB
SwapCached:        644 kB
Active:         483176 kB
Inactive:       363892 kB
HighTotal:      131008 kB
HighFree:        12264 kB
LowTotal:       903652 kB
LowFree:        143396 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26420 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 01:10:06 (client local time) WITH STATUS 10 IN 1180.26 SECONDS
stats: 1343 0 1180.26 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 762 variables and 7299 constraints.
c After prepocess the problem consists of 762 variables and 7299 constraints.
c preprocess terminated 23.045 s
c Initial Lower Bound: 262
c Lower Bound Elapsed time: 10.567
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 381 @ 53.865
c NEW SOLUTION FOUND: 380 @ 53.867
c NEW SOLUTION FOUND: 379 @ 53.884
c NEW SOLUTION FOUND: 378 @ 53.893
c NEW SOLUTION FOUND: 377 @ 53.903
c NEW SOLUTION FOUND: 376 @ 56.708
s SATISFIABLE
v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 -x207 x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 -x253 x254 x255 -x256 -x257 x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 -x291 x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 -x303 x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 -x377 x378 x379 -x380 x381 -x382 x383 -x384 -x385 x386 x387 -x388 -x389 x390 x391 -x392 -x393 x394 -x395 x396 x397 -x398 -x399 x400 -x401 x402 x403 -x404 -x405 x406 -x407 x408 x409 -x410 -x411 x412 -x413 x414 -x415 x416 -x417 x418 x419 -x420 x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 x430 -x431 x432 x433 -x434 -x435 x436 -x437 x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 x447 -x448 -x449 x450 x451 -x452 -x453 x454 -x455 x456 -x457 -x458 x459 -x460 -x461 x462 x463 -x464 -x465 x466 -x467 x468 x469 -x470 -x471 x472 -x473 x474 x475 -x476 -x477 x478 -x479 x480 x481 -x482 -x483 x484 -x485 x486 x487 -x488 -x489 x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 -x499 x500 x501 -x502 -x503 x504 x505 -x506 -x507 x508 -x509 x510 -x511 x512 x513 -x514 -x515 x516 -x517 x518 -x519 x520 x521 -x522 x523 -x524 -x525 x526 -x527 x528 -x529 x530 x531 -x532 -x533 x534 -x535 x536 x537 -x538 -x539 x540 x541 -x542 -x543 x544 -x545 x546 -x547 x548 x549 -x550 -x551 x552 x553 -x554 -x555 x556 -x557 x558 x559 -x560 -x561 x562 -x563 x564 -x565 x566 x567 -x568 -x569 x570 -x571 x572 x573 -x574 -x575 x576 -x577 x578 x579 -x580 -x581 x582 x583 -x584 -x585 x586 -x587 x588 x589 -x590 -x591 x592 -x593 x594 x595 -x596 -x597 x598 -x599 x600 x601 -x602 -x603 x604 -x605 x606 -x607 x608 x609 -x610 -x611 x612 -x613 x614 x615 -x616 -x617 x618 -x619 -x620 -x621 x622 x623 -x624 x625 -x626 -x627 x628 -x629 x630 -x631 -x632 x633 -x634 -x635 x636 x637 -x638 -x639 x640 -x641 x642 -x643 x644 x645 -x646 -x647 x648 -x649 x650 x651 -x652 -x653 x654 -x655 x656 x657 -x658 -x659 -x660 x661 -x662 -x663 x664 -x665 x666 -x667 x668 x669 -x670 -x671 x672 x673 -x674 -x675 x676 -x677 x678 x679 -x680 -x681 x682 -x683 x684 -x685 x686 x687 -x688 -x689 x690 x691 -x692 -x693 x694 -x695 x696 x697 -x698 -x699 -x700 -x701 x702 -x703 x704 -x705 x706 x707 -x708 -x709 x710 -x711 x712 x713 -x714 x715 -x716 -x717 x718 -x719 x720 -x721 x722 -x723 x724 x725 -x726 -x727 x728 x729 -x730 -x731 x732 x733 -x734 -x735 x736 -x737 x738 -x739 x740 -x741 x742 x743 -x744 x745 -x746 -x747 x748 -x749 x750 x751 -x752 -x753 x754 -x755 x756 -x757 x758 x759 -x760 -x761 x762 
c Exit Code: 10
c Total time: 1180.22 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
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (runsolver) R 19740 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 670493461 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 2291 0 0 0 988 8 0 0 25 0 1 0 670493461 12513280 2211 4294967295 134512640 134714508 3221221792 3221220272 134539518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2211 1111 63 0 2992 0
vsize: 12220
[startup+20.0005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 2295 0 0 0 1988 8 0 0 25 0 1 0 670493461 12513280 2215 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2215 1111 63 0 2992 0
vsize: 12220
[startup+30.0012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 4121 0 0 0 2984 12 0 0 25 0 1 0 670493461 19709952 3612 4294967295 134512640 134714508 3221221792 3221218756 1074846206 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4812 3612 1111 63 0 4749 0
vsize: 19248
[startup+40.0011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 8768 0 0 0 3974 22 0 0 25 0 1 0 670493461 16408576 3275 4294967295 134512640 134714508 3221221792 3221219732 1074786547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4006 3275 1111 63 0 3943 0
vsize: 16024
[startup+50.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 8769 0 0 0 4972 23 0 0 25 0 1 0 670493461 16408576 3276 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4006 3276 1111 63 0 3943 0
vsize: 16024
[startup+60.0009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 11185 0 0 0 5965 30 0 0 25 0 1 0 670493461 14876672 2958 4294967295 134512640 134714508 3221221792 3221219836 1074205872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3632 2958 1111 63 0 3569 0
vsize: 14528
[startup+70.0008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 14802 0 0 0 6956 39 0 0 25 0 1 0 670493461 14864384 2955 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3629 2955 1111 63 0 3566 0
vsize: 14516
[startup+80.0018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 17973 0 0 0 7948 47 0 0 25 0 1 0 670493461 19230720 3293 4294967295 134512640 134714508 3221221792 3221218828 1074621045 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4695 3293 1111 63 0 4632 0
vsize: 18780
[startup+90.0017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 20814 0 0 0 8940 55 0 0 25 0 1 0 670493461 14872576 2957 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3631 2957 1111 63 0 3568 0
vsize: 14524
[startup+100.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 23606 0 0 0 9933 63 0 0 25 0 1 0 670493461 20463616 3689 4294967295 134512640 134714508 3221221792 3221218560 1076083593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4996 3689 1111 63 0 4933 0
vsize: 19984
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 26580 0 0 0 10925 71 0 0 25 0 1 0 670493461 20455424 3669 4294967295 134512640 134714508 3221221792 3221218064 1074960916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4994 3669 1111 63 0 4931 0
vsize: 19976
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 29391 0 0 0 11918 78 0 0 25 0 1 0 670493461 20340736 3611 4294967295 134512640 134714508 3221221792 3221218032 1075115712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4966 3611 1111 63 0 4903 0
vsize: 19864
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 32342 0 0 0 12911 85 0 0 25 0 1 0 670493461 19542016 3421 4294967295 134512640 134714508 3221221792 3221217836 1074873465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4771 3421 1111 63 0 4708 0
vsize: 19084
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 34731 0 0 0 13904 92 0 0 25 0 1 0 670493461 19038208 3216 4294967295 134512640 134714508 3221221792 3221218020 1075115028 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4648 3216 1111 63 0 4585 0
vsize: 18592
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 38570 0 0 0 14894 103 0 0 25 0 1 0 670493461 19369984 3297 4294967295 134512640 134714508 3221221792 3221218128 1075113517 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4729 3297 1111 63 0 4666 0
vsize: 18916
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 41963 0 0 0 15885 112 0 0 25 0 1 0 670493461 19087360 3175 4294967295 134512640 134714508 3221221792 3221218448 1075967895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4660 3176 1111 63 0 4597 0
vsize: 18640
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 45929 0 0 0 16872 125 0 0 25 0 1 0 670493461 16285696 3300 4294967295 134512640 134714508 3221221792 3221219936 1074790228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3976 3300 1111 63 0 3913 0
vsize: 15904
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 48824 0 0 0 17865 132 0 0 25 0 1 0 670493461 20594688 3633 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5028 3633 1111 63 0 4965 0
vsize: 20112
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 52728 0 0 0 18855 143 0 0 25 0 1 0 670493461 19431424 3689 4294967295 134512640 134714508 3221221792 3221218864 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4744 3689 1111 63 0 4681 0
vsize: 18976
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 54774 0 0 0 19849 148 0 0 25 0 1 0 670493461 23195648 4337 4294967295 134512640 134714508 3221221792 3221217752 1074789584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4337 1111 63 0 5600 0
vsize: 22652
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 57252 0 0 0 20843 155 0 0 25 0 1 0 670493461 18472960 3836 4294967295 134512640 134714508 3221221792 3221220256 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4510 3836 1111 63 0 4447 0
vsize: 18040
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 59605 0 0 0 21837 161 0 0 25 0 1 0 670493461 17817600 3676 4294967295 134512640 134714508 3221221792 3221220192 1074153690 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4350 3676 1111 63 0 4287 0
vsize: 17400
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 61195 0 0 0 22833 165 0 0 25 0 1 0 670493461 18059264 3735 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4409 3735 1111 63 0 4346 0
vsize: 17636
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 63539 0 0 0 23827 171 0 0 25 0 1 0 670493461 23334912 4382 4294967295 134512640 134714508 3221221792 3221218324 1075863638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5697 4382 1111 63 0 5634 0
vsize: 22788
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 66116 0 0 0 24821 177 0 0 25 0 1 0 670493461 23265280 4372 4294967295 134512640 134714508 3221221792 3221218012 1075116489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5680 4372 1111 63 0 5617 0
vsize: 22720
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 68274 0 0 0 25816 182 0 0 25 0 1 0 670493461 18206720 3742 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4445 3742 1111 63 0 4382 0
vsize: 17780
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 70622 0 0 0 26809 189 0 0 25 0 1 0 670493461 23134208 4300 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5648 4300 1111 63 0 5585 0
vsize: 22592
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 72827 0 0 0 27804 194 0 0 25 0 1 0 670493461 17625088 3629 4294967295 134512640 134714508 3221221792 3221220104 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3629 1111 63 0 4240 0
vsize: 17212
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 74508 0 0 0 28800 198 0 0 25 0 1 0 670493461 17833984 3680 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4354 3680 1111 63 0 4291 0
vsize: 17416
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 76954 0 0 0 29793 206 0 0 25 0 1 0 670493461 23068672 4367 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5632 4367 1111 63 0 5569 0
vsize: 22528
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 78997 0 0 0 30789 210 0 0 25 0 1 0 670493461 17903616 3697 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4371 3697 1111 63 0 4308 0
vsize: 17484
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 81176 0 0 0 31784 216 0 0 25 0 1 0 670493461 17895424 3695 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4369 3695 1111 63 0 4306 0
vsize: 17476
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 83400 0 0 0 32778 221 0 0 25 0 1 0 670493461 21573632 3881 4294967295 134512640 134714508 3221221792 3221217836 1074873537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5267 3881 1111 63 0 5204 0
vsize: 21068
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 85757 0 0 0 33771 228 0 0 25 0 1 0 670493461 17891328 3694 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4368 3694 1111 63 0 4305 0
vsize: 17472
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 88383 0 0 0 34765 235 0 0 25 0 1 0 670493461 21340160 3766 4294967295 134512640 134714508 3221221792 3221217848 1074789806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5210 3766 1111 63 0 5147 0
vsize: 20840
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 91026 0 0 0 35756 244 0 0 25 0 1 0 670493461 21917696 3938 4294967295 134512640 134714508 3221221792 3221217756 1074787561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5351 3938 1111 63 0 5288 0
vsize: 21404
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 94212 0 0 0 36747 253 0 0 25 0 1 0 670493461 22970368 4270 4294967295 134512640 134714508 3221221792 3221218864 1074867344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5608 4270 1111 63 0 5545 0
vsize: 22432
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 97641 0 0 0 37737 263 0 0 25 0 1 0 670493461 18378752 3801 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4487 3801 1111 63 0 4424 0
vsize: 17948
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 100679 0 0 0 38729 272 0 0 25 0 1 0 670493461 18186240 3767 4294967295 134512640 134714508 3221221792 3221220448 134649901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4440 3767 1111 63 0 4377 0
vsize: 17760
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 104541 0 0 0 39718 282 0 0 25 0 1 0 670493461 18739200 3871 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4575 3871 1111 63 0 4512 0
vsize: 18300
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 107561 0 0 0 40711 290 0 0 25 0 1 0 670493461 18698240 3892 4294967295 134512640 134714508 3221221792 3221220440 134542401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4565 3892 1111 63 0 4502 0
vsize: 18260
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 109851 0 0 0 41705 295 0 0 25 0 1 0 670493461 18710528 3895 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4568 3895 1111 63 0 4505 0
vsize: 18272
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 112865 0 0 0 42699 302 0 0 25 0 1 0 670493461 18391040 3817 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4490 3817 1111 63 0 4427 0
vsize: 17960
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 115749 0 0 0 43693 308 0 0 25 0 1 0 670493461 22720512 4127 4294967295 134512640 134714508 3221221792 3221217936 1074969463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5547 4127 1111 63 0 5484 0
vsize: 22188
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 118653 0 0 0 44686 315 0 0 25 0 1 0 670493461 23252992 4325 4294967295 134512640 134714508 3221221792 3221218832 1075971389 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5677 4325 1111 63 0 5614 0
vsize: 22708
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 122589 0 0 0 45677 325 0 0 25 0 1 0 670493461 19320832 4012 4294967295 134512640 134714508 3221221792 3221219744 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4717 4012 1111 63 0 4654 0
vsize: 18868
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 126046 0 0 0 46668 334 0 0 25 0 1 0 670493461 23019520 4161 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5620 4167 1111 63 0 5557 0
vsize: 22480
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 129026 0 0 0 47660 342 0 0 25 0 1 0 670493461 24719360 4725 4294967295 134512640 134714508 3221221792 3221218064 1074961375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6035 4725 1111 63 0 5972 0
vsize: 24140
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 132252 0 0 0 48652 350 0 0 25 0 1 0 670493461 19566592 4104 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4777 4104 1111 63 0 4714 0
vsize: 19108
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 134812 0 0 0 49645 357 0 0 25 0 1 0 670493461 19824640 4167 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4840 4167 1111 63 0 4777 0
vsize: 19360
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 136861 0 0 0 50641 362 0 0 25 0 1 0 670493461 24408064 4698 4294967295 134512640 134714508 3221221792 3221217952 1074883539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5959 4698 1111 63 0 5896 0
vsize: 23836
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 139300 0 0 0 51635 368 0 0 25 0 1 0 670493461 24363008 4631 4294967295 134512640 134714508 3221221792 3221218128 1075113496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5948 4631 1111 63 0 5885 0
vsize: 23792
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 141311 0 0 0 52629 374 0 0 25 0 1 0 670493461 20582400 4209 4294967295 134512640 134714508 3221221792 3221219072 1074140041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5025 4215 1111 63 0 4962 0
vsize: 20100
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 143517 0 0 0 53625 378 0 0 25 0 1 0 670493461 19554304 4101 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4774 4101 1111 63 0 4711 0
vsize: 19096
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 145456 0 0 0 54619 384 0 0 25 0 1 0 670493461 19562496 4103 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4776 4103 1111 63 0 4713 0
vsize: 19104
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 147311 0 0 0 55615 389 0 0 25 0 1 0 670493461 23789568 4460 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4460 1111 63 0 5745 0
vsize: 23232
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19741
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 149729 0 0 0 56607 396 0 0 25 0 1 0 670493461 19566592 4104 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4777 4104 1111 63 0 4714 0
vsize: 19108
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.92 3/57 19781
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 152308 0 0 0 57593 410 0 0 25 0 1 0 670493461 23642112 4395 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5772 4395 1111 63 0 5709 0
vsize: 23088
[startup+590.011 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 19794
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 154731 0 0 0 58588 416 0 0 25 0 1 0 670493461 19566592 4104 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4777 4104 1111 63 0 4714 0
vsize: 19108
[startup+600.01 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 19794
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 157463 0 0 0 59580 423 0 0 25 0 1 0 670493461 20680704 4145 4294967295 134512640 134714508 3221221792 3221217972 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5049 4145 1111 63 0 4986 0
vsize: 20196
[startup+610.011 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 19794
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 159670 0 0 0 60575 428 0 0 25 0 1 0 670493461 20045824 4137 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4788 4115 1111 63 0 4725 0
vsize: 19576
[startup+620.011 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 19794
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 161989 0 0 0 61570 434 0 0 25 0 1 0 670493461 23429120 4323 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5720 4323 1111 63 0 5657 0
vsize: 22880
[startup+630.011 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 19794
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 163794 0 0 0 62564 440 0 0 25 0 1 0 670493461 19603456 4113 4294967295 134512640 134714508 3221221792 3221220384 134543710 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4786 4113 1111 63 0 4723 0
vsize: 19144
[startup+640.011 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 19794
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 166171 0 0 0 63558 447 0 0 25 0 1 0 670493461 19542016 4098 4294967295 134512640 134714508 3221221792 3221220144 1073987029 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4771 4098 1111 63 0 4708 0
vsize: 19084
[startup+650.011 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 19794
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 168943 0 0 0 64549 455 0 0 25 0 1 0 670493461 19759104 4119 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4824 4119 1111 63 0 4761 0
vsize: 19296
[startup+660.012 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 172217 0 0 0 65539 465 0 0 25 0 1 0 670493461 24072192 4467 4294967295 134512640 134714508 3221221792 3221218256 1075603162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5877 4467 1111 63 0 5814 0
vsize: 23508
[startup+670.012 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 174565 0 0 0 66532 472 0 0 25 0 1 0 670493461 19841024 4171 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4844 4171 1111 63 0 4781 0
vsize: 19376
[startup+680.013 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 177404 0 0 0 67526 479 0 0 25 0 1 0 670493461 23805952 4405 4294967295 134512640 134714508 3221221792 3221218448 1075967942 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5812 4405 1111 63 0 5749 0
vsize: 23248
[startup+690.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 181779 0 0 0 68514 492 0 0 25 0 1 0 670493461 20500480 4329 4294967295 134512640 134714508 3221221792 3221220288 1074154012 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5005 4329 1111 63 0 4942 0
vsize: 20020
[startup+700.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 184612 0 0 0 69508 498 0 0 25 0 1 0 670493461 25120768 4820 4294967295 134512640 134714508 3221221792 3221218560 1076083434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6133 4820 1111 63 0 6070 0
vsize: 24532
[startup+710.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 187841 0 0 0 70499 507 0 0 25 0 1 0 670493461 20324352 4289 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4962 4289 1111 63 0 4899 0
vsize: 19848
[startup+720.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 190904 0 0 0 71492 514 0 0 25 0 1 0 670493461 25096192 4728 4294967295 134512640 134714508 3221221792 3221218392 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6127 4728 1111 63 0 6064 0
vsize: 24508
[startup+730.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 193213 0 0 0 72486 520 0 0 25 0 1 0 670493461 21344256 4535 4294967295 134512640 134714508 3221221792 3221220072 1074138271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5211 4535 1111 63 0 5148 0
vsize: 20844
[startup+740.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 195864 0 0 0 73480 526 0 0 25 0 1 0 670493461 20471808 4325 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4998 4325 1111 63 0 4935 0
vsize: 19992
[startup+750.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 198729 0 0 0 74472 534 0 0 25 0 1 0 670493461 20361216 4298 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4971 4298 1111 63 0 4908 0
vsize: 19884
[startup+760.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 202392 0 0 0 75462 544 0 0 25 0 1 0 670493461 20627456 4362 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5036 4362 1111 63 0 4973 0
vsize: 20144
[startup+770.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 205450 0 0 0 76454 553 0 0 25 0 1 0 670493461 25194496 4808 4294967295 134512640 134714508 3221221792 3221217936 1074971344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6151 4808 1111 63 0 6088 0
vsize: 24604
[startup+780.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 209086 0 0 0 77443 563 0 0 25 0 1 0 670493461 24821760 5026 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6060 5026 1111 63 0 5997 0
vsize: 24240
[startup+790.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 212577 0 0 0 78434 573 0 0 25 0 1 0 670493461 22290432 4765 4294967295 134512640 134714508 3221221792 3221219792 1074916715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5442 4765 1111 63 0 5379 0
vsize: 21768
[startup+800.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 215389 0 0 0 79427 580 0 0 25 0 1 0 670493461 21741568 4635 4294967295 134512640 134714508 3221221792 3221219904 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5308 4635 1111 63 0 5245 0
vsize: 21232
[startup+810.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 218206 0 0 0 80421 587 0 0 25 0 1 0 670493461 21639168 4586 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5283 4586 1111 63 0 5220 0
vsize: 21132
[startup+820.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 221471 0 0 0 81415 593 0 0 25 0 1 0 670493461 21659648 4615 4294967295 134512640 134714508 3221221792 3221220192 1074153806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5288 4615 1111 63 0 5225 0
vsize: 21152
[startup+830.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 224361 0 0 0 82407 601 0 0 25 0 1 0 670493461 21671936 4618 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5291 4618 1111 63 0 5228 0
vsize: 21164
[startup+840.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 226721 0 0 0 83400 608 0 0 25 0 1 0 670493461 21663744 4616 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5289 4616 1111 63 0 5226 0
vsize: 21156
[startup+850.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 230251 0 0 0 84391 617 0 0 25 0 1 0 670493461 26255360 5105 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6410 5105 1111 63 0 6347 0
vsize: 25640
[startup+860.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 233079 0 0 0 85384 624 0 0 25 0 1 0 670493461 26075136 5059 4294967295 134512640 134714508 3221221792 3221218128 1075113508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6366 5059 1111 63 0 6303 0
vsize: 25464
[startup+870.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 235879 0 0 0 86378 630 0 0 25 0 1 0 670493461 26091520 5035 4294967295 134512640 134714508 3221221792 3221218320 1075890974 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6370 5035 1111 63 0 6307 0
vsize: 25480
[startup+880.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 238067 0 0 0 87373 636 0 0 25 0 1 0 670493461 21659648 4617 4294967295 134512640 134714508 3221221792 3221220192 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5288 4617 1111 63 0 5225 0
vsize: 21152
[startup+890.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 240832 0 0 0 88366 643 0 0 25 0 1 0 670493461 21643264 4613 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5284 4613 1111 63 0 5221 0
vsize: 21136
[startup+900.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19796
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 243589 0 0 0 89359 650 0 0 25 0 1 0 670493461 21659648 4617 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5288 4617 1111 63 0 5225 0
vsize: 21152
[startup+910.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 246797 0 0 0 90351 658 0 0 25 0 1 0 670493461 25931776 4965 4294967295 134512640 134714508 3221221792 3221217836 1074873504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6331 4965 1111 63 0 6268 0
vsize: 25324
[startup+920.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 249530 0 0 0 91345 664 0 0 25 0 1 0 670493461 25579520 4829 4294967295 134512640 134714508 3221221792 3221217824 1075965308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6245 4829 1111 63 0 6182 0
vsize: 24980
[startup+930.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 252021 0 0 0 92338 671 0 0 25 0 1 0 670493461 26173440 5061 4294967295 134512640 134714508 3221221792 3221218560 1076084215 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6390 5061 1111 63 0 6327 0
vsize: 25560
[startup+940.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 254946 0 0 0 93331 679 0 0 25 0 1 0 670493461 26243072 5061 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6407 5061 1111 63 0 6344 0
vsize: 25628
[startup+950.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 258024 0 0 0 94324 686 0 0 25 0 1 0 670493461 21643264 4613 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5284 4613 1111 63 0 5221 0
vsize: 21136
[startup+960.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 260611 0 0 0 95318 692 0 0 25 0 1 0 670493461 21659648 4617 4294967295 134512640 134714508 3221221792 3221220096 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5288 4617 1111 63 0 5225 0
vsize: 21152
[startup+970.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 263598 0 0 0 96311 699 0 0 25 0 1 0 670493461 25858048 4991 4294967295 134512640 134714508 3221221792 3221218448 1075967404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6313 4991 1111 63 0 6250 0
vsize: 25252
[startup+980.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 266701 0 0 0 97304 706 0 0 25 0 1 0 670493461 21639168 4612 4294967295 134512640 134714508 3221221792 3221220048 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5283 4612 1111 63 0 5220 0
vsize: 21132
[startup+990.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 269565 0 0 0 98297 713 0 0 25 0 1 0 670493461 26161152 5010 4294967295 134512640 134714508 3221221792 3221218448 1075967892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6387 5010 1111 63 0 6324 0
vsize: 25548
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 272530 0 0 0 99291 720 0 0 25 0 1 0 670493461 26140672 5049 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6382 5049 1111 63 0 6319 0
vsize: 25528
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 275779 0 0 0 100283 728 0 0 25 0 1 0 670493461 21659648 4617 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5288 4617 1111 63 0 5225 0
vsize: 21152
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 278406 0 0 0 101277 734 0 0 25 0 1 0 670493461 21843968 4662 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5333 4662 1111 63 0 5270 0
vsize: 21332
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 281523 0 0 0 102269 742 0 0 25 0 1 0 670493461 26628096 5132 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6501 5132 1111 63 0 6438 0
vsize: 26004
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 284007 0 0 0 103262 750 0 0 25 0 1 0 670493461 26591232 5171 4294967295 134512640 134714508 3221221792 3221218712 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6492 5171 1111 63 0 6429 0
vsize: 25968
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 286473 0 0 0 104257 755 0 0 25 0 1 0 670493461 26624000 5176 4294967295 134512640 134714508 3221221792 3221218712 1074950108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6500 5176 1111 63 0 6437 0
vsize: 26000
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 289332 0 0 0 105250 762 0 0 25 0 1 0 670493461 26632192 5161 4294967295 134512640 134714508 3221221792 3221218012 1075116866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6502 5161 1111 63 0 6439 0
vsize: 26008
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 291864 0 0 0 106244 768 0 0 25 0 1 0 670493461 26611712 5157 4294967295 134512640 134714508 3221221792 3221218832 1075971386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6497 5157 1111 63 0 6434 0
vsize: 25988
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 294560 0 0 0 107239 774 0 0 25 0 1 0 670493461 26062848 5010 4294967295 134512640 134714508 3221221792 3221217952 1075091565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6363 5010 1111 63 0 6300 0
vsize: 25452
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 297359 0 0 0 108232 780 0 0 25 0 1 0 670493461 21655552 4616 4294967295 134512640 134714508 3221221792 3221220032 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4616 1111 63 0 5224 0
vsize: 21148
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 299344 0 0 0 109227 785 0 0 25 0 1 0 670493461 26734592 5227 4294967295 134512640 134714508 3221221792 3221218020 1075115109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6527 5227 1111 63 0 6464 0
vsize: 26108
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 301961 0 0 0 110222 790 0 0 25 0 1 0 670493461 25812992 4929 4294967295 134512640 134714508 3221221792 3221218064 1074960859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6302 4929 1111 63 0 6239 0
vsize: 25208
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 304364 0 0 0 111217 796 0 0 25 0 1 0 670493461 21651456 4615 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5286 4615 1111 63 0 5223 0
vsize: 21144
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 306837 0 0 0 112211 802 0 0 25 0 1 0 670493461 26624000 5205 4294967295 134512640 134714508 3221221792 3221217848 1074789603 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6500 5205 1111 63 0 6437 0
vsize: 26000
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 309808 0 0 0 113204 809 0 0 25 0 1 0 670493461 27201536 5234 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6641 5234 1111 63 0 6578 0
vsize: 26564
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 312512 0 0 0 114197 817 0 0 25 0 1 0 670493461 21782528 4647 4294967295 134512640 134714508 3221221792 3221219840 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5318 4647 1111 63 0 5255 0
vsize: 21272
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 315547 0 0 0 115191 823 0 0 25 0 1 0 670493461 21692416 4625 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5296 4625 1111 63 0 5233 0
vsize: 21184
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 318015 0 0 0 116185 828 0 0 25 0 1 0 670493461 27209728 5313 4294967295 134512640 134714508 3221221792 3221218000 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6643 5313 1111 63 0 6580 0
vsize: 26572
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 320238 0 0 0 117180 834 0 0 25 0 1 0 670493461 26632192 4990 4294967295 134512640 134714508 3221221792 3221218560 1076083494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6502 4990 1111 63 0 6439 0
vsize: 26008
[startup+1180.14 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 19798
Raw data (stat): 19741 (bsolo_lpr_cuts) R 19740 7876 7672 0 -1 0 320238 0 0 0 117180 834 0 0 25 0 1 0 670493461 26632192 4990 4294967295 134512640 134714508 3221221792 3221218560 1076083494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6502 4990 1111 63 0 6439 0
vsize: 0

Child status: 10
Real time (s): 1180.14
CPU time (s): 1180.26
CPU user time (s): 1171.9
CPU system time (s): 8.35973
CPU usage (%): 100.01
Max. virtual memory (Kb): 26572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	376
#### END VERIFIER DATA ####