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-ii32b1.opb
MD5SUM	c4653389ddee2820797c664a0856c651
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	456
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	456
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	456
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.02784
Number of variables	456
Total number of constraints	1602
Number of constraints which are clauses	1602
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 23873

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-05 21:08:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1316 boxname=wulflinc31 idbench=147 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c4653389ddee2820797c664a0856c651  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32b1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii32b1.opb
IDLAUNCH: 1316
/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:        157128 kB
Buffers:         35064 kB
Cached:         808720 kB
SwapCached:        640 kB
Active:         481668 kB
Inactive:       364168 kB
HighTotal:      131008 kB
HighFree:        13132 kB
LowTotal:       903652 kB
LowFree:        143996 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            26152 kB
Committed_AS:    63376 kB
PageTables:        304 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-05 21:27:37 (client local time) WITH STATUS 10 IN 1175.13 SECONDS
stats: 1316 0 1175.13 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 456 variables and 1602 constraints.
c After prepocess the problem consists of 456 variables and 1602 constraints.
c preprocess terminated 1.445 s
c Initial Lower Bound: 140
c Lower Bound Elapsed time: 0.6645
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 228 @ 8.891
c NEW SOLUTION FOUND: 227 @ 8.892
c NEW SOLUTION FOUND: 226 @ 8.898
c NEW SOLUTION FOUND: 225 @ 8.904
c NEW SOLUTION FOUND: 224 @ 8.91
c NEW SOLUTION FOUND: 223 @ 8.917
c NEW SOLUTION FOUND: 222 @ 8.94
c NEW SOLUTION FOUND: 221 @ 8.994
c NEW SOLUTION FOUND: 220 @ 9.395
c NEW SOLUTION FOUND: 219 @ 21.591
c NEW SOLUTION FOUND: 212 @ 104.48
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 
c Exit Code: 10
c Total time: 1175.1 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.95 2/53 18102
Raw data (stat): 18102 (runsolver) R 18101 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 669158905 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.0007 s]
Raw data (loadavg): 0.94 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 6092 0 0 0 973 22 0 0 25 0 1 0 669158905 7954432 1263 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1942 1263 1111 63 0 1879 0
vsize: 7768
[startup+20.0021 s]
Raw data (loadavg): 0.95 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 13760 0 0 0 1950 45 0 0 25 0 1 0 669158905 9187328 1454 4294967295 134512640 134714508 3221221792 3221217920 1075561096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2243 1454 1111 63 0 2180 0
vsize: 8972
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 21706 0 0 0 2926 69 0 0 25 0 1 0 669158905 9887744 1654 4294967295 134512640 134714508 3221221792 3221218020 1075115073 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2414 1654 1111 63 0 2351 0
vsize: 9656
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 28663 0 0 0 3906 90 0 0 25 0 1 0 669158905 8990720 1521 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2195 1521 1111 63 0 2132 0
vsize: 8780
[startup+50.0039 s]
Raw data (loadavg): 0.97 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 37467 0 0 0 4882 114 0 0 25 0 1 0 669158905 9629696 1677 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2351 1677 1111 63 0 2288 0
vsize: 9404
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 45297 0 0 0 5859 137 0 0 25 0 1 0 669158905 11460608 2008 4294967295 134512640 134714508 3221221792 3221218448 1075967938 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2798 2008 1111 63 0 2735 0
vsize: 11192
[startup+70.0051 s]
Raw data (loadavg): 0.97 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 52189 0 0 0 6842 155 0 0 25 0 1 0 669158905 10399744 1874 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2539 1874 1111 63 0 2476 0
vsize: 10156
[startup+80.0058 s]
Raw data (loadavg): 0.98 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 59816 0 0 0 7822 175 0 0 25 0 1 0 669158905 10436608 1883 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2548 1883 1111 63 0 2485 0
vsize: 10192
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 68028 0 0 0 8800 197 0 0 25 0 1 0 669158905 10686464 1944 4294967295 134512640 134714508 3221221792 3221219472 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2609 1944 1111 63 0 2546 0
vsize: 10436
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 76249 0 0 0 9778 219 0 0 25 0 1 0 669158905 12148736 2233 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2966 2233 1111 63 0 2903 0
vsize: 11864
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 82689 0 0 0 10761 237 0 0 25 0 1 0 669158905 12042240 2124 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2940 2125 1111 63 0 2877 0
vsize: 11760
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 89549 0 0 0 11743 255 0 0 25 0 1 0 669158905 12324864 2230 4294967295 134512640 134714508 3221221792 3221218864 1074867347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3009 2230 1111 63 0 2946 0
vsize: 12036
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 95669 0 0 0 12727 271 0 0 25 0 1 0 669158905 11304960 2095 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2760 2095 1111 63 0 2697 0
vsize: 11040
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 103612 0 0 0 13702 296 0 0 25 0 1 0 669158905 11452416 2131 4294967295 134512640 134714508 3221221792 3221219680 1074050928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2796 2131 1111 63 0 2733 0
vsize: 11184
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 113155 0 0 0 14673 325 0 0 25 0 1 0 669158905 11964416 2255 4294967295 134512640 134714508 3221221792 3221220144 1074115334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2921 2255 1111 63 0 2858 0
vsize: 11684
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 120736 0 0 0 15652 346 0 0 25 0 1 0 669158905 12066816 2281 4294967295 134512640 134714508 3221221792 3221220272 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2946 2281 1111 63 0 2883 0
vsize: 11784
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 128506 0 0 0 16629 369 0 0 25 0 1 0 669158905 12472320 2350 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3045 2350 1111 63 0 2982 0
vsize: 12180
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 135462 0 0 0 17611 388 0 0 25 0 1 0 669158905 12816384 2432 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3129 2432 1111 63 0 3066 0
vsize: 12516
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 145151 0 0 0 18584 415 0 0 25 0 1 0 669158905 13045760 2520 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2520 1111 63 0 3122 0
vsize: 12740
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 154377 0 0 0 19559 440 0 0 25 0 1 0 669158905 14020608 2684 4294967295 134512640 134714508 3221221792 3221217952 1074794491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2684 1111 63 0 3360 0
vsize: 13692
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 162414 0 0 0 20537 462 0 0 25 0 1 0 669158905 13520896 2629 4294967295 134512640 134714508 3221221792 3221220112 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3301 2629 1111 63 0 3238 0
vsize: 13204
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 170598 0 0 0 21515 484 0 0 25 0 1 0 669158905 13623296 2629 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3326 2629 1111 63 0 3263 0
vsize: 13304
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 179249 0 0 0 22493 506 0 0 25 0 1 0 669158905 13479936 2594 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3291 2594 1111 63 0 3228 0
vsize: 13164
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 188373 0 0 0 23469 531 0 0 25 0 1 0 669158905 14151680 2720 4294967295 134512640 134714508 3221221792 3221217804 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3455 2720 1111 63 0 3392 0
vsize: 13820
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 197679 0 0 0 24443 557 0 0 25 0 1 0 669158905 14004224 2722 4294967295 134512640 134714508 3221221792 3221219788 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2722 1111 63 0 3356 0
vsize: 13676
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 204922 0 0 0 25424 576 0 0 25 0 1 0 669158905 13750272 2692 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3357 2692 1111 63 0 3294 0
vsize: 13428
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 213817 0 0 0 26397 603 0 0 25 0 1 0 669158905 15106048 2947 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3688 2947 1111 63 0 3625 0
vsize: 14752
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 222591 0 0 0 27376 624 0 0 25 0 1 0 669158905 13844480 2715 4294967295 134512640 134714508 3221221792 3221219704 1073986673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3380 2715 1111 63 0 3317 0
vsize: 13520
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 231877 0 0 0 28349 651 0 0 25 0 1 0 669158905 15044608 2989 4294967295 134512640 134714508 3221221792 3221218896 1074138821 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3673 2989 1111 63 0 3610 0
vsize: 14692
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 239264 0 0 0 29331 670 0 0 25 0 1 0 669158905 14888960 2938 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3635 2938 1111 63 0 3572 0
vsize: 14540
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 246585 0 0 0 30309 691 0 0 25 0 1 0 669158905 15900672 3120 4294967295 134512640 134714508 3221221792 3221218624 1075115375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3882 3120 1111 63 0 3819 0
vsize: 15528
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 254039 0 0 0 31290 711 0 0 25 0 1 0 669158905 16617472 3242 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4057 3242 1111 63 0 3994 0
vsize: 16228
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 260808 0 0 0 32273 727 0 0 25 0 1 0 669158905 16605184 3365 4294967295 134512640 134714508 3221221792 3221217756 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4054 3365 1111 63 0 3991 0
vsize: 16216
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 265413 0 0 0 33262 739 0 0 25 0 1 0 669158905 16666624 3358 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4069 3358 1111 63 0 4006 0
vsize: 16276
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 271043 0 0 0 34248 753 0 0 25 0 1 0 669158905 15114240 3000 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3690 3000 1111 63 0 3627 0
vsize: 14760
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 278133 0 0 0 35231 771 0 0 25 0 1 0 669158905 16629760 3343 4294967295 134512640 134714508 3221221792 3221218020 1075115035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4060 3343 1111 63 0 3997 0
vsize: 16240
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 285820 0 0 0 36210 791 0 0 25 0 1 0 669158905 17207296 3433 4294967295 134512640 134714508 3221221792 3221218448 1075967932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4201 3433 1111 63 0 4138 0
vsize: 16804
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 293468 0 0 0 37191 811 0 0 25 0 1 0 669158905 16777216 3149 4294967295 134512640 134714508 3221221792 3221218832 1075971389 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4096 3154 1111 63 0 4033 0
vsize: 16384
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 302174 0 0 0 38167 835 0 0 25 0 1 0 669158905 15769600 3185 4294967295 134512640 134714508 3221221792 3221220348 134539326 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3850 3185 1111 63 0 3787 0
vsize: 15400
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 311257 0 0 0 39143 859 0 0 25 0 1 0 669158905 16068608 3226 4294967295 134512640 134714508 3221221792 3221219792 1074917901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3923 3226 1111 63 0 3860 0
vsize: 15692
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 319492 0 0 0 40123 880 0 0 25 0 1 0 669158905 16510976 3333 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4031 3333 1111 63 0 3968 0
vsize: 16124
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 329773 0 0 0 41096 906 0 0 25 0 1 0 669158905 16285696 3311 4294967295 134512640 134714508 3221221792 3221220080 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3976 3311 1111 63 0 3913 0
vsize: 15904
[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 335441 0 0 0 42082 921 0 0 25 0 1 0 669158905 16302080 3315 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3980 3315 1111 63 0 3917 0
vsize: 15920
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 342472 0 0 0 43064 939 0 0 25 0 1 0 669158905 17784832 3608 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4342 3608 1111 63 0 4279 0
vsize: 17368
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 351607 0 0 0 44040 963 0 0 25 0 1 0 669158905 16519168 3368 4294967295 134512640 134714508 3221221792 3221220208 1073989433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4033 3368 1111 63 0 3970 0
vsize: 16132
[startup+460.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 359522 0 0 0 45017 986 0 0 25 0 1 0 669158905 17289216 3382 4294967295 134512640 134714508 3221221792 3221218324 1075863672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4221 3382 1111 63 0 4158 0
vsize: 16884
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 367262 0 0 0 45996 1007 0 0 25 0 1 0 669158905 18067456 3685 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4411 3685 1111 63 0 4348 0
vsize: 17644
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 377277 0 0 0 46970 1033 0 0 25 0 1 0 669158905 16863232 3448 4294967295 134512640 134714508 3221221792 3221219944 1074950074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4117 3448 1111 63 0 4054 0
vsize: 16468
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 386545 0 0 0 47944 1059 0 0 25 0 1 0 669158905 18399232 3709 4294967295 134512640 134714508 3221221792 3221217760 1075965253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4492 3709 1111 63 0 4429 0
vsize: 17968
[startup+500.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 396238 0 0 0 48919 1084 0 0 25 0 1 0 669158905 18472960 3617 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4510 3617 1111 63 0 4447 0
vsize: 18040
[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 404574 0 0 0 49898 1106 0 0 25 0 1 0 669158905 16928768 3468 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4133 3468 1111 63 0 4070 0
vsize: 16532
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 412859 0 0 0 50876 1128 0 0 25 0 1 0 669158905 17408000 3558 4294967295 134512640 134714508 3221221792 3221219440 1075818322 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4250 3558 1111 63 0 4187 0
vsize: 17000
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 421773 0 0 0 51855 1149 0 0 25 0 1 0 669158905 18735104 3853 4294967295 134512640 134714508 3221221792 3221217996 1075564295 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4574 3853 1111 63 0 4511 0
vsize: 18296
[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 430267 0 0 0 52832 1172 0 0 25 0 1 0 669158905 17768448 3673 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4338 3673 1111 63 0 4275 0
vsize: 17352
[startup+550.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 438791 0 0 0 53812 1192 0 0 25 0 1 0 669158905 17764352 3669 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4337 3669 1111 63 0 4274 0
vsize: 17348
[startup+560.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 446337 0 0 0 54794 1211 0 0 25 0 1 0 669158905 18030592 3737 4294967295 134512640 134714508 3221221792 3221219932 1073986656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4402 3737 1111 63 0 4339 0
vsize: 17608
[startup+570.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 453481 0 0 0 55775 1230 0 0 25 0 1 0 669158905 20185088 4219 4294967295 134512640 134714508 3221221792 3221217760 1075965234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4928 4219 1111 63 0 4865 0
vsize: 19712
[startup+580.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 462277 0 0 0 56752 1252 0 0 25 0 1 0 669158905 18935808 3925 4294967295 134512640 134714508 3221221792 3221220112 1074039446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4623 3925 1111 63 0 4560 0
vsize: 18492
[startup+590.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 471021 0 0 0 57731 1274 0 0 25 0 1 0 669158905 19877888 3972 4294967295 134512640 134714508 3221221792 3221218064 1074960771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4853 3972 1111 63 0 4790 0
vsize: 19412
[startup+600.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 480852 0 0 0 58708 1297 0 0 25 0 1 0 669158905 18939904 3943 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4624 3943 1111 63 0 4561 0
vsize: 18496
[startup+610.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 491088 0 0 0 59684 1322 0 0 25 0 1 0 669158905 18919424 3954 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3954 1111 63 0 4556 0
vsize: 18476
[startup+620.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 500188 0 0 0 60663 1342 0 0 25 0 1 0 669158905 20516864 4242 4294967295 134512640 134714508 3221221792 3221217700 1074786588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5009 4242 1111 63 0 4946 0
vsize: 20036
[startup+630.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 508893 0 0 0 61642 1364 0 0 25 0 1 0 669158905 18747392 3912 4294967295 134512640 134714508 3221221792 3221219984 134650104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4577 3912 1111 63 0 4514 0
vsize: 18308
[startup+640.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 517784 0 0 0 62621 1384 0 0 25 0 1 0 669158905 20926464 4327 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5109 4327 1111 63 0 5046 0
vsize: 20436
[startup+650.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 526410 0 0 0 63602 1404 0 0 25 0 1 0 669158905 21393408 4517 4294967295 134512640 134714508 3221221792 3221218064 1074961347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5223 4517 1111 63 0 5160 0
vsize: 20892
[startup+660.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 533281 0 0 0 64586 1420 0 0 25 0 1 0 669158905 19800064 4151 4294967295 134512640 134714508 3221221792 3221220112 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4834 4151 1111 63 0 4771 0
vsize: 19336
[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 542264 0 0 0 65564 1442 0 0 25 0 1 0 669158905 19746816 4124 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4821 4124 1111 63 0 4758 0
vsize: 19284
[startup+680.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 550726 0 0 0 66544 1462 0 0 25 0 1 0 669158905 19640320 4130 4294967295 134512640 134714508 3221221792 3221220480 134551903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4795 4130 1111 63 0 4732 0
vsize: 19180
[startup+690.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 557186 0 0 0 67528 1478 0 0 25 0 1 0 669158905 22007808 4610 4294967295 134512640 134714508 3221221792 3221218736 1074620117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5373 4610 1111 63 0 5310 0
vsize: 21492
[startup+700.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 563201 0 0 0 68515 1491 0 0 25 0 1 0 669158905 20611072 4335 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5032 4335 1111 63 0 4969 0
vsize: 20128
[startup+710.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 571215 0 0 0 69497 1509 0 0 25 0 1 0 669158905 21856256 4606 4294967295 134512640 134714508 3221221792 3221218064 1074960859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5336 4606 1111 63 0 5273 0
vsize: 21344
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 577475 0 0 0 70483 1524 0 0 25 0 1 0 669158905 22515712 4796 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5497 4796 1111 63 0 5434 0
vsize: 21988
[startup+730.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 580319 0 0 0 71476 1531 0 0 25 0 1 0 669158905 20140032 4252 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4917 4252 1111 63 0 4854 0
vsize: 19668
[startup+740.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 583346 0 0 0 72469 1538 0 0 25 0 1 0 669158905 22786048 4835 4294967295 134512640 134714508 3221221792 3221218560 1076083512 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5563 4835 1111 63 0 5500 0
vsize: 22252
[startup+750.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 593864 0 0 0 73444 1563 0 0 25 0 1 0 669158905 20443136 4295 4294967295 134512640 134714508 3221221792 3221219904 1074867337 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4991 4295 1111 63 0 4928 0
vsize: 19964
[startup+760.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 601138 0 0 0 74426 1581 0 0 25 0 1 0 669158905 20447232 4322 4294967295 134512640 134714508 3221221792 3221219616 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4992 4322 1111 63 0 4929 0
vsize: 19968
[startup+770.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 607321 0 0 0 75412 1595 0 0 25 0 1 0 669158905 22708224 4812 4294967295 134512640 134714508 3221221792 3221217756 1074788162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5544 4812 1111 63 0 5481 0
vsize: 22176
[startup+780.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 610012 0 0 0 76406 1602 0 0 25 0 1 0 669158905 23269376 4942 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5681 4942 1111 63 0 5618 0
vsize: 22724
[startup+790.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 614421 0 0 0 77394 1614 0 0 25 0 1 0 669158905 23433216 4836 4294967295 134512640 134714508 3221221792 3221217740 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5721 4836 1111 63 0 5658 0
vsize: 22884
[startup+800.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 620915 0 0 0 78377 1631 0 0 25 0 1 0 669158905 23007232 4859 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4859 1111 63 0 5554 0
vsize: 22468
[startup+810.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 626924 0 0 0 79362 1646 0 0 25 0 1 0 669158905 23584768 4900 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5758 4900 1111 63 0 5695 0
vsize: 23032
[startup+820.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 635106 0 0 0 80342 1666 0 0 25 0 1 0 669158905 23404544 4888 4294967295 134512640 134714508 3221221792 3221217836 1074873512 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5714 4888 1111 63 0 5651 0
vsize: 22856
[startup+830.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 641165 0 0 0 81329 1679 0 0 25 0 1 0 669158905 21958656 4695 4294967295 134512640 134714508 3221221792 3221219520 1075828505 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5361 4695 1111 63 0 5298 0
vsize: 21444
[startup+840.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 649453 0 0 0 82310 1698 0 0 25 0 1 0 669158905 23326720 4786 4294967295 134512640 134714508 3221221792 3221217672 1074788523 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5695 4786 1111 63 0 5632 0
vsize: 22780
[startup+850.037 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 657118 0 0 0 83291 1717 0 0 25 0 1 0 669158905 21430272 4555 4294967295 134512640 134714508 3221221792 3221219788 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5232 4555 1111 63 0 5169 0
vsize: 20928
[startup+860.038 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 663578 0 0 0 84276 1732 0 0 25 0 1 0 669158905 21602304 4577 4294967295 134512640 134714508 3221221792 3221220096 1074039232 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5274 4577 1111 63 0 5211 0
vsize: 21096
[startup+870.037 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 671767 0 0 0 85256 1752 0 0 25 0 1 0 669158905 21061632 4477 4294967295 134512640 134714508 3221221792 3221219680 1074839045 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5142 4477 1111 63 0 5079 0
vsize: 20568
[startup+880.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 676284 0 0 0 86246 1762 0 0 25 0 1 0 669158905 23425024 4998 4294967295 134512640 134714508 3221221792 3221218020 1075115043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5719 4998 1111 63 0 5656 0
vsize: 22876
[startup+890.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 684453 0 0 0 87228 1781 0 0 25 0 1 0 669158905 23130112 4882 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5647 4882 1111 63 0 5584 0
vsize: 22588
[startup+900.039 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 689431 0 0 0 88215 1793 0 0 25 0 1 0 669158905 24739840 5311 4294967295 134512640 134714508 3221221792 3221217952 1075094854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6040 5311 1111 63 0 5977 0
vsize: 24160
[startup+910.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 694658 0 0 0 89204 1805 0 0 25 0 1 0 669158905 22118400 4703 4294967295 134512640 134714508 3221221792 3221220096 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5400 4703 1111 63 0 5337 0
vsize: 21600
[startup+920.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 702103 0 0 0 90186 1823 0 0 25 0 1 0 669158905 22241280 4761 4294967295 134512640 134714508 3221221792 3221219792 1074915850 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4761 1111 63 0 5367 0
vsize: 21720
[startup+930.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 709829 0 0 0 91169 1840 0 0 25 0 1 0 669158905 24297472 5049 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5932 5049 1111 63 0 5869 0
vsize: 23728
[startup+940.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 719059 0 0 0 92148 1861 0 0 25 0 1 0 669158905 22241280 4755 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4755 1111 63 0 5367 0
vsize: 21720
[startup+950.042 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 727023 0 0 0 93129 1880 0 0 25 0 1 0 669158905 22265856 4755 4294967295 134512640 134714508 3221221792 3221220112 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5436 4755 1111 63 0 5373 0
vsize: 21744
[startup+960.043 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 731008 0 0 0 94120 1890 0 0 25 0 1 0 669158905 22454272 4793 4294967295 134512640 134714508 3221221792 3221219144 134543165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5482 4793 1111 63 0 5419 0
vsize: 21928
[startup+970.043 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 735107 0 0 0 95111 1899 0 0 25 0 1 0 669158905 23195648 4998 4294967295 134512640 134714508 3221221792 3221219784 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4998 1111 63 0 5600 0
vsize: 22652
[startup+980.045 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 741580 0 0 0 96097 1913 0 0 25 0 1 0 669158905 24539136 5267 4294967295 134512640 134714508 3221221792 3221217968 1074882616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5991 5267 1111 63 0 5928 0
vsize: 23964
[startup+990.044 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 748159 0 0 0 97081 1929 0 0 25 0 1 0 669158905 22118400 4735 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5400 4735 1111 63 0 5337 0
vsize: 21600
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 759392 0 0 0 98052 1957 0 0 25 0 1 0 669158905 22118400 4732 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5400 4732 1111 63 0 5337 0
vsize: 21600
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 768097 0 0 0 99032 1978 0 0 25 0 1 0 669158905 22667264 4844 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5534 4844 1111 63 0 5471 0
vsize: 22136
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 774428 0 0 0 100017 1992 0 0 25 0 1 0 669158905 23982080 5190 4294967295 134512640 134714508 3221221792 3221219520 1075828464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5855 5190 1111 63 0 5792 0
vsize: 23420
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 782363 0 0 0 100998 2012 0 0 25 0 1 0 669158905 23257088 5013 4294967295 134512640 134714508 3221221792 3221219840 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5678 5013 1111 63 0 5615 0
vsize: 22712
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 790524 0 0 0 101979 2031 0 0 25 0 1 0 669158905 24244224 5218 4294967295 134512640 134714508 3221221792 3221219440 1075818340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5919 5218 1111 63 0 5856 0
vsize: 23676
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 799009 0 0 0 102960 2050 0 0 25 0 1 0 669158905 24449024 5065 4294967295 134512640 134714508 3221221792 3221219280 1074620107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5969 5065 1111 63 0 5906 0
vsize: 23876
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 806606 0 0 0 103944 2067 0 0 25 0 1 0 669158905 23719936 5125 4294967295 134512640 134714508 3221221792 3221219792 1074916565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5791 5125 1111 63 0 5728 0
vsize: 23164
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 814660 0 0 0 104925 2086 0 0 25 0 1 0 669158905 25063424 5454 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6119 5454 1111 63 0 6056 0
vsize: 24476
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 818960 0 0 0 105915 2096 0 0 25 0 1 0 669158905 23691264 5119 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5784 5119 1111 63 0 5721 0
vsize: 23136
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 823067 0 0 0 106906 2105 0 0 25 0 1 0 669158905 23584768 5089 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5758 5089 1111 63 0 5695 0
vsize: 23032
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 827711 0 0 0 107895 2116 0 0 25 0 1 0 669158905 27226112 5828 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6647 5828 1111 63 0 6584 0
vsize: 26588
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 834232 0 0 0 108881 2131 0 0 25 0 1 0 669158905 27238400 5800 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6650 5800 1111 63 0 6587 0
vsize: 26600
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 839047 0 0 0 109871 2140 0 0 25 0 1 0 669158905 27275264 5918 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6659 5918 1111 63 0 6596 0
vsize: 26636
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 846199 0 0 0 110856 2156 0 0 25 0 1 0 669158905 24154112 5200 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5897 5200 1111 63 0 5834 0
vsize: 23588
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 853025 0 0 0 111840 2171 0 0 25 0 1 0 669158905 27475968 5991 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6708 5991 1111 63 0 6645 0
vsize: 26832
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 855190 0 0 0 112835 2177 0 0 25 0 1 0 669158905 26206208 5733 4294967295 134512640 134714508 3221221792 3221218544 1074247419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6398 5733 1111 63 0 6335 0
vsize: 25592
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 858362 0 0 0 113827 2185 0 0 25 0 1 0 669158905 26882048 5779 4294967295 134512640 134714508 3221221792 3221218128 1075114272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6563 5779 1111 63 0 6500 0
vsize: 26252
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/53 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 866053 0 0 0 114809 2204 0 0 25 0 1 0 669158905 23728128 5106 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5793 5106 1111 63 0 5730 0
vsize: 23172
[startup+1175.05 s]
Raw data (loadavg): 0.99 0.98 0.95 1/52 18102
Raw data (stat): 18102 (bsolo_lpr_cuts) R 18101 7876 7672 0 -1 0 866053 0 0 0 114809 2204 0 0 25 0 1 0 669158905 23728128 5106 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5793 5106 1111 63 0 5730 0
vsize: 0

Child status: 10
Real time (s): 1175.05
CPU time (s): 1175.13
CPU user time (s): 1153.03
CPU system time (s): 22.0996
CPU usage (%): 100.007
Max. virtual memory (Kb): 26832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	212
#### END VERIFIER DATA ####