PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb
MD5SUM	4c322f6b4009d273fbdff10efcd1c54f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	244
Optimality of the best value was proved	NO
Number of terms in the objective function	522
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	522
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	522
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.03184
Number of variables	522
Total number of constraints	2819
Number of constraints which are clauses	2819
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 23878

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-05 22:47:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1325 boxname=wulflinc31 idbench=148 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  4c322f6b4009d273fbdff10efcd1c54f  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32b2.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii32b2.opb
IDLAUNCH: 1325
/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:        156864 kB
Buffers:         35224 kB
Cached:         808352 kB
SwapCached:        644 kB
Active:         482272 kB
Inactive:       363672 kB
HighTotal:      131008 kB
HighFree:        13188 kB
LowTotal:       903652 kB
LowFree:        143676 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5604 kB
Slab:            26248 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-05 23:07:36 (client local time) WITH STATUS 10 IN 1176.57 SECONDS
stats: 1325 0 1176.57 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 522 variables and 2819 constraints.
c After prepocess the problem consists of 522 variables and 2819 constraints.
c preprocess terminated 3.728 s
c Initial Lower Bound: 173
c Lower Bound Elapsed time: 1.5067
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 261 @ 19.037
c NEW SOLUTION FOUND: 260 @ 19.039
c NEW SOLUTION FOUND: 259 @ 19.047
c NEW SOLUTION FOUND: 258 @ 19.056
c NEW SOLUTION FOUND: 257 @ 19.063
c NEW SOLUTION FOUND: 256 @ 19.072
c NEW SOLUTION FOUND: 255 @ 19.081
c NEW SOLUTION FOUND: 254 @ 19.088
c NEW SOLUTION FOUND: 246 @ 19.301
c NEW SOLUTION FOUND: 245 @ 76.534
c NEW SOLUTION FOUND: 244 @ 380.438
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 
c Exit Code: 10
c Total time: 1176.54 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): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (runsolver) R 18670 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 669758726 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 4735 0 0 0 981 14 0 0 25 0 1 0 669758726 10035200 1722 4294967295 134512640 134714508 3221221792 3221219964 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2450 1722 1111 63 0 2387 0
vsize: 9800
[startup+20.0021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 9876 0 0 0 1967 28 0 0 25 0 1 0 669758726 10956800 1834 4294967295 134512640 134714508 3221221792 3221218040 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2675 1834 1111 63 0 2612 0
vsize: 10700
[startup+30.0021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 15380 0 0 0 2951 45 0 0 25 0 1 0 669758726 9773056 1690 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2386 1690 1111 63 0 2323 0
vsize: 9544
[startup+40.002 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 22224 0 0 0 3931 64 0 0 25 0 1 0 669758726 10031104 1748 4294967295 134512640 134714508 3221221792 3221219520 1075828682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2449 1748 1111 63 0 2386 0
vsize: 9796
[startup+50.0019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 28912 0 0 0 4911 84 0 0 25 0 1 0 669758726 10084352 1775 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2462 1775 1111 63 0 2399 0
vsize: 9848
[startup+60.0018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 36109 0 0 0 5891 105 0 0 25 0 1 0 669758726 11616256 1873 4294967295 134512640 134714508 3221221792 3221217728 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2836 1873 1111 63 0 2773 0
vsize: 11344
[startup+70.0024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 44253 0 0 0 6867 129 0 0 25 0 1 0 669758726 10178560 1804 4294967295 134512640 134714508 3221221792 3221220208 1074116190 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2485 1804 1111 63 0 2422 0
vsize: 9940
[startup+80.0027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 52676 0 0 0 7843 153 0 0 25 0 1 0 669758726 10268672 1839 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2507 1839 1111 63 0 2444 0
vsize: 10028
[startup+90.0026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 59487 0 0 0 8824 172 0 0 25 0 1 0 669758726 10608640 1922 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2590 1922 1111 63 0 2527 0
vsize: 10360
[startup+100.003 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 65350 0 0 0 9809 188 0 0 25 0 1 0 669758726 12873728 2196 4294967295 134512640 134714508 3221221792 3221217884 1075663457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3143 2196 1111 63 0 3080 0
vsize: 12572
[startup+110.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 71940 0 0 0 10790 206 0 0 25 0 1 0 669758726 11337728 2083 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2768 2083 1111 63 0 2705 0
vsize: 11072
[startup+120.003 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 78656 0 0 0 11769 228 0 0 25 0 1 0 669758726 11337728 2101 4294967295 134512640 134714508 3221221792 3221220000 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2768 2101 1111 63 0 2705 0
vsize: 11072
[startup+130.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 84508 0 0 0 12750 247 0 0 25 0 1 0 669758726 11689984 2181 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2854 2181 1111 63 0 2791 0
vsize: 11416
[startup+140.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 91085 0 0 0 13732 266 0 0 25 0 1 0 669758726 13303808 2280 4294967295 134512640 134714508 3221221792 3221217608 1074788427 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3248 2280 1111 63 0 3185 0
vsize: 12992
[startup+150.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 97906 0 0 0 14711 286 0 0 25 0 1 0 669758726 12009472 2265 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2932 2265 1111 63 0 2869 0
vsize: 11728
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 104302 0 0 0 15695 303 0 0 25 0 1 0 669758726 12525568 2391 4294967295 134512640 134714508 3221221792 3221220448 134536738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3058 2391 1111 63 0 2995 0
vsize: 12232
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 108518 0 0 0 16683 315 0 0 25 0 1 0 669758726 14512128 2640 4294967295 134512640 134714508 3221221792 3221217692 1074787813 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3543 2640 1111 63 0 3480 0
vsize: 14172
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 115040 0 0 0 17665 333 0 0 25 0 1 0 669758726 12828672 2461 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3132 2461 1111 63 0 3069 0
vsize: 12528
[startup+190.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 120841 0 0 0 18648 350 0 0 25 0 1 0 669758726 14413824 2590 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3519 2590 1111 63 0 3456 0
vsize: 14076
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 126255 0 0 0 19632 366 0 0 25 0 1 0 669758726 13164544 2545 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3214 2545 1111 63 0 3151 0
vsize: 12856
[startup+210.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 132592 0 0 0 20613 385 0 0 25 0 1 0 669758726 13352960 2587 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 2587 1111 63 0 3197 0
vsize: 13040
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 137425 0 0 0 21602 397 0 0 25 0 1 0 669758726 15065088 2926 4294967295 134512640 134714508 3221221792 3221218032 1075115760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3678 2926 1111 63 0 3615 0
vsize: 14712
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 142371 0 0 0 22588 411 0 0 25 0 1 0 669758726 15372288 2829 4294967295 134512640 134714508 3221221792 3221217704 1074788452 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3753 2829 1111 63 0 3690 0
vsize: 15012
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 149610 0 0 0 23567 433 0 0 25 0 1 0 669758726 13832192 2667 4294967295 134512640 134714508 3221221792 3221218984 1074138303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3377 2676 1111 63 0 3314 0
vsize: 13508
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 157495 0 0 0 24543 456 0 0 25 0 1 0 669758726 14020608 2744 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2744 1111 63 0 3360 0
vsize: 13692
[startup+260.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 163233 0 0 0 25528 471 0 0 25 0 1 0 669758726 13877248 2721 4294967295 134512640 134714508 3221221792 3221219376 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3388 2721 1111 63 0 3325 0
vsize: 13552
[startup+270.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 168147 0 0 0 26515 485 0 0 25 0 1 0 669758726 16035840 3078 4294967295 134512640 134714508 3221221792 3221218604 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3915 3078 1111 63 0 3852 0
vsize: 15660
[startup+280.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 174189 0 0 0 27498 502 0 0 25 0 1 0 669758726 14581760 2861 4294967295 134512640 134714508 3221221792 3221219520 1075828505 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3560 2861 1111 63 0 3497 0
vsize: 14240
[startup+290.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 179642 0 0 0 28485 515 0 0 25 0 1 0 669758726 14237696 2809 4294967295 134512640 134714508 3221221792 3221220192 1074153753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3476 2809 1111 63 0 3413 0
vsize: 13904
[startup+300.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 184700 0 0 0 29473 527 0 0 25 0 1 0 669758726 16367616 3144 4294967295 134512640 134714508 3221221792 3221217836 1074873387 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3996 3144 1111 63 0 3933 0
vsize: 15984
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 188879 0 0 0 30462 539 0 0 25 0 1 0 669758726 14385152 2845 4294967295 134512640 134714508 3221221792 3221219408 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3512 2845 1111 63 0 3449 0
vsize: 14048
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 192146 0 0 0 31454 547 0 0 25 0 1 0 669758726 14385152 2845 4294967295 134512640 134714508 3221221792 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3512 2845 1111 63 0 3449 0
vsize: 14048
[startup+330.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 197507 0 0 0 32438 563 0 0 25 0 1 0 669758726 16969728 3328 4294967295 134512640 134714508 3221221792 3221218712 1074950117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4143 3328 1111 63 0 4080 0
vsize: 16572
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 204040 0 0 0 33421 580 0 0 25 0 1 0 669758726 15810560 3045 4294967295 134512640 134714508 3221221792 3221217728 1075965250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3860 3045 1111 63 0 3797 0
vsize: 15440
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 208846 0 0 0 34408 593 0 0 25 0 1 0 669758726 14811136 2949 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3616 2949 1111 63 0 3553 0
vsize: 14464
[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 213075 0 0 0 35398 603 0 0 25 0 1 0 669758726 16646144 3302 4294967295 134512640 134714508 3221221792 3221218624 1075115385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4064 3302 1111 63 0 4001 0
vsize: 16256
[startup+370.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 218648 0 0 0 36383 619 0 0 25 0 1 0 669758726 16384000 3251 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4000 3251 1111 63 0 3937 0
vsize: 16000
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 224771 0 0 0 37369 633 0 0 25 0 1 0 669758726 14848000 2954 4294967295 134512640 134714508 3221221792 3221219792 1074918550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3625 2954 1111 63 0 3562 0
vsize: 14500
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 230371 0 0 0 38354 648 0 0 25 0 1 0 669758726 14721024 2927 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3594 2927 1111 63 0 3531 0
vsize: 14376
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 235921 0 0 0 39339 663 0 0 25 0 1 0 669758726 17006592 3307 4294967295 134512640 134714508 3221221792 3221218028 1075114835 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4152 3307 1111 63 0 4089 0
vsize: 16608
[startup+410.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 243432 0 0 0 40321 681 0 0 25 0 1 0 669758726 15462400 3108 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3775 3108 1111 63 0 3712 0
vsize: 15100
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 247344 0 0 0 41311 692 0 0 25 0 1 0 669758726 15294464 3067 4294967295 134512640 134714508 3221221792 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3734 3067 1111 63 0 3671 0
vsize: 14936
[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 252457 0 0 0 42298 705 0 0 25 0 1 0 669758726 17211392 3343 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4202 3343 1111 63 0 4139 0
vsize: 16808
[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 256008 0 0 0 43287 717 0 0 25 0 1 0 669758726 15433728 3101 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3768 3101 1111 63 0 3705 0
vsize: 15072
[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 260617 0 0 0 44274 730 0 0 25 0 1 0 669758726 16834560 3133 4294967295 134512640 134714508 3221221792 3221218032 1075115739 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4110 3133 1111 63 0 4047 0
vsize: 16440
[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 266398 0 0 0 45260 744 0 0 25 0 1 0 669758726 15810560 3189 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3860 3189 1111 63 0 3797 0
vsize: 15440
[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 272358 0 0 0 46243 761 0 0 25 0 1 0 669758726 15577088 3136 4294967295 134512640 134714508 3221221792 3221220076 1074208192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3803 3136 1111 63 0 3740 0
vsize: 15212
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 277685 0 0 0 47231 774 0 0 25 0 1 0 669758726 18030592 3580 4294967295 134512640 134714508 3221221792 3221218384 1074884314 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4402 3580 1111 63 0 4339 0
vsize: 17608
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 283719 0 0 0 48216 789 0 0 25 0 1 0 669758726 15806464 3169 4294967295 134512640 134714508 3221221792 3221219192 1074138297 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3859 3169 1111 63 0 3796 0
vsize: 15436
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 290793 0 0 0 49198 807 0 0 25 0 1 0 669758726 18120704 3526 4294967295 134512640 134714508 3221221792 3221218324 1075863638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4424 3526 1111 63 0 4361 0
vsize: 17696
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 297507 0 0 0 50181 824 0 0 25 0 1 0 669758726 15884288 3211 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3878 3211 1111 63 0 3815 0
vsize: 15512
[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 303820 0 0 0 51166 840 0 0 25 0 1 0 669758726 16179200 3283 4294967295 134512640 134714508 3221221792 3221220176 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3950 3283 1111 63 0 3887 0
vsize: 15800
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 310488 0 0 0 52148 858 0 0 25 0 1 0 669758726 18677760 3793 4294967295 134512640 134714508 3221221792 3221218128 1075114268 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4560 3793 1111 63 0 4497 0
vsize: 18240
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 316685 0 0 0 53133 873 0 0 25 0 1 0 669758726 16928768 3450 4294967295 134512640 134714508 3221221792 3221219788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4133 3450 1111 63 0 4070 0
vsize: 16532
[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 324145 0 0 0 54114 892 0 0 25 0 1 0 669758726 16982016 3447 4294967295 134512640 134714508 3221221792 3221220112 1075006803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4146 3447 1111 63 0 4083 0
vsize: 16584
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 331516 0 0 0 55095 911 0 0 25 0 1 0 669758726 19075072 3755 4294967295 134512640 134714508 3221221792 3221217816 1074860217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3755 1111 63 0 4594 0
vsize: 18628
[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 338095 0 0 0 56079 928 0 0 25 0 1 0 669758726 16842752 3445 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4112 3445 1111 63 0 4049 0
vsize: 16448
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 344465 0 0 0 57063 944 0 0 25 0 1 0 669758726 19574784 3910 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4779 3910 1111 63 0 4716 0
vsize: 19116
[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 351323 0 0 0 58044 963 0 0 25 0 1 0 669758726 19312640 3872 4294967295 134512640 134714508 3221221792 3221218020 1075115057 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4715 3872 1111 63 0 4652 0
vsize: 18860
[startup+600.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 358609 0 0 0 59026 981 0 0 25 0 1 0 669758726 19537920 3809 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4770 3816 1111 63 0 4707 0
vsize: 19080
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 363738 0 0 0 60013 994 0 0 25 0 1 0 669758726 20107264 4169 4294967295 134512640 134714508 3221221792 3221218064 1074960771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4909 4169 1111 63 0 4846 0
vsize: 19636
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 371056 0 0 0 60995 1013 0 0 25 0 1 0 669758726 17416192 3582 4294967295 134512640 134714508 3221221792 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4252 3582 1111 63 0 4189 0
vsize: 17008
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 377436 0 0 0 61979 1029 0 0 25 0 1 0 669758726 20000768 4146 4294967295 134512640 134714508 3221221792 3221217892 1075964180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4883 4146 1111 63 0 4820 0
vsize: 19532
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 380061 0 0 0 62972 1036 0 0 25 0 1 0 669758726 18497536 3800 4294967295 134512640 134714508 3221221792 3221219536 1075645372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4516 3800 1111 63 0 4453 0
vsize: 18064
[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 0.95 3/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 383625 0 0 0 63963 1045 0 0 25 0 1 0 669758726 20000768 4132 4294967295 134512640 134714508 3221221792 3221217804 1074788956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4883 4132 1111 63 0 4820 0
vsize: 19532
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 387776 0 0 0 64952 1057 0 0 25 0 1 0 669758726 17788928 3676 4294967295 134512640 134714508 3221221792 3221219936 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4343 3676 1111 63 0 4280 0
vsize: 17372
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 392079 0 0 0 65939 1070 0 0 25 0 1 0 669758726 17936384 3712 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4379 3712 1111 63 0 4316 0
vsize: 17516
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 398143 0 0 0 66924 1085 0 0 25 0 1 0 669758726 17965056 3712 4294967295 134512640 134714508 3221221792 3221219864 1077377698 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4386 3712 1111 63 0 4323 0
vsize: 17544
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 405782 0 0 0 67904 1105 0 0 25 0 1 0 669758726 19881984 3867 4294967295 134512640 134714508 3221221792 3221218772 1075964077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4854 3867 1111 63 0 4791 0
vsize: 19416
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 410505 0 0 0 68892 1116 0 0 25 0 1 0 669758726 18157568 3766 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3766 1111 63 0 4370 0
vsize: 17732
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 415835 0 0 0 69879 1130 0 0 25 0 1 0 669758726 20553728 4077 4294967295 134512640 134714508 3221221792 3221218040 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5018 4077 1111 63 0 4955 0
vsize: 20072
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18671
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 420531 0 0 0 70868 1141 0 0 25 0 1 0 669758726 20520960 4228 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5010 4228 1111 63 0 4947 0
vsize: 20040
[startup+730.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18724
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 425122 0 0 0 71847 1162 0 0 25 0 1 0 669758726 21409792 4410 4294967295 134512640 134714508 3221221792 3221217884 1075663503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5227 4410 1111 63 0 5164 0
vsize: 20908
[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18724
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 429583 0 0 0 72838 1172 0 0 25 0 1 0 669758726 18165760 3768 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4435 3768 1111 63 0 4372 0
vsize: 17740
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18724
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 436549 0 0 0 73821 1188 0 0 25 0 1 0 669758726 18165760 3768 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4435 3768 1111 63 0 4372 0
vsize: 17740
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18724
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 443678 0 0 0 74805 1204 0 0 25 0 1 0 669758726 19857408 3883 4294967295 134512640 134714508 3221221792 3221219228 1077387418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4848 3887 1111 63 0 4785 0
vsize: 19392
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18724
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 449573 0 0 0 75792 1217 0 0 25 0 1 0 669758726 20566016 4223 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5021 4223 1111 63 0 4958 0
vsize: 20084
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18724
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 455830 0 0 0 76777 1233 0 0 25 0 1 0 669758726 18739200 3902 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4576 3903 1111 63 0 4513 0
vsize: 18300
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18724
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 463215 0 0 0 77760 1250 0 0 25 0 1 0 669758726 20508672 4232 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5007 4232 1111 63 0 4944 0
vsize: 20028
[startup+800.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 470995 0 0 0 78742 1268 0 0 25 0 1 0 669758726 21204992 4246 4294967295 134512640 134714508 3221221792 3221217660 1074787525 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4246 1111 63 0 5114 0
vsize: 20708
[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 479115 0 0 0 79722 1288 0 0 25 0 1 0 669758726 19423232 4042 4294967295 134512640 134714508 3221221792 3221219788 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4742 4042 1111 63 0 4679 0
vsize: 18968
[startup+820.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 489442 0 0 0 80698 1312 0 0 25 0 1 0 669758726 18939904 3957 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4624 3957 1111 63 0 4561 0
vsize: 18496
[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 493337 0 0 0 81690 1321 0 0 25 0 1 0 669758726 19562496 4109 4294967295 134512640 134714508 3221221792 3221220080 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4776 4109 1111 63 0 4713 0
vsize: 19104
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 498053 0 0 0 82680 1331 0 0 25 0 1 0 669758726 22511616 4769 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5496 4769 1111 63 0 5433 0
vsize: 21984
[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 503789 0 0 0 83667 1345 0 0 25 0 1 0 669758726 22384640 4690 4294967295 134512640 134714508 3221221792 3221217936 1074969737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5465 4690 1111 63 0 5402 0
vsize: 21860
[startup+860.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 510636 0 0 0 84650 1361 0 0 25 0 1 0 669758726 19853312 4148 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4847 4148 1111 63 0 4784 0
vsize: 19388
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 517110 0 0 0 85635 1377 0 0 25 0 1 0 669758726 21528576 4464 4294967295 134512640 134714508 3221221792 3221217968 1074882535 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4464 1111 63 0 5193 0
vsize: 21024
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 523037 0 0 0 86622 1390 0 0 25 0 1 0 669758726 22138880 4394 4294967295 134512640 134714508 3221221792 3221218064 1074961253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5405 4394 1111 63 0 5342 0
vsize: 21620
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 530695 0 0 0 87604 1408 0 0 25 0 1 0 669758726 20168704 4225 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4924 4225 1111 63 0 4861 0
vsize: 19696
[startup+900.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 537744 0 0 0 88589 1424 0 0 25 0 1 0 669758726 19791872 4165 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4832 4165 1111 63 0 4769 0
vsize: 19328
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 545484 0 0 0 89571 1441 0 0 25 0 1 0 669758726 19791872 4165 4294967295 134512640 134714508 3221221792 3221219328 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4832 4165 1111 63 0 4769 0
vsize: 19328
[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 553235 0 0 0 90553 1460 0 0 25 0 1 0 669758726 22601728 4614 4294967295 134512640 134714508 3221221792 3221218064 1074961512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4614 1111 63 0 5455 0
vsize: 22072
[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 560792 0 0 0 91534 1479 0 0 25 0 1 0 669758726 22499328 4538 4294967295 134512640 134714508 3221221792 3221217952 1074883665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5493 4539 1111 63 0 5430 0
vsize: 21972
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 566750 0 0 0 92519 1494 0 0 25 0 1 0 669758726 22511616 4738 4294967295 134512640 134714508 3221221792 3221217756 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5496 4738 1111 63 0 5433 0
vsize: 21984
[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 573330 0 0 0 93504 1509 0 0 25 0 1 0 669758726 22908928 4685 4294967295 134512640 134714508 3221221792 3221217952 1075091857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5593 4685 1111 63 0 5530 0
vsize: 22372
[startup+960.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 577413 0 0 0 94495 1518 0 0 25 0 1 0 669758726 23994368 5080 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5858 5080 1111 63 0 5795 0
vsize: 23432
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 580942 0 0 0 95486 1528 0 0 25 0 1 0 669758726 21794816 4623 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5321 4623 1111 63 0 5258 0
vsize: 21284
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 587088 0 0 0 96472 1542 0 0 25 0 1 0 669758726 21229568 4475 4294967295 134512640 134714508 3221221792 3221219788 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5183 4475 1111 63 0 5120 0
vsize: 20732
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 592576 0 0 0 97458 1556 0 0 25 0 1 0 669758726 20688896 4352 4294967295 134512640 134714508 3221221792 3221219788 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5051 4352 1111 63 0 4988 0
vsize: 20204
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 600100 0 0 0 98440 1574 0 0 25 0 1 0 669758726 20537344 4347 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5014 4347 1111 63 0 4951 0
vsize: 20056
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 603831 0 0 0 99431 1583 0 0 25 0 1 0 669758726 24383488 5016 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5953 5016 1111 63 0 5890 0
vsize: 23812
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 609208 0 0 0 100420 1595 0 0 25 0 1 0 669758726 21004288 4461 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5128 4461 1111 63 0 5065 0
vsize: 20512
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 616885 0 0 0 101402 1613 0 0 25 0 1 0 669758726 20742144 4397 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5064 4397 1111 63 0 5001 0
vsize: 20256
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 623450 0 0 0 102388 1627 0 0 25 0 1 0 669758726 21196800 4492 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5175 4492 1111 63 0 5112 0
vsize: 20700
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18726
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 627420 0 0 0 103380 1635 0 0 25 0 1 0 669758726 24236032 5127 4294967295 134512640 134714508 3221221792 3221217952 1075094850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5917 5127 1111 63 0 5854 0
vsize: 23668
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18728
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 632481 0 0 0 104368 1647 0 0 25 0 1 0 669758726 21037056 4445 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5136 4445 1111 63 0 5073 0
vsize: 20544
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18728
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 638181 0 0 0 105355 1660 0 0 25 0 1 0 669758726 21098496 4461 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5151 4461 1111 63 0 5088 0
vsize: 20604
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18728
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 642723 0 0 0 106344 1672 0 0 25 0 1 0 669758726 21950464 4686 4294967295 134512640 134714508 3221221792 3221219792 1074918192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5359 4686 1111 63 0 5296 0
vsize: 21436
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18728
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 649691 0 0 0 107329 1686 0 0 25 0 1 0 669758726 24027136 5026 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5866 5026 1111 63 0 5803 0
vsize: 23464
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18728
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 657849 0 0 0 108310 1706 0 0 25 0 1 0 669758726 22142976 4681 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4681 1111 63 0 5343 0
vsize: 21624
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18728
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 667030 0 0 0 109289 1727 0 0 25 0 1 0 669758726 21815296 4638 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5326 4638 1111 63 0 5263 0
vsize: 21304
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18728
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 670234 0 0 0 110282 1735 0 0 25 0 1 0 669758726 24498176 5220 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5981 5220 1111 63 0 5918 0
vsize: 23924
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18728
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 673569 0 0 0 111275 1741 0 0 25 0 1 0 669758726 21213184 4512 4294967295 134512640 134714508 3221221792 3221218448 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5179 4512 1111 63 0 5116 0
vsize: 20716
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18728
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 677245 0 0 0 112268 1749 0 0 25 0 1 0 669758726 24444928 5195 4294967295 134512640 134714508 3221221792 3221217952 1075093344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5968 5195 1111 63 0 5905 0
vsize: 23872
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18728
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 679597 0 0 0 113262 1754 0 0 25 0 1 0 669758726 24444928 5213 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5968 5213 1111 63 0 5905 0
vsize: 23872
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18728
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 686397 0 0 0 114249 1768 0 0 25 0 1 0 669758726 21237760 4518 4294967295 134512640 134714508 3221221792 3221220144 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5185 4518 1111 63 0 5122 0
vsize: 20740
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18728
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 695920 0 0 0 115228 1789 0 0 25 0 1 0 669758726 23990272 4872 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5857 4872 1111 63 0 5794 0
vsize: 23428
[startup+1176.44 s]
Raw data (loadavg): 1.00 1.00 0.95 1/53 18728
Raw data (stat): 18671 (bsolo_lpr_cuts) R 18670 7876 7672 0 -1 0 695920 0 0 0 115228 1789 0 0 25 0 1 0 669758726 23990272 4872 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5857 4872 1111 63 0 5794 0
vsize: 0

Child status: 10
Real time (s): 1176.44
CPU time (s): 1176.57
CPU user time (s): 1158.54
CPU system time (s): 18.0303
CPU usage (%): 100.011
Max. virtual memory (Kb): 23924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	244
#### END VERIFIER DATA ####