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/logic-synthesis/normalized-e64.b.opb
MD5SUM	bf7f8537c6faa135d25c67c53576abb5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	49
Optimality of the best value was proved	NO
Number of terms in the objective function	608
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	608
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	608
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.03484
Number of variables	607
Total number of constraints	1053
Number of constraints which are clauses	1022
Number of constraints which are cardinality constraints (but not clauses)	31
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	32
Trace number 23468

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 22:16:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=587 boxname=wulflinc31 idbench=66 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  bf7f8537c6faa135d25c67c53576abb5  /oldhome/oroussel/tmp/wulflinc31/normalized-e64.b.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-e64.b.opb
IDLAUNCH: 587
/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:        917492 kB
Buffers:         40908 kB
Cached:          54096 kB
SwapCached:        944 kB
Active:          79512 kB
Inactive:        17964 kB
HighTotal:      131008 kB
HighFree:        75936 kB
LowTotal:       903652 kB
LowFree:        841556 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14120 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 22:36:01 (client local time) WITH STATUS 10 IN 1175.32 SECONDS
stats: 587 0 1175.32 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 608 variables and 1022 constraints.
c After prepocess the problem consists of 608 variables and 958 constraints.
c preprocess terminated 0.487 s
c Initial Lower Bound: 37
c Lower Bound Elapsed time: 0.39575
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 53 @ 8.632
c NEW SOLUTION FOUND: 52 @ 14.393
c NEW SOLUTION FOUND: 51 @ 356.63
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 
c Exit Code: 10
c Total time: 1175.29 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.92 0.98 0.99 2/54 6694
Raw data (stat): 6694 (runsolver) R 6693 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 652287324 1056768 100 4294967295 134512640 135381576 3221221696 3221216912 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 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 6375 0 0 0 976 19 0 0 25 0 1 0 652287324 8237056 1250 4294967295 134512640 134714508 3221221792 3221217756 1074860611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2011 1250 1111 63 0 1948 0
vsize: 8044
[startup+20.001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 18100 0 0 0 1946 49 0 0 25 0 1 0 652287324 9601024 1568 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2344 1568 1111 63 0 2281 0
vsize: 9376
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 27173 0 0 0 2921 74 0 0 25 0 1 0 652287324 10133504 1719 4294967295 134512640 134714508 3221221792 3221217952 1075095094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2474 1719 1111 63 0 2411 0
vsize: 9896
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 38756 0 0 0 3889 107 0 0 25 0 1 0 652287324 10186752 1801 4294967295 134512640 134714508 3221221792 3221220332 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2487 1801 1111 63 0 2424 0
vsize: 9948
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 51514 0 0 0 4855 141 0 0 25 0 1 0 652287324 11100160 1979 4294967295 134512640 134714508 3221221792 3221219812 1074786588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2710 1979 1111 63 0 2647 0
vsize: 10840
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 63529 0 0 0 5823 173 0 0 25 0 1 0 652287324 12075008 2194 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2948 2194 1111 63 0 2885 0
vsize: 11792
[startup+70.0047 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 74341 0 0 0 6793 203 0 0 25 0 1 0 652287324 12677120 2373 4294967295 134512640 134714508 3221221792 3221218064 1074960944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3095 2373 1111 63 0 3032 0
vsize: 12380
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 84642 0 0 0 7767 229 0 0 25 0 1 0 652287324 12746752 2396 4294967295 134512640 134714508 3221221792 3221219520 1075828508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3112 2396 1111 63 0 3049 0
vsize: 12448
[startup+90.0069 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 94961 0 0 0 8740 256 0 0 25 0 1 0 652287324 12546048 2378 4294967295 134512640 134714508 3221221792 3221219344 134650134 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3063 2378 1111 63 0 3000 0
vsize: 12252
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 107891 0 0 0 9710 287 0 0 25 0 1 0 652287324 13369344 2548 4294967295 134512640 134714508 3221221792 3221219072 1074140374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2548 1111 63 0 3201 0
vsize: 13056
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 119005 0 0 0 10682 315 0 0 25 0 1 0 652287324 13115392 2511 4294967295 134512640 134714508 3221221792 3221219792 1074918550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3202 2511 1111 63 0 3139 0
vsize: 12808
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 130687 0 0 0 11651 346 0 0 25 0 1 0 652287324 12955648 2479 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2479 1111 63 0 3100 0
vsize: 12652
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 139848 0 0 0 12625 371 0 0 25 0 1 0 652287324 13664256 2652 4294967295 134512640 134714508 3221221792 3221219792 1074918266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3336 2652 1111 63 0 3273 0
vsize: 13344
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 150868 0 0 0 13596 401 0 0 25 0 1 0 652287324 14290944 2773 4294967295 134512640 134714508 3221221792 3221218984 1074138322 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3489 2773 1111 63 0 3426 0
vsize: 13956
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 159012 0 0 0 14572 425 0 0 25 0 1 0 652287324 14450688 2812 4294967295 134512640 134714508 3221221792 3221218896 1074138729 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3528 2812 1111 63 0 3465 0
vsize: 14112
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 168975 0 0 0 15545 452 0 0 25 0 1 0 652287324 14614528 2884 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3568 2884 1111 63 0 3505 0
vsize: 14272
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 179683 0 0 0 16517 480 0 0 25 0 1 0 652287324 15376384 3025 4294967295 134512640 134714508 3221221792 3221219072 1074140041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3754 3025 1111 63 0 3691 0
vsize: 15016
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 191582 0 0 0 17487 510 0 0 25 0 1 0 652287324 16424960 3266 4294967295 134512640 134714508 3221221792 3221218712 1074950096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4010 3266 1111 63 0 3947 0
vsize: 16040
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 202619 0 0 0 18460 538 0 0 25 0 1 0 652287324 15994880 3215 4294967295 134512640 134714508 3221221792 3221219136 1074839048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3905 3215 1111 63 0 3842 0
vsize: 15620
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 211256 0 0 0 19439 558 0 0 25 0 1 0 652287324 16424960 3313 4294967295 134512640 134714508 3221221792 3221219072 1074140035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4010 3317 1111 63 0 3947 0
vsize: 16040
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 220400 0 0 0 20418 580 0 0 25 0 1 0 652287324 16465920 3336 4294967295 134512640 134714508 3221221792 3221219408 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4020 3336 1111 63 0 3957 0
vsize: 16080
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 229040 0 0 0 21395 603 0 0 25 0 1 0 652287324 16465920 3336 4294967295 134512640 134714508 3221221792 3221219056 1073986821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4020 3336 1111 63 0 3957 0
vsize: 16080
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 241954 0 0 0 22363 636 0 0 25 0 1 0 652287324 17047552 3468 4294967295 134512640 134714508 3221221792 3221219072 1074140041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4162 3471 1111 63 0 4099 0
vsize: 16648
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 255946 0 0 0 23331 667 0 0 25 0 1 0 652287324 16936960 3451 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4135 3451 1111 63 0 4072 0
vsize: 16540
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 270704 0 0 0 24299 700 0 0 25 0 1 0 652287324 18104320 3656 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4420 3656 1111 63 0 4357 0
vsize: 17680
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 283324 0 0 0 25268 731 0 0 25 0 1 0 652287324 17465344 3581 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4264 3581 1111 63 0 4201 0
vsize: 17056
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 295608 0 0 0 26240 759 0 0 25 0 1 0 652287324 17694720 3610 4294967295 134512640 134714508 3221221792 3221220128 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4320 3610 1111 63 0 4257 0
vsize: 17280
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 309738 0 0 0 27209 790 0 0 25 0 1 0 652287324 17825792 3642 4294967295 134512640 134714508 3221221792 3221219088 1076999584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4352 3642 1111 63 0 4289 0
vsize: 17408
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 322095 0 0 0 28180 819 0 0 25 0 1 0 652287324 19136512 3936 4294967295 134512640 134714508 3221221792 3221217756 1074860632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4672 3936 1111 63 0 4609 0
vsize: 18688
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 335166 0 0 0 29149 850 0 0 25 0 1 0 652287324 18407424 3811 4294967295 134512640 134714508 3221221792 3221219888 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4494 3811 1111 63 0 4431 0
vsize: 17976
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 346199 0 0 0 30123 876 0 0 25 0 1 0 652287324 18608128 3860 4294967295 134512640 134714508 3221221792 3221219696 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4543 3860 1111 63 0 4480 0
vsize: 18172
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 358386 0 0 0 31097 903 0 0 25 0 1 0 652287324 19439616 4054 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4746 4054 1111 63 0 4683 0
vsize: 18984
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 372209 0 0 0 32065 935 0 0 25 0 1 0 652287324 19578880 4076 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4076 1111 63 0 4717 0
vsize: 19120
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 385886 0 0 0 33032 968 0 0 25 0 1 0 652287324 20426752 4194 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4987 4194 1111 63 0 4924 0
vsize: 19948
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 397908 0 0 0 34004 996 0 0 25 0 1 0 652287324 19898368 4174 4294967295 134512640 134714508 3221221792 3221220272 1074031945 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4858 4174 1111 63 0 4795 0
vsize: 19432
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 410995 0 0 0 34974 1026 0 0 25 0 1 0 652287324 20234240 4257 4294967295 134512640 134714508 3221221792 3221219536 1075636586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4940 4257 1111 63 0 4877 0
vsize: 19760
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 420755 0 0 0 35948 1052 0 0 25 0 1 0 652287324 22056960 4601 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5385 4601 1111 63 0 5322 0
vsize: 21540
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 430378 0 0 0 36926 1074 0 0 25 0 1 0 652287324 22691840 4834 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5540 4834 1111 63 0 5477 0
vsize: 22160
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 439011 0 0 0 37903 1097 0 0 25 0 1 0 652287324 20406272 4299 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4982 4299 1111 63 0 4919 0
vsize: 19928
[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 450166 0 0 0 38875 1125 0 0 25 0 1 0 652287324 20381696 4264 4294967295 134512640 134714508 3221221792 3221220072 1074138113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4976 4264 1111 63 0 4913 0
vsize: 19904
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 461860 0 0 0 39848 1152 0 0 25 0 1 0 652287324 20623360 4341 4294967295 134512640 134714508 3221221792 3221220296 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5035 4341 1111 63 0 4972 0
vsize: 20140
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 473437 0 0 0 40823 1177 0 0 25 0 1 0 652287324 22781952 4755 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5562 4756 1111 63 0 5499 0
vsize: 22248
[startup+430.016 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 485661 0 0 0 41793 1208 0 0 25 0 1 0 652287324 21602304 4591 4294967295 134512640 134714508 3221221792 3221219520 1075828500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5274 4591 1111 63 0 5211 0
vsize: 21096
[startup+440.017 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 497017 0 0 0 42766 1235 0 0 25 0 1 0 652287324 21585920 4573 4294967295 134512640 134714508 3221221792 3221219904 1074867331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5270 4573 1111 63 0 5207 0
vsize: 21080
[startup+450.018 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 508350 0 0 0 43740 1262 0 0 25 0 1 0 652287324 22839296 4789 4294967295 134512640 134714508 3221221792 3221217848 1074789593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5576 4789 1111 63 0 5513 0
vsize: 22304
[startup+460.018 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 520283 0 0 0 44711 1291 0 0 25 0 1 0 652287324 20897792 4419 4294967295 134512640 134714508 3221221792 3221220616 134558593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5102 4419 1111 63 0 5039 0
vsize: 20408
[startup+470.018 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 534207 0 0 0 45678 1324 0 0 25 0 1 0 652287324 21110784 4439 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5154 4439 1111 63 0 5091 0
vsize: 20616
[startup+480.018 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 546557 0 0 0 46649 1353 0 0 25 0 1 0 652287324 20811776 4396 4294967295 134512640 134714508 3221221792 3221219528 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4396 1111 63 0 5018 0
vsize: 20324
[startup+490.019 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 557480 0 0 0 47623 1379 0 0 25 0 1 0 652287324 22183936 4720 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5416 4720 1111 63 0 5353 0
vsize: 21664
[startup+500.019 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 570191 0 0 0 48593 1409 0 0 25 0 1 0 652287324 20901888 4420 4294967295 134512640 134714508 3221221792 3221219348 1077374583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5103 4420 1111 63 0 5040 0
vsize: 20412
[startup+510.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 580631 0 0 0 49568 1434 0 0 25 0 1 0 652287324 21590016 4572 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 4572 1111 63 0 5208 0
vsize: 21084
[startup+520.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 592777 0 0 0 50539 1464 0 0 25 0 1 0 652287324 20910080 4422 4294967295 134512640 134714508 3221221792 3221220040 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4422 1111 63 0 5042 0
vsize: 20420
[startup+530.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 606081 0 0 0 51506 1497 0 0 25 0 1 0 652287324 21504000 4546 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5250 4546 1111 63 0 5187 0
vsize: 21000
[startup+540.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 618669 0 0 0 52474 1529 0 0 25 0 1 0 652287324 21626880 4597 4294967295 134512640 134714508 3221221792 3221218636 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5280 4597 1111 63 0 5217 0
vsize: 21120
[startup+550.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 630998 0 0 0 53445 1558 0 0 25 0 1 0 652287324 21843968 4626 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5333 4633 1111 63 0 5270 0
vsize: 21332
[startup+560.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 643952 0 0 0 54415 1589 0 0 25 0 1 0 652287324 21733376 4623 4294967295 134512640 134714508 3221221792 3221218464 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5306 4623 1111 63 0 5243 0
vsize: 21224
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 656373 0 0 0 55387 1617 0 0 25 0 1 0 652287324 23941120 5098 4294967295 134512640 134714508 3221221792 3221217632 1075965307 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5845 5098 1111 63 0 5782 0
vsize: 23380
[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 669629 0 0 0 56352 1651 0 0 25 0 1 0 652287324 21590016 4570 4294967295 134512640 134714508 3221221792 3221217448 1077380786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 4570 1111 63 0 5208 0
vsize: 21084
[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 681030 0 0 0 57325 1678 0 0 25 0 1 0 652287324 23404544 5031 4294967295 134512640 134714508 3221221792 3221218984 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5714 5031 1111 63 0 5651 0
vsize: 22856
[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 692470 0 0 0 58298 1706 0 0 25 0 1 0 652287324 22110208 4697 4294967295 134512640 134714508 3221221792 3221219408 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5398 4697 1111 63 0 5335 0
vsize: 21592
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 704592 0 0 0 59270 1734 0 0 25 0 1 0 652287324 22159360 4733 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5410 4733 1111 63 0 5347 0
vsize: 21640
[startup+620.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 715692 0 0 0 60243 1761 0 0 25 0 1 0 652287324 23474176 5054 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5731 5054 1111 63 0 5668 0
vsize: 22924
[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 727791 0 0 0 61214 1790 0 0 25 0 1 0 652287324 22786048 4854 4294967295 134512640 134714508 3221221792 3221220096 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5563 4854 1111 63 0 5500 0
vsize: 22252
[startup+640.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 740508 0 0 0 62184 1821 0 0 25 0 1 0 652287324 24256512 5040 4294967295 134512640 134714508 3221221792 3221217952 1075091819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5922 5041 1111 63 0 5859 0
vsize: 23688
[startup+650.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 752570 0 0 0 63156 1849 0 0 25 0 1 0 652287324 24457216 5098 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5971 5098 1111 63 0 5908 0
vsize: 23884
[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 763894 0 0 0 64130 1875 0 0 25 0 1 0 652287324 22704128 4866 4294967295 134512640 134714508 3221221792 3221218848 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5543 4866 1111 63 0 5480 0
vsize: 22172
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 775999 0 0 0 65103 1902 0 0 25 0 1 0 652287324 23162880 4975 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5655 4975 1111 63 0 5592 0
vsize: 22620
[startup+680.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 787921 0 0 0 66074 1931 0 0 25 0 1 0 652287324 24936448 5245 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6088 5245 1111 63 0 6025 0
vsize: 24352
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 798911 0 0 0 67048 1958 0 0 25 0 1 0 652287324 25210880 5426 4294967295 134512640 134714508 3221221792 3221217688 1074789711 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6155 5426 1111 63 0 6092 0
vsize: 24620
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 808002 0 0 0 68024 1981 0 0 25 0 1 0 652287324 24264704 5247 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5924 5247 1111 63 0 5861 0
vsize: 23696
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 821805 0 0 0 68991 2015 0 0 25 0 1 0 652287324 23568384 5077 4294967295 134512640 134714508 3221221792 3221219536 1075640393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5754 5077 1111 63 0 5691 0
vsize: 23016
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 834004 0 0 0 69962 2043 0 0 25 0 1 0 652287324 23629824 5060 4294967295 134512640 134714508 3221221792 3221220320 134648171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5769 5060 1111 63 0 5706 0
vsize: 23076
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 847360 0 0 0 70931 2075 0 0 25 0 1 0 652287324 23736320 5099 4294967295 134512640 134714508 3221221792 3221219600 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5795 5099 1111 63 0 5732 0
vsize: 23180
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 859543 0 0 0 71903 2104 0 0 25 0 1 0 652287324 25821184 5490 4294967295 134512640 134714508 3221221792 3221218392 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6304 5490 1111 63 0 6241 0
vsize: 25216
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 870248 0 0 0 72878 2129 0 0 25 0 1 0 652287324 24317952 5228 4294967295 134512640 134714508 3221221792 3221219944 1074950117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5937 5228 1111 63 0 5874 0
vsize: 23748
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 883141 0 0 0 73849 2158 0 0 25 0 1 0 652287324 23625728 5091 4294967295 134512640 134714508 3221221792 3221219072 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5768 5091 1111 63 0 5705 0
vsize: 23072
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 895042 0 0 0 74820 2187 0 0 25 0 1 0 652287324 23711744 5112 4294967295 134512640 134714508 3221221792 3221219632 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5789 5112 1111 63 0 5726 0
vsize: 23156
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 907574 0 0 0 75789 2218 0 0 25 0 1 0 652287324 24657920 5312 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6020 5312 1111 63 0 5957 0
vsize: 24080
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 918764 0 0 0 76761 2246 0 0 25 0 1 0 652287324 26542080 5785 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6480 5785 1111 63 0 6417 0
vsize: 25920
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 933314 0 0 0 77727 2280 0 0 25 0 1 0 652287324 26083328 5568 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6368 5568 1111 63 0 6305 0
vsize: 25472
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 946762 0 0 0 78698 2309 0 0 25 0 1 0 652287324 24887296 5398 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6076 5398 1111 63 0 6013 0
vsize: 24304
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 960867 0 0 0 79665 2343 0 0 25 0 1 0 652287324 26157056 5637 4294967295 134512640 134714508 3221221792 3221217756 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6386 5637 1111 63 0 6323 0
vsize: 25544
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 974769 0 0 0 80631 2376 0 0 25 0 1 0 652287324 26324992 5633 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6427 5641 1111 63 0 6364 0
vsize: 25708
[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 986544 0 0 0 81604 2404 0 0 25 0 1 0 652287324 24645632 5340 4294967295 134512640 134714508 3221221792 3221220208 1074116245 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6017 5340 1111 63 0 5954 0
vsize: 24068
[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1000482 0 0 0 82571 2437 0 0 25 0 1 0 652287324 26525696 5652 4294967295 134512640 134714508 3221221792 3221217952 1075091857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6476 5652 1111 63 0 6413 0
vsize: 25904
[startup+860.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1014077 0 0 0 83539 2469 0 0 25 0 1 0 652287324 26804224 5808 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6544 5808 1111 63 0 6481 0
vsize: 26176
[startup+870.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1027665 0 0 0 84508 2500 0 0 25 0 1 0 652287324 26865664 5782 4294967295 134512640 134714508 3221221792 3221218864 1074867283 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6559 5782 1111 63 0 6496 0
vsize: 26236
[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1040977 0 0 0 85477 2532 0 0 25 0 1 0 652287324 25051136 5407 4294967295 134512640 134714508 3221221792 3221220112 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6116 5407 1111 63 0 6053 0
vsize: 24464
[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1053138 0 0 0 86448 2561 0 0 25 0 1 0 652287324 26427392 5775 4294967295 134512640 134714508 3221221792 3221219792 1074918944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5775 1111 63 0 6389 0
vsize: 25808
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1064139 0 0 0 87422 2587 0 0 25 0 1 0 652287324 26714112 5843 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6522 5843 1111 63 0 6459 0
vsize: 26088
[startup+910.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1075921 0 0 0 88394 2615 0 0 25 0 1 0 652287324 26648576 5829 4294967295 134512640 134714508 3221221792 3221218984 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6506 5829 1111 63 0 6443 0
vsize: 26024
[startup+920.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1084266 0 0 0 89374 2635 0 0 25 0 1 0 652287324 25927680 5647 4294967295 134512640 134714508 3221221792 3221219840 1074140701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6330 5647 1111 63 0 6267 0
vsize: 25320
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1095552 0 0 0 90344 2665 0 0 25 0 1 0 652287324 25387008 5521 4294967295 134512640 134714508 3221221792 3221219408 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6198 5521 1111 63 0 6135 0
vsize: 24792
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1106091 0 0 0 91318 2692 0 0 25 0 1 0 652287324 25255936 5489 4294967295 134512640 134714508 3221221792 3221218480 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6166 5489 1111 63 0 6103 0
vsize: 24664
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1118532 0 0 0 92288 2722 0 0 25 0 1 0 652287324 27238400 5824 4294967295 134512640 134714508 3221221792 3221218448 1075967895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6650 5834 1111 63 0 6587 0
vsize: 26600
[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1127345 0 0 0 93267 2743 0 0 25 0 1 0 652287324 25497600 5548 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6225 5548 1111 63 0 6162 0
vsize: 24900
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1136855 0 0 0 94244 2767 0 0 25 0 1 0 652287324 27037696 5924 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6601 5924 1111 63 0 6538 0
vsize: 26404
[startup+980.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1147794 0 0 0 95218 2792 0 0 25 0 1 0 652287324 25669632 5590 4294967295 134512640 134714508 3221221792 3221220128 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6267 5590 1111 63 0 6204 0
vsize: 25068
[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1158204 0 0 0 96194 2816 0 0 25 0 1 0 652287324 25718784 5602 4294967295 134512640 134714508 3221221792 3221219312 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6279 5602 1111 63 0 6216 0
vsize: 25116
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1168912 0 0 0 97170 2841 0 0 25 0 1 0 652287324 26177536 5699 4294967295 134512640 134714508 3221221792 3221220272 1074031945 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6391 5699 1111 63 0 6328 0
vsize: 25564
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1178585 0 0 0 98145 2866 0 0 25 0 1 0 652287324 26161152 5706 4294967295 134512640 134714508 3221221792 3221219788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6387 5706 1111 63 0 6324 0
vsize: 25548
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1188563 0 0 0 99122 2890 0 0 25 0 1 0 652287324 27250688 5976 4294967295 134512640 134714508 3221221792 3221220072 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6653 5976 1111 63 0 6590 0
vsize: 26612
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1197551 0 0 0 100100 2911 0 0 25 0 1 0 652287324 26873856 5884 4294967295 134512640 134714508 3221221792 3221218896 1074138752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6561 5884 1111 63 0 6498 0
vsize: 26244
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1206549 0 0 0 101077 2935 0 0 25 0 1 0 652287324 27652096 6039 4294967295 134512640 134714508 3221221792 3221219904 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6751 6039 1111 63 0 6688 0
vsize: 27004
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1217288 0 0 0 102050 2962 0 0 25 0 1 0 652287324 25989120 5648 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6345 5648 1111 63 0 6282 0
vsize: 25380
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1225809 0 0 0 103028 2984 0 0 25 0 1 0 652287324 26017792 5675 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6352 5675 1111 63 0 6289 0
vsize: 25408
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1234821 0 0 0 104006 3006 0 0 25 0 1 0 652287324 27758592 6071 4294967295 134512640 134714508 3221221792 3221219520 1075828444 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6777 6071 1111 63 0 6714 0
vsize: 27108
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1244301 0 0 0 104983 3030 0 0 25 0 1 0 652287324 26230784 5727 4294967295 134512640 134714508 3221221792 3221219856 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6404 5727 1111 63 0 6341 0
vsize: 25616
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1254683 0 0 0 105960 3052 0 0 25 0 1 0 652287324 26128384 5702 4294967295 134512640 134714508 3221221792 3221217968 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6379 5702 1111 63 0 6316 0
vsize: 25516
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1261194 0 0 0 106945 3068 0 0 25 0 1 0 652287324 26583040 5813 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6490 5813 1111 63 0 6427 0
vsize: 25960
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1265824 0 0 0 107934 3079 0 0 25 0 1 0 652287324 28270592 6225 4294967295 134512640 134714508 3221221792 3221218896 1074139041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6902 6225 1111 63 0 6839 0
vsize: 27608
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1272826 0 0 0 108917 3097 0 0 25 0 1 0 652287324 27365376 6001 4294967295 134512640 134714508 3221221792 3221220300 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6681 6001 1111 63 0 6618 0
vsize: 26724
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1281746 0 0 0 109895 3118 0 0 25 0 1 0 652287324 26173440 5713 4294967295 134512640 134714508 3221221792 3221220128 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6390 5713 1111 63 0 6327 0
vsize: 25560
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1284866 0 0 0 110887 3127 0 0 25 0 1 0 652287324 26836992 5875 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6552 5875 1111 63 0 6489 0
vsize: 26208
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1290325 0 0 0 111873 3141 0 0 25 0 1 0 652287324 27922432 6140 4294967295 134512640 134714508 3221221792 3221218952 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6817 6140 1111 63 0 6754 0
vsize: 27268
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1297258 0 0 0 112856 3158 0 0 25 0 1 0 652287324 26718208 5846 4294967295 134512640 134714508 3221221792 3221218656 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6523 5846 1111 63 0 6460 0
vsize: 26092
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1303609 0 0 0 113841 3173 0 0 25 0 1 0 652287324 26836992 5875 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6552 5875 1111 63 0 6489 0
vsize: 26208
[startup+1175.21 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 6694
Raw data (stat): 6694 (bsolo_lpr_cuts) R 6693 7876 7672 0 -1 0 1303609 0 0 0 113841 3173 0 0 25 0 1 0 652287324 26836992 5875 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6552 5875 1111 63 0 6489 0
vsize: 0

Child status: 10
Real time (s): 1175.21
CPU time (s): 1175.32
CPU user time (s): 1143.44
CPU system time (s): 31.8852
CPU usage (%): 100.01
Max. virtual memory (Kb): 27608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	51
#### END VERIFIER DATA ####