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-ii8a3.opb
MD5SUM	a430664a9b4f203a5896b33ca2b0e0e5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	191
Optimality of the best value was proved	NO
Number of terms in the objective function	528
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	528
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	528
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.02384
Number of variables	528
Total number of constraints	1816
Number of constraints which are clauses	1816
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	8
Trace number 23963

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-07 03:06:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1478 boxname=wulflinc31 idbench=165 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a430664a9b4f203a5896b33ca2b0e0e5  /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a3.opb
IDLAUNCH: 1478
/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:        149452 kB
Buffers:         37932 kB
Cached:         813124 kB
SwapCached:        644 kB
Active:         487460 kB
Inactive:       365984 kB
HighTotal:      131008 kB
HighFree:         8456 kB
LowTotal:       903652 kB
LowFree:        140996 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26228 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-07 03:25:49 (client local time) WITH STATUS 10 IN 1175.77 SECONDS
stats: 1478 0 1175.77 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 528 variables and 1816 constraints.
c After prepocess the problem consists of 528 variables and 2110 constraints.
c preprocess terminated 2.635 s
c Initial Lower Bound: 167
c Lower Bound Elapsed time: 1.42625
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 263 @ 8.37
c NEW SOLUTION FOUND: 262 @ 8.372
c NEW SOLUTION FOUND: 261 @ 8.38
c NEW SOLUTION FOUND: 260 @ 8.386
c NEW SOLUTION FOUND: 259 @ 8.393
c NEW SOLUTION FOUND: 258 @ 8.4
c NEW SOLUTION FOUND: 257 @ 8.413
c NEW SOLUTION FOUND: 256 @ 8.428
c NEW SOLUTION FOUND: 249 @ 8.443
c NEW SOLUTION FOUND: 248 @ 8.457
c NEW SOLUTION FOUND: 247 @ 8.471
c NEW SOLUTION FOUND: 246 @ 8.485
c NEW SOLUTION FOUND: 245 @ 8.5
c NEW SOLUTION FOUND: 244 @ 8.516
c NEW SOLUTION FOUND: 243 @ 8.53
c NEW SOLUTION FOUND: 242 @ 8.555
c NEW SOLUTION FOUND: 241 @ 8.57
c NEW SOLUTION FOUND: 240 @ 8.599
c NEW SOLUTION FOUND: 239 @ 8.629
c NEW SOLUTION FOUND: 238 @ 8.646
c NEW SOLUTION FOUND: 237 @ 8.674
c NEW SOLUTION FOUND: 236 @ 8.689
c NEW SOLUTION FOUND: 235 @ 8.706
c NEW SOLUTION FOUND: 234 @ 8.738
c NEW SOLUTION FOUND: 231 @ 8.811
c NEW SOLUTION FOUND: 230 @ 9.164
c NEW SOLUTION FOUND: 229 @ 9.473
c NEW SOLUTION FOUND: 228 @ 9.79
c NEW SOLUTION FOUND: 227 @ 10.042
c NEW SOLUTION FOUND: 224 @ 10.809
c NEW SOLUTION FOUND: 223 @ 12
c NEW SOLUTION FOUND: 202 @ 22.961
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 
c Exit Code: 10
c Total time: 1175.73 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 28504
Raw data (stat): 28504 (runsolver) R 28503 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 679949266 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.001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 6423 0 0 0 978 18 0 0 25 0 1 0 679949266 8429568 1380 4294967295 134512640 134714508 3221221792 3221220120 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1330 1111 63 0 1945 0
vsize: 8232
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 11916 0 0 0 1964 32 0 0 25 0 1 0 679949266 9912320 1500 4294967295 134512640 134714508 3221221792 3221218032 1075115717 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2420 1500 1111 63 0 2357 0
vsize: 9680
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 16741 0 0 0 2949 47 0 0 25 0 1 0 679949266 9818112 1448 4294967295 134512640 134714508 3221221792 3221218448 1075967771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2397 1455 1111 63 0 2334 0
vsize: 9588
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 22910 0 0 0 3933 63 0 0 25 0 1 0 679949266 10129408 1539 4294967295 134512640 134714508 3221221792 3221217996 1075563855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2473 1539 1111 63 0 2410 0
vsize: 9892
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 29489 0 0 0 4914 82 0 0 25 0 1 0 679949266 9232384 1569 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2254 1569 1111 63 0 2191 0
vsize: 9016
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 36432 0 0 0 5897 100 0 0 25 0 1 0 679949266 10792960 1730 4294967295 134512640 134714508 3221221792 3221217940 1075964431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2635 1730 1111 63 0 2572 0
vsize: 10540
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 43377 0 0 0 6878 119 0 0 25 0 1 0 679949266 11014144 1837 4294967295 134512640 134714508 3221221792 3221217920 1075561201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2689 1837 1111 63 0 2626 0
vsize: 10756
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 49437 0 0 0 7861 136 0 0 25 0 1 0 679949266 11374592 1924 4294967295 134512640 134714508 3221221792 3221218064 1074960916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2777 1924 1111 63 0 2714 0
vsize: 11108
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 55858 0 0 0 8844 154 0 0 25 0 1 0 679949266 10219520 1795 4294967295 134512640 134714508 3221221792 3221220112 1074206871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2495 1795 1111 63 0 2432 0
vsize: 9980
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 61704 0 0 0 9828 169 0 0 25 0 1 0 679949266 12046336 2138 4294967295 134512640 134714508 3221221792 3221218340 1075115043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2941 2138 1111 63 0 2878 0
vsize: 11764
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 70319 0 0 0 10803 194 0 0 25 0 1 0 679949266 12132352 1982 4294967295 134512640 134714508 3221221792 3221218832 1075971389 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2962 1986 1111 63 0 2899 0
vsize: 11848
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 78108 0 0 0 11784 214 0 0 25 0 1 0 679949266 10383360 1867 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1867 1111 63 0 2472 0
vsize: 10140
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 86785 0 0 0 12762 236 0 0 25 0 1 0 679949266 10518528 1900 4294967295 134512640 134714508 3221221792 3221220192 1074153669 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2568 1900 1111 63 0 2505 0
vsize: 10272
[startup+140.005 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 94956 0 0 0 13739 259 0 0 25 0 1 0 679949266 11124736 2007 4294967295 134512640 134714508 3221221792 3221219520 1075828915 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2716 2007 1111 63 0 2653 0
vsize: 10864
[startup+150.006 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 104234 0 0 0 14712 286 0 0 25 0 1 0 679949266 12763136 2272 4294967295 134512640 134714508 3221221792 3221217952 1074794536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3116 2272 1111 63 0 3053 0
vsize: 12464
[startup+160.006 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 110578 0 0 0 15695 304 0 0 25 0 1 0 679949266 11804672 2062 4294967295 134512640 134714508 3221221792 3221219104 1076083593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2882 2062 1111 63 0 2819 0
vsize: 11528
[startup+170.006 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 119089 0 0 0 16671 327 0 0 25 0 1 0 679949266 12742656 2207 4294967295 134512640 134714508 3221221792 3221218000 1074815372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3111 2207 1111 63 0 3048 0
vsize: 12444
[startup+180.006 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 128161 0 0 0 17645 353 0 0 25 0 1 0 679949266 12910592 2316 4294967295 134512640 134714508 3221221792 3221218320 1075397189 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2316 1111 63 0 3089 0
vsize: 12608
[startup+190.006 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 136279 0 0 0 18622 377 0 0 25 0 1 0 679949266 11489280 2132 4294967295 134512640 134714508 3221221792 3221219944 1074950105 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2805 2132 1111 63 0 2742 0
vsize: 11220
[startup+200.007 s]
Raw data (loadavg): 1.18 1.03 1.01 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 143464 0 0 0 19604 395 0 0 25 0 1 0 679949266 11390976 2113 4294967295 134512640 134714508 3221221792 3221220104 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2781 2113 1111 63 0 2718 0
vsize: 11124
[startup+210.007 s]
Raw data (loadavg): 1.15 1.03 1.01 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 152300 0 0 0 20582 417 0 0 25 0 1 0 679949266 11378688 2110 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2778 2110 1111 63 0 2715 0
vsize: 11112
[startup+220.006 s]
Raw data (loadavg): 1.12 1.03 1.01 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 161422 0 0 0 21558 441 0 0 25 0 1 0 679949266 13361152 2389 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3262 2389 1111 63 0 3199 0
vsize: 13048
[startup+230.006 s]
Raw data (loadavg): 1.10 1.03 1.01 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 170496 0 0 0 22533 466 0 0 25 0 1 0 679949266 13303808 2348 4294967295 134512640 134714508 3221221792 3221218720 1075960381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3248 2348 1111 63 0 3185 0
vsize: 12992
[startup+240.006 s]
Raw data (loadavg): 1.09 1.03 1.01 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 178884 0 0 0 23511 489 0 0 25 0 1 0 679949266 12349440 2334 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3015 2334 1111 63 0 2952 0
vsize: 12060
[startup+250.008 s]
Raw data (loadavg): 1.07 1.03 1.01 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 186915 0 0 0 24489 510 0 0 25 0 1 0 679949266 11902976 2239 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2906 2239 1111 63 0 2843 0
vsize: 11624
[startup+260.008 s]
Raw data (loadavg): 1.06 1.02 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 196443 0 0 0 25467 533 0 0 25 0 1 0 679949266 13086720 2369 4294967295 134512640 134714508 3221221792 3221219280 1074620113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3195 2369 1111 63 0 3132 0
vsize: 12780
[startup+270.008 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 206867 0 0 0 26441 559 0 0 25 0 1 0 679949266 13701120 2452 4294967295 134512640 134714508 3221221792 3221218720 1075890974 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3345 2452 1111 63 0 3282 0
vsize: 13380
[startup+280.008 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 215964 0 0 0 27417 583 0 0 25 0 1 0 679949266 14368768 2621 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3508 2621 1111 63 0 3445 0
vsize: 14032
[startup+290.008 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 224457 0 0 0 28393 607 0 0 25 0 1 0 679949266 12505088 2358 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3053 2358 1111 63 0 2990 0
vsize: 12212
[startup+300.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 234187 0 0 0 29368 633 0 0 25 0 1 0 679949266 13021184 2480 4294967295 134512640 134714508 3221221792 3221219792 1074918345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3179 2480 1111 63 0 3116 0
vsize: 12716
[startup+310.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 242137 0 0 0 30346 654 0 0 25 0 1 0 679949266 13234176 2523 4294967295 134512640 134714508 3221221792 3221220112 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3231 2523 1111 63 0 3168 0
vsize: 12924
[startup+320.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 252241 0 0 0 31322 679 0 0 25 0 1 0 679949266 14401536 2629 4294967295 134512640 134714508 3221221792 3221218712 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3516 2629 1111 63 0 3453 0
vsize: 14064
[startup+330.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 260472 0 0 0 32302 698 0 0 25 0 1 0 679949266 15106048 2843 4294967295 134512640 134714508 3221221792 3221217936 1074969467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3688 2843 1111 63 0 3625 0
vsize: 14752
[startup+340.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 269734 0 0 0 33282 719 0 0 25 0 1 0 679949266 13283328 2572 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3243 2572 1111 63 0 3180 0
vsize: 12972
[startup+350.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 278321 0 0 0 34262 739 0 0 25 0 1 0 679949266 13979648 2743 4294967295 134512640 134714508 3221221792 3221219792 1074916702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3413 2743 1111 63 0 3350 0
vsize: 13652
[startup+360.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 287338 0 0 0 35242 759 0 0 25 0 1 0 679949266 13590528 2651 4294967295 134512640 134714508 3221221792 3221220032 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3318 2651 1111 63 0 3255 0
vsize: 13272
[startup+370.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 295804 0 0 0 36223 779 0 0 25 0 1 0 679949266 14082048 2736 4294967295 134512640 134714508 3221221792 3221220048 1073990196 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3438 2736 1111 63 0 3375 0
vsize: 13752
[startup+380.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 303049 0 0 0 37206 796 0 0 25 0 1 0 679949266 13991936 2721 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2721 1111 63 0 3353 0
vsize: 13664
[startup+390.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 311689 0 0 0 38187 815 0 0 25 0 1 0 679949266 14471168 2819 4294967295 134512640 134714508 3221221792 3221220096 1074039238 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3533 2819 1111 63 0 3470 0
vsize: 14132
[startup+400.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 319247 0 0 0 39169 833 0 0 25 0 1 0 679949266 16044032 3131 4294967295 134512640 134714508 3221221792 3221218448 1075967941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3917 3131 1111 63 0 3854 0
vsize: 15668
[startup+410.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 327042 0 0 0 40151 851 0 0 25 0 1 0 679949266 13807616 2674 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3371 2674 1111 63 0 3308 0
vsize: 13484
[startup+420.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 336986 0 0 0 41131 872 0 0 25 0 1 0 679949266 13692928 2676 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2676 1111 63 0 3280 0
vsize: 13372
[startup+430.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 344754 0 0 0 42115 888 0 0 25 0 1 0 679949266 13963264 2742 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3409 2742 1111 63 0 3346 0
vsize: 13636
[startup+440.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 353453 0 0 0 43096 907 0 0 25 0 1 0 679949266 16105472 3127 4294967295 134512640 134714508 3221221792 3221217672 1074788512 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3932 3127 1111 63 0 3869 0
vsize: 15728
[startup+450.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 360964 0 0 0 44078 925 0 0 25 0 1 0 679949266 14295040 2816 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3490 2816 1111 63 0 3427 0
vsize: 13960
[startup+460.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 369094 0 0 0 45062 941 0 0 25 0 1 0 679949266 14315520 2822 4294967295 134512640 134714508 3221221792 3221219680 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3495 2822 1111 63 0 3432 0
vsize: 13980
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 377979 0 0 0 46044 959 0 0 25 0 1 0 679949266 16736256 3299 4294967295 134512640 134714508 3221221792 3221218448 1075967910 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4086 3299 1111 63 0 4023 0
vsize: 16344
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 386615 0 0 0 47024 980 0 0 25 0 1 0 679949266 16519168 3172 4294967295 134512640 134714508 3221221792 3221218448 1075967895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4033 3182 1111 63 0 3970 0
vsize: 16132
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 394521 0 0 0 48007 997 0 0 25 0 1 0 679949266 14757888 2904 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3603 2904 1111 63 0 3540 0
vsize: 14412
[startup+500.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 403974 0 0 0 48985 1019 0 0 25 0 1 0 679949266 14376960 2843 4294967295 134512640 134714508 3221221792 3221219888 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3510 2843 1111 63 0 3447 0
vsize: 14040
[startup+510.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 412178 0 0 0 49964 1040 0 0 25 0 1 0 679949266 14671872 2890 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3582 2890 1111 63 0 3519 0
vsize: 14328
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 417021 0 0 0 50953 1051 0 0 25 0 1 0 679949266 15151104 3032 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3699 3032 1111 63 0 3636 0
vsize: 14796
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 424487 0 0 0 51934 1070 0 0 25 0 1 0 679949266 17461248 3412 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4263 3412 1111 63 0 4200 0
vsize: 17052
[startup+540.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 433898 0 0 0 52913 1092 0 0 25 0 1 0 679949266 17436672 3378 4294967295 134512640 134714508 3221221792 3221218624 1075115816 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4257 3378 1111 63 0 4194 0
vsize: 17028
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 442212 0 0 0 53893 1112 0 0 25 0 1 0 679949266 17235968 3334 4294967295 134512640 134714508 3221221792 3221217884 1075663503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3334 1111 63 0 4145 0
vsize: 16832
[startup+560.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 449335 0 0 0 54876 1128 0 0 25 0 1 0 679949266 17235968 3202 4294967295 134512640 134714508 3221221792 3221218176 1074972874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3202 1111 63 0 4145 0
vsize: 16832
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 458581 0 0 0 55855 1150 0 0 25 0 1 0 679949266 15691776 3131 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3831 3131 1111 63 0 3768 0
vsize: 15324
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 466718 0 0 0 56836 1170 0 0 25 0 1 0 679949266 15593472 3108 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3807 3108 1111 63 0 3744 0
vsize: 15228
[startup+590.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 473199 0 0 0 57820 1185 0 0 25 0 1 0 679949266 16056320 3221 4294967295 134512640 134714508 3221221792 3221220328 134558621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3920 3221 1111 63 0 3857 0
vsize: 15680
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 480306 0 0 0 58802 1204 0 0 25 0 1 0 679949266 15597568 3141 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3808 3141 1111 63 0 3745 0
vsize: 15232
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 490024 0 0 0 59779 1227 0 0 25 0 1 0 679949266 17895424 3524 4294967295 134512640 134714508 3221221792 3221217696 1075965250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4369 3524 1111 63 0 4306 0
vsize: 17476
[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 498783 0 0 0 60759 1247 0 0 25 0 1 0 679949266 16035840 3248 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3915 3248 1111 63 0 3852 0
vsize: 15660
[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 508231 0 0 0 61736 1270 0 0 25 0 1 0 679949266 16035840 3248 4294967295 134512640 134714508 3221221792 3221220136 1074206849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3915 3248 1111 63 0 3852 0
vsize: 15660
[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 517753 0 0 0 62715 1291 0 0 25 0 1 0 679949266 16039936 3249 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3916 3249 1111 63 0 3853 0
vsize: 15664
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 528229 0 0 0 63690 1317 0 0 25 0 1 0 679949266 18599936 3633 4294967295 134512640 134714508 3221221792 3221217920 1075112103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4541 3633 1111 63 0 4478 0
vsize: 18164
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 537682 0 0 0 64666 1340 0 0 25 0 1 0 679949266 16355328 3326 4294967295 134512640 134714508 3221221792 3221220432 134649075 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3993 3326 1111 63 0 3930 0
vsize: 15972
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 545943 0 0 0 65647 1359 0 0 25 0 1 0 679949266 18915328 3692 4294967295 134512640 134714508 3221221792 3221218604 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4618 3692 1111 63 0 4555 0
vsize: 18472
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 556706 0 0 0 66623 1384 0 0 25 0 1 0 679949266 16887808 3440 4294967295 134512640 134714508 3221221792 3221219944 1074950105 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4123 3440 1111 63 0 4060 0
vsize: 16492
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 563202 0 0 0 67608 1399 0 0 25 0 1 0 679949266 19570688 3879 4294967295 134512640 134714508 3221221792 3221218832 1075971343 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4778 3879 1111 63 0 4715 0
vsize: 19112
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 571881 0 0 0 68588 1419 0 0 25 0 1 0 679949266 17231872 3527 4294967295 134512640 134714508 3221221792 3221218984 1074138285 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4207 3527 1111 63 0 4144 0
vsize: 16828
[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 581112 0 0 0 69567 1440 0 0 25 0 1 0 679949266 19312640 3739 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4715 3739 1111 63 0 4652 0
vsize: 18860
[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 589227 0 0 0 70548 1460 0 0 25 0 1 0 679949266 19353600 3783 4294967295 134512640 134714508 3221221792 3221217672 1074788452 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4725 3783 1111 63 0 4662 0
vsize: 18900
[startup+730.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 597676 0 0 0 71528 1479 0 0 25 0 1 0 679949266 16830464 3442 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4109 3442 1111 63 0 4046 0
vsize: 16436
[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 606266 0 0 0 72508 1500 0 0 25 0 1 0 679949266 19075072 3902 4294967295 134512640 134714508 3221221792 3221217804 1074788921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3902 1111 63 0 4594 0
vsize: 18628
[startup+750.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 613415 0 0 0 73491 1517 0 0 25 0 1 0 679949266 17854464 3637 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4359 3637 1111 63 0 4296 0
vsize: 17436
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 621846 0 0 0 74471 1537 0 0 25 0 1 0 679949266 19210240 3679 4294967295 134512640 134714508 3221221792 3221218336 1075088566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4690 3679 1111 63 0 4627 0
vsize: 18760
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 630151 0 0 0 75452 1556 0 0 25 0 1 0 679949266 17633280 3604 4294967295 134512640 134714508 3221221792 3221220232 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4305 3604 1111 63 0 4242 0
vsize: 17220
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 637064 0 0 0 76437 1571 0 0 25 0 1 0 679949266 17141760 3518 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4185 3518 1111 63 0 4122 0
vsize: 16740
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 644071 0 0 0 77421 1588 0 0 25 0 1 0 679949266 18481152 3791 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4512 3791 1111 63 0 4449 0
vsize: 18048
[startup+800.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 653662 0 0 0 78399 1609 0 0 25 0 1 0 679949266 17403904 3582 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4249 3582 1111 63 0 4186 0
vsize: 16996
[startup+810.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 662760 0 0 0 79377 1632 0 0 25 0 1 0 679949266 17514496 3609 4294967295 134512640 134714508 3221221792 3221220000 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4276 3609 1111 63 0 4213 0
vsize: 17104
[startup+820.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 669610 0 0 0 80361 1648 0 0 25 0 1 0 679949266 18657280 3878 4294967295 134512640 134714508 3221221792 3221219788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4555 3878 1111 63 0 4492 0
vsize: 18220
[startup+830.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 677803 0 0 0 81341 1668 0 0 25 0 1 0 679949266 17739776 3664 4294967295 134512640 134714508 3221221792 3221220176 1074153783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4331 3664 1111 63 0 4268 0
vsize: 17324
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 687256 0 0 0 82319 1691 0 0 25 0 1 0 679949266 17514496 3609 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4276 3609 1111 63 0 4213 0
vsize: 17104
[startup+850.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 695466 0 0 0 83301 1709 0 0 25 0 1 0 679949266 17514496 3609 4294967295 134512640 134714508 3221221792 3221220024 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4276 3609 1111 63 0 4213 0
vsize: 17104
[startup+860.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 701696 0 0 0 84287 1723 0 0 25 0 1 0 679949266 21204992 4420 4294967295 134512640 134714508 3221221792 3221218160 1075894480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4420 1111 63 0 5114 0
vsize: 20708
[startup+870.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 711535 0 0 0 85265 1745 0 0 25 0 1 0 679949266 18923520 3904 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4620 3904 1111 63 0 4557 0
vsize: 18480
[startup+880.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 720618 0 0 0 86244 1766 0 0 25 0 1 0 679949266 20463616 4042 4294967295 134512640 134714508 3221221792 3221218324 1075863647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4042 1111 63 0 4933 0
vsize: 19984
[startup+890.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 728414 0 0 0 87229 1781 0 0 25 0 1 0 679949266 21155840 4400 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5165 4400 1111 63 0 5102 0
vsize: 20660
[startup+900.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 736231 0 0 0 88210 1801 0 0 25 0 1 0 679949266 18432000 3833 4294967295 134512640 134714508 3221221792 3221219808 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4500 3833 1111 63 0 4437 0
vsize: 18000
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 745849 0 0 0 89188 1823 0 0 25 0 1 0 679949266 18722816 3854 4294967295 134512640 134714508 3221221792 3221219704 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3865 1111 63 0 4508 0
vsize: 18284
[startup+920.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 753786 0 0 0 90170 1840 0 0 25 0 1 0 679949266 18214912 3780 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4447 3780 1111 63 0 4384 0
vsize: 17788
[startup+930.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 761795 0 0 0 91154 1857 0 0 25 0 1 0 679949266 21643264 4394 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5284 4394 1111 63 0 5221 0
vsize: 21136
[startup+940.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 769238 0 0 0 92137 1874 0 0 25 0 1 0 679949266 18505728 3851 4294967295 134512640 134714508 3221221792 3221220008 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4518 3851 1111 63 0 4455 0
vsize: 18072
[startup+950.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 776690 0 0 0 93121 1890 0 0 25 0 1 0 679949266 21782528 4487 4294967295 134512640 134714508 3221221792 3221217952 1074883555 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5318 4487 1111 63 0 5255 0
vsize: 21272
[startup+960.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 784413 0 0 0 94104 1907 0 0 25 0 1 0 679949266 18640896 3884 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4551 3884 1111 63 0 4488 0
vsize: 18204
[startup+970.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 790902 0 0 0 95089 1923 0 0 25 0 1 0 679949266 22204416 4692 4294967295 134512640 134714508 3221221792 3221218280 1074789815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5421 4692 1111 63 0 5358 0
vsize: 21684
[startup+980.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 799882 0 0 0 96070 1942 0 0 25 0 1 0 679949266 20017152 4174 4294967295 134512640 134714508 3221221792 3221220096 1074039232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4887 4174 1111 63 0 4824 0
vsize: 19548
[startup+990.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 808296 0 0 0 97050 1962 0 0 25 0 1 0 679949266 21975040 4444 4294967295 134512640 134714508 3221221792 3221218448 1075967917 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5365 4444 1111 63 0 5302 0
vsize: 21460
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 816828 0 0 0 98032 1981 0 0 25 0 1 0 679949266 21409792 4253 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5227 4253 1111 63 0 5164 0
vsize: 20908
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 825987 0 0 0 99011 2001 0 0 25 0 1 0 679949266 19251200 4008 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4700 4008 1111 63 0 4637 0
vsize: 18800
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 834420 0 0 0 99992 2020 0 0 25 0 1 0 679949266 20201472 4217 4294967295 134512640 134714508 3221221792 3221220112 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4932 4217 1111 63 0 4869 0
vsize: 19728
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 844263 0 0 0 100970 2043 0 0 25 0 1 0 679949266 18894848 3946 4294967295 134512640 134714508 3221221792 3221219552 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4613 3946 1111 63 0 4550 0
vsize: 18452
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 851734 0 0 0 101953 2060 0 0 25 0 1 0 679949266 19623936 4094 4294967295 134512640 134714508 3221221792 3221219600 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4791 4094 1111 63 0 4728 0
vsize: 19164
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 861724 0 0 0 102928 2085 0 0 25 0 1 0 679949266 22663168 4684 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5533 4689 1111 63 0 5470 0
vsize: 22132
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 870970 0 0 0 103906 2107 0 0 25 0 1 0 679949266 19357696 4033 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4726 4033 1111 63 0 4663 0
vsize: 18904
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 880884 0 0 0 104885 2129 0 0 25 0 1 0 679949266 22556672 4650 4294967295 134512640 134714508 3221221792 3221217920 1075561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5507 4650 1111 63 0 5444 0
vsize: 22028
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 890764 0 0 0 105864 2149 0 0 25 0 1 0 679949266 19103744 3997 4294967295 134512640 134714508 3221221792 3221219552 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4664 3997 1111 63 0 4601 0
vsize: 18656
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 898976 0 0 0 106846 2168 0 0 25 0 1 0 679949266 19517440 4098 4294967295 134512640 134714508 3221221792 3221220240 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4765 4098 1111 63 0 4702 0
vsize: 19060
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 907829 0 0 0 107826 2188 0 0 25 0 1 0 679949266 22315008 4541 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5448 4541 1111 63 0 5385 0
vsize: 21792
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 915826 0 0 0 108808 2207 0 0 25 0 1 0 679949266 19636224 4127 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4794 4127 1111 63 0 4731 0
vsize: 19176
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 920561 0 0 0 109798 2217 0 0 25 0 1 0 679949266 24645632 5241 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6017 5241 1111 63 0 5954 0
vsize: 24068
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 926496 0 0 0 110783 2232 0 0 25 0 1 0 679949266 24473600 5156 4294967295 134512640 134714508 3221221792 3221218020 1075115051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5975 5156 1111 63 0 5912 0
vsize: 23900
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 935227 0 0 0 111763 2252 0 0 25 0 1 0 679949266 19582976 4115 4294967295 134512640 134714508 3221221792 3221219808 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4781 4115 1111 63 0 4718 0
vsize: 19124
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 943056 0 0 0 112746 2269 0 0 25 0 1 0 679949266 21004288 4431 4294967295 134512640 134714508 3221221792 3221219904 1074867344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5128 4431 1111 63 0 5065 0
vsize: 20512
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 953892 0 0 0 113723 2293 0 0 25 0 1 0 679949266 19623936 4125 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4791 4125 1111 63 0 4728 0
vsize: 19164
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 963483 0 0 0 114701 2315 0 0 25 0 1 0 679949266 19623936 4125 4294967295 134512640 134714508 3221221792 3221220128 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4791 4125 1111 63 0 4728 0
vsize: 19164
[startup+1175.64 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 28504
Raw data (stat): 28504 (bsolo_lpr_cuts) R 28503 7876 7672 0 -1 0 963483 0 0 0 114701 2315 0 0 25 0 1 0 679949266 19623936 4125 4294967295 134512640 134714508 3221221792 3221220128 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4791 4125 1111 63 0 4728 0
vsize: 0

Child status: 10
Real time (s): 1175.64
CPU time (s): 1175.77
CPU user time (s): 1152.49
CPU system time (s): 23.2815
CPU usage (%): 100.011
Max. virtual memory (Kb): 24068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	202
#### END VERIFIER DATA ####