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/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
MD5SUM	dd81121db7c1c4b8597dd9571c707a87
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3
Optimality of the best value was proved	NO
Number of terms in the objective function	372
Biggest coefficient in the objective function	220
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	983
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	220
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	983
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	372
Total number of constraints	792
Number of constraints which are clauses	345
Number of constraints which are cardinality constraints (but not clauses)	447
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	18
Trace number 40914

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 02:13:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28980 boxname=wulflinc5 idbench=366 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  dd81121db7c1c4b8597dd9571c707a87  /oldhome/oroussel/tmp/wulflinc5/normalized-10:10:4.5:0.5:100.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-10:10:4.5:0.5:100.opb
IDLAUNCH: 28980
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        896888 kB
Buffers:         16464 kB
Cached:         100376 kB
SwapCached:        732 kB
Active:          24088 kB
Inactive:        94772 kB
HighTotal:      131008 kB
HighFree:        29372 kB
LowTotal:       903652 kB
LowFree:        867516 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13368 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 02:33:19 (client local time) WITH STATUS 10 IN 1175.02 SECONDS
stats: 28980 0 1175.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 372 variables and 421 constraints.
c After prepocess the problem consists of 371 variables and 432 constraints.
c preprocess terminated 0.217 s
c Initial Lower Bound: 3
c Lower Bound Elapsed time: 0.357
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 120 @ 4.213
c NEW SOLUTION FOUND: 118 @ 4.222
c NEW SOLUTION FOUND: 116 @ 4.244
c NEW SOLUTION FOUND: 113 @ 4.252
c NEW SOLUTION FOUND: 112 @ 4.366
c NEW SOLUTION FOUND: 110 @ 4.417
c NEW SOLUTION FOUND: 109 @ 4.425
c NEW SOLUTION FOUND: 108 @ 4.555
c NEW SOLUTION FOUND: 107 @ 4.615
c NEW SOLUTION FOUND: 106 @ 4.746
c NEW SOLUTION FOUND: 105 @ 4.798
c NEW SOLUTION FOUND: 104 @ 4.806
c NEW SOLUTION FOUND: 103 @ 4.938
c NEW SOLUTION FOUND: 98 @ 5.001
c NEW SOLUTION FOUND: 97 @ 5.131
c NEW SOLUTION FOUND: 96 @ 5.458
c NEW SOLUTION FOUND: 95 @ 5.626
c NEW SOLUTION FOUND: 94 @ 7.048
c NEW SOLUTION FOUND: 93 @ 8.119
c NEW SOLUTION FOUND: 92 @ 8.265
c NEW SOLUTION FOUND: 91 @ 8.56
c NEW SOLUTION FOUND: 90 @ 8.669
c NEW SOLUTION FOUND: 89 @ 8.778
c NEW SOLUTION FOUND: 88 @ 8.859
c NEW SOLUTION FOUND: 87 @ 9.022
c NEW SOLUTION FOUND: 86 @ 9.142
c NEW SOLUTION FOUND: 85 @ 9.319
c NEW SOLUTION FOUND: 84 @ 9.352
c NEW SOLUTION FOUND: 83 @ 9.574
c NEW SOLUTION FOUND: 82 @ 9.811
c NEW SOLUTION FOUND: 81 @ 9.913
c NEW SOLUTION FOUND: 80 @ 10.044
c NEW SOLUTION FOUND: 79 @ 10.109
c NEW SOLUTION FOUND: 78 @ 10.315
c NEW SOLUTION FOUND: 77 @ 10.65
c NEW SOLUTION FOUND: 76 @ 10.809
c NEW SOLUTION FOUND: 75 @ 11.025
c NEW SOLUTION FOUND: 74 @ 11.167
c NEW SOLUTION FOUND: 73 @ 11.408
c NEW SOLUTION FOUND: 72 @ 12.136
c NEW SOLUTION FOUND: 71 @ 13.414
c NEW SOLUTION FOUND: 70 @ 15.833
c NEW SOLUTION FOUND: 69 @ 30.66
c NEW SOLUTION FOUND: 68 @ 36.607
c NEW SOLUTION FOUND: 67 @ 43.205
c NEW SOLUTION FOUND: 66 @ 115.996
c NEW SOLUTION FOUND: 65 @ 143.876
c NEW SOLUTION FOUND: 64 @ 145.751
c NEW SOLUTION FOUND: 63 @ 160.46
c NEW SOLUTION FOUND: 62 @ 171.999
c NEW SOLUTION FOUND: 61 @ 193.01
c NEW SOLUTION FOUND: 60 @ 227.512
c NEW SOLUTION FOUND: 59 @ 252.318
c NEW SOLUTION FOUND: 58 @ 269.714
c NEW SOLUTION FOUND: 57 @ 284.152
c NEW SOLUTION FOUND: 56 @ 295.78
c NEW SOLUTION FOUND: 55 @ 302.668
c NEW SOLUTION FOUND: 54 @ 338.163
c NEW SOLUTION FOUND: 53 @ 339.52
c NEW SOLUTION FOUND: 52 @ 341.902
c NEW SOLUTION FOUND: 51 @ 343.856
c NEW SOLUTION FOUND: 50 @ 374.383
c NEW SOLUTION FOUND: 49 @ 382.56
c NEW SOLUTION FOUND: 48 @ 410.434
c NEW SOLUTION FOUND: 47 @ 470.544
c NEW SOLUTION FOUND: 46 @ 499.181
c NEW SOLUTION FOUND: 45 @ 528.384
c NEW SOLUTION FOUND: 44 @ 920.348
s SATISFIABLE
v -v287 v229 -v148 v112 -v97 -v75 -v45 v23 -v285 -v270 v233 -v147 v128 v113 -v44 -v28 -v269 v232 v196 -v149 v127 -v117 -v98 -v79 -v46 -v27 v2 -v286 v271 -v253 -v234 v195 -v166 -v152 -v133 -v115 -v99 -v77 v47 -v7 -v291 v272 -v252 -v238 v197 -v165 v151 -v132 -v116 -v102 -v54 -v30 -v6 -v343 v273 -v237 -v200 -v171 -v156 v134 -v100 -v78 v48 -v31 -v342 v280 -v254 -v235 v199 -v170 -v155 -v138 -v101 v82 -v49 -v34 -v9 -v344 -v274 v256 -v236 v203 v172 -v153 -v137 -v50 -v32 -v10 v345 -v275 v201 -v173 -v154 -v135 -v33 -v11 v346 -v276 v257 v202 -v174 -v136 -v12 -v305 -v288 v114 -v94 -v74 -v309 v228 -v118 -v96 v22 -v292 v230 v95 -v80 v57 v24 -v290 -v248 v231 -v150 v129 -v103 v58 -v29 v1 -v283 -v247 -v242 -v164 v130 v83 -v53 v26 v3 -v284 v198 -v167 -v160 v131 v81 -v35 -v8 v279 -v255 -v221 v211 -v168 -v159 v142 -v51 v5 v258 -v207 v169 -v13 v349 v277 v259 -v206 v188 -v178 v350 v260 -v192 -v304 v289 -v126 -v72 v56 -v308 -v293 -v122 -v93 -v76 v55 -v282 -v245 -v161 -v121 -v111 v73 -v281 -v246 -v163 -v107 v84 v25 -v360 -v241 -v217 v208 -v145 -v106 -v43 -v249 v210 -v146 -v39 v4 v348 -v250 -v239 -v220 -v181 -v157 v141 -v52 -v38 -v21 v347 v251 -v182 -v17 v278 -v264 -v204 v187 -v177 -v158 v139 -v16 -v191 v306 v301 -v244 -v125 -v108 -v310 -v297 -v243 -v162 -v110 -v71 v356 -v296 -v144 -v119 v92 -v40 v209 -v143 v88 -v42 -v359 v312 -v216 -v180 -v120 -v104 v87 -v64 -v18 v313 -v179 -v20 -v267 -v240 v222 -v105 -v36 -v268 -v336 -v263 -v205 v189 -v175 v140 -v37 -v14 v340 -v193 v307 v300 -v123 -v109 -v89 v311 v91 -v41 v355 v315 -v294 -v213 v60 v314 -v19 -v361 -v295 -v266 v218 -v85 v63 -v265 -v184 v223 -v183 -v86 -v364 v335 -v261 v190 -v176 -v15 v339 -v194 v352 v303 -v298 -v124 -v90 v302 v357 v319 v59 -v212 -v362 v328 -v214 v65 v219 v365 -v363 v185 v337 -v262 v186 -v68 v341 v322 -v299 v351 v323 v353 v325 -v318 v61 v358 v327 -v316 v66 v366 -v332 -v215 -v331 v227 -v69 -v67 v338 -v320 v324 v354 v62 v329 -v317 -v224 v370 -v226 v70 v369 -v333 -v334 -v321 v326 -v225 v330 v367 -v368 v371 one 
c Exit Code: 10
c Total time: 1175.01 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.97 0.91 2/54 25045
Raw data (stat): 25045 (runsolver) R 25044 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906587835 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0014 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 7044 0 0 0 972 25 0 0 25 0 1 0 906587835 6668288 906 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1628 906 1111 63 0 1565 0
vsize: 6512
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 15756 0 0 0 1933 63 0 0 25 0 1 0 906587835 6713344 947 4294967295 134512640 134716908 3221224560 3221223096 1077378421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1639 947 1111 63 0 1576 0
vsize: 6556
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 27285 0 0 0 2887 110 0 0 25 0 1 0 906587835 6963200 1009 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1700 1009 1111 63 0 1637 0
vsize: 6800
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 36389 0 0 0 3848 149 0 0 25 0 1 0 906587835 7073792 1036 4294967295 134512640 134716908 3221224560 3221221680 1074865260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 1036 1111 63 0 1664 0
vsize: 6908
[startup+50.004 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 45314 0 0 0 4807 189 0 0 25 0 1 0 906587835 7290880 1085 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1780 1085 1111 63 0 1717 0
vsize: 7120
[startup+60.0044 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 54927 0 0 0 5767 229 0 0 25 0 1 0 906587835 7487488 1137 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1828 1137 1111 63 0 1765 0
vsize: 7312
[startup+70.0048 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 68549 0 0 0 6717 279 0 0 25 0 1 0 906587835 7692288 1187 4294967295 134512640 134716908 3221224560 3221223264 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1878 1187 1111 63 0 1815 0
vsize: 7512
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 81913 0 0 0 7670 327 0 0 25 0 1 0 906587835 7901184 1234 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1929 1234 1111 63 0 1866 0
vsize: 7716
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 98302 0 0 0 8611 386 0 0 25 0 1 0 906587835 8417280 1297 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2055 1298 1111 63 0 1992 0
vsize: 8220
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 113885 0 0 0 9556 441 0 0 25 0 1 0 906587835 8359936 1350 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2041 1350 1111 63 0 1978 0
vsize: 8164
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 128978 0 0 0 10504 494 0 0 25 0 1 0 906587835 8572928 1402 4294967295 134512640 134716908 3221224560 3221223016 1077377236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2093 1402 1111 63 0 2030 0
vsize: 8372
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 144220 0 0 0 11454 543 0 0 25 0 1 0 906587835 8773632 1451 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2142 1451 1111 63 0 2079 0
vsize: 8568
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 158013 0 0 0 12407 591 0 0 25 0 1 0 906587835 9195520 1511 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2212 1509 1111 63 0 2149 0
vsize: 8980
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 172674 0 0 0 13357 641 0 0 25 0 1 0 906587835 9539584 1571 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2329 1572 1111 63 0 2266 0
vsize: 9316
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 185268 0 0 0 14310 688 0 0 25 0 1 0 906587835 9396224 1603 4294967295 134512640 134716908 3221224560 3221222560 1074913448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1603 1111 63 0 2231 0
vsize: 9176
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 199573 0 0 0 15257 741 0 0 25 0 1 0 906587835 9658368 1666 4294967295 134512640 134716908 3221224560 3221223196 134651473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2358 1666 1111 63 0 2295 0
vsize: 9432
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 210325 0 0 0 16213 785 0 0 25 0 1 0 906587835 9850880 1714 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 1714 1111 63 0 2342 0
vsize: 9620
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 220119 0 0 0 17171 828 0 0 25 0 1 0 906587835 10088448 1769 4294967295 134512640 134716908 3221224560 3221223096 1077377218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2463 1769 1111 63 0 2400 0
vsize: 9852
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 232364 0 0 0 18121 878 0 0 25 0 1 0 906587835 10280960 1812 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2503 1812 1111 63 0 2440 0
vsize: 10040
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 244978 0 0 0 19068 931 0 0 25 0 1 0 906587835 10448896 1860 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2551 1860 1111 63 0 2488 0
vsize: 10204
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 259964 0 0 0 20019 980 0 0 25 0 1 0 906587835 10723328 1930 4294967295 134512640 134716908 3221224560 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1930 1111 63 0 2555 0
vsize: 10472
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 276287 0 0 0 20968 1031 0 0 25 0 1 0 906587835 10977280 1992 4294967295 134512640 134716908 3221224560 3221223208 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1992 1111 63 0 2617 0
vsize: 10720
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 293369 0 0 0 21918 1081 0 0 25 0 1 0 906587835 11468800 2064 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2800 2064 1111 63 0 2737 0
vsize: 11200
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 310421 0 0 0 22867 1133 0 0 25 0 1 0 906587835 11583488 2137 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2828 2137 1111 63 0 2765 0
vsize: 11312
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 326451 0 0 0 23814 1186 0 0 25 0 1 0 906587835 11788288 2190 4294967295 134512640 134716908 3221224560 3221222888 1073978417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2878 2190 1111 63 0 2815 0
vsize: 11512
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 342078 0 0 0 24763 1237 0 0 25 0 1 0 906587835 12025856 2248 4294967295 134512640 134716908 3221224560 3221222832 1074056237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2936 2248 1111 63 0 2873 0
vsize: 11744
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 356209 0 0 0 25718 1283 0 0 25 0 1 0 906587835 12312576 2318 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3006 2318 1111 63 0 2943 0
vsize: 12024
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 369460 0 0 0 26670 1331 0 0 25 0 1 0 906587835 12709888 2382 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3103 2383 1111 63 0 3040 0
vsize: 12412
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 380619 0 0 0 27624 1377 0 0 25 0 1 0 906587835 12742656 2420 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3157 2423 1111 63 0 3094 0
vsize: 12444
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 394118 0 0 0 28576 1426 0 0 25 0 1 0 906587835 12943360 2472 4294967295 134512640 134716908 3221224560 3221222960 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3160 2472 1111 63 0 3097 0
vsize: 12640
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 406753 0 0 0 29533 1468 0 0 25 0 1 0 906587835 13164544 2521 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3209 2521 1111 63 0 3146 0
vsize: 12856
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 419776 0 0 0 30487 1515 0 0 25 0 1 0 906587835 13410304 2586 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2586 1111 63 0 3211 0
vsize: 13096
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 431358 0 0 0 31441 1561 0 0 25 0 1 0 906587835 13594624 2630 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3367 2633 1111 63 0 3304 0
vsize: 13276
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 442226 0 0 0 32396 1606 0 0 25 0 1 0 906587835 13848576 2693 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3381 2693 1111 63 0 3318 0
vsize: 13524
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 455467 0 0 0 33354 1648 0 0 25 0 1 0 906587835 14065664 2746 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3434 2746 1111 63 0 3371 0
vsize: 13736
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 471234 0 0 0 34297 1705 0 0 25 0 1 0 906587835 14319616 2808 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3496 2808 1111 63 0 3433 0
vsize: 13984
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 487009 0 0 0 35246 1756 0 0 25 0 1 0 906587835 14540800 2862 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3550 2862 1111 63 0 3487 0
vsize: 14200
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 502231 0 0 0 36195 1808 0 0 25 0 1 0 906587835 14733312 2909 4294967295 134512640 134716908 3221224560 3221222744 1077377168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3597 2909 1111 63 0 3534 0
vsize: 14388
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 513748 0 0 0 37147 1856 0 0 25 0 1 0 906587835 14929920 2956 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3642 2954 1111 63 0 3579 0
vsize: 14580
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 526447 0 0 0 38098 1906 0 0 25 0 1 0 906587835 15106048 3000 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3688 3000 1111 63 0 3625 0
vsize: 14752
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 540220 0 0 0 39051 1953 0 0 25 0 1 0 906587835 15622144 3076 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3814 3077 1111 63 0 3751 0
vsize: 15256
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 557041 0 0 0 39998 2006 0 0 25 0 1 0 906587835 15892480 3145 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3847 3143 1111 63 0 3784 0
vsize: 15520
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 572691 0 0 0 40953 2051 0 0 25 0 1 0 906587835 15917056 3197 4294967295 134512640 134716908 3221224560 3221223280 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3886 3197 1111 63 0 3823 0
vsize: 15544
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 590456 0 0 0 41904 2100 0 0 25 0 1 0 906587835 16347136 3268 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3954 3266 1111 63 0 3891 0
vsize: 15964
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 607365 0 0 0 42852 2152 0 0 25 0 1 0 906587835 16601088 3323 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4053 3323 1111 63 0 3990 0
vsize: 16212
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 624453 0 0 0 43799 2206 0 0 25 0 1 0 906587835 16752640 3402 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4090 3402 1111 63 0 4027 0
vsize: 16360
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 639734 0 0 0 44751 2254 0 0 25 0 1 0 906587835 17149952 3465 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4187 3466 1111 63 0 4124 0
vsize: 16748
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 655866 0 0 0 45701 2304 0 0 25 0 1 0 906587835 17272832 3528 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 3528 1111 63 0 4154 0
vsize: 16868
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 672804 0 0 0 46648 2357 0 0 25 0 1 0 906587835 17592320 3589 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4273 3583 1111 63 0 4210 0
vsize: 17180
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 686240 0 0 0 47601 2404 0 0 25 0 1 0 906587835 17686528 3630 4294967295 134512640 134716908 3221224560 3221222960 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4318 3630 1111 63 0 4255 0
vsize: 17272
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 698284 0 0 0 48554 2452 0 0 25 0 1 0 906587835 18096128 3659 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4418 3663 1111 63 0 4355 0
vsize: 17672
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 715079 0 0 0 49499 2507 0 0 25 0 1 0 906587835 18030592 3714 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4402 3714 1111 63 0 4339 0
vsize: 17608
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 731902 0 0 0 50443 2563 0 0 25 0 1 0 906587835 18223104 3761 4294967295 134512640 134716908 3221224560 3221222940 1073951528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4449 3761 1111 63 0 4386 0
vsize: 17796
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 746199 0 0 0 51394 2612 0 0 25 0 1 0 906587835 18427904 3809 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4497 3809 1111 63 0 4434 0
vsize: 17996
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 760547 0 0 0 52342 2665 0 0 25 0 1 0 906587835 18591744 3851 4294967295 134512640 134716908 3221224560 3221222448 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 3851 1111 63 0 4476 0
vsize: 18156
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 774693 0 0 0 53293 2713 0 0 25 0 1 0 906587835 18841600 3912 4294967295 134512640 134716908 3221224560 3221222864 1074143824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4600 3912 1111 63 0 4537 0
vsize: 18400
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 787085 0 0 0 54246 2760 0 0 25 0 1 0 906587835 19025920 3955 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4645 3955 1111 63 0 4582 0
vsize: 18580
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 801325 0 0 0 55193 2814 0 0 25 0 1 0 906587835 19386368 4003 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4733 4003 1111 63 0 4670 0
vsize: 18932
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 815076 0 0 0 56142 2865 0 0 25 0 1 0 906587835 19468288 4065 4294967295 134512640 134716908 3221224560 3221223080 1077377771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4753 4065 1111 63 0 4690 0
vsize: 19012
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 826888 0 0 0 57094 2914 0 0 25 0 1 0 906587835 19673088 4115 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4803 4115 1111 63 0 4740 0
vsize: 19212
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 837740 0 0 0 58043 2965 0 0 25 0 1 0 906587835 19865600 4158 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4850 4158 1111 63 0 4787 0
vsize: 19400
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 849418 0 0 0 58996 3012 0 0 25 0 1 0 906587835 20021248 4200 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4888 4200 1111 63 0 4825 0
vsize: 19552
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 863560 0 0 0 59949 3059 0 0 25 0 1 0 906587835 20283392 4263 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4952 4263 1111 63 0 4889 0
vsize: 19808
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 878758 0 0 0 60898 3110 0 0 25 0 1 0 906587835 20488192 4314 4294967295 134512640 134716908 3221224560 3221222544 1074056269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5002 4314 1111 63 0 4939 0
vsize: 20008
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 894261 0 0 0 61848 3161 0 0 25 0 1 0 906587835 20762624 4381 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4381 1111 63 0 5006 0
vsize: 20276
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 910893 0 0 0 62789 3219 0 0 25 0 1 0 906587835 21065728 4440 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5143 4440 1111 63 0 5080 0
vsize: 20572
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 928158 0 0 0 63732 3277 0 0 25 0 1 0 906587835 21250048 4500 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5188 4500 1111 63 0 5125 0
vsize: 20752
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 944850 0 0 0 64681 3328 0 0 25 0 1 0 906587835 21491712 4559 4294967295 134512640 134716908 3221224560 3221222560 1074140666 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5247 4559 1111 63 0 5184 0
vsize: 20988
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 962084 0 0 0 65629 3380 0 0 25 0 1 0 906587835 21716992 4614 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4614 1111 63 0 5239 0
vsize: 21208
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 980110 0 0 0 66571 3438 0 0 25 0 1 0 906587835 21950464 4671 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5359 4671 1111 63 0 5296 0
vsize: 21436
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 996611 0 0 0 67516 3494 0 0 25 0 1 0 906587835 22319104 4725 4294967295 134512640 134716908 3221224560 3221221600 1075860561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5411 4723 1111 63 0 5348 0
vsize: 21796
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1013817 0 0 0 68461 3549 0 0 25 0 1 0 906587835 22384640 4777 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5465 4777 1111 63 0 5402 0
vsize: 21860
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1031400 0 0 0 69405 3605 0 0 25 0 1 0 906587835 22654976 4841 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5525 4837 1111 63 0 5462 0
vsize: 22124
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1049696 0 0 0 70348 3662 0 0 25 0 1 0 906587835 22867968 4895 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5583 4895 1111 63 0 5520 0
vsize: 22332
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1067769 0 0 0 71291 3719 0 0 25 0 1 0 906587835 23080960 4947 4294967295 134512640 134716908 3221224560 3221222856 1077377401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5635 4947 1111 63 0 5572 0
vsize: 22540
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1083763 0 0 0 72243 3767 0 0 25 0 1 0 906587835 23281664 4996 4294967295 134512640 134716908 3221224560 3221222716 1077404830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5684 4996 1111 63 0 5621 0
vsize: 22736
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1097993 0 0 0 73196 3814 0 0 25 0 1 0 906587835 23666688 5052 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5778 5054 1111 63 0 5715 0
vsize: 23112
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1113120 0 0 0 74142 3869 0 0 25 0 1 0 906587835 23711744 5097 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5782 5094 1111 63 0 5719 0
vsize: 23156
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1131321 0 0 0 75081 3930 0 0 25 0 1 0 906587835 23891968 5145 4294967295 134512640 134716908 3221224560 3221223176 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5833 5145 1111 63 0 5770 0
vsize: 23332
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1147249 0 0 0 76030 3982 0 0 25 0 1 0 906587835 24084480 5192 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5880 5192 1111 63 0 5817 0
vsize: 23520
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1163686 0 0 0 76972 4039 0 0 25 0 1 0 906587835 24276992 5237 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5927 5237 1111 63 0 5864 0
vsize: 23708
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1180557 0 0 0 77912 4100 0 0 25 0 1 0 906587835 24498176 5293 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5981 5293 1111 63 0 5918 0
vsize: 23924
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1196323 0 0 0 78860 4151 0 0 25 0 1 0 906587835 24653824 5331 4294967295 134512640 134716908 3221224560 3221222672 1074867314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6019 5331 1111 63 0 5956 0
vsize: 24076
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1214374 0 0 0 79805 4207 0 0 25 0 1 0 906587835 24870912 5383 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6118 5385 1111 63 0 6055 0
vsize: 24288
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1230272 0 0 0 80749 4263 0 0 25 0 1 0 906587835 25366528 5445 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6143 5442 1111 63 0 6080 0
vsize: 24772
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1245941 0 0 0 81697 4315 0 0 25 0 1 0 906587835 25284608 5485 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 5485 1111 63 0 6110 0
vsize: 24692
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1262899 0 0 0 82636 4377 0 0 25 0 1 0 906587835 25473024 5531 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6219 5531 1111 63 0 6156 0
vsize: 24876
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1280524 0 0 0 83576 4437 0 0 25 0 1 0 906587835 25653248 5574 4294967295 134512640 134716908 3221224560 3221223024 1074121018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6263 5574 1111 63 0 6200 0
vsize: 25052
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1296565 0 0 0 84522 4491 0 0 25 0 1 0 906587835 25829376 5618 4294967295 134512640 134716908 3221224560 3221222672 1074867358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6306 5618 1111 63 0 6243 0
vsize: 25224
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1313349 0 0 0 85466 4547 0 0 25 0 1 0 906587835 26034176 5668 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6356 5668 1111 63 0 6293 0
vsize: 25424
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1330526 0 0 0 86407 4606 0 0 25 0 1 0 906587835 26247168 5714 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6455 5717 1111 63 0 6392 0
vsize: 25632
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1346235 0 0 0 87355 4658 0 0 25 0 1 0 906587835 26394624 5756 4294967295 134512640 134716908 3221224560 3221222528 1074207511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6444 5756 1111 63 0 6381 0
vsize: 25776
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1362910 0 0 0 88298 4715 0 0 25 0 1 0 906587835 26607616 5808 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6496 5808 1111 63 0 6433 0
vsize: 25984
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1380200 0 0 0 89239 4774 0 0 25 0 1 0 906587835 26832896 5863 4294967295 134512640 134716908 3221224560 3221223152 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6551 5863 1111 63 0 6488 0
vsize: 26204
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1396660 0 0 0 90185 4829 0 0 25 0 1 0 906587835 27025408 5910 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6598 5910 1111 63 0 6535 0
vsize: 26392
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1412410 0 0 0 91132 4881 0 0 25 0 1 0 906587835 27246592 5964 4294967295 134512640 134716908 3221224560 3221222888 1077377254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6652 5964 1111 63 0 6589 0
vsize: 26608
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1426772 0 0 0 92083 4931 0 0 25 0 1 0 906587835 27451392 6014 4294967295 134512640 134716908 3221224560 3221223008 1073990306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6702 6014 1111 63 0 6639 0
vsize: 26808
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1443584 0 0 0 93024 4990 0 0 25 0 1 0 906587835 27623424 6056 4294967295 134512640 134716908 3221224560 3221223168 134524193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6744 6056 1111 63 0 6681 0
vsize: 26976
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1459447 0 0 0 93970 5044 0 0 25 0 1 0 906587835 27844608 6110 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6845 6112 1111 63 0 6782 0
vsize: 27192
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1475237 0 0 0 94918 5096 0 0 25 0 1 0 906587835 28016640 6152 4294967295 134512640 134716908 3221224560 3221222560 1074056599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6840 6152 1111 63 0 6777 0
vsize: 27360
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1491092 0 0 0 95865 5149 0 0 25 0 1 0 906587835 28213248 6200 4294967295 134512640 134716908 3221224560 3221223144 134698697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6888 6200 1111 63 0 6825 0
vsize: 27552
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1507996 0 0 0 96806 5209 0 0 25 0 1 0 906587835 28364800 6237 4294967295 134512640 134716908 3221224560 3221222720 1074051053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6925 6237 1111 63 0 6862 0
vsize: 27700
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1525010 0 0 0 97748 5267 0 0 25 0 1 0 906587835 28606464 6296 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6984 6296 1111 63 0 6921 0
vsize: 27936
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1536612 0 0 0 98703 5312 0 0 25 0 1 0 906587835 28938240 6338 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7065 6341 1111 63 0 7002 0
vsize: 28260
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1548636 0 0 0 99654 5362 0 0 25 0 1 0 906587835 28909568 6370 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7058 6370 1111 63 0 6995 0
vsize: 28232
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1562000 0 0 0 100603 5413 0 0 25 0 1 0 906587835 29122560 6422 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7154 6422 1111 63 0 7091 0
vsize: 28440
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1575128 0 0 0 101552 5464 0 0 25 0 1 0 906587835 29270016 6458 4294967295 134512640 134716908 3221224560 3221223176 134543133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7146 6458 1111 63 0 7083 0
vsize: 28584
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1587745 0 0 0 102500 5516 0 0 25 0 1 0 906587835 29622272 6509 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7232 6509 1111 63 0 7169 0
vsize: 28928
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1600598 0 0 0 103446 5570 0 0 25 0 1 0 906587835 29630464 6546 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7234 6546 1111 63 0 7171 0
vsize: 28936
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1614692 0 0 0 104390 5626 0 0 25 0 1 0 906587835 30130176 6596 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7285 6593 1111 63 0 7222 0
vsize: 29424
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1631296 0 0 0 105336 5681 0 0 25 0 1 0 906587835 30064640 6648 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7332 6644 1111 63 0 7269 0
vsize: 29360
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1648325 0 0 0 106280 5736 0 0 25 0 1 0 906587835 30244864 6696 4294967295 134512640 134716908 3221224560 3221222488 1077378644 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7384 6696 1111 63 0 7321 0
vsize: 29536
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1665837 0 0 0 107220 5797 0 0 25 0 1 0 906587835 30441472 6744 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7432 6744 1111 63 0 7369 0
vsize: 29728
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1677789 0 0 0 108175 5842 0 0 25 0 1 0 906587835 30617600 6787 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7475 6787 1111 63 0 7412 0
vsize: 29900
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1691319 0 0 0 109125 5892 0 0 25 0 1 0 906587835 30814208 6835 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7523 6835 1111 63 0 7460 0
vsize: 30092
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1704574 0 0 0 110077 5940 0 0 25 0 1 0 906587835 30990336 6878 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7566 6878 1111 63 0 7503 0
vsize: 30264
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1718126 0 0 0 111025 5993 0 0 25 0 1 0 906587835 31162368 6920 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7608 6920 1111 63 0 7545 0
vsize: 30432
[startup+1174.88 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25045
Raw data (stat): 25045 (bsolo_lpr_cuts-) R 25044 7266 7265 0 -1 0 1718126 0 0 0 111025 5993 0 0 25 0 1 0 906587835 31162368 6920 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7608 6920 1111 63 0 7545 0
vsize: 0

Child status: 10
Real time (s): 1174.88
CPU time (s): 1175.02
CPU user time (s): 1114.87
CPU system time (s): 60.1509
CPU usage (%): 100.012
Max. virtual memory (Kb): 30432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	44
#### END VERIFIER DATA ####