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-ii32c1.opb
MD5SUM	8afff0cc8710524125079d5ef00fedc0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	167
Optimality of the best value was proved	NO
Number of terms in the objective function	450
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	450
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	450
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.03084
Number of variables	450
Total number of constraints	1505
Number of constraints which are clauses	1505
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 40699

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        874292 kB
Buffers:         23732 kB
Cached:         114904 kB
SwapCached:       1376 kB
Active:          27760 kB
Inactive:       112888 kB
HighTotal:      131008 kB
HighFree:        30464 kB
LowTotal:       903652 kB
LowFree:        843828 kB
SwapTotal:     2097136 kB
SwapFree:      2094724 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14032 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 19:23:51 (client local time) WITH STATUS 10 IN 1175.34 SECONDS
stats: 28765 0 1175.34 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 1505 constraints.
c After prepocess the problem consists of 450 variables and 1505 constraints.
c preprocess terminated 1.393 s
c Initial Lower Bound: 135
c Lower Bound Elapsed time: 0.555714
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 188 @ 12.077
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 
c Exit Code: 10
c Total time: 1175.32 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.92 2/54 15082
Raw data (stat): 15082 (runsolver) R 15081 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904014373 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 15082
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 5155 0 0 0 983 14 0 0 25 0 1 0 904014373 8404992 1229 4294967295 134512640 134716908 3221224576 3221220472 1074789593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2052 1229 1111 63 0 1989 0
vsize: 8208
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 15082
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 17651 0 0 0 1952 46 0 0 25 0 1 0 904014373 8208384 1319 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 1319 1111 63 0 1941 0
vsize: 8016
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 15082
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 31292 0 0 0 2915 82 0 0 25 0 1 0 904014373 8331264 1364 4294967295 134512640 134716908 3221224576 3221222576 1074918664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2034 1364 1111 63 0 1971 0
vsize: 8136
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 15082
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 44029 0 0 0 3885 113 0 0 25 0 1 0 904014373 8708096 1456 4294967295 134512640 134716908 3221224576 3221222392 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2126 1456 1111 63 0 2063 0
vsize: 8504
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 15082
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 56796 0 0 0 4851 147 0 0 25 0 1 0 904014373 9297920 1545 4294967295 134512640 134716908 3221224576 3221222480 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2270 1545 1111 63 0 2207 0
vsize: 9080
[startup+60.004 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 15082
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 70295 0 0 0 5815 183 0 0 25 0 1 0 904014373 9064448 1543 4294967295 134512640 134716908 3221224576 3221222040 1077377641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2213 1543 1111 63 0 2150 0
vsize: 8852
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 15082
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 83807 0 0 0 6778 220 0 0 25 0 1 0 904014373 9211904 1574 4294967295 134512640 134716908 3221224576 3221222464 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2249 1574 1111 63 0 2186 0
vsize: 8996
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 15082
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 95252 0 0 0 7750 249 0 0 25 0 1 0 904014373 9887744 1650 4294967295 134512640 134716908 3221224576 3221220960 1074974017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2414 1650 1111 63 0 2351 0
vsize: 9656
[startup+90.0061 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 15082
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 107143 0 0 0 8719 280 0 0 25 0 1 0 904014373 10002432 1682 4294967295 134512640 134716908 3221224576 3221221888 1076083369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2442 1682 1111 63 0 2379 0
vsize: 9768
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 15082
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 117797 0 0 0 9690 309 0 0 25 0 1 0 904014373 10137600 1725 4294967295 134512640 134716908 3221224576 3221220720 1074971525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2475 1725 1111 63 0 2412 0
vsize: 9900
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 15082
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 129550 0 0 0 10657 342 0 0 25 0 1 0 904014373 10289152 1753 4294967295 134512640 134716908 3221224576 3221220524 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2512 1753 1111 63 0 2449 0
vsize: 10048
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15082
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 141323 0 0 0 11627 372 0 0 25 0 1 0 904014373 9953280 1747 4294967295 134512640 134716908 3221224576 3221221680 1074138856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2430 1747 1111 63 0 2367 0
vsize: 9720
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 152877 0 0 0 12598 402 0 0 25 0 1 0 904014373 9895936 1746 4294967295 134512640 134716908 3221224576 3221222956 1074063728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2416 1746 1111 63 0 2353 0
vsize: 9664
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 165854 0 0 0 13562 438 0 0 25 0 1 0 904014373 9928704 1754 4294967295 134512640 134716908 3221224576 3221222288 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2424 1754 1111 63 0 2361 0
vsize: 9696
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 177508 0 0 0 14530 470 0 0 25 0 1 0 904014373 10403840 1782 4294967295 134512640 134716908 3221224576 3221222024 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2540 1782 1111 63 0 2477 0
vsize: 10160
[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 189773 0 0 0 15498 502 0 0 25 0 1 0 904014373 10149888 1804 4294967295 134512640 134716908 3221224576 3221223168 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2478 1804 1111 63 0 2415 0
vsize: 9912
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 202479 0 0 0 16465 535 0 0 25 0 1 0 904014373 10186752 1817 4294967295 134512640 134716908 3221224576 3221222784 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2487 1817 1111 63 0 2424 0
vsize: 9948
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 215182 0 0 0 17436 564 0 0 25 0 1 0 904014373 10248192 1831 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2502 1831 1111 63 0 2439 0
vsize: 10008
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 227354 0 0 0 18403 598 0 0 25 0 1 0 904014373 10444800 1880 4294967295 134512640 134716908 3221224576 3221222992 1074116233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2550 1880 1111 63 0 2487 0
vsize: 10200
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 239772 0 0 0 19370 630 0 0 25 0 1 0 904014373 11137024 1964 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2719 1964 1111 63 0 2656 0
vsize: 10876
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 249900 0 0 0 20344 656 0 0 25 0 1 0 904014373 11350016 2023 4294967295 134512640 134716908 3221224576 3221221108 1075863638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2771 2023 1111 63 0 2708 0
vsize: 11084
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 261339 0 0 0 21313 688 0 0 25 0 1 0 904014373 11669504 2068 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2849 2068 1111 63 0 2786 0
vsize: 11396
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 272708 0 0 0 22286 714 0 0 25 0 1 0 904014373 11116544 2044 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2714 2044 1111 63 0 2651 0
vsize: 10856
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 282769 0 0 0 23261 740 0 0 25 0 1 0 904014373 11116544 2044 4294967295 134512640 134716908 3221224576 3221222528 1073973715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2714 2044 1111 63 0 2651 0
vsize: 10856
[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 293845 0 0 0 24233 768 0 0 25 0 1 0 904014373 11362304 2104 4294967295 134512640 134716908 3221224576 3221222576 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2774 2104 1111 63 0 2711 0
vsize: 11096
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 303129 0 0 0 25209 792 0 0 25 0 1 0 904014373 11358208 2103 4294967295 134512640 134716908 3221224576 3221222856 1074138293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2773 2103 1111 63 0 2710 0
vsize: 11092
[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 314662 0 0 0 26179 822 0 0 25 0 1 0 904014373 11530240 2129 4294967295 134512640 134716908 3221224576 3221222576 1074916528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2815 2129 1111 63 0 2752 0
vsize: 11260
[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 326108 0 0 0 27150 851 0 0 25 0 1 0 904014373 11747328 2143 4294967295 134512640 134716908 3221224576 3221222776 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2868 2143 1111 63 0 2805 0
vsize: 11472
[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 337559 0 0 0 28121 881 0 0 25 0 1 0 904014373 11534336 2146 4294967295 134512640 134716908 3221224576 3221222488 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2816 2146 1111 63 0 2753 0
vsize: 11264
[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 349680 0 0 0 29090 911 0 0 25 0 1 0 904014373 11653120 2175 4294967295 134512640 134716908 3221224576 3221223104 134540488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2845 2175 1111 63 0 2782 0
vsize: 11380
[startup+310.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 361387 0 0 0 30060 942 0 0 25 0 1 0 904014373 12275712 2257 4294967295 134512640 134716908 3221224576 3221220668 1075663457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2997 2257 1111 63 0 2934 0
vsize: 11988
[startup+320.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 371641 0 0 0 31035 967 0 0 25 0 1 0 904014373 12308480 2284 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 2284 1111 63 0 2942 0
vsize: 12020
[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 382743 0 0 0 32008 994 0 0 25 0 1 0 904014373 12230656 2261 4294967295 134512640 134716908 3221224576 3221222784 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2986 2261 1111 63 0 2923 0
vsize: 11944
[startup+340.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 394502 0 0 0 32979 1023 0 0 25 0 1 0 904014373 12574720 2318 4294967295 134512640 134716908 3221224576 3221220508 1074788153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2318 1111 63 0 3007 0
vsize: 12280
[startup+350.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 407686 0 0 0 33948 1054 0 0 25 0 1 0 904014373 12423168 2302 4294967295 134512640 134716908 3221224576 3221222784 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3033 2302 1111 63 0 2970 0
vsize: 12132
[startup+360.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 420314 0 0 0 34915 1088 0 0 25 0 1 0 904014373 12476416 2376 4294967295 134512640 134716908 3221224576 3221222784 134652453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3046 2376 1111 63 0 2983 0
vsize: 12184
[startup+370.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 431069 0 0 0 35886 1117 0 0 25 0 1 0 904014373 12464128 2373 4294967295 134512640 134716908 3221224576 3221222576 1074918470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3043 2373 1111 63 0 2980 0
vsize: 12172
[startup+380.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 441534 0 0 0 36856 1147 0 0 25 0 1 0 904014373 12464128 2373 4294967295 134512640 134716908 3221224576 3221222576 1074056591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3043 2373 1111 63 0 2980 0
vsize: 12172
[startup+390.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 454050 0 0 0 37825 1178 0 0 25 0 1 0 904014373 13234176 2486 4294967295 134512640 134716908 3221224576 3221220676 1075964218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3231 2486 1111 63 0 3168 0
vsize: 12924
[startup+400.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 467460 0 0 0 38788 1215 0 0 25 0 1 0 904014373 13864960 2628 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3385 2628 1111 63 0 3322 0
vsize: 13540
[startup+410.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 480915 0 0 0 39752 1252 0 0 25 0 1 0 904014373 13713408 2677 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3348 2677 1111 63 0 3285 0
vsize: 13392
[startup+420.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 493268 0 0 0 40721 1283 0 0 25 0 1 0 904014373 14426112 2852 4294967295 134512640 134716908 3221224576 3221222576 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2852 1111 63 0 3459 0
vsize: 14088
[startup+430.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 505179 0 0 0 41691 1313 0 0 25 0 1 0 904014373 14426112 2852 4294967295 134512640 134716908 3221224576 3221222880 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2852 1111 63 0 3459 0
vsize: 14088
[startup+440.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 516140 0 0 0 42661 1343 0 0 25 0 1 0 904014373 14823424 2889 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2889 1111 63 0 3556 0
vsize: 14476
[startup+450.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 527992 0 0 0 43632 1371 0 0 25 0 1 0 904014373 14524416 2876 4294967295 134512640 134716908 3221224576 3221222832 134652450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2876 1111 63 0 3483 0
vsize: 14184
[startup+460.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 540779 0 0 0 44601 1403 0 0 25 0 1 0 904014373 14770176 2880 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2884 1111 63 0 3607 0
vsize: 14424
[startup+470.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 552750 0 0 0 45569 1434 0 0 25 0 1 0 904014373 14827520 2950 4294967295 134512640 134716908 3221224576 3221222680 1077374653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3620 2950 1111 63 0 3557 0
vsize: 14480
[startup+480.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 563275 0 0 0 46539 1465 0 0 25 0 1 0 904014373 14827520 2950 4294967295 134512640 134716908 3221224576 3221222720 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3620 2950 1111 63 0 3557 0
vsize: 14480
[startup+490.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 573771 0 0 0 47510 1494 0 0 25 0 1 0 904014373 15351808 2990 4294967295 134512640 134716908 3221224576 3221221176 1075850777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2982 1111 63 0 3621 0
vsize: 14992
[startup+500.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 584427 0 0 0 48482 1522 0 0 25 0 1 0 904014373 15351808 2986 4294967295 134512640 134716908 3221224576 3221220848 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3748 2986 1111 63 0 3685 0
vsize: 14992
[startup+510.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 595577 0 0 0 49453 1551 0 0 25 0 1 0 904014373 14827520 2950 4294967295 134512640 134716908 3221224576 3221223368 134536904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3620 2950 1111 63 0 3557 0
vsize: 14480
[startup+520.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 606131 0 0 0 50424 1580 0 0 25 0 1 0 904014373 14827520 2950 4294967295 134512640 134716908 3221224576 3221222544 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3620 2950 1111 63 0 3557 0
vsize: 14480
[startup+530.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 616834 0 0 0 51393 1611 0 0 25 0 1 0 904014373 14827520 2950 4294967295 134512640 134716908 3221224576 3221221920 1074839104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3620 2950 1111 63 0 3557 0
vsize: 14480
[startup+540.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 629210 0 0 0 52358 1646 0 0 25 0 1 0 904014373 14827520 2950 4294967295 134512640 134716908 3221224576 3221221856 1074140055 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3620 2950 1111 63 0 3557 0
vsize: 14480
[startup+550.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 642189 0 0 0 53328 1676 0 0 25 0 1 0 904014373 14860288 2958 4294967295 134512640 134716908 3221224576 3221222576 1074916811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3628 2958 1111 63 0 3565 0
vsize: 14512
[startup+560.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 654961 0 0 0 54292 1712 0 0 25 0 1 0 904014373 15368192 3010 4294967295 134512640 134716908 3221224576 3221220808 1074879905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 3010 1111 63 0 3689 0
vsize: 15008
[startup+570.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 668218 0 0 0 55262 1743 0 0 25 0 1 0 904014373 14966784 2984 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3654 2984 1111 63 0 3591 0
vsize: 14616
[startup+580.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 680879 0 0 0 56228 1776 0 0 25 0 1 0 904014373 15020032 2997 4294967295 134512640 134716908 3221224576 3221223024 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3667 2997 1111 63 0 3604 0
vsize: 14668
[startup+590.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 693717 0 0 0 57196 1809 0 0 25 0 1 0 904014373 15147008 2992 4294967295 134512640 134716908 3221224576 3221222508 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3698 2992 1111 63 0 3635 0
vsize: 14792
[startup+600.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 705790 0 0 0 58164 1841 0 0 25 0 1 0 904014373 15052800 3005 4294967295 134512640 134716908 3221224576 3221222688 1074867334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3675 3005 1111 63 0 3612 0
vsize: 14700
[startup+610.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 717961 0 0 0 59134 1871 0 0 25 0 1 0 904014373 15745024 3057 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3844 3057 1111 63 0 3781 0
vsize: 15376
[startup+620.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 730970 0 0 0 60102 1903 0 0 25 0 1 0 904014373 15224832 3047 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3717 3047 1111 63 0 3654 0
vsize: 14868
[startup+630.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 742850 0 0 0 61074 1932 0 0 25 0 1 0 904014373 15253504 3054 4294967295 134512640 134716908 3221224576 3221223148 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 3054 1111 63 0 3661 0
vsize: 14896
[startup+640.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 756140 0 0 0 62037 1969 0 0 25 0 1 0 904014373 15491072 3112 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3782 3112 1111 63 0 3719 0
vsize: 15128
[startup+650.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 767165 0 0 0 63008 1998 0 0 25 0 1 0 904014373 16252928 3183 4294967295 134512640 134716908 3221224576 3221220684 1074797340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3968 3183 1111 63 0 3905 0
vsize: 15872
[startup+660.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 779013 0 0 0 63978 2027 0 0 25 0 1 0 904014373 15978496 3181 4294967295 134512640 134716908 3221224576 3221222832 1074153023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3901 3181 1111 63 0 3838 0
vsize: 15604
[startup+670.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 790852 0 0 0 64950 2057 0 0 25 0 1 0 904014373 16302080 3226 4294967295 134512640 134716908 3221224576 3221220752 1074882614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3980 3226 1111 63 0 3917 0
vsize: 15920
[startup+680.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 802979 0 0 0 65919 2087 0 0 25 0 1 0 904014373 15888384 3209 4294967295 134512640 134716908 3221224576 3221223048 134652499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3879 3209 1111 63 0 3816 0
vsize: 15516
[startup+690.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 814114 0 0 0 66891 2115 0 0 25 0 1 0 904014373 15876096 3206 4294967295 134512640 134716908 3221224576 3221222576 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3876 3206 1111 63 0 3813 0
vsize: 15504
[startup+700.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 825846 0 0 0 67861 2145 0 0 25 0 1 0 904014373 16056320 3234 4294967295 134512640 134716908 3221224576 3221222576 1074916744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3920 3234 1111 63 0 3857 0
vsize: 15680
[startup+710.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 837319 0 0 0 68834 2173 0 0 25 0 1 0 904014373 15974400 3230 4294967295 134512640 134716908 3221224576 3221222216 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3900 3230 1111 63 0 3837 0
vsize: 15600
[startup+720.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 849814 0 0 0 69803 2204 0 0 25 0 1 0 904014373 16793600 3318 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4100 3318 1111 63 0 4037 0
vsize: 16400
[startup+730.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 861874 0 0 0 70773 2234 0 0 25 0 1 0 904014373 16191488 3283 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3953 3283 1111 63 0 3890 0
vsize: 15812
[startup+740.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 874291 0 0 0 71745 2263 0 0 25 0 1 0 904014373 16691200 3285 4294967295 134512640 134716908 3221224576 3221221712 1074885581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3285 1111 63 0 4012 0
vsize: 16300
[startup+750.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 887626 0 0 0 72713 2295 0 0 25 0 1 0 904014373 16601088 3321 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4053 3321 1111 63 0 3990 0
vsize: 16212
[startup+760.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 900383 0 0 0 73681 2327 0 0 25 0 1 0 904014373 16642048 3325 4294967295 134512640 134716908 3221224576 3221222744 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4063 3325 1111 63 0 4000 0
vsize: 16252
[startup+770.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 913656 0 0 0 74645 2363 0 0 25 0 1 0 904014373 16461824 3349 4294967295 134512640 134716908 3221224576 3221223276 134535545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3349 1111 63 0 3956 0
vsize: 16076
[startup+780.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 926653 0 0 0 75610 2398 0 0 25 0 1 0 904014373 17121280 3423 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3423 1111 63 0 4117 0
vsize: 16720
[startup+790.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 939304 0 0 0 76578 2430 0 0 25 0 1 0 904014373 16662528 3398 4294967295 134512640 134716908 3221224576 3221222036 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4068 3398 1111 63 0 4005 0
vsize: 16272
[startup+800.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 952500 0 0 0 77545 2464 0 0 25 0 1 0 904014373 16809984 3434 4294967295 134512640 134716908 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4104 3434 1111 63 0 4041 0
vsize: 16416
[startup+810.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 964794 0 0 0 78516 2493 0 0 25 0 1 0 904014373 17637376 3516 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4306 3516 1111 63 0 4243 0
vsize: 17224
[startup+820.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 976088 0 0 0 79489 2520 0 0 25 0 1 0 904014373 17580032 3534 4294967295 134512640 134716908 3221224576 3221220736 1075093614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3535 1111 63 0 4229 0
vsize: 17168
[startup+830.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 988617 0 0 0 80459 2550 0 0 25 0 1 0 904014373 17440768 3527 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4258 3527 1111 63 0 4195 0
vsize: 17032
[startup+840.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1000329 0 0 0 81428 2581 0 0 25 0 1 0 904014373 17584128 3565 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4293 3565 1111 63 0 4230 0
vsize: 17172
[startup+850.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1011793 0 0 0 82401 2608 0 0 25 0 1 0 904014373 17383424 3558 4294967295 134512640 134716908 3221224576 3221222576 1074916558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3558 1111 63 0 4181 0
vsize: 16976
[startup+860.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1023751 0 0 0 83373 2636 0 0 25 0 1 0 904014373 17461248 3593 4294967295 134512640 134716908 3221224576 3221222620 1077379933 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4263 3593 1111 63 0 4200 0
vsize: 17052
[startup+870.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1035989 0 0 0 84343 2667 0 0 25 0 1 0 904014373 17555456 3616 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4286 3616 1111 63 0 4223 0
vsize: 17144
[startup+880.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1048048 0 0 0 85314 2696 0 0 25 0 1 0 904014373 18321408 3724 4294967295 134512640 134716908 3221224576 3221220736 1075095098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4473 3724 1111 63 0 4410 0
vsize: 17892
[startup+890.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1059965 0 0 0 86283 2727 0 0 25 0 1 0 904014373 18485248 3769 4294967295 134512640 134716908 3221224576 3221220736 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4513 3769 1111 63 0 4450 0
vsize: 18052
[startup+900.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1072060 0 0 0 87252 2758 0 0 25 0 1 0 904014373 17944576 3711 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4381 3711 1111 63 0 4318 0
vsize: 17524
[startup+910.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1085229 0 0 0 88220 2791 0 0 25 0 1 0 904014373 18034688 3731 4294967295 134512640 134716908 3221224576 3221221680 1074138642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4531 3735 1111 63 0 4468 0
vsize: 17612
[startup+920.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1098181 0 0 0 89188 2823 0 0 25 0 1 0 904014373 18132992 3740 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4427 3740 1111 63 0 4364 0
vsize: 17708
[startup+930.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1111348 0 0 0 90152 2859 0 0 25 0 1 0 904014373 18190336 3767 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4441 3767 1111 63 0 4378 0
vsize: 17764
[startup+940.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1124666 0 0 0 91118 2893 0 0 25 0 1 0 904014373 18575360 3801 4294967295 134512640 134716908 3221224576 3221222768 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3801 1111 63 0 4472 0
vsize: 18140
[startup+950.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1137715 0 0 0 92084 2927 0 0 25 0 1 0 904014373 18423808 3828 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4498 3828 1111 63 0 4435 0
vsize: 17992
[startup+960.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1150288 0 0 0 93056 2955 0 0 25 0 1 0 904014373 18808832 3875 4294967295 134512640 134716908 3221224576 3221222296 1077374653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4525 3855 1111 63 0 4462 0
vsize: 18368
[startup+970.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1162019 0 0 0 94025 2986 0 0 25 0 1 0 904014373 18681856 3891 4294967295 134512640 134716908 3221224576 3221222120 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4561 3891 1111 63 0 4498 0
vsize: 18244
[startup+980.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1173790 0 0 0 94994 3017 0 0 25 0 1 0 904014373 18894848 3911 4294967295 134512640 134716908 3221224576 3221222236 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 3911 1111 63 0 4550 0
vsize: 18452
[startup+990.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1184979 0 0 0 95965 3047 0 0 25 0 1 0 904014373 19374080 3976 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4730 3976 1111 63 0 4667 0
vsize: 18920
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1196263 0 0 0 96934 3078 0 0 25 0 1 0 904014373 19279872 3982 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4707 3982 1111 63 0 4644 0
vsize: 18828
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1208115 0 0 0 97903 3109 0 0 25 0 1 0 904014373 19693568 4060 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4808 4060 1111 63 0 4745 0
vsize: 19232
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1219614 0 0 0 98876 3137 0 0 25 0 1 0 904014373 19951616 4084 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4871 4084 1111 63 0 4808 0
vsize: 19484
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1231836 0 0 0 99847 3166 0 0 25 0 1 0 904014373 19517440 4083 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4765 4083 1111 63 0 4702 0
vsize: 19060
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1244605 0 0 0 100816 3197 0 0 25 0 1 0 904014373 19607552 4117 4294967295 134512640 134716908 3221224576 3221222544 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4787 4117 1111 63 0 4724 0
vsize: 19148
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1256213 0 0 0 101788 3225 0 0 25 0 1 0 904014373 20090880 4221 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4905 4221 1111 63 0 4842 0
vsize: 19620
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1266681 0 0 0 102762 3252 0 0 25 0 1 0 904014373 19861504 4179 4294967295 134512640 134716908 3221224576 3221222544 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4849 4179 1111 63 0 4786 0
vsize: 19396
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1277472 0 0 0 103736 3278 0 0 25 0 1 0 904014373 20328448 4251 4294967295 134512640 134716908 3221224576 3221222580 1074206530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4963 4251 1111 63 0 4900 0
vsize: 19852
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1287646 0 0 0 104710 3303 0 0 25 0 1 0 904014373 20774912 4264 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5072 4275 1111 63 0 5009 0
vsize: 20288
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1297905 0 0 0 105685 3329 0 0 25 0 1 0 904014373 19968000 4205 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4875 4205 1111 63 0 4812 0
vsize: 19500
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1308854 0 0 0 106662 3352 0 0 25 0 1 0 904014373 20135936 4246 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4916 4246 1111 63 0 4853 0
vsize: 19664
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1320545 0 0 0 107634 3380 0 0 25 0 1 0 904014373 20971520 4335 4294967295 134512640 134716908 3221224576 3221220944 1075894549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5120 4335 1111 63 0 5057 0
vsize: 20480
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1331335 0 0 0 108606 3408 0 0 25 0 1 0 904014373 20557824 4312 4294967295 134512640 134716908 3221224576 3221222592 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 4312 1111 63 0 4956 0
vsize: 20076
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1341237 0 0 0 109582 3433 0 0 25 0 1 0 904014373 20992000 4348 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5125 4348 1111 63 0 5062 0
vsize: 20500
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1350696 0 0 0 110560 3455 0 0 25 0 1 0 904014373 21123072 4383 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5157 4384 1111 63 0 5094 0
vsize: 20628
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1361164 0 0 0 111534 3481 0 0 25 0 1 0 904014373 20557824 4308 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 4308 1111 63 0 4956 0
vsize: 20076
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1372183 0 0 0 112508 3508 0 0 25 0 1 0 904014373 20238336 4271 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4941 4271 1111 63 0 4878 0
vsize: 19764
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1383890 0 0 0 113479 3537 0 0 25 0 1 0 904014373 20574208 4345 4294967295 134512640 134716908 3221224576 3221222576 1074918249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 4345 1111 63 0 4960 0
vsize: 20092
[startup+1175.22 s]
Raw data (loadavg): 0.99 0.98 0.92 1/53 15084
Raw data (stat): 15082 (bsolo_lpr_cuts-) R 15081 31399 31398 0 -1 0 1383890 0 0 0 113479 3537 0 0 25 0 1 0 904014373 20574208 4345 4294967295 134512640 134716908 3221224576 3221222576 1074918249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 4345 1111 63 0 4960 0
vsize: 0

Child status: 10
Real time (s): 1175.22
CPU time (s): 1175.34
CPU user time (s): 1139.78
CPU system time (s): 35.5586
CPU usage (%): 100.01
Max. virtual memory (Kb): 20628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	188
#### END VERIFIER DATA ####