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 40617

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        771160 kB
Buffers:         29792 kB
Cached:         211692 kB
SwapCached:       1344 kB
Active:          41120 kB
Inactive:       202340 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        770908 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14352 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:40:02 (client local time) WITH STATUS 10 IN 1175.27 SECONDS
stats: 28680 0 1175.27 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.476 s
c Initial Lower Bound: 37
c Lower Bound Elapsed time: 0.5585
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 54 @ 8.844
c NEW SOLUTION FOUND: 53 @ 9.504
c NEW SOLUTION FOUND: 52 @ 15.034
c NEW SOLUTION FOUND: 51 @ 26.94
c NEW SOLUTION FOUND: 50 @ 96.63
c NEW SOLUTION FOUND: 49 @ 919.298
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.24 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.71 0.91 0.90 2/54 11996
Raw data (stat): 11996 (runsolver) R 11995 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903391302 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.75 0.91 0.90 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 6590 0 0 0 979 17 0 0 25 0 1 0 903391302 7938048 1245 4294967295 134512640 134716908 3221224576 3221222912 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1938 1245 1111 63 0 1875 0
vsize: 7752
[startup+20.0008 s]
Raw data (loadavg): 0.79 0.91 0.90 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 16760 0 0 0 1952 44 0 0 25 0 1 0 903391302 9506816 1535 4294967295 134512640 134716908 3221224576 3221220944 1075894549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2321 1535 1111 63 0 2258 0
vsize: 9284
[startup+30.0017 s]
Raw data (loadavg): 0.82 0.92 0.90 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 26758 0 0 0 2926 70 0 0 25 0 1 0 903391302 9748480 1693 4294967295 134512640 134716908 3221224576 3221222912 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2380 1693 1111 63 0 2317 0
vsize: 9520
[startup+40.0014 s]
Raw data (loadavg): 0.85 0.92 0.90 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 35771 0 0 0 3905 91 0 0 25 0 1 0 903391302 11075584 1955 4294967295 134512640 134716908 3221224576 3221220720 1074969680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2704 1955 1111 63 0 2641 0
vsize: 10816
[startup+50.0008 s]
Raw data (loadavg): 0.87 0.92 0.90 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 45843 0 0 0 4880 116 0 0 25 0 1 0 903391302 11341824 2082 4294967295 134512640 134716908 3221224576 3221222216 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2746 2059 1111 63 0 2683 0
vsize: 11076
[startup+60.0008 s]
Raw data (loadavg): 0.89 0.92 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 55474 0 0 0 5858 138 0 0 25 0 1 0 903391302 11890688 2190 4294967295 134512640 134716908 3221224576 3221222224 1075818272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2903 2190 1111 63 0 2840 0
vsize: 11612
[startup+70.0015 s]
Raw data (loadavg): 0.91 0.92 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 66087 0 0 0 6833 163 0 0 25 0 1 0 903391302 13221888 2476 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2477 1111 63 0 3165 0
vsize: 12912
[startup+80.0029 s]
Raw data (loadavg): 0.92 0.93 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 75719 0 0 0 7811 186 0 0 25 0 1 0 903391302 12611584 2392 4294967295 134512640 134716908 3221224576 3221222672 1074153029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3079 2392 1111 63 0 3016 0
vsize: 12316
[startup+90.0029 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 85767 0 0 0 8786 211 0 0 25 0 1 0 903391302 13672448 2589 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3224 2537 1111 63 0 3161 0
vsize: 13352
[startup+100.003 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 96057 0 0 0 9763 234 0 0 25 0 1 0 903391302 13967360 2682 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3410 2682 1111 63 0 3347 0
vsize: 13640
[startup+110.003 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 105888 0 0 0 10741 256 0 0 25 0 1 0 903391302 13811712 2685 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3372 2685 1111 63 0 3309 0
vsize: 13488
[startup+120.003 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 115599 0 0 0 11717 280 0 0 25 0 1 0 903391302 14618624 2824 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2824 1111 63 0 3506 0
vsize: 14276
[startup+130.004 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 124443 0 0 0 12695 302 0 0 25 0 1 0 903391302 14700544 2899 4294967295 134512640 134716908 3221224576 3221222576 1074916735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2899 1111 63 0 3526 0
vsize: 14356
[startup+140.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 134492 0 0 0 13672 325 0 0 25 0 1 0 903391302 15724544 3089 4294967295 134512640 134716908 3221224576 3221220688 1075895901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3839 3089 1111 63 0 3776 0
vsize: 15356
[startup+150.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 143356 0 0 0 14652 345 0 0 25 0 1 0 903391302 16019456 3161 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3911 3161 1111 63 0 3848 0
vsize: 15644
[startup+160.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 152137 0 0 0 15629 369 0 0 25 0 1 0 903391302 15806464 3167 4294967295 134512640 134716908 3221224576 3221222576 1074918201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 3167 1111 63 0 3796 0
vsize: 15436
[startup+170.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 161533 0 0 0 16607 391 0 0 25 0 1 0 903391302 16187392 3248 4294967295 134512640 134716908 3221224576 3221221768 1074138262 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3952 3248 1111 63 0 3889 0
vsize: 15808
[startup+180.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 170858 0 0 0 17583 415 0 0 25 0 1 0 903391302 17281024 3453 4294967295 134512640 134716908 3221224576 3221221120 1075088581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4219 3453 1111 63 0 4156 0
vsize: 16876
[startup+190.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 181037 0 0 0 18558 440 0 0 25 0 1 0 903391302 16998400 3415 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4150 3415 1111 63 0 4087 0
vsize: 16600
[startup+200.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 190459 0 0 0 19537 462 0 0 25 0 1 0 903391302 16777216 3409 4294967295 134512640 134716908 3221224576 3221222912 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3409 1111 63 0 4033 0
vsize: 16384
[startup+210.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 199828 0 0 0 20512 487 0 0 25 0 1 0 903391302 17018880 3468 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4155 3468 1111 63 0 4092 0
vsize: 16620
[startup+220.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 208336 0 0 0 21491 508 0 0 25 0 1 0 903391302 17776640 3634 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4340 3634 1111 63 0 4277 0
vsize: 17360
[startup+230.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 217546 0 0 0 22469 530 0 0 25 0 1 0 903391302 18690048 3773 4294967295 134512640 134716908 3221224576 3221220804 1075115057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4563 3773 1111 63 0 4500 0
vsize: 18252
[startup+240.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 226252 0 0 0 23450 549 0 0 25 0 1 0 903391302 18104320 3733 4294967295 134512640 134716908 3221224576 3221222788 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4420 3733 1111 63 0 4357 0
vsize: 17680
[startup+250.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 235356 0 0 0 24429 571 0 0 25 0 1 0 903391302 18239488 3766 4294967295 134512640 134716908 3221224576 3221222576 1074140704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4453 3766 1111 63 0 4390 0
vsize: 17812
[startup+260.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 244616 0 0 0 25407 593 0 0 25 0 1 0 903391302 19566592 4021 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4777 4021 1111 63 0 4714 0
vsize: 19108
[startup+270.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 253881 0 0 0 26386 614 0 0 25 0 1 0 903391302 18817024 3917 4294967295 134512640 134716908 3221224576 3221221696 1074865632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4594 3917 1111 63 0 4531 0
vsize: 18376
[startup+280.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 261704 0 0 0 27367 634 0 0 25 0 1 0 903391302 19333120 4012 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4720 4012 1111 63 0 4657 0
vsize: 18880
[startup+290.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 269598 0 0 0 28348 652 0 0 25 0 1 0 903391302 20234240 4196 4294967295 134512640 134716908 3221224576 3221221124 1076049898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4940 4196 1111 63 0 4877 0
vsize: 19760
[startup+300.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 278814 0 0 0 29327 674 0 0 25 0 1 0 903391302 20385792 4228 4294967295 134512640 134716908 3221224576 3221221168 1074885670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4977 4228 1111 63 0 4914 0
vsize: 19908
[startup+310.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 287813 0 0 0 30304 697 0 0 25 0 1 0 903391302 20709376 4304 4294967295 134512640 134716908 3221224576 3221220668 1074789412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4304 1111 63 0 4993 0
vsize: 20224
[startup+320.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 297411 0 0 0 31282 719 0 0 25 0 1 0 903391302 20488192 4326 4294967295 134512640 134716908 3221224576 3221221920 1074839039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5002 4326 1111 63 0 4939 0
vsize: 20008
[startup+330.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 306017 0 0 0 32260 741 0 0 25 0 1 0 903391302 20422656 4287 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4986 4287 1111 63 0 4923 0
vsize: 19944
[startup+340.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 313958 0 0 0 33240 761 0 0 25 0 1 0 903391302 21028864 4391 4294967295 134512640 134716908 3221224576 3221222144 1075972440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5134 4392 1111 63 0 5071 0
vsize: 20536
[startup+350.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 322403 0 0 0 34221 780 0 0 25 0 1 0 903391302 20717568 4382 4294967295 134512640 134716908 3221224576 3221222696 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5058 4382 1111 63 0 4995 0
vsize: 20232
[startup+360.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 331493 0 0 0 35199 803 0 0 25 0 1 0 903391302 21065728 4467 4294967295 134512640 134716908 3221224576 3221222672 1074153742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5143 4467 1111 63 0 5080 0
vsize: 20572
[startup+370.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 340119 0 0 0 36179 823 0 0 25 0 1 0 903391302 21557248 4561 4294967295 134512640 134716908 3221224576 3221222224 1075818361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5263 4561 1111 63 0 5200 0
vsize: 21052
[startup+380.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 348816 0 0 0 37159 843 0 0 25 0 1 0 903391302 21417984 4553 4294967295 134512640 134716908 3221224576 3221222912 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5229 4553 1111 63 0 5166 0
vsize: 20916
[startup+390.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 357679 0 0 0 38138 865 0 0 25 0 1 0 903391302 21659648 4612 4294967295 134512640 134716908 3221224576 3221222528 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5288 4612 1111 63 0 5225 0
vsize: 21152
[startup+400.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 366468 0 0 0 39116 887 0 0 25 0 1 0 903391302 22286336 4736 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5441 4736 1111 63 0 5378 0
vsize: 21764
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 374452 0 0 0 40097 906 0 0 25 0 1 0 903391302 22077440 4686 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5390 4686 1111 63 0 5327 0
vsize: 21560
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 383410 0 0 0 41074 929 0 0 25 0 1 0 903391302 23306240 4941 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5690 4941 1111 63 0 5627 0
vsize: 22760
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 391489 0 0 0 42053 950 0 0 25 0 1 0 903391302 23171072 4950 4294967295 134512640 134716908 3221224576 3221222304 1075830000 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5657 4950 1111 63 0 5594 0
vsize: 22628
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 398970 0 0 0 43035 968 0 0 25 0 1 0 903391302 23142400 4942 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5650 4942 1111 63 0 5587 0
vsize: 22600
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 406696 0 0 0 44017 987 0 0 25 0 1 0 903391302 22872064 4908 4294967295 134512640 134716908 3221224576 3221222688 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5584 4908 1111 63 0 5521 0
vsize: 22336
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 414322 0 0 0 44999 1005 0 0 25 0 1 0 903391302 23543808 5027 4294967295 134512640 134716908 3221224576 3221222304 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 5027 1111 63 0 5685 0
vsize: 22992
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 423583 0 0 0 45978 1027 0 0 25 0 1 0 903391302 23752704 5086 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5799 5086 1111 63 0 5736 0
vsize: 23196
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 433197 0 0 0 46955 1050 0 0 25 0 1 0 903391302 23617536 5091 4294967295 134512640 134716908 3221224576 3221223040 1074121052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5766 5091 1111 63 0 5703 0
vsize: 23064
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 443578 0 0 0 47931 1074 0 0 25 0 1 0 903391302 24268800 5218 4294967295 134512640 134716908 3221224576 3221222576 1074916737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5925 5218 1111 63 0 5862 0
vsize: 23700
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 451457 0 0 0 48911 1093 0 0 25 0 1 0 903391302 24199168 5230 4294967295 134512640 134716908 3221224576 3221221680 1074139082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5908 5230 1111 63 0 5845 0
vsize: 23632
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 459355 0 0 0 49893 1112 0 0 25 0 1 0 903391302 23986176 5181 4294967295 134512640 134716908 3221224576 3221223128 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5856 5181 1111 63 0 5793 0
vsize: 23424
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 467577 0 0 0 50872 1133 0 0 25 0 1 0 903391302 24899584 5363 4294967295 134512640 134716908 3221224576 3221222688 1074867334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6079 5363 1111 63 0 6016 0
vsize: 24316
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 476653 0 0 0 51849 1156 0 0 25 0 1 0 903391302 24399872 5282 4294967295 134512640 134716908 3221224576 3221222480 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5957 5282 1111 63 0 5894 0
vsize: 23828
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 486108 0 0 0 52825 1180 0 0 25 0 1 0 903391302 25821184 5554 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6304 5554 1111 63 0 6241 0
vsize: 25216
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 494927 0 0 0 53805 1200 0 0 25 0 1 0 903391302 25378816 5487 4294967295 134512640 134716908 3221224576 3221222864 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6196 5487 1111 63 0 6133 0
vsize: 24784
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 503371 0 0 0 54786 1220 0 0 25 0 1 0 903391302 26382336 5699 4294967295 134512640 134716908 3221224576 3221220736 1075090048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6441 5699 1111 63 0 6378 0
vsize: 25764
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 511849 0 0 0 55766 1240 0 0 25 0 1 0 903391302 26554368 5735 4294967295 134512640 134716908 3221224576 3221221108 1074260676 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6483 5735 1111 63 0 6420 0
vsize: 25932
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 521089 0 0 0 56745 1260 0 0 25 0 1 0 903391302 26075136 5674 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6366 5674 1111 63 0 6303 0
vsize: 25464
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 528664 0 0 0 57727 1279 0 0 25 0 1 0 903391302 26025984 5679 4294967295 134512640 134716908 3221224576 3221222992 1074117056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6354 5679 1111 63 0 6291 0
vsize: 25416
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 536529 0 0 0 58709 1297 0 0 25 0 1 0 903391302 25989120 5670 4294967295 134512640 134716908 3221224576 3221222256 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6345 5670 1111 63 0 6282 0
vsize: 25380
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 544099 0 0 0 59691 1315 0 0 25 0 1 0 903391302 27119616 5823 4294967295 134512640 134716908 3221224576 3221221408 1075115397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6621 5823 1111 63 0 6558 0
vsize: 26484
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 553173 0 0 0 60669 1338 0 0 25 0 1 0 903391302 26812416 5827 4294967295 134512640 134716908 3221224576 3221223088 134646800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6546 5827 1111 63 0 6483 0
vsize: 26184
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 560404 0 0 0 61653 1353 0 0 25 0 1 0 903391302 27693056 6019 4294967295 134512640 134716908 3221224576 3221221648 1074867347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6761 6019 1111 63 0 6698 0
vsize: 27044
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 568237 0 0 0 62636 1371 0 0 25 0 1 0 903391302 27189248 5924 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6638 5924 1111 63 0 6575 0
vsize: 26552
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 578207 0 0 0 63613 1394 0 0 25 0 1 0 903391302 28090368 6091 4294967295 134512640 134716908 3221224576 3221220620 1074873498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6858 6091 1111 63 0 6795 0
vsize: 27432
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 586169 0 0 0 64595 1412 0 0 25 0 1 0 903391302 27328512 5958 4294967295 134512640 134716908 3221224576 3221222912 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5958 1111 63 0 6609 0
vsize: 26688
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 593227 0 0 0 65579 1428 0 0 25 0 1 0 903391302 27643904 6033 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6749 6033 1111 63 0 6686 0
vsize: 26996
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 601670 0 0 0 66560 1447 0 0 25 0 1 0 903391302 27394048 6013 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6688 6013 1111 63 0 6625 0
vsize: 26752
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 609895 0 0 0 67542 1466 0 0 25 0 1 0 903391302 27394048 6013 4294967295 134512640 134716908 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6688 6013 1111 63 0 6625 0
vsize: 26752
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 617935 0 0 0 68523 1485 0 0 25 0 1 0 903391302 27906048 6097 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6813 6097 1111 63 0 6750 0
vsize: 27252
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 625252 0 0 0 69506 1502 0 0 25 0 1 0 903391302 29061120 6327 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7095 6327 1111 63 0 7032 0
vsize: 28380
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 630421 0 0 0 70495 1513 0 0 25 0 1 0 903391302 29216768 6367 4294967295 134512640 134716908 3221224576 3221221344 1076084134 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7133 6367 1111 63 0 7070 0
vsize: 28532
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 635400 0 0 0 71484 1525 0 0 25 0 1 0 903391302 28430336 6266 4294967295 134512640 134716908 3221224576 3221221696 1074865627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6941 6266 1111 63 0 6878 0
vsize: 27764
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 641580 0 0 0 72469 1540 0 0 25 0 1 0 903391302 28422144 6264 4294967295 134512640 134716908 3221224576 3221222144 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6939 6264 1111 63 0 6876 0
vsize: 27756
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 650644 0 0 0 73449 1560 0 0 25 0 1 0 903391302 29007872 6359 4294967295 134512640 134716908 3221224576 3221223048 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7082 6359 1111 63 0 7019 0
vsize: 28328
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 659703 0 0 0 74429 1581 0 0 25 0 1 0 903391302 28594176 6287 4294967295 134512640 134716908 3221224576 3221222304 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6981 6287 1111 63 0 6918 0
vsize: 27924
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 668732 0 0 0 75408 1601 0 0 25 0 1 0 903391302 28647424 6319 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6994 6319 1111 63 0 6931 0
vsize: 27976
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 677174 0 0 0 76392 1618 0 0 25 0 1 0 903391302 28975104 6369 4294967295 134512640 134716908 3221224576 3221222000 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7074 6369 1111 63 0 7011 0
vsize: 28296
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 686123 0 0 0 77374 1636 0 0 25 0 1 0 903391302 30326784 6595 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7404 6596 1111 63 0 7341 0
vsize: 29616
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 694335 0 0 0 78356 1654 0 0 25 0 1 0 903391302 29241344 6464 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7139 6464 1111 63 0 7076 0
vsize: 28556
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 702201 0 0 0 79339 1671 0 0 25 0 1 0 903391302 30588928 6690 4294967295 134512640 134716908 3221224576 3221220804 1075115133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7468 6690 1111 63 0 7405 0
vsize: 29872
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 710092 0 0 0 80321 1689 0 0 25 0 1 0 903391302 29974528 6592 4294967295 134512640 134716908 3221224576 3221222672 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7318 6592 1111 63 0 7255 0
vsize: 29272
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 717271 0 0 0 81307 1704 0 0 25 0 1 0 903391302 30871552 6796 4294967295 134512640 134716908 3221224576 3221220472 1074789534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6796 1111 63 0 7474 0
vsize: 30148
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 725291 0 0 0 82289 1722 0 0 25 0 1 0 903391302 29790208 6598 4294967295 134512640 134716908 3221224576 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7273 6598 1111 63 0 7210 0
vsize: 29092
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 733695 0 0 0 83271 1740 0 0 25 0 1 0 903391302 29753344 6589 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7264 6589 1111 63 0 7201 0
vsize: 29056
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 745356 0 0 0 84246 1765 0 0 25 0 1 0 903391302 30572544 6744 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7464 6744 1111 63 0 7401 0
vsize: 29856
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 755414 0 0 0 85222 1790 0 0 25 0 1 0 903391302 30167040 6687 4294967295 134512640 134716908 3221224576 3221222288 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7365 6687 1111 63 0 7302 0
vsize: 29460
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 765451 0 0 0 86201 1811 0 0 25 0 1 0 903391302 30855168 6850 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7533 6850 1111 63 0 7470 0
vsize: 30132
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 775557 0 0 0 87177 1835 0 0 25 0 1 0 903391302 30801920 6848 4294967295 134512640 134716908 3221224576 3221222536 1074138290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7520 6848 1111 63 0 7457 0
vsize: 30080
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 784907 0 0 0 88155 1857 0 0 25 0 1 0 903391302 30617600 6806 4294967295 134512640 134716908 3221224576 3221222488 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7475 6806 1111 63 0 7412 0
vsize: 29900
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 796098 0 0 0 89131 1882 0 0 25 0 1 0 903391302 31383552 6949 4294967295 134512640 134716908 3221224576 3221222832 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7662 6949 1111 63 0 7599 0
vsize: 30648
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 808916 0 0 0 90102 1911 0 0 25 0 1 0 903391302 31195136 6947 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7616 6947 1111 63 0 7553 0
vsize: 30464
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 817811 0 0 0 91080 1933 0 0 25 0 1 0 903391302 31916032 7107 4294967295 134512640 134716908 3221224576 3221222728 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7792 7107 1111 63 0 7729 0
vsize: 31168
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 826382 0 0 0 92060 1953 0 0 25 0 1 0 903391302 31940608 7125 4294967295 134512640 134716908 3221224576 3221222576 1074918514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7798 7125 1111 63 0 7735 0
vsize: 31192
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 836229 0 0 0 93039 1974 0 0 25 0 1 0 903391302 32874496 7283 4294967295 134512640 134716908 3221224576 3221220816 1075115765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8026 7283 1111 63 0 7963 0
vsize: 32104
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 845365 0 0 0 94017 1996 0 0 25 0 1 0 903391302 33132544 7357 4294967295 134512640 134716908 3221224576 3221220736 1074794528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8089 7357 1111 63 0 8026 0
vsize: 32356
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 854160 0 0 0 94998 2015 0 0 25 0 1 0 903391302 32010240 7146 4294967295 134512640 134716908 3221224576 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7815 7146 1111 63 0 7752 0
vsize: 31260
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 865188 0 0 0 95975 2038 0 0 25 0 1 0 903391302 33517568 7451 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8183 7451 1111 63 0 8120 0
vsize: 32732
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 874032 0 0 0 96953 2060 0 0 25 0 1 0 903391302 33570816 7466 4294967295 134512640 134716908 3221224576 3221220472 1074789711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8196 7466 1111 63 0 8133 0
vsize: 32784
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 884083 0 0 0 97931 2083 0 0 25 0 1 0 903391302 33669120 7472 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8220 7472 1111 63 0 8157 0
vsize: 32880
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 892643 0 0 0 98910 2104 0 0 25 0 1 0 903391302 32407552 7243 4294967295 134512640 134716908 3221224576 3221222192 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7912 7243 1111 63 0 7849 0
vsize: 31648
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 901223 0 0 0 99892 2122 0 0 25 0 1 0 903391302 33959936 7525 4294967295 134512640 134716908 3221224576 3221220848 1074960822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8291 7525 1111 63 0 8228 0
vsize: 33164
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 910018 0 0 0 100873 2141 0 0 25 0 1 0 903391302 34439168 7688 4294967295 134512640 134716908 3221224576 3221220660 1075964393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8408 7688 1111 63 0 8345 0
vsize: 33632
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 919642 0 0 0 101853 2162 0 0 25 0 1 0 903391302 33140736 7422 4294967295 134512640 134716908 3221224576 3221222832 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8091 7422 1111 63 0 8028 0
vsize: 32364
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 927725 0 0 0 102834 2180 0 0 25 0 1 0 903391302 35155968 7849 4294967295 134512640 134716908 3221224576 3221220356 1074786395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8583 7849 1111 63 0 8520 0
vsize: 34332
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 935037 0 0 0 103817 2198 0 0 25 0 1 0 903391302 35246080 7883 4294967295 134512640 134716908 3221224576 3221221104 1075119949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8605 7883 1111 63 0 8542 0
vsize: 34420
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 942915 0 0 0 104800 2215 0 0 25 0 1 0 903391302 34381824 7686 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8394 7686 1111 63 0 8331 0
vsize: 33576
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 951302 0 0 0 105781 2234 0 0 25 0 1 0 903391302 35368960 7870 4294967295 134512640 134716908 3221224576 3221220736 1075092598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8635 7871 1111 63 0 8572 0
vsize: 34540
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 960565 0 0 0 106763 2253 0 0 25 0 1 0 903391302 34447360 7699 4294967295 134512640 134716908 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8410 7699 1111 63 0 8347 0
vsize: 33640
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 969821 0 0 0 107740 2276 0 0 25 0 1 0 903391302 35782656 8013 4294967295 134512640 134716908 3221224576 3221220380 1074787558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8736 8013 1111 63 0 8673 0
vsize: 34944
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 975625 0 0 0 108726 2290 0 0 25 0 1 0 903391302 35131392 7908 4294967295 134512640 134716908 3221224576 3221222688 1074867347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8577 7908 1111 63 0 8514 0
vsize: 34308
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 982788 0 0 0 109711 2305 0 0 25 0 1 0 903391302 35258368 7907 4294967295 134512640 134716908 3221224576 3221222048 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8608 7907 1111 63 0 8545 0
vsize: 34432
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 989221 0 0 0 110696 2320 0 0 25 0 1 0 903391302 36143104 8025 4294967295 134512640 134716908 3221224576 3221220948 1075965929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8824 8026 1111 63 0 8761 0
vsize: 35296
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 995849 0 0 0 111681 2335 0 0 25 0 1 0 903391302 36261888 8085 4294967295 134512640 134716908 3221224576 3221221016 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8853 8085 1111 63 0 8790 0
vsize: 35412
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 1003019 0 0 0 112666 2350 0 0 25 0 1 0 903391302 36315136 8077 4294967295 134512640 134716908 3221224576 3221220736 1075091857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8866 8079 1111 63 0 8803 0
vsize: 35464
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 1010787 0 0 0 113649 2368 0 0 25 0 1 0 903391302 36474880 8142 4294967295 134512640 134716908 3221224576 3221220848 1074960642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8905 8142 1111 63 0 8842 0
vsize: 35620
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 1018442 0 0 0 114629 2387 0 0 25 0 1 0 903391302 36429824 8147 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8894 8147 1111 63 0 8831 0
vsize: 35576
[startup+1175.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11996
Raw data (stat): 11996 (bsolo_lpr_cuts-) R 11995 31399 31398 0 -1 0 1018442 0 0 0 114629 2387 0 0 25 0 1 0 903391302 36429824 8147 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8894 8147 1111 63 0 8831 0
vsize: 0

Child status: 10
Real time (s): 1175.13
CPU time (s): 1175.27
CPU user time (s): 1151.28
CPU system time (s): 23.9864
CPU usage (%): 100.012
Max. virtual memory (Kb): 35620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	49
#### END VERIFIER DATA ####