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-ii32e1.opb
MD5SUM	33d46caaa6c22613488909eddb5a530f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	162
Optimality of the best value was proved	NO
Number of terms in the objective function	444
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	444
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	444
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	444
Total number of constraints	1408
Number of constraints which are clauses	1408
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 23928

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 13:09:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1415 boxname=wulflinc31 idbench=158 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  33d46caaa6c22613488909eddb5a530f  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii32e1.opb
IDLAUNCH: 1415
/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:        151860 kB
Buffers:         36520 kB
Cached:         812224 kB
SwapCached:        644 kB
Active:         485800 kB
Inactive:       365236 kB
HighTotal:      131008 kB
HighFree:         9408 kB
LowTotal:       903652 kB
LowFree:        142452 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26240 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 13:29:20 (client local time) WITH STATUS 10 IN 1179.65 SECONDS
stats: 1415 0 1179.65 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 444 variables and 1408 constraints.
c After prepocess the problem consists of 444 variables and 1408 constraints.
c preprocess terminated 1.265 s
c Initial Lower Bound: 132
c Lower Bound Elapsed time: 0.512571
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 162 @ 10.334
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 
c Exit Code: 10
c Total time: 1179.61 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.97 2/54 24302
Raw data (stat): 24302 (runsolver) R 24301 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 674929374 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.0011 s]
Raw data (loadavg): 0.93 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 5218 0 0 0 978 17 0 0 25 0 1 0 674929374 7864320 1168 4294967295 134512640 134714508 3221221792 3221217968 1074882459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1920 1168 1111 63 0 1857 0
vsize: 7680
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 10720 0 0 0 1961 34 0 0 25 0 1 0 674929374 8048640 1225 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1965 1225 1111 63 0 1902 0
vsize: 7860
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 17258 0 0 0 2943 53 0 0 25 0 1 0 674929374 8478720 1314 4294967295 134512640 134714508 3221221792 3221217944 1074883065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2070 1314 1111 63 0 2007 0
vsize: 8280
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 24352 0 0 0 3923 73 0 0 25 0 1 0 674929374 8515584 1411 4294967295 134512640 134714508 3221221792 3221220120 1074207527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2079 1411 1111 63 0 2016 0
vsize: 8316
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 31827 0 0 0 4904 92 0 0 25 0 1 0 674929374 9637888 1611 4294967295 134512640 134714508 3221221792 3221217952 1074794664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2353 1611 1111 63 0 2290 0
vsize: 9412
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 37901 0 0 0 5886 110 0 0 25 0 1 0 674929374 9637888 1633 4294967295 134512640 134714508 3221221792 3221220320 134648531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2353 1633 1111 63 0 2290 0
vsize: 9412
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 44775 0 0 0 6869 127 0 0 25 0 1 0 674929374 9728000 1707 4294967295 134512640 134714508 3221221792 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2375 1707 1111 63 0 2312 0
vsize: 9500
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 51563 0 0 0 7852 145 0 0 25 0 1 0 674929374 10313728 1791 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2518 1791 1111 63 0 2455 0
vsize: 10072
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 57925 0 0 0 8836 161 0 0 25 0 1 0 674929374 10895360 1944 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2660 1944 1111 63 0 2597 0
vsize: 10640
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 62627 0 0 0 9820 177 0 0 25 0 1 0 674929374 11661312 2036 4294967295 134512640 134714508 3221221792 3221217668 1074786596 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2847 2036 1111 63 0 2784 0
vsize: 11388
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 68337 0 0 0 10804 193 0 0 25 0 1 0 674929374 10588160 1917 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2585 1917 1111 63 0 2522 0
vsize: 10340
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 72406 0 0 0 11793 204 0 0 25 0 1 0 674929374 10588160 1917 4294967295 134512640 134714508 3221221792 3221220192 1074118797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2585 1917 1111 63 0 2522 0
vsize: 10340
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 78092 0 0 0 12777 221 0 0 25 0 1 0 674929374 11157504 2014 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2724 2014 1111 63 0 2661 0
vsize: 10896
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 84136 0 0 0 13761 236 0 0 25 0 1 0 674929374 11145216 2053 4294967295 134512640 134714508 3221221792 3221219792 1074052248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2721 2053 1111 63 0 2658 0
vsize: 10884
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 87948 0 0 0 14751 247 0 0 25 0 1 0 674929374 11145216 2053 4294967295 134512640 134714508 3221221792 3221219800 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2721 2053 1111 63 0 2658 0
vsize: 10884
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 93018 0 0 0 15736 262 0 0 25 0 1 0 674929374 11911168 2169 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2908 2169 1111 63 0 2845 0
vsize: 11632
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 98588 0 0 0 16719 279 0 0 25 0 1 0 674929374 11763712 2154 4294967295 134512640 134714508 3221221792 3221220120 1077402401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2872 2154 1111 63 0 2809 0
vsize: 11488
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 104634 0 0 0 17703 295 0 0 25 0 1 0 674929374 12406784 2295 4294967295 134512640 134714508 3221221792 3221218448 1075966495 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3029 2295 1111 63 0 2966 0
vsize: 12116
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 111066 0 0 0 18683 316 0 0 25 0 1 0 674929374 12103680 2287 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2955 2287 1111 63 0 2892 0
vsize: 11820
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 118842 0 0 0 19663 336 0 0 25 0 1 0 674929374 12554240 2397 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3065 2397 1111 63 0 3002 0
vsize: 12260
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 124247 0 0 0 20646 352 0 0 25 0 1 0 674929374 12763136 2403 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3116 2403 1111 63 0 3053 0
vsize: 12464
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 129867 0 0 0 21633 366 0 0 25 0 1 0 674929374 13328384 2477 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3254 2477 1111 63 0 3191 0
vsize: 13016
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 135725 0 0 0 22618 381 0 0 25 0 1 0 674929374 13377536 2493 4294967295 134512640 134714508 3221221792 3221217756 1074788921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3266 2493 1111 63 0 3203 0
vsize: 13064
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 141732 0 0 0 23602 397 0 0 25 0 1 0 674929374 12738560 2442 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3110 2442 1111 63 0 3047 0
vsize: 12440
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 150216 0 0 0 24578 422 0 0 25 0 1 0 674929374 13971456 2693 4294967295 134512640 134714508 3221221792 3221218384 1074887655 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 2693 1111 63 0 3348 0
vsize: 13644
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 157402 0 0 0 25560 440 0 0 25 0 1 0 674929374 14217216 2725 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2725 1111 63 0 3408 0
vsize: 13884
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 163872 0 0 0 26541 458 0 0 25 0 1 0 674929374 13778944 2628 4294967295 134512640 134714508 3221221792 3221217728 1075965307 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2628 1111 63 0 3301 0
vsize: 13456
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 168859 0 0 0 27527 473 0 0 25 0 1 0 674929374 13754368 2582 4294967295 134512640 134714508 3221221792 3221219360 1075972440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3358 2582 1111 63 0 3295 0
vsize: 13432
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 173677 0 0 0 28513 487 0 0 25 0 1 0 674929374 13254656 2554 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3236 2554 1111 63 0 3173 0
vsize: 12944
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 178998 0 0 0 29498 502 0 0 25 0 1 0 674929374 14000128 2656 4294967295 134512640 134714508 3221221792 3221217756 1074788159 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2656 1111 63 0 3355 0
vsize: 13672
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 184705 0 0 0 30483 518 0 0 25 0 1 0 674929374 13193216 2553 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3221 2553 1111 63 0 3158 0
vsize: 12884
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 191057 0 0 0 31466 535 0 0 25 0 1 0 674929374 14594048 2755 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3563 2755 1111 63 0 3500 0
vsize: 14252
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 200702 0 0 0 32442 559 0 0 25 0 1 0 674929374 14123008 2735 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3448 2735 1111 63 0 3385 0
vsize: 13792
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 210692 0 0 0 33418 583 0 0 25 0 1 0 674929374 14647296 2905 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2905 1111 63 0 3513 0
vsize: 14304
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 218794 0 0 0 34399 603 0 0 25 0 1 0 674929374 14778368 2940 4294967295 134512640 134714508 3221221792 3221220464 1076648059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3608 2940 1111 63 0 3545 0
vsize: 14432
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 226992 0 0 0 35381 621 0 0 25 0 1 0 674929374 15745024 3109 4294967295 134512640 134714508 3221221792 3221217884 1075663503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3844 3109 1111 63 0 3781 0
vsize: 15376
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 235116 0 0 0 36363 639 0 0 25 0 1 0 674929374 16134144 3181 4294967295 134512640 134714508 3221221792 3221217728 1075965272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3939 3181 1111 63 0 3876 0
vsize: 15756
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 244023 0 0 0 37341 660 0 0 25 0 1 0 674929374 15847424 3167 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3869 3167 1111 63 0 3806 0
vsize: 15476
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 252050 0 0 0 38322 680 0 0 25 0 1 0 674929374 16113664 3252 4294967295 134512640 134714508 3221221792 3221218984 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3934 3255 1111 63 0 3871 0
vsize: 15736
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 260359 0 0 0 39304 698 0 0 25 0 1 0 674929374 15962112 3229 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3897 3229 1111 63 0 3834 0
vsize: 15588
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 268533 0 0 0 40284 718 0 0 25 0 1 0 674929374 16351232 3292 4294967295 134512640 134714508 3221221792 3221219520 1075828432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3992 3292 1111 63 0 3929 0
vsize: 15968
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 277167 0 0 0 41263 739 0 0 25 0 1 0 674929374 16269312 3277 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3277 1111 63 0 3909 0
vsize: 15888
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 285010 0 0 0 42245 757 0 0 25 0 1 0 674929374 17514496 3539 4294967295 134512640 134714508 3221221792 3221218256 1075602734 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4276 3539 1111 63 0 4213 0
vsize: 17104
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 293013 0 0 0 43226 777 0 0 25 0 1 0 674929374 16814080 3406 4294967295 134512640 134714508 3221221792 3221219472 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4105 3406 1111 63 0 4042 0
vsize: 16420
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 301963 0 0 0 44203 800 0 0 25 0 1 0 674929374 17698816 3616 4294967295 134512640 134714508 3221221792 3221218112 1075169848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4321 3616 1111 63 0 4258 0
vsize: 17284
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 310632 0 0 0 45182 821 0 0 25 0 1 0 674929374 17330176 3564 4294967295 134512640 134714508 3221221792 3221219692 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4231 3564 1111 63 0 4168 0
vsize: 16924
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 320873 0 0 0 46160 843 0 0 25 0 1 0 674929374 17395712 3580 4294967295 134512640 134714508 3221221792 3221219504 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4247 3580 1111 63 0 4184 0
vsize: 16988
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 328204 0 0 0 47145 859 0 0 25 0 1 0 674929374 17801216 3647 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4346 3647 1111 63 0 4283 0
vsize: 17384
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 336443 0 0 0 48126 877 0 0 25 0 1 0 674929374 17408000 3583 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4250 3583 1111 63 0 4187 0
vsize: 17000
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 344800 0 0 0 49105 899 0 0 25 0 1 0 674929374 17756160 3668 4294967295 134512640 134714508 3221221792 3221220256 1074121049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3668 1111 63 0 4272 0
vsize: 17340
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 353037 0 0 0 50085 918 0 0 25 0 1 0 674929374 18821120 3838 4294967295 134512640 134714508 3221221792 3221218712 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3842 1111 63 0 4593 0
vsize: 18380
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 362912 0 0 0 51061 943 0 0 25 0 1 0 674929374 19410944 3962 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4739 3962 1111 63 0 4676 0
vsize: 18956
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 374287 0 0 0 52034 970 0 0 25 0 1 0 674929374 19689472 4062 4294967295 134512640 134714508 3221221792 3221218912 1074834473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4807 4062 1111 63 0 4744 0
vsize: 19228
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 382459 0 0 0 53017 988 0 0 25 0 1 0 674929374 18186240 3773 4294967295 134512640 134714508 3221221792 3221220128 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4440 3773 1111 63 0 4377 0
vsize: 17760
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 390060 0 0 0 54000 1005 0 0 25 0 1 0 674929374 18587648 3839 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4538 3839 1111 63 0 4475 0
vsize: 18152
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 396743 0 0 0 54985 1020 0 0 25 0 1 0 674929374 18554880 3850 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4530 3850 1111 63 0 4467 0
vsize: 18120
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 405000 0 0 0 55967 1038 0 0 25 0 1 0 674929374 19800064 4130 4294967295 134512640 134714508 3221221792 3221218340 1075088584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4834 4130 1111 63 0 4771 0
vsize: 19336
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 411822 0 0 0 56952 1053 0 0 25 0 1 0 674929374 18612224 3845 4294967295 134512640 134714508 3221221792 3221220064 1074039337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4544 3845 1111 63 0 4481 0
vsize: 18176
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 420535 0 0 0 57931 1074 0 0 25 0 1 0 674929374 18694144 3865 4294967295 134512640 134714508 3221221792 3221219788 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4564 3865 1111 63 0 4501 0
vsize: 18256
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 429535 0 0 0 58911 1095 0 0 25 0 1 0 674929374 18186240 3773 4294967295 134512640 134714508 3221221792 3221220416 134650161 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4440 3773 1111 63 0 4377 0
vsize: 17760
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 438247 0 0 0 59892 1114 0 0 25 0 1 0 674929374 19939328 4177 4294967295 134512640 134714508 3221221792 3221217768 1074788440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4868 4177 1111 63 0 4805 0
vsize: 19472
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 446900 0 0 0 60871 1135 0 0 25 0 1 0 674929374 18604032 3859 4294967295 134512640 134714508 3221221792 3221220256 1074121076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4542 3859 1111 63 0 4479 0
vsize: 18168
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 454170 0 0 0 61852 1154 0 0 25 0 1 0 674929374 19824640 4113 4294967295 134512640 134714508 3221221792 3221217700 1074786571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4840 4113 1111 63 0 4777 0
vsize: 19360
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 461638 0 0 0 62838 1169 0 0 25 0 1 0 674929374 18628608 3881 4294967295 134512640 134714508 3221221792 3221220192 1074118854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4548 3881 1111 63 0 4485 0
vsize: 18192
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 469972 0 0 0 63817 1190 0 0 25 0 1 0 674929374 18849792 3882 4294967295 134512640 134714508 3221221792 3221219752 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4602 3893 1111 63 0 4539 0
vsize: 18408
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 478560 0 0 0 64798 1209 0 0 25 0 1 0 674929374 18616320 3846 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 3846 1111 63 0 4482 0
vsize: 18180
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 486710 0 0 0 65779 1228 0 0 25 0 1 0 674929374 18386944 3822 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4489 3822 1111 63 0 4426 0
vsize: 17956
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 494306 0 0 0 66762 1245 0 0 25 0 1 0 674929374 18911232 3940 4294967295 134512640 134714508 3221221792 3221219792 1074918559 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4617 3940 1111 63 0 4554 0
vsize: 18468
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 500284 0 0 0 67749 1259 0 0 25 0 1 0 674929374 19058688 3954 4294967295 134512640 134714508 3221221792 3221219440 1075818331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4653 3954 1111 63 0 4590 0
vsize: 18612
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 507372 0 0 0 68733 1275 0 0 25 0 1 0 674929374 18690048 3864 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4563 3864 1111 63 0 4500 0
vsize: 18252
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 513895 0 0 0 69718 1290 0 0 25 0 1 0 674929374 18173952 3770 4294967295 134512640 134714508 3221221792 3221219904 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4437 3770 1111 63 0 4374 0
vsize: 17748
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 520928 0 0 0 70701 1307 0 0 25 0 1 0 674929374 18173952 3770 4294967295 134512640 134714508 3221221792 3221219936 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4437 3770 1111 63 0 4374 0
vsize: 17748
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 528216 0 0 0 71684 1324 0 0 25 0 1 0 674929374 18317312 3800 4294967295 134512640 134714508 3221221792 3221219520 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4472 3800 1111 63 0 4409 0
vsize: 17888
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 534578 0 0 0 72668 1340 0 0 25 0 1 0 674929374 18685952 3863 4294967295 134512640 134714508 3221221792 3221220272 1074031964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4562 3863 1111 63 0 4499 0
vsize: 18248
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 541145 0 0 0 73653 1356 0 0 25 0 1 0 674929374 18685952 3863 4294967295 134512640 134714508 3221221792 3221220272 1074031978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4562 3863 1111 63 0 4499 0
vsize: 18248
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 548141 0 0 0 74637 1372 0 0 25 0 1 0 674929374 18173952 3770 4294967295 134512640 134714508 3221221792 3221219348 1077378716 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4437 3770 1111 63 0 4374 0
vsize: 17748
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 554895 0 0 0 75622 1387 0 0 25 0 1 0 674929374 18173952 3770 4294967295 134512640 134714508 3221221792 3221220000 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4437 3770 1111 63 0 4374 0
vsize: 17748
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 560887 0 0 0 76608 1401 0 0 25 0 1 0 674929374 18620416 3847 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4546 3847 1111 63 0 4483 0
vsize: 18184
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 567992 0 0 0 77591 1418 0 0 25 0 1 0 674929374 18538496 3859 4294967295 134512640 134714508 3221221792 3221220120 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4526 3859 1111 63 0 4463 0
vsize: 18104
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 574525 0 0 0 78575 1435 0 0 25 0 1 0 674929374 20078592 4185 4294967295 134512640 134714508 3221221792 3221217724 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4902 4185 1111 63 0 4839 0
vsize: 19608
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 581932 0 0 0 79558 1451 0 0 25 0 1 0 674929374 19984384 3986 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4879 3990 1111 63 0 4816 0
vsize: 19516
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 588834 0 0 0 80542 1468 0 0 25 0 1 0 674929374 20086784 4184 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4904 4184 1111 63 0 4841 0
vsize: 19616
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 593824 0 0 0 81530 1480 0 0 25 0 1 0 674929374 18677760 3861 4294967295 134512640 134714508 3221221792 3221220140 1074064918 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4560 3861 1111 63 0 4497 0
vsize: 18240
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 600270 0 0 0 82517 1493 0 0 25 0 1 0 674929374 18382848 3821 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4488 3821 1111 63 0 4425 0
vsize: 17952
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 607990 0 0 0 83498 1512 0 0 25 0 1 0 674929374 19636224 4066 4294967295 134512640 134714508 3221221792 3221217760 1074872824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4794 4066 1111 63 0 4731 0
vsize: 19176
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 615144 0 0 0 84482 1528 0 0 25 0 1 0 674929374 19636224 4079 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4794 4079 1111 63 0 4731 0
vsize: 19176
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 621988 0 0 0 85467 1544 0 0 25 0 1 0 674929374 18722816 3904 4294967295 134512640 134714508 3221221792 3221219792 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3904 1111 63 0 4508 0
vsize: 18284
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 628016 0 0 0 86453 1558 0 0 25 0 1 0 674929374 18726912 3905 4294967295 134512640 134714508 3221221792 3221220320 134648387 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4572 3905 1111 63 0 4509 0
vsize: 18288
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 635242 0 0 0 87434 1577 0 0 25 0 1 0 674929374 19025920 3972 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4645 3972 1111 63 0 4582 0
vsize: 18580
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 642957 0 0 0 88417 1594 0 0 25 0 1 0 674929374 18481152 3824 4294967295 134512640 134714508 3221221792 3221219280 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4512 3824 1111 63 0 4449 0
vsize: 18048
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 650318 0 0 0 89400 1611 0 0 25 0 1 0 674929374 18649088 3859 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4553 3859 1111 63 0 4490 0
vsize: 18212
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 657696 0 0 0 90382 1629 0 0 25 0 1 0 674929374 18915328 3947 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4618 3947 1111 63 0 4555 0
vsize: 18472
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 665867 0 0 0 91364 1648 0 0 25 0 1 0 674929374 20471808 4303 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4998 4303 1111 63 0 4935 0
vsize: 19992
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 672922 0 0 0 92348 1664 0 0 25 0 1 0 674929374 20578304 4327 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5024 4327 1111 63 0 4961 0
vsize: 20096
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 680752 0 0 0 93329 1683 0 0 25 0 1 0 674929374 20594688 4301 4294967295 134512640 134714508 3221221792 3221218712 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5028 4301 1111 63 0 4965 0
vsize: 20112
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 688146 0 0 0 94313 1699 0 0 25 0 1 0 674929374 18546688 3861 4294967295 134512640 134714508 3221221792 3221219772 1074206265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4528 3861 1111 63 0 4465 0
vsize: 18112
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 695767 0 0 0 95297 1716 0 0 25 0 1 0 674929374 20664320 4355 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5045 4355 1111 63 0 4982 0
vsize: 20180
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 703463 0 0 0 96280 1733 0 0 25 0 1 0 674929374 19107840 3959 4294967295 134512640 134714508 3221221792 3221219536 1075645384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4665 3959 1111 63 0 4602 0
vsize: 18660
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 712171 0 0 0 97262 1751 0 0 25 0 1 0 674929374 18980864 3967 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4634 3967 1111 63 0 4571 0
vsize: 18536
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 719970 0 0 0 98244 1769 0 0 25 0 1 0 674929374 19148800 4008 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4675 4008 1111 63 0 4612 0
vsize: 18700
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 728981 0 0 0 99223 1790 0 0 25 0 1 0 674929374 19402752 4045 4294967295 134512640 134714508 3221221792 3221219904 1074867347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4737 4045 1111 63 0 4674 0
vsize: 18948
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 736217 0 0 0 100208 1806 0 0 25 0 1 0 674929374 19456000 4050 4294967295 134512640 134714508 3221221792 3221219944 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4750 4050 1111 63 0 4687 0
vsize: 19000
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 744600 0 0 0 101188 1825 0 0 25 0 1 0 674929374 20881408 4357 4294967295 134512640 134714508 3221221792 3221218864 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5098 4357 1111 63 0 5035 0
vsize: 20392
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 750949 0 0 0 102176 1838 0 0 25 0 1 0 674929374 19689472 4109 4294967295 134512640 134714508 3221221792 3221219520 1075828488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4807 4109 1111 63 0 4744 0
vsize: 19228
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 757770 0 0 0 103161 1853 0 0 25 0 1 0 674929374 19820544 4141 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4141 1111 63 0 4776 0
vsize: 19356
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 764087 0 0 0 104146 1868 0 0 25 0 1 0 674929374 21495808 4504 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5248 4504 1111 63 0 5185 0
vsize: 20992
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 772640 0 0 0 105128 1886 0 0 25 0 1 0 674929374 21250048 4475 4294967295 134512640 134714508 3221221792 3221217892 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5188 4475 1111 63 0 5125 0
vsize: 20752
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 780458 0 0 0 106113 1902 0 0 25 0 1 0 674929374 21569536 4546 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4546 1111 63 0 5203 0
vsize: 21064
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 789060 0 0 0 107094 1920 0 0 25 0 1 0 674929374 21495808 4464 4294967295 134512640 134714508 3221221792 3221218040 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5248 4464 1111 63 0 5185 0
vsize: 20992
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 797580 0 0 0 108077 1938 0 0 25 0 1 0 674929374 18931712 3955 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3955 1111 63 0 4559 0
vsize: 18488
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 805562 0 0 0 109059 1956 0 0 25 0 1 0 674929374 21323776 4515 4294967295 134512640 134714508 3221221792 3221217700 1074786464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5206 4515 1111 63 0 5143 0
vsize: 20824
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 811641 0 0 0 110045 1970 0 0 25 0 1 0 674929374 20971520 4436 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5120 4436 1111 63 0 5057 0
vsize: 20480
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 820606 0 0 0 111025 1991 0 0 25 0 1 0 674929374 19787776 4132 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4831 4132 1111 63 0 4768 0
vsize: 19324
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 829583 0 0 0 112004 2011 0 0 25 0 1 0 674929374 19062784 3987 4294967295 134512640 134714508 3221221792 3221219512 1077379372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4654 3987 1111 63 0 4591 0
vsize: 18616
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 837203 0 0 0 112987 2029 0 0 25 0 1 0 674929374 21041152 4428 4294967295 134512640 134714508 3221221792 3221218560 1076083757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5137 4428 1111 63 0 5074 0
vsize: 20548
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 845028 0 0 0 113969 2047 0 0 25 0 1 0 674929374 21880832 4636 4294967295 134512640 134714508 3221221792 3221217892 1075964271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5342 4636 1111 63 0 5279 0
vsize: 21368
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 853257 0 0 0 114950 2066 0 0 25 0 1 0 674929374 19169280 4013 4294967295 134512640 134714508 3221221792 3221220192 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4680 4013 1111 63 0 4617 0
vsize: 18720
[startup+1179.5 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 24302
Raw data (stat): 24302 (bsolo_lpr_cuts) R 24301 7876 7672 0 -1 0 853257 0 0 0 114950 2066 0 0 25 0 1 0 674929374 19169280 4013 4294967295 134512640 134714508 3221221792 3221220192 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4680 4013 1111 63 0 4617 0
vsize: 0

Child status: 10
Real time (s): 1179.5
CPU time (s): 1179.65
CPU user time (s): 1158.79
CPU system time (s): 20.8518
CPU usage (%): 100.012
Max. virtual memory (Kb): 21368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	162
#### END VERIFIER DATA ####