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.95:100.opb
MD5SUM	b2c6bc03457d15976fdaf81252d9cdae
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	435
Biggest coefficient in the objective function	282
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	1168
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	282
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	1168
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02284
Number of variables	435
Total number of constraints	935
Number of constraints which are clauses	403
Number of constraints which are cardinality constraints (but not clauses)	532
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	16
Trace number 40913

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        888692 kB
Buffers:         17804 kB
Cached:         103728 kB
SwapCached:       4472 kB
Active:          25040 kB
Inactive:       101648 kB
HighTotal:      131008 kB
HighFree:        28140 kB
LowTotal:       903652 kB
LowFree:        860552 kB
SwapTotal:     2097136 kB
SwapFree:      2091616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13628 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 02:23:00 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 28979 0 1175.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 435 variables and 501 constraints.
c After prepocess the problem consists of 434 variables and 521 constraints.
c preprocess terminated 0.284 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.474
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 124 @ 5.967
c NEW SOLUTION FOUND: 123 @ 6.359
c NEW SOLUTION FOUND: 119 @ 10.54
c NEW SOLUTION FOUND: 118 @ 10.591
c NEW SOLUTION FOUND: 117 @ 24.247
c NEW SOLUTION FOUND: 116 @ 24.266
c NEW SOLUTION FOUND: 115 @ 26.217
c NEW SOLUTION FOUND: 114 @ 34.85
c NEW SOLUTION FOUND: 113 @ 43.689
c NEW SOLUTION FOUND: 112 @ 52.981
c NEW SOLUTION FOUND: 111 @ 56.382
c NEW SOLUTION FOUND: 109 @ 56.417
c NEW SOLUTION FOUND: 108 @ 57.246
c NEW SOLUTION FOUND: 107 @ 58.206
c NEW SOLUTION FOUND: 106 @ 60.137
c NEW SOLUTION FOUND: 105 @ 62.333
c NEW SOLUTION FOUND: 104 @ 66.235
c NEW SOLUTION FOUND: 103 @ 72.134
c NEW SOLUTION FOUND: 102 @ 72.358
c NEW SOLUTION FOUND: 101 @ 84.671
c NEW SOLUTION FOUND: 100 @ 112.425
c NEW SOLUTION FOUND: 99 @ 112.68
c NEW SOLUTION FOUND: 98 @ 112.975
c NEW SOLUTION FOUND: 97 @ 141.405
c NEW SOLUTION FOUND: 96 @ 151.938
c NEW SOLUTION FOUND: 95 @ 193.717
c NEW SOLUTION FOUND: 94 @ 202.307
c NEW SOLUTION FOUND: 93 @ 204.865
c NEW SOLUTION FOUND: 92 @ 206.18
c NEW SOLUTION FOUND: 91 @ 207.571
c NEW SOLUTION FOUND: 90 @ 208.887
c NEW SOLUTION FOUND: 89 @ 208.955
c NEW SOLUTION FOUND: 88 @ 209.2
c NEW SOLUTION FOUND: 87 @ 213.977
c NEW SOLUTION FOUND: 86 @ 214.667
c NEW SOLUTION FOUND: 85 @ 238.059
c NEW SOLUTION FOUND: 84 @ 272.424
c NEW SOLUTION FOUND: 83 @ 272.941
c NEW SOLUTION FOUND: 82 @ 328.549
c NEW SOLUTION FOUND: 81 @ 365.347
c NEW SOLUTION FOUND: 80 @ 454.292
c NEW SOLUTION FOUND: 79 @ 454.615
c NEW SOLUTION FOUND: 78 @ 476.453
c NEW SOLUTION FOUND: 77 @ 480.389
c NEW SOLUTION FOUND: 76 @ 482.751
c NEW SOLUTION FOUND: 75 @ 594.646
c NEW SOLUTION FOUND: 74 @ 598.298
c NEW SOLUTION FOUND: 73 @ 606.637
c NEW SOLUTION FOUND: 72 @ 638.557
c NEW SOLUTION FOUND: 71 @ 665.187
c NEW SOLUTION FOUND: 70 @ 755.064
c NEW SOLUTION FOUND: 69 @ 765.681
c NEW SOLUTION FOUND: 68 @ 970.059
c NEW SOLUTION FOUND: 67 @ 1049.81
c NEW SOLUTION FOUND: 66 @ 1121.32
s SATISFIABLE
v v358 v234 v62 v5 -v340 v235 -v399 -v362 v339 v239 v6 -v398 -v360 v238 v7 -v400 v341 v236 -v143 v10 v433 -v361 v343 v237 -v142 -v8 v416 -v365 -v144 -v9 -v420 v344 v434 v357 v233 -v182 v61 -v2 -v336 v232 -v186 v4 v363 -v335 -v320 -v243 v3 v11 -v366 v342 -v401 -v364 v345 v415 v409 v419 v405 -v145 v404 -v386 v153 -v26 v149 -v30 -v355 -v316 -v251 v246 v181 v63 v359 -v255 v247 -v185 -v1 v356 v319 -v242 -v19 -v367 -v337 v15 -v406 -v338 -v240 v160 -v67 v14 -v408 v164 v417 -v382 v349 v150 v128 v421 v152 v402 -v385 -v301 -v25 v148 -v29 -v315 -v273 -v250 v244 v183 v64 -v16 v354 -v277 -v254 -v187 -v18 -v375 v321 v83 -v68 v411 -v407 -v371 -v87 -v66 v410 -v370 -v352 -v241 -v189 v159 -v124 v47 v12 -v353 -v190 v163 v151 v418 -v381 v348 -v324 -v297 v127 v13 v422 -v423 -v403 -v387 v346 -v300 -v27 -v424 v146 v31 -v372 -v317 -v272 -v252 -v245 v184 v65 -v17 -v374 -v276 -v256 -v188 -v69 -v351 v322 -v192 v82 v43 -v350 -v191 -v86 v377 -v368 -v325 -v258 v161 -v123 v46 v412 -v323 -v259 v165 -v21 v413 -v383 -v369 -v296 v129 -v20 v414 -v428 -v388 v347 -v302 v167 -v28 v168 -v147 v32 -v373 -v313 -v274 -v253 -v180 v77 -v318 -v278 -v257 v179 v155 -v73 v314 -v261 -v196 v154 v119 v84 -v72 v42 v326 -v260 -v88 -v292 -v280 -v220 v162 -v125 -v111 v48 v376 -v281 -v224 v166 -v431 v378 -v298 v170 v130 -v90 -v432 -v384 v169 -v91 -v22 -v427 v380 v303 -v210 -v131 -v51 -v23 v389 -v132 v24 -v275 v249 -v199 -v79 v76 v38 -v312 -v279 v248 -v200 -v334 -v283 v265 -v195 v107 v85 -v70 v44 -v330 -v282 v156 v118 -v89 -v430 -v329 -v219 -v193 v157 v120 -v110 -v93 -v71 v49 -v429 -v291 -v223 v158 -v126 -v92 -v293 v206 -v174 v122 -v52 v379 -v299 -v133 -v50 -v425 v397 v295 -v209 v35 v393 -v304 v36 -v331 -v271 -v268 -v197 v74 -v333 v270 -v269 -v78 v37 -v287 v264 v106 -v80 v39 v81 v45 -v327 v262 -v221 -v194 -v177 -v112 -v97 v41 -v225 -v178 v121 -v53 v394 -v328 v205 -v173 -v141 v34 v396 -v294 v137 v33 -v426 -v311 -v227 -v211 -v171 -v136 v115 v392 v307 -v228 -v332 v288 -v266 -v198 v104 -v75 v290 -v215 -v286 v214 -v176 v108 -v100 -v175 -v101 v40 -v284 v263 v222 v203 -v138 -v113 -v96 -v60 v395 -v226 -v140 -v57 -v308 -v230 v207 v116 -v94 -v56 -v310 -v229 v114 -v212 -v172 -v134 v390 v305 v289 -v267 -v99 v103 -v98 v102 -v59 v216 -v139 v109 -v58 -v285 v217 v105 -v309 v218 v202 v117 v231 v201 -v95 -v54 v208 v204 -v135 -v55 v391 -v306 v213 one 
c Exit Code: 10
c Total time: 1175.03 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 1/54 18076
Raw data (stat): 18076 (runsolver) D 18075 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 906529611 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 8823 0 0 0 968 28 0 0 25 0 1 0 906529611 6774784 963 4294967295 134512640 134716908 3221224560 3221222960 1074119059 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1654 963 1111 63 0 1591 0
vsize: 6616
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 21837 0 0 0 1920 77 0 0 25 0 1 0 906529611 6979584 1013 4294967295 134512640 134716908 3221224560 3221223232 134603700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1704 1013 1111 63 0 1641 0
vsize: 6816
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 33751 0 0 0 2881 116 0 0 25 0 1 0 906529611 7073792 1037 4294967295 134512640 134716908 3221224560 3221222960 1074118784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1727 1037 1111 63 0 1664 0
vsize: 6908
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 45088 0 0 0 3842 155 0 0 25 0 1 0 906529611 7409664 1121 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1809 1121 1111 63 0 1746 0
vsize: 7236
[startup+50.002 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 55883 0 0 0 4804 193 0 0 25 0 1 0 906529611 7667712 1184 4294967295 134512640 134716908 3221224560 3221223084 1076082772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1872 1184 1111 63 0 1809 0
vsize: 7488
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 69484 0 0 0 5764 233 0 0 25 0 1 0 906529611 7745536 1203 4294967295 134512640 134716908 3221224560 3221221752 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1203 1111 63 0 1828 0
vsize: 7564
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 89259 0 0 0 6702 295 0 0 25 0 1 0 906529611 7966720 1251 4294967295 134512640 134716908 3221224560 3221222896 1075552798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1251 1111 63 0 1882 0
vsize: 7780
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 109107 0 0 0 7641 356 0 0 25 0 1 0 906529611 8146944 1301 4294967295 134512640 134716908 3221224560 3221222504 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1989 1301 1111 63 0 1926 0
vsize: 7956
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 129354 0 0 0 8578 420 0 0 25 0 1 0 906529611 8347648 1350 4294967295 134512640 134716908 3221224560 3221221840 1074140055 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2038 1350 1111 63 0 1975 0
vsize: 8152
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 152601 0 0 0 9511 487 0 0 25 0 1 0 906529611 8589312 1409 4294967295 134512640 134716908 3221224560 3221221740 1077404734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2097 1409 1111 63 0 2034 0
vsize: 8388
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 175998 0 0 0 10443 555 0 0 25 0 1 0 906529611 8810496 1462 4294967295 134512640 134716908 3221224560 3221222940 1074208560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2151 1462 1111 63 0 2088 0
vsize: 8604
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 198275 0 0 0 11380 619 0 0 25 0 1 0 906529611 9007104 1509 4294967295 134512640 134716908 3221224560 3221222480 1075799640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2199 1509 1111 63 0 2136 0
vsize: 8796
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 220943 0 0 0 12320 678 0 0 25 0 1 0 906529611 9293824 1576 4294967295 134512640 134716908 3221224560 3221222900 1074206852 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2269 1576 1111 63 0 2206 0
vsize: 9076
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 242448 0 0 0 13258 741 0 0 25 0 1 0 906529611 9437184 1616 4294967295 134512640 134716908 3221224560 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2304 1616 1111 63 0 2241 0
vsize: 9216
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 263669 0 0 0 14196 803 0 0 25 0 1 0 906529611 9699328 1676 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2368 1676 1111 63 0 2305 0
vsize: 9472
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 285246 0 0 0 15135 865 0 0 25 0 1 0 906529611 9961472 1730 4294967295 134512640 134716908 3221224560 3221222752 1077783111 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2432 1730 1111 63 0 2369 0
vsize: 9728
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18076
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 307352 0 0 0 16074 925 0 0 25 0 1 0 906529611 10100736 1776 4294967295 134512640 134716908 3221224560 3221223260 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2466 1776 1111 63 0 2403 0
vsize: 9864
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 329266 0 0 0 17012 988 0 0 25 0 1 0 906529611 10285056 1823 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2511 1823 1111 63 0 2448 0
vsize: 10044
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 351488 0 0 0 17946 1054 0 0 25 0 1 0 906529611 10477568 1869 4294967295 134512640 134716908 3221224560 3221222848 1074143728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2558 1869 1111 63 0 2495 0
vsize: 10232
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 373250 0 0 0 18883 1117 0 0 25 0 1 0 906529611 10678272 1919 4294967295 134512640 134716908 3221224560 3221222352 1075894941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2607 1919 1111 63 0 2544 0
vsize: 10428
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 392771 0 0 0 19826 1174 0 0 25 0 1 0 906529611 10928128 1980 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2668 1980 1111 63 0 2605 0
vsize: 10672
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 409597 0 0 0 20778 1222 0 0 25 0 1 0 906529611 11128832 2029 4294967295 134512640 134716908 3221224560 3221222696 1075652108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2717 2029 1111 63 0 2654 0
vsize: 10868
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 430950 0 0 0 21717 1284 0 0 25 0 1 0 906529611 11354112 2084 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2772 2084 1111 63 0 2709 0
vsize: 11088
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 452656 0 0 0 22656 1344 0 0 25 0 1 0 906529611 11554816 2133 4294967295 134512640 134716908 3221224560 3221223332 134624489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2821 2133 1111 63 0 2758 0
vsize: 11284
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 473573 0 0 0 23594 1406 0 0 25 0 1 0 906529611 11800576 2193 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2881 2193 1111 63 0 2818 0
vsize: 11524
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 494913 0 0 0 24533 1468 0 0 25 0 1 0 906529611 12333056 2263 4294967295 134512640 134716908 3221224560 3221221708 1075969788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3011 2263 1111 63 0 2948 0
vsize: 12044
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 515809 0 0 0 25473 1528 0 0 25 0 1 0 906529611 12529664 2320 4294967295 134512640 134716908 3221224560 3221220720 1075095694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3059 2320 1111 63 0 2996 0
vsize: 12236
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 536289 0 0 0 26409 1592 0 0 25 0 1 0 906529611 12460032 2354 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3042 2354 1111 63 0 2979 0
vsize: 12168
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 558119 0 0 0 27341 1660 0 0 25 0 1 0 906529611 12693504 2411 4294967295 134512640 134716908 3221224560 3221222744 1077377539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3099 2411 1111 63 0 3036 0
vsize: 12396
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 579928 0 0 0 28277 1725 0 0 25 0 1 0 906529611 12894208 2459 4294967295 134512640 134716908 3221224560 3221222792 1077377331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3148 2459 1111 63 0 3085 0
vsize: 12592
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 602945 0 0 0 29216 1786 0 0 25 0 1 0 906529611 13119488 2515 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3203 2515 1111 63 0 3140 0
vsize: 12812
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 624774 0 0 0 30153 1849 0 0 25 0 1 0 906529611 13619200 2571 4294967295 134512640 134716908 3221224560 3221220616 1074788005 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3325 2571 1111 63 0 3262 0
vsize: 13300
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 646638 0 0 0 31093 1908 0 0 25 0 1 0 906529611 13553664 2621 4294967295 134512640 134716908 3221224560 3221222208 1074247373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3309 2621 1111 63 0 3246 0
vsize: 13236
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 667043 0 0 0 32040 1962 0 0 25 0 1 0 906529611 14028800 2671 4294967295 134512640 134716908 3221224560 3221221136 1076046840 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3425 2671 1111 63 0 3362 0
vsize: 13700
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 687222 0 0 0 32982 2020 0 0 25 0 1 0 906529611 14270464 2725 4294967295 134512640 134716908 3221224560 3221220832 1074805399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3484 2725 1111 63 0 3421 0
vsize: 13936
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 708393 0 0 0 33925 2078 0 0 25 0 1 0 906529611 14196736 2777 4294967295 134512640 134716908 3221224560 3221223088 134540030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3466 2777 1111 63 0 3403 0
vsize: 13864
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 729679 0 0 0 34867 2135 0 0 25 0 1 0 906529611 14430208 2834 4294967295 134512640 134716908 3221224560 3221221856 1074819916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2834 1111 63 0 3460 0
vsize: 14092
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 749788 0 0 0 35808 2195 0 0 25 0 1 0 906529611 14598144 2876 4294967295 134512640 134716908 3221224560 3221223296 134556877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3564 2876 1111 63 0 3501 0
vsize: 14256
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 771221 0 0 0 36744 2259 0 0 25 0 1 0 906529611 14868480 2942 4294967295 134512640 134716908 3221224560 3221222872 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3630 2942 1111 63 0 3567 0
vsize: 14520
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 790042 0 0 0 37689 2314 0 0 25 0 1 0 906529611 15036416 2983 4294967295 134512640 134716908 3221224560 3221222648 1077377437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2983 1111 63 0 3608 0
vsize: 14684
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 807311 0 0 0 38636 2367 0 0 25 0 1 0 906529611 15196160 3022 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3710 3022 1111 63 0 3647 0
vsize: 14840
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 827096 0 0 0 39578 2425 0 0 25 0 1 0 906529611 15409152 3074 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3762 3074 1111 63 0 3699 0
vsize: 15048
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 847712 0 0 0 40515 2488 0 0 25 0 1 0 906529611 15982592 3142 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3902 3145 1111 63 0 3839 0
vsize: 15608
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 867965 0 0 0 41459 2545 0 0 25 0 1 0 906529611 15822848 3175 4294967295 134512640 134716908 3221224560 3221222284 1077404744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 3175 1111 63 0 3800 0
vsize: 15452
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 889160 0 0 0 42399 2605 0 0 25 0 1 0 906529611 16109568 3242 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3924 3233 1111 63 0 3861 0
vsize: 15732
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 909628 0 0 0 43342 2662 0 0 25 0 1 0 906529611 16269312 3284 4294967295 134512640 134716908 3221224560 3221222912 1074142734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3284 1111 63 0 3909 0
vsize: 15888
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 931170 0 0 0 44280 2724 0 0 25 0 1 0 906529611 16498688 3338 4294967295 134512640 134716908 3221224560 3221223260 134535545 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4028 3338 1111 63 0 3965 0
vsize: 16112
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 951775 0 0 0 45221 2783 0 0 25 0 1 0 906529611 16998400 3382 4294967295 134512640 134716908 3221224560 3221221392 1075115218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4075 3379 1111 63 0 4012 0
vsize: 16600
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 971863 0 0 0 46156 2848 0 0 25 0 1 0 906529611 16908288 3440 4294967295 134512640 134716908 3221224560 3221222608 1074140572 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4128 3440 1111 63 0 4065 0
vsize: 16512
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 991810 0 0 0 47090 2914 0 0 25 0 1 0 906529611 17133568 3495 4294967295 134512640 134716908 3221224560 3221222912 1074142933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4183 3495 1111 63 0 4120 0
vsize: 16732
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1011533 0 0 0 48036 2968 0 0 25 0 1 0 906529611 17354752 3549 4294967295 134512640 134716908 3221224560 3221223280 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 3549 1111 63 0 4174 0
vsize: 16948
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1031754 0 0 0 48978 3026 0 0 25 0 1 0 906529611 17539072 3593 4294967295 134512640 134716908 3221224560 3221222912 1074142751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3593 1111 63 0 4219 0
vsize: 17128
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1052505 0 0 0 49915 3089 0 0 25 0 1 0 906529611 17784832 3652 4294967295 134512640 134716908 3221224560 3221222944 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4342 3652 1111 63 0 4279 0
vsize: 17368
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1073709 0 0 0 50855 3150 0 0 25 0 1 0 906529611 18001920 3707 4294967295 134512640 134716908 3221224560 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4395 3707 1111 63 0 4332 0
vsize: 17580
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1094972 0 0 0 51794 3211 0 0 25 0 1 0 906529611 18575360 3769 4294967295 134512640 134716908 3221224560 3221221584 1074810461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4535 3776 1111 63 0 4472 0
vsize: 18140
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1116009 0 0 0 52734 3271 0 0 25 0 1 0 906529611 18436096 3813 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4501 3813 1111 63 0 4438 0
vsize: 18004
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1136448 0 0 0 53674 3331 0 0 25 0 1 0 906529611 18673664 3871 4294967295 134512640 134716908 3221224560 3221223268 134603388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4559 3871 1111 63 0 4496 0
vsize: 18236
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1156180 0 0 0 54616 3389 0 0 25 0 1 0 906529611 19165184 3917 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4607 3914 1111 63 0 4544 0
vsize: 18716
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1174487 0 0 0 55564 3441 0 0 25 0 1 0 906529611 19419136 3985 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4706 3983 1111 63 0 4643 0
vsize: 18964
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1193633 0 0 0 56501 3504 0 0 25 0 1 0 906529611 19329024 4031 4294967295 134512640 134716908 3221224560 3221222804 1077374207 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4719 4031 1111 63 0 4656 0
vsize: 18876
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1213804 0 0 0 57440 3565 0 0 25 0 1 0 906529611 19529728 4079 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4768 4079 1111 63 0 4705 0
vsize: 19072
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1234853 0 0 0 58380 3624 0 0 25 0 1 0 906529611 19828736 4150 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4841 4150 1111 63 0 4778 0
vsize: 19364
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1255453 0 0 0 59319 3685 0 0 25 0 1 0 906529611 19988480 4189 4294967295 134512640 134716908 3221224560 3221222540 1073967528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4880 4189 1111 63 0 4817 0
vsize: 19520
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1275622 0 0 0 60258 3746 0 0 25 0 1 0 906529611 20213760 4247 4294967295 134512640 134716908 3221224560 3221222560 1074056570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4935 4247 1111 63 0 4872 0
vsize: 19740
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1296495 0 0 0 61198 3806 0 0 25 0 1 0 906529611 20729856 4312 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5061 4312 1111 63 0 4998 0
vsize: 20244
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1317880 0 0 0 62138 3867 0 0 25 0 1 0 906529611 20688896 4345 4294967295 134512640 134716908 3221224560 3221222880 1074057854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5051 4345 1111 63 0 4988 0
vsize: 20204
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1339098 0 0 0 63079 3926 0 0 25 0 1 0 906529611 20819968 4395 4294967295 134512640 134716908 3221224560 3221223280 134603593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 4395 1111 63 0 5020 0
vsize: 20332
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1359536 0 0 0 64017 3987 0 0 25 0 1 0 906529611 21086208 4460 4294967295 134512640 134716908 3221224560 3221221724 1074206203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5148 4460 1111 63 0 5085 0
vsize: 20592
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1379119 0 0 0 64961 4044 0 0 25 0 1 0 906529611 21241856 4498 4294967295 134512640 134716908 3221224560 3221222384 1075823337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4498 1111 63 0 5123 0
vsize: 20744
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1400221 0 0 0 65902 4103 0 0 25 0 1 0 906529611 21475328 4555 4294967295 134512640 134716908 3221224560 3221222384 1075823373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5243 4555 1111 63 0 5180 0
vsize: 20972
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1419512 0 0 0 66840 4166 0 0 25 0 1 0 906529611 21614592 4589 4294967295 134512640 134716908 3221224560 3221222824 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5277 4589 1111 63 0 5214 0
vsize: 21108
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1437892 0 0 0 67780 4225 0 0 25 0 1 0 906529611 21880832 4650 4294967295 134512640 134716908 3221224560 3221222960 1074118824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5342 4650 1111 63 0 5279 0
vsize: 21368
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1455745 0 0 0 68724 4281 0 0 25 0 1 0 906529611 22327296 4696 4294967295 134512640 134716908 3221224560 3221221680 1074838183 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5451 4696 1111 63 0 5388 0
vsize: 21804
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1474925 0 0 0 69670 4335 0 0 25 0 1 0 906529611 22523904 4755 4294967295 134512640 134716908 3221224560 3221220560 1075965250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5499 4755 1111 63 0 5436 0
vsize: 21996
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1495246 0 0 0 70608 4398 0 0 25 0 1 0 906529611 22556672 4805 4294967295 134512640 134716908 3221224560 3221223152 134613467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5507 4805 1111 63 0 5444 0
vsize: 22028
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1514980 0 0 0 71550 4456 0 0 25 0 1 0 906529611 22724608 4857 4294967295 134512640 134716908 3221224560 3221222976 1074116190 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5548 4857 1111 63 0 5485 0
vsize: 22192
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1534685 0 0 0 72495 4511 0 0 25 0 1 0 906529611 22970368 4917 4294967295 134512640 134716908 3221224560 3221223216 1074022221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5608 4917 1111 63 0 5545 0
vsize: 22432
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1554817 0 0 0 73436 4571 0 0 25 0 1 0 906529611 23216128 4979 4294967295 134512640 134716908 3221224560 3221222624 1074819946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5668 4979 1111 63 0 5605 0
vsize: 22672
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1575423 0 0 0 74375 4632 0 0 25 0 1 0 906529611 23429120 5031 4294967295 134512640 134716908 3221224560 3221222560 1074921304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5720 5031 1111 63 0 5657 0
vsize: 22880
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1594585 0 0 0 75315 4692 0 0 25 0 1 0 906529611 23826432 5080 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5817 5080 1111 63 0 5754 0
vsize: 23268
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1614269 0 0 0 76256 4750 0 0 25 0 1 0 906529611 23851008 5135 4294967295 134512640 134716908 3221224560 3221221960 1074838821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5823 5135 1111 63 0 5760 0
vsize: 23292
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1635191 0 0 0 77197 4810 0 0 25 0 1 0 906529611 24133632 5202 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5892 5202 1111 63 0 5829 0
vsize: 23568
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1656213 0 0 0 78137 4870 0 0 25 0 1 0 906529611 24346624 5256 4294967295 134512640 134716908 3221224560 3221222464 1075336147 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5944 5256 1111 63 0 5881 0
vsize: 23776
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1678331 0 0 0 79076 4930 0 0 25 0 1 0 906529611 24551424 5306 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5994 5306 1111 63 0 5931 0
vsize: 23976
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1700430 0 0 0 80017 4990 0 0 25 0 1 0 906529611 25071616 5377 4294967295 134512640 134716908 3221224560 3221220944 1074972348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6121 5377 1111 63 0 6058 0
vsize: 24484
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1721849 0 0 0 80954 5053 0 0 25 0 1 0 906529611 24997888 5415 4294967295 134512640 134716908 3221224560 3221222280 1077380252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6103 5415 1111 63 0 6040 0
vsize: 24412
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1742144 0 0 0 81896 5111 0 0 25 0 1 0 906529611 25227264 5465 4294967295 134512640 134716908 3221224560 3221222960 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5465 1111 63 0 6096 0
vsize: 24636
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1762733 0 0 0 82832 5175 0 0 25 0 1 0 906529611 25780224 5524 4294967295 134512640 134716908 3221224560 3221221656 1075859557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6294 5524 1111 63 0 6231 0
vsize: 25176
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1782743 0 0 0 83773 5234 0 0 25 0 1 0 906529611 25616384 5564 4294967295 134512640 134716908 3221224560 3221222672 1074208740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6254 5564 1111 63 0 6191 0
vsize: 25016
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1801160 0 0 0 84716 5291 0 0 25 0 1 0 906529611 25833472 5617 4294967295 134512640 134716908 3221224560 3221222824 1077374049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6307 5617 1111 63 0 6244 0
vsize: 25228
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1821538 0 0 0 85655 5353 0 0 25 0 1 0 906529611 26062848 5673 4294967295 134512640 134716908 3221224560 3221222960 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6363 5673 1111 63 0 6300 0
vsize: 25452
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1842324 0 0 0 86596 5412 0 0 25 0 1 0 906529611 26300416 5733 4294967295 134512640 134716908 3221224560 3221223360 134597483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6421 5733 1111 63 0 6358 0
vsize: 25684
[startup+930.023 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1861939 0 0 0 87539 5469 0 0 25 0 1 0 906529611 26533888 5788 4294967295 134512640 134716908 3221224560 3221222720 1073989015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6478 5788 1111 63 0 6415 0
vsize: 25912
[startup+940.023 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1881618 0 0 0 88484 5524 0 0 25 0 1 0 906529611 26767360 5847 4294967295 134512640 134716908 3221224560 3221223152 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6535 5847 1111 63 0 6472 0
vsize: 26140
[startup+950.023 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1901663 0 0 0 89427 5581 0 0 25 0 1 0 906529611 26988544 5901 4294967295 134512640 134716908 3221224560 3221222480 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6589 5901 1111 63 0 6526 0
vsize: 26356
[startup+960.024 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1922436 0 0 0 90365 5644 0 0 25 0 1 0 906529611 27209728 5955 4294967295 134512640 134716908 3221224560 3221222604 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6643 5955 1111 63 0 6580 0
vsize: 26572
[startup+970.024 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1942563 0 0 0 91308 5701 0 0 25 0 1 0 906529611 27447296 6013 4294967295 134512640 134716908 3221224560 3221222208 1075818276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6701 6013 1111 63 0 6638 0
vsize: 26804
[startup+980.024 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1961610 0 0 0 92254 5755 0 0 25 0 1 0 906529611 27668480 6067 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6755 6067 1111 63 0 6692 0
vsize: 27020
[startup+990.024 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 1981307 0 0 0 93197 5812 0 0 25 0 1 0 906529611 27885568 6120 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6808 6120 1111 63 0 6745 0
vsize: 27232
[startup+1000.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2000560 0 0 0 94143 5866 0 0 25 0 1 0 906529611 28135424 6181 4294967295 134512640 134716908 3221224560 3221223204 1074028267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6869 6181 1111 63 0 6806 0
vsize: 27476
[startup+1010.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2019921 0 0 0 95087 5922 0 0 25 0 1 0 906529611 28631040 6231 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6990 6231 1111 63 0 6927 0
vsize: 27960
[startup+1020.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2039824 0 0 0 96027 5983 0 0 25 0 1 0 906529611 28577792 6283 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6977 6283 1111 63 0 6914 0
vsize: 27908
[startup+1030.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2060243 0 0 0 96969 6041 0 0 25 0 1 0 906529611 28753920 6331 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7020 6331 1111 63 0 6957 0
vsize: 28080
[startup+1040.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2080592 0 0 0 97910 6100 0 0 25 0 1 0 906529611 28962816 6381 4294967295 134512640 134716908 3221224560 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7071 6381 1111 63 0 7008 0
vsize: 28284
[startup+1050.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2101460 0 0 0 98851 6159 0 0 25 0 1 0 906529611 29159424 6431 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7119 6431 1111 63 0 7056 0
vsize: 28476
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2122031 0 0 0 99789 6222 0 0 25 0 1 0 906529611 29413376 6491 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7180 6491 1111 63 0 7117 0
vsize: 28724
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2142370 0 0 0 100731 6279 0 0 25 0 1 0 906529611 29876224 6540 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7294 6540 1111 63 0 7231 0
vsize: 29176
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2162609 0 0 0 101672 6338 0 0 25 0 1 0 906529611 29810688 6590 4294967295 134512640 134716908 3221224560 3221222288 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7278 6590 1111 63 0 7215 0
vsize: 29112
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2183119 0 0 0 102616 6395 0 0 25 0 1 0 906529611 30044160 6644 4294967295 134512640 134716908 3221224560 3221222384 1075824339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7335 6644 1111 63 0 7272 0
vsize: 29340
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2203384 0 0 0 103557 6454 0 0 25 0 1 0 906529611 30269440 6702 4294967295 134512640 134716908 3221224560 3221222892 1073986656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7390 6702 1111 63 0 7327 0
vsize: 29560
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2224133 0 0 0 104494 6518 0 0 25 0 1 0 906529611 30490624 6756 4294967295 134512640 134716908 3221224560 3221222812 1077404744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6756 1111 63 0 7381 0
vsize: 29776
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2244411 0 0 0 105438 6574 0 0 25 0 1 0 906529611 30715904 6811 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7573 6815 1111 63 0 7510 0
vsize: 29996
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2263182 0 0 0 106385 6626 0 0 25 0 1 0 906529611 30986240 6877 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7565 6877 1111 63 0 7502 0
vsize: 30260
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2283106 0 0 0 107324 6688 0 0 25 0 1 0 906529611 31186944 6923 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7614 6923 1111 63 0 7551 0
vsize: 30456
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2303034 0 0 0 108268 6744 0 0 25 0 1 0 906529611 31375360 6972 4294967295 134512640 134716908 3221224560 3221222560 1074056223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7660 6972 1111 63 0 7597 0
vsize: 30640
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2323061 0 0 0 109206 6806 0 0 25 0 1 0 906529611 31637504 7033 4294967295 134512640 134716908 3221224560 3221222648 1077377504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7724 7033 1111 63 0 7661 0
vsize: 30896
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2342759 0 0 0 110149 6864 0 0 25 0 1 0 906529611 31862784 7091 4294967295 134512640 134716908 3221224560 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7779 7091 1111 63 0 7716 0
vsize: 31116
[startup+1174.94 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 18078
Raw data (stat): 18076 (bsolo_lpr_cuts-) R 18075 31399 31398 0 -1 0 2342759 0 0 0 110149 6864 0 0 25 0 1 0 906529611 31862784 7091 4294967295 134512640 134716908 3221224560 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7779 7091 1111 63 0 7716 0
vsize: 0

Child status: 10
Real time (s): 1174.94
CPU time (s): 1175.05
CPU user time (s): 1106.09
CPU system time (s): 68.9565
CPU usage (%): 100.009
Max. virtual memory (Kb): 31116
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	66
#### END VERIFIER DATA ####