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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
MD5SUMac510382bae6003fe0373ad32fd0064f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of terms in the objective function 411
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1129
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1129
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.03584
Number of variables411
Total number of constraints887
Number of constraints which are clauses387
Number of constraints which are cardinality constraints (but not clauses)500
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16

Trace number 24978

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 13:31:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3305 boxname=wulflinc31 idbench=368 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ac510382bae6003fe0373ad32fd0064f  /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:98.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:98.opb
IDLAUNCH: 3305
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        813268 kB
Buffers:         41488 kB
Cached:         158472 kB
SwapCached:       1932 kB
Active:         162672 kB
Inactive:        40444 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        813016 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12624 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 13:51:32 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 3305 0 1175.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 411 variables and 477 constraints.
c After prepocess the problem consists of 410 variables and 492 constraints.
c preprocess terminated 0.249 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.26875
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 148 @ 12.429
c NEW SOLUTION FOUND: 145 @ 12.447
c NEW SOLUTION FOUND: 144 @ 12.515
c NEW SOLUTION FOUND: 143 @ 12.523
c NEW SOLUTION FOUND: 142 @ 12.586
c NEW SOLUTION FOUND: 141 @ 12.734
c NEW SOLUTION FOUND: 140 @ 12.761
c NEW SOLUTION FOUND: 139 @ 12.784
c NEW SOLUTION FOUND: 136 @ 12.952
c NEW SOLUTION FOUND: 135 @ 12.982
c NEW SOLUTION FOUND: 134 @ 13.02
c NEW SOLUTION FOUND: 133 @ 13.05
c NEW SOLUTION FOUND: 132 @ 13.32
c NEW SOLUTION FOUND: 131 @ 13.476
c NEW SOLUTION FOUND: 130 @ 13.753
c NEW SOLUTION FOUND: 129 @ 13.83
c NEW SOLUTION FOUND: 128 @ 13.995
c NEW SOLUTION FOUND: 127 @ 14.181
c NEW SOLUTION FOUND: 126 @ 14.344
c NEW SOLUTION FOUND: 125 @ 14.808
c NEW SOLUTION FOUND: 124 @ 14.885
c NEW SOLUTION FOUND: 123 @ 15.017
c NEW SOLUTION FOUND: 122 @ 15.135
c NEW SOLUTION FOUND: 121 @ 16.169
c NEW SOLUTION FOUND: 120 @ 19.36
c NEW SOLUTION FOUND: 119 @ 19.705
c NEW SOLUTION FOUND: 118 @ 20.616
c NEW SOLUTION FOUND: 117 @ 24.668
c NEW SOLUTION FOUND: 116 @ 31.915
c NEW SOLUTION FOUND: 115 @ 32.041
c NEW SOLUTION FOUND: 114 @ 33.357
c NEW SOLUTION FOUND: 113 @ 37.749
c NEW SOLUTION FOUND: 110 @ 41.183
c NEW SOLUTION FOUND: 109 @ 42.191
c NEW SOLUTION FOUND: 108 @ 42.209
c NEW SOLUTION FOUND: 107 @ 44.424
c NEW SOLUTION FOUND: 106 @ 47.548
c NEW SOLUTION FOUND: 105 @ 47.669
c NEW SOLUTION FOUND: 104 @ 47.717
c NEW SOLUTION FOUND: 103 @ 48.144
c NEW SOLUTION FOUND: 102 @ 49.264
c NEW SOLUTION FOUND: 101 @ 49.343
c NEW SOLUTION FOUND: 100 @ 49.438
c NEW SOLUTION FOUND: 99 @ 50.165
c NEW SOLUTION FOUND: 98 @ 50.283
c NEW SOLUTION FOUND: 97 @ 51.876
c NEW SOLUTION FOUND: 96 @ 54.284
c NEW SOLUTION FOUND: 95 @ 54.666
c NEW SOLUTION FOUND: 94 @ 58.507
c NEW SOLUTION FOUND: 93 @ 58.613
c NEW SOLUTION FOUND: 92 @ 58.694
c NEW SOLUTION FOUND: 91 @ 59.231
c NEW SOLUTION FOUND: 90 @ 59.308
c NEW SOLUTION FOUND: 89 @ 60.558
c NEW SOLUTION FOUND: 88 @ 63.196
c NEW SOLUTION FOUND: 87 @ 65.283
c NEW SOLUTION FOUND: 86 @ 69.629
c NEW SOLUTION FOUND: 85 @ 70.36
c NEW SOLUTION FOUND: 84 @ 71.348
c NEW SOLUTION FOUND: 83 @ 71.558
c NEW SOLUTION FOUND: 82 @ 73.769
c NEW SOLUTION FOUND: 81 @ 79.856
c NEW SOLUTION FOUND: 80 @ 90.143
c NEW SOLUTION FOUND: 79 @ 91.974
c NEW SOLUTION FOUND: 78 @ 95.602
c NEW SOLUTION FOUND: 77 @ 150.174
c NEW SOLUTION FOUND: 76 @ 152.707
c NEW SOLUTION FOUND: 75 @ 190.239
c NEW SOLUTION FOUND: 74 @ 201.165
c NEW SOLUTION FOUND: 73 @ 201.806
c NEW SOLUTION FOUND: 72 @ 226.15
c NEW SOLUTION FOUND: 71 @ 237.016
c NEW SOLUTION FOUND: 70 @ 243.025
c NEW SOLUTION FOUND: 69 @ 251.644
c NEW SOLUTION FOUND: 68 @ 271.701
c NEW SOLUTION FOUND: 67 @ 277.189
c NEW SOLUTION FOUND: 66 @ 465.634
c NEW SOLUTION FOUND: 65 @ 480.446
c NEW SOLUTION FOUND: 64 @ 497.296
c NEW SOLUTION FOUND: 63 @ 522.252
c NEW SOLUTION FOUND: 62 @ 545.347
c NEW SOLUTION FOUND: 61 @ 613.948
c NEW SOLUTION FOUND: 60 @ 830.309
s SATISFIABLE
v v294 -v230 v205 -v190 v138 v293 -v210 v191 v142 v358 -v301 v278 -v234 -v209 v195 v295 -v232 v194 v357 -v296 v212 v192 -v118 -v361 -v297 -v233 v213 v193 -v179 v82 v237 -v216 -v178 v163 -v117 v81 -v362 -v214 v121 v83 -v215 -v180 v162 v84 v183 v167 -v122 v85 -v304 -v274 -v229 v189 v137 -v305 v204 v188 v141 -v384 -v300 v277 -v235 v206 -v199 -v211 v359 -v312 -v298 v238 v208 v36 -v363 v316 v236 -v217 -v174 -v173 -v119 v123 v365 -v181 v164 -v88 v366 v182 v166 -v89 -v380 -v302 -v273 v227 -v202 v139 -v353 v231 -v203 v143 -v383 -v352 v279 v228 -v198 -v32 v239 v207 v113 v360 -v311 -v299 -v225 -v196 -v145 v112 v35 -v364 v315 -v221 -v158 -v146 v368 -v282 -v220 -v157 v120 -v87 v367 -v175 v124 -v86 -v341 -v176 v165 -v125 -v70 v177 v168 -v126 -v74 v379 -v303 v275 -v200 v140 v226 v144 v396 -v385 v280 v247 -v222 -v148 -v31 -v400 -v354 v243 -v224 -v147 v355 -v313 -v283 v242 -v197 v37 -v7 v356 v317 -v281 v114 v11 -v388 -v372 -v337 -v218 v115 v100 v159 v116 -v340 v319 -v219 -v186 v160 -v130 -v69 v40 v320 -v187 v161 -v73 v381 v271 -v244 -v201 -v136 v27 -v307 v276 -v246 -v223 v135 v395 -v386 -v306 v272 v152 -v33 -v399 v284 -v389 -v375 -v314 v240 -v96 v38 -v6 -v387 -v376 v318 v10 -v371 -v336 v322 -v241 -v185 -v133 v99 v41 v321 -v184 -v134 v39 -v369 -v342 -v254 -v171 -v129 -v71 -v258 v172 -v75 -v378 v264 -v245 -v155 v382 v270 -v156 v26 v397 -v374 -v292 -v151 v28 -v401 -v390 -v373 -v308 v288 -v34 -v332 -v309 v287 -v149 -v132 -v95 v30 v8 v310 -v131 -v65 v42 v12 -v403 v338 -v326 -v170 v101 -v64 -v404 -v169 -v370 -v343 -v253 -v127 -v72 -v60 -v14 -v257 v76 -v15 -v289 v263 -v153 -v377 -v291 -v2 v398 -v91 -v1 -v402 -v394 v29 v406 -v393 -v329 -v285 -v150 -v97 v50 v9 v405 -v331 v330 -v46 v13 -v333 -v325 -v286 v102 -v56 -v45 -v17 v339 v66 -v16 v335 -v323 -v255 -v128 -v103 v67 v59 v344 -v259 -v104 v68 -v290 v265 -v154 -v328 -v47 -v327 v90 -v49 -v3 -v410 -v391 v267 v92 v4 -v249 v98 v5 -v392 -v248 v94 v55 -v43 v21 v334 -v105 v351 -v324 -v256 v79 v61 -v44 v347 -v260 v80 -v48 v268 v266 -v409 v53 -v24 v93 v25 -v407 v348 v111 -v78 v57 -v20 v350 -v250 v108 -v77 -v251 v106 v62 -v18 -v345 v252 v269 -v23 -v22 v110 v349 v109 v52 -v408 v51 v58 -v262 v107 v54 -v19 -v346 v261 v63 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
Raw data (loadavg): 0.92 0.98 0.99 2/55 2625
Raw data (stat): 2625 (runsolver) R 2624 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 752832038 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 4087 0 0 0 983 13 0 0 25 0 1 0 752832038 6553600 914 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1600 914 1111 63 0 1537 0
vsize: 6400
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 18234 0 0 0 1934 62 0 0 25 0 1 0 752832038 7004160 1026 4294967295 134512640 134714508 3221221776 3221220108 1077402400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1710 1026 1111 63 0 1647 0
vsize: 6840
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 34232 0 0 0 2877 118 0 0 25 0 1 0 752832038 7249920 1080 4294967295 134512640 134714508 3221221776 3221220176 1074118879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1770 1080 1111 63 0 1707 0
vsize: 7080
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 51048 0 0 0 3827 169 0 0 25 0 1 0 752832038 7745536 1129 4294967295 134512640 134714508 3221221776 3221218544 1076083159 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1891 1129 1111 63 0 1828 0
vsize: 7564
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 73706 0 0 0 4756 240 0 0 25 0 1 0 752832038 7905280 1157 4294967295 134512640 134714508 3221221776 3221219200 1076066777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1930 1157 1111 63 0 1867 0
vsize: 7720
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 93180 0 0 0 5697 299 0 0 25 0 1 0 752832038 7847936 1222 4294967295 134512640 134714508 3221221776 3221219756 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1916 1222 1111 63 0 1853 0
vsize: 7664
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 111049 0 0 0 6642 354 0 0 25 0 1 0 752832038 8048640 1281 4294967295 134512640 134714508 3221221776 3221220172 1074207488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1965 1281 1111 63 0 1902 0
vsize: 7860
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 130652 0 0 0 7585 411 0 0 25 0 1 0 752832038 8691712 1354 4294967295 134512640 134714508 3221221776 3221217996 1074878880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2122 1354 1111 63 0 2059 0
vsize: 8488
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 151427 0 0 0 8529 468 0 0 25 0 1 0 752832038 8593408 1414 4294967295 134512640 134714508 3221221776 3221220208 1073990196 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2098 1414 1111 63 0 2035 0
vsize: 8392
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 169420 0 0 0 9479 518 0 0 25 0 1 0 752832038 9138176 1465 4294967295 134512640 134714508 3221221776 3221218816 1075860321 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2231 1465 1111 63 0 2168 0
vsize: 8924
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 191980 0 0 0 10415 582 0 0 25 0 1 0 752832038 9371648 1531 4294967295 134512640 134714508 3221221776 3221217936 1075093091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2288 1531 1111 63 0 2225 0
vsize: 9152
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 214551 0 0 0 11352 645 0 0 25 0 1 0 752832038 9211904 1564 4294967295 134512640 134714508 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2249 1564 1111 63 0 2186 0
vsize: 8996
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 237312 0 0 0 12294 704 0 0 25 0 1 0 752832038 9494528 1626 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2318 1626 1111 63 0 2255 0
vsize: 9272
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 258568 0 0 0 13230 768 0 0 25 0 1 0 752832038 10067968 1695 4294967295 134512640 134714508 3221221776 3221218816 1075971389 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2388 1692 1111 63 0 2325 0
vsize: 9832
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 280739 0 0 0 14166 832 0 0 25 0 1 0 752832038 9953280 1743 4294967295 134512640 134714508 3221221776 3221220064 1074057902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2430 1743 1111 63 0 2367 0
vsize: 9720
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 303559 0 0 0 15103 895 0 0 25 0 1 0 752832038 10211328 1801 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2493 1801 1111 63 0 2430 0
vsize: 9972
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 324698 0 0 0 16043 956 0 0 25 0 1 0 752832038 10428416 1852 4294967295 134512640 134714508 3221221776 3221220200 1077377331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2546 1852 1111 63 0 2483 0
vsize: 10184
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 345378 0 0 0 16985 1013 0 0 25 0 1 0 752832038 11079680 1930 4294967295 134512640 134714508 3221221776 3221217980 1075563115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2611 1927 1111 63 0 2548 0
vsize: 10820
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 366443 0 0 0 17928 1070 0 0 25 0 1 0 752832038 11042816 1970 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2742 1973 1111 63 0 2679 0
vsize: 10784
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 387022 0 0 0 18867 1132 0 0 25 0 1 0 752832038 11329536 2046 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2736 2034 1111 63 0 2673 0
vsize: 11064
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 407031 0 0 0 19811 1188 0 0 25 0 1 0 752832038 11366400 2091 4294967295 134512640 134714508 3221221776 3221219944 1077378186 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2775 2091 1111 63 0 2712 0
vsize: 11100
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 427875 0 0 0 20754 1245 0 0 25 0 1 0 752832038 11653120 2160 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2845 2160 1111 63 0 2782 0
vsize: 11380
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 448531 0 0 0 21697 1302 0 0 25 0 1 0 752832038 11923456 2222 4294967295 134512640 134714508 3221221776 3221219820 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2911 2222 1111 63 0 2848 0
vsize: 11644
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 468878 0 0 0 22640 1359 0 0 25 0 1 0 752832038 12500992 2306 4294967295 134512640 134714508 3221221776 3221218048 1074960828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3052 2306 1111 63 0 2989 0
vsize: 12208
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 489144 0 0 0 23582 1417 0 0 25 0 1 0 752832038 12443648 2353 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3038 2353 1111 63 0 2975 0
vsize: 12152
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 508952 0 0 0 24525 1474 0 0 25 0 1 0 752832038 13045760 2435 4294967295 134512640 134714508 3221221776 3221218064 1074815681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2435 1111 63 0 3122 0
vsize: 12740
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 529801 0 0 0 25469 1530 0 0 25 0 1 0 752832038 12959744 2478 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3164 2478 1111 63 0 3101 0
vsize: 12656
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 550708 0 0 0 26412 1588 0 0 25 0 1 0 752832038 13152256 2527 4294967295 134512640 134714508 3221221776 3221219696 1075799572 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3211 2527 1111 63 0 3148 0
vsize: 12844
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 572153 0 0 0 27351 1649 0 0 25 0 1 0 752832038 13426688 2594 4294967295 134512640 134714508 3221221776 3221219908 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3278 2594 1111 63 0 3215 0
vsize: 13112
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 594230 0 0 0 28284 1717 0 0 25 0 1 0 752832038 13692928 2659 4294967295 134512640 134714508 3221221776 3221219800 1077380277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2659 1111 63 0 3280 0
vsize: 13372
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 616200 0 0 0 29219 1781 0 0 25 0 1 0 752832038 14024704 2723 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3392 2702 1111 63 0 3329 0
vsize: 13696
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 637341 0 0 0 30158 1842 0 0 25 0 1 0 752832038 14176256 2771 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3454 2770 1111 63 0 3391 0
vsize: 13844
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 657301 0 0 0 31103 1897 0 0 25 0 1 0 752832038 14745600 2825 4294967295 134512640 134714508 3221221776 3221218896 1074837622 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3531 2823 1111 63 0 3468 0
vsize: 14400
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 678330 0 0 0 32043 1958 0 0 25 0 1 0 752832038 14614528 2878 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3568 2878 1111 63 0 3505 0
vsize: 14272
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 700049 0 0 0 32980 2021 0 0 25 0 1 0 752832038 14835712 2937 4294967295 134512640 134714508 3221221776 3221219944 1077377425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3622 2937 1111 63 0 3559 0
vsize: 14488
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 720981 0 0 0 33920 2081 0 0 25 0 1 0 752832038 15101952 2999 4294967295 134512640 134714508 3221221776 3221220128 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3687 2999 1111 63 0 3624 0
vsize: 14748
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 742462 0 0 0 34861 2141 0 0 25 0 1 0 752832038 15351808 3061 4294967295 134512640 134714508 3221221776 3221220040 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3748 3061 1111 63 0 3685 0
vsize: 14992
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 763800 0 0 0 35802 2200 0 0 25 0 1 0 752832038 16011264 3131 4294967295 134512640 134714508 3221221776 3221218748 1075112635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3812 3128 1111 63 0 3749 0
vsize: 15636
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 783969 0 0 0 36746 2255 0 0 25 0 1 0 752832038 15802368 3173 4294967295 134512640 134714508 3221221776 3221219908 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3858 3173 1111 63 0 3795 0
vsize: 15432
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 805374 0 0 0 37689 2313 0 0 25 0 1 0 752832038 16048128 3234 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3918 3234 1111 63 0 3855 0
vsize: 15672
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 824348 0 0 0 38636 2366 0 0 25 0 1 0 752832038 16601088 3289 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4053 3289 1111 63 0 3990 0
vsize: 16212
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 844621 0 0 0 39577 2425 0 0 25 0 1 0 752832038 16527360 3351 4294967295 134512640 134714508 3221221776 3221219740 1077378064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4035 3351 1111 63 0 3972 0
vsize: 16140
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 866617 0 0 0 40510 2493 0 0 25 0 1 0 752832038 16744448 3404 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4088 3404 1111 63 0 4025 0
vsize: 16352
[startup+440.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 889206 0 0 0 41445 2557 0 0 25 0 1 0 752832038 17321984 3466 4294967295 134512640 134714508 3221221776 3221218544 1076083718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3475 1111 63 0 4166 0
vsize: 16916
[startup+450.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 911933 0 0 0 42380 2623 0 0 25 0 1 0 752832038 17190912 3512 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4197 3512 1111 63 0 4134 0
vsize: 16788
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 934057 0 0 0 43320 2683 0 0 25 0 1 0 752832038 17440768 3573 4294967295 134512640 134714508 3221221776 3221220224 1073990196 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4257 3572 1111 63 0 4194 0
vsize: 17032
[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 954114 0 0 0 44258 2745 0 0 25 0 1 0 752832038 17580032 3604 4294967295 134512640 134714508 3221221776 3221219424 1075817775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3604 1111 63 0 4229 0
vsize: 17168
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 975823 0 0 0 45199 2804 0 0 25 0 1 0 752832038 17788928 3655 4294967295 134512640 134714508 3221221776 3221220384 134650190 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4343 3655 1111 63 0 4280 0
vsize: 17372
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 997269 0 0 0 46139 2864 0 0 25 0 1 0 752832038 18153472 3734 4294967295 134512640 134714508 3221221776 3221219888 1074867325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4432 3734 1111 63 0 4369 0
vsize: 17728
[startup+500.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1019730 0 0 0 47073 2930 0 0 25 0 1 0 752832038 18382848 3801 4294967295 134512640 134714508 3221221776 3221219696 1075799723 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3801 1111 63 0 4425 0
vsize: 17952
[startup+510.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1041535 0 0 0 48011 2993 0 0 25 0 1 0 752832038 18878464 3881 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4558 3871 1111 63 0 4495 0
vsize: 18436
[startup+520.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1063626 0 0 0 48949 3054 0 0 25 0 1 0 752832038 18894848 3928 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4613 3928 1111 63 0 4550 0
vsize: 18452
[startup+530.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1084307 0 0 0 49891 3113 0 0 25 0 1 0 752832038 19484672 3976 4294967295 134512640 134714508 3221221776 3221218944 1074820421 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4757 3984 1111 63 0 4694 0
vsize: 19028
[startup+540.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1107865 0 0 0 50823 3181 0 0 25 0 1 0 752832038 19300352 4023 4294967295 134512640 134714508 3221221776 3221220208 1073990086 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4750 4023 1111 63 0 4687 0
vsize: 18848
[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1131032 0 0 0 51755 3249 0 0 25 0 1 0 752832038 19537920 4086 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4770 4086 1111 63 0 4707 0
vsize: 19080
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1153672 0 0 0 52690 3315 0 0 25 0 1 0 752832038 19767296 4138 4294967295 134512640 134714508 3221221776 3221219688 1074138324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4826 4138 1111 63 0 4763 0
vsize: 19304
[startup+570.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1176294 0 0 0 53626 3379 0 0 25 0 1 0 752832038 19972096 4182 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4872 4182 1111 63 0 4809 0
vsize: 19504
[startup+580.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1199307 0 0 0 54561 3444 0 0 25 0 1 0 752832038 20160512 4238 4294967295 134512640 134714508 3221221776 3221219172 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4922 4238 1111 63 0 4859 0
vsize: 19688
[startup+590.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1222326 0 0 0 55498 3508 0 0 25 0 1 0 752832038 20434944 4304 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4989 4304 1111 63 0 4926 0
vsize: 19956
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1243323 0 0 0 56439 3566 0 0 25 0 1 0 752832038 20672512 4361 4294967295 134512640 134714508 3221221776 3221220288 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5047 4361 1111 63 0 4984 0
vsize: 20188
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1264970 0 0 0 57377 3628 0 0 25 0 1 0 752832038 21233664 4423 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5184 4430 1111 63 0 5121 0
vsize: 20736
[startup+620.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1285317 0 0 0 58319 3687 0 0 25 0 1 0 752832038 21094400 4464 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5150 4464 1111 63 0 5087 0
vsize: 20600
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1305729 0 0 0 59262 3744 0 0 25 0 1 0 752832038 21696512 4531 4294967295 134512640 134714508 3221221776 3221217808 1074787314 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5297 4533 1111 63 0 5234 0
vsize: 21188
[startup+640.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1327086 0 0 0 60202 3804 0 0 25 0 1 0 752832038 21594112 4588 4294967295 134512640 134714508 3221221776 3221219728 1075656738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5272 4588 1111 63 0 5209 0
vsize: 21088
[startup+650.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1347822 0 0 0 61141 3866 0 0 25 0 1 0 752832038 22106112 4642 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4650 1111 63 0 5334 0
vsize: 21588
[startup+660.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1369100 0 0 0 62079 3927 0 0 25 0 1 0 752832038 22347776 4709 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5456 4710 1111 63 0 5393 0
vsize: 21824
[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1389872 0 0 0 63023 3983 0 0 25 0 1 0 752832038 22233088 4744 4294967295 134512640 134714508 3221221776 3221219384 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5428 4744 1111 63 0 5365 0
vsize: 21712
[startup+680.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1410603 0 0 0 63964 4043 0 0 25 0 1 0 752832038 22495232 4808 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5492 4808 1111 63 0 5429 0
vsize: 21968
[startup+690.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1430536 0 0 0 64905 4102 0 0 25 0 1 0 752832038 22941696 4914 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4914 1111 63 0 5538 0
vsize: 22404
[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1452607 0 0 0 65844 4163 0 0 25 0 1 0 752832038 23171072 4973 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5657 4973 1111 63 0 5594 0
vsize: 22628
[startup+710.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1474559 0 0 0 66781 4226 0 0 25 0 1 0 752832038 23818240 5056 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5815 5056 1111 63 0 5752 0
vsize: 23260
[startup+720.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1491703 0 0 0 67728 4280 0 0 25 0 1 0 752832038 23650304 5089 4294967295 134512640 134714508 3221221776 3221220144 1074152869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5774 5089 1111 63 0 5711 0
vsize: 23096
[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1509860 0 0 0 68670 4338 0 0 25 0 1 0 752832038 23728128 5105 4294967295 134512640 134714508 3221221776 3221219504 1075828224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5793 5105 1111 63 0 5730 0
vsize: 23172
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1532071 0 0 0 69606 4403 0 0 25 0 1 0 752832038 23961600 5166 4294967295 134512640 134714508 3221221776 3221220448 1076647545 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5850 5166 1111 63 0 5787 0
vsize: 23400
[startup+750.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1553504 0 0 0 70548 4461 0 0 25 0 1 0 752832038 24178688 5219 4294967295 134512640 134714508 3221221776 3221220492 134553168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5903 5219 1111 63 0 5840 0
vsize: 23612
[startup+760.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1575201 0 0 0 71484 4525 0 0 25 0 1 0 752832038 24420352 5275 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5962 5275 1111 63 0 5899 0
vsize: 23848
[startup+770.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1597842 0 0 0 72419 4590 0 0 25 0 1 0 752832038 24707072 5342 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6032 5342 1111 63 0 5969 0
vsize: 24128
[startup+780.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1617761 0 0 0 73360 4649 0 0 25 0 1 0 752832038 24965120 5409 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6088 5404 1111 63 0 6025 0
vsize: 24380
[startup+790.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1638230 0 0 0 74299 4710 0 0 25 0 1 0 752832038 25485312 5474 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6222 5475 1111 63 0 6159 0
vsize: 24888
[startup+800.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1660193 0 0 0 75235 4774 0 0 25 0 1 0 752832038 25448448 5527 4294967295 134512640 134714508 3221221776 3221220312 1077377259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6213 5527 1111 63 0 6150 0
vsize: 24852
[startup+810.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1680837 0 0 0 76171 4838 0 0 25 0 1 0 752832038 25653248 5566 4294967295 134512640 134714508 3221221776 3221219504 1075635997 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6257 5566 1111 63 0 6194 0
vsize: 25052
[startup+820.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1701310 0 0 0 77110 4899 0 0 25 0 1 0 752832038 25882624 5633 4294967295 134512640 134714508 3221221776 3221219480 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6319 5633 1111 63 0 6256 0
vsize: 25276
[startup+830.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1724035 0 0 0 78044 4965 0 0 25 0 1 0 752832038 26140672 5693 4294967295 134512640 134714508 3221221776 3221220392 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6382 5693 1111 63 0 6319 0
vsize: 25528
[startup+840.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1744432 0 0 0 78989 5021 0 0 25 0 1 0 752832038 26341376 5737 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5737 1111 63 0 6368 0
vsize: 25724
[startup+850.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1765244 0 0 0 79927 5083 0 0 25 0 1 0 752832038 26525696 5792 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6476 5792 1111 63 0 6413 0
vsize: 25904
[startup+860.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1784915 0 0 0 80867 5143 0 0 25 0 1 0 752832038 26820608 5864 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6548 5864 1111 63 0 6485 0
vsize: 26192
[startup+870.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1804953 0 0 0 81808 5203 0 0 25 0 1 0 752832038 27099136 5932 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6616 5932 1111 63 0 6553 0
vsize: 26464
[startup+880.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1825479 0 0 0 82747 5264 0 0 25 0 1 0 752832038 27770880 6014 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6780 6017 1111 63 0 6717 0
vsize: 27120
[startup+890.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1844930 0 0 0 83693 5318 0 0 25 0 1 0 752832038 28033024 6102 4294967295 134512640 134714508 3221221776 3221217936 1075090534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6844 6102 1111 63 0 6781 0
vsize: 27376
[startup+900.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1863718 0 0 0 84638 5373 0 0 25 0 1 0 752832038 27967488 6144 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6828 6144 1111 63 0 6765 0
vsize: 27312
[startup+910.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1885701 0 0 0 85572 5439 0 0 25 0 1 0 752832038 28205056 6201 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6970 6205 1111 63 0 6907 0
vsize: 27544
[startup+920.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1906307 0 0 0 86510 5502 0 0 25 0 1 0 752832038 28864512 6277 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6956 6270 1111 63 0 6893 0
vsize: 28188
[startup+930.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1926261 0 0 0 87450 5561 0 0 25 0 1 0 752832038 28590080 6295 4294967295 134512640 134714508 3221221776 3221219696 1075799524 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6980 6295 1111 63 0 6917 0
vsize: 27920
[startup+940.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1945943 0 0 0 88393 5619 0 0 25 0 1 0 752832038 29134848 6356 4294967295 134512640 134714508 3221221776 3221217740 1074860825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7113 6356 1111 63 0 7050 0
vsize: 28452
[startup+950.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1965246 0 0 0 89338 5674 0 0 25 0 1 0 752832038 29036544 6399 4294967295 134512640 134714508 3221221776 3221220512 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7089 6399 1111 63 0 7026 0
vsize: 28356
[startup+960.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 1986872 0 0 0 90274 5738 0 0 25 0 1 0 752832038 29220864 6445 4294967295 134512640 134714508 3221221776 3221219864 1077377437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7134 6445 1111 63 0 7071 0
vsize: 28536
[startup+970.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2006842 0 0 0 91214 5798 0 0 25 0 1 0 752832038 29421568 6499 4294967295 134512640 134714508 3221221776 3221219908 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7183 6499 1111 63 0 7120 0
vsize: 28732
[startup+980.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2027181 0 0 0 92155 5857 0 0 25 0 1 0 752832038 29741056 6566 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7261 6566 1111 63 0 7198 0
vsize: 29044
[startup+990.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2046806 0 0 0 93097 5916 0 0 25 0 1 0 752832038 29941760 6625 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7310 6625 1111 63 0 7247 0
vsize: 29240
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2066412 0 0 0 94032 5981 0 0 25 0 1 0 752832038 30228480 6675 4294967295 134512640 134714508 3221221776 3221220368 134696270 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7380 6675 1111 63 0 7317 0
vsize: 29520
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2086930 0 0 0 94969 6044 0 0 25 0 1 0 752832038 30339072 6721 4294967295 134512640 134714508 3221221776 3221220616 134558561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6721 1111 63 0 7344 0
vsize: 29628
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2107097 0 0 0 95905 6108 0 0 25 0 1 0 752832038 30560256 6769 4294967295 134512640 134714508 3221221776 3221220112 1074141406 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7461 6769 1111 63 0 7398 0
vsize: 29844
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2125970 0 0 0 96852 6161 0 0 25 0 1 0 752832038 30781440 6831 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7515 6831 1111 63 0 7452 0
vsize: 30060
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2146205 0 0 0 97794 6219 0 0 25 0 1 0 752832038 31027200 6890 4294967295 134512640 134714508 3221221776 3221220472 134672936 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7575 6890 1111 63 0 7512 0
vsize: 30300
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2166296 0 0 0 98741 6273 0 0 25 0 1 0 752832038 31207424 6930 4294967295 134512640 134714508 3221221776 3221220468 134591823 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7619 6930 1111 63 0 7556 0
vsize: 30476
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2187190 0 0 0 99684 6330 0 0 25 0 1 0 752832038 31404032 6983 4294967295 134512640 134714508 3221221776 3221220512 134538788 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7667 6983 1111 63 0 7604 0
vsize: 30668
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2207572 0 0 0 100617 6397 0 0 25 0 1 0 752832038 31674368 7043 4294967295 134512640 134714508 3221221776 3221219908 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7733 7043 1111 63 0 7670 0
vsize: 30932
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2227300 0 0 0 101555 6459 0 0 25 0 1 0 752832038 31842304 7088 4294967295 134512640 134714508 3221221776 3221219564 1073945592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7774 7088 1111 63 0 7711 0
vsize: 31096
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2247462 0 0 0 102492 6523 0 0 25 0 1 0 752832038 32456704 7152 4294967295 134512640 134714508 3221221776 3221218352 1076046856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7924 7162 1111 63 0 7861 0
vsize: 31696
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2265617 0 0 0 103440 6575 0 0 25 0 1 0 752832038 32219136 7181 4294967295 134512640 134714508 3221221776 3221219712 1074051906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7866 7181 1111 63 0 7803 0
vsize: 31464
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2285537 0 0 0 104380 6635 0 0 25 0 1 0 752832038 32473088 7236 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7928 7236 1111 63 0 7865 0
vsize: 31712
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2306029 0 0 0 105317 6699 0 0 25 0 1 0 752832038 32702464 7300 4294967295 134512640 134714508 3221221776 3221220328 134543647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7984 7300 1111 63 0 7921 0
vsize: 31936
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2326966 0 0 0 106252 6763 0 0 25 0 1 0 752832038 32927744 7348 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8076 7348 1111 63 0 8013 0
vsize: 32156
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2348285 0 0 0 107190 6826 0 0 25 0 1 0 752832038 33124352 7402 4294967295 134512640 134714508 3221221776 3221219784 1077380277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8087 7402 1111 63 0 8024 0
vsize: 32348
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2368860 0 0 0 108129 6887 0 0 25 0 1 0 752832038 33382400 7462 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8150 7462 1111 63 0 8087 0
vsize: 32600
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2389313 0 0 0 109071 6945 0 0 25 0 1 0 752832038 34013184 7525 4294967295 134512640 134714508 3221221776 3221218704 1075960265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8304 7534 1111 63 0 8241 0
vsize: 33216
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2410172 0 0 0 110010 7006 0 0 25 0 1 0 752832038 33837056 7577 4294967295 134512640 134714508 3221221776 3221219424 1075818222 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8261 7577 1111 63 0 8198 0
vsize: 33044
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 2625
Raw data (stat): 2625 (bsolo_lpr_cuts) R 2624 7876 7672 0 -1 0 2410172 0 0 0 110010 7006 0 0 25 0 1 0 752832038 33837056 7577 4294967295 134512640 134714508 3221221776 3221219424 1075818222 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8261 7577 1111 63 0 8198 0
vsize: 0

Child status: 10
Real time (s): 1174.93
CPU time (s): 1175.05
CPU user time (s): 1104.66
CPU system time (s): 70.3923
CPU usage (%): 100.011
Max. virtual memory (Kb): 33216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	60
#### END VERIFIER DATA ####