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 24963

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 09:11:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3278 boxname=wulflinc31 idbench=365 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  b2c6bc03457d15976fdaf81252d9cdae  /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:100.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:100.opb
IDLAUNCH: 3278
/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:        815044 kB
Buffers:         41004 kB
Cached:         157120 kB
SwapCached:       1932 kB
Active:         162420 kB
Inactive:        38900 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814792 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12680 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 09:30:45 (client local time) WITH STATUS 10 IN 1175.08 SECONDS
stats: 3278 0 1175.08 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.289 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.3935
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 22.89
c NEW SOLUTION FOUND: 36 @ 23.979
c NEW SOLUTION FOUND: 35 @ 24.833
c NEW SOLUTION FOUND: 34 @ 25.569
c NEW SOLUTION FOUND: 33 @ 25.704
c NEW SOLUTION FOUND: 32 @ 27.086
c NEW SOLUTION FOUND: 31 @ 28.801
c NEW SOLUTION FOUND: 30 @ 28.975
c NEW SOLUTION FOUND: 24 @ 29.897
c NEW SOLUTION FOUND: 23 @ 33.829
c NEW SOLUTION FOUND: 22 @ 33.854
c NEW SOLUTION FOUND: 21 @ 34.866
c NEW SOLUTION FOUND: 20 @ 781.717
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.04 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 942
Raw data (stat): 942 (runsolver) R 941 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 751267070 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 4981 0 0 0 981 14 0 0 25 0 1 0 751267070 7032832 1030 4294967295 134512640 134714508 3221221776 3221220224 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1717 1030 1111 63 0 1654 0
vsize: 6868
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 9519 0 0 0 1969 27 0 0 25 0 1 0 751267070 7659520 1088 4294967295 134512640 134714508 3221221776 3221218816 1075971414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1870 1088 1111 63 0 1807 0
vsize: 7480
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 22926 0 0 0 2931 64 0 0 25 0 1 0 751267070 7651328 1174 4294967295 134512640 134714508 3221221776 3221220128 1073986877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1868 1174 1111 63 0 1805 0
vsize: 7472
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 36685 0 0 0 3895 101 0 0 25 0 1 0 751267070 8044544 1274 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1964 1274 1111 63 0 1901 0
vsize: 7856
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 49615 0 0 0 4859 137 0 0 25 0 1 0 751267070 8278016 1319 4294967295 134512640 134714508 3221221776 3221218968 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2021 1319 1111 63 0 1958 0
vsize: 8084
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 62499 0 0 0 5824 172 0 0 25 0 1 0 751267070 8515584 1394 4294967295 134512640 134714508 3221221776 3221220128 1073986849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2079 1394 1111 63 0 2016 0
vsize: 8316
[startup+70.005 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 76251 0 0 0 6787 209 0 0 25 0 1 0 751267070 8732672 1446 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2132 1446 1111 63 0 2069 0
vsize: 8528
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 92793 0 0 0 7740 257 0 0 25 0 1 0 751267070 9068544 1529 4294967295 134512640 134714508 3221221776 3221220108 1077404036 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2214 1529 1111 63 0 2151 0
vsize: 8856
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 109271 0 0 0 8692 305 0 0 25 0 1 0 751267070 9383936 1599 4294967295 134512640 134714508 3221221776 3221219776 1074915922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2291 1599 1111 63 0 2228 0
vsize: 9164
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 127475 0 0 0 9642 355 0 0 25 0 1 0 751267070 9592832 1655 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2342 1655 1111 63 0 2279 0
vsize: 9368
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 147626 0 0 0 10584 413 0 0 25 0 1 0 751267070 9826304 1710 4294967295 134512640 134714508 3221221776 3221220208 1073990361 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2399 1710 1111 63 0 2336 0
vsize: 9596
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 166961 0 0 0 11522 475 0 0 25 0 1 0 751267070 10133504 1783 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2474 1783 1111 63 0 2411 0
vsize: 9896
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 184893 0 0 0 12472 525 0 0 25 0 1 0 751267070 10735616 1858 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2621 1858 1111 63 0 2558 0
vsize: 10484
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 204759 0 0 0 13420 577 0 0 25 0 1 0 751267070 10665984 1906 4294967295 134512640 134714508 3221221776 3221219600 1075823354 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2604 1906 1111 63 0 2541 0
vsize: 10416
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 224129 0 0 0 14365 633 0 0 25 0 1 0 751267070 10989568 1992 4294967295 134512640 134714508 3221221776 3221220128 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2683 1992 1111 63 0 2620 0
vsize: 10732
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 244196 0 0 0 15309 689 0 0 25 0 1 0 751267070 11300864 2065 4294967295 134512640 134714508 3221221776 3221219504 1075828224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2759 2065 1111 63 0 2696 0
vsize: 11036
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 263514 0 0 0 16255 743 0 0 25 0 1 0 751267070 11567104 2132 4294967295 134512640 134714508 3221221776 3221219756 1075334224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2824 2132 1111 63 0 2761 0
vsize: 11296
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 282666 0 0 0 17198 800 0 0 25 0 1 0 751267070 11890688 2214 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2903 2214 1111 63 0 2840 0
vsize: 11612
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 301551 0 0 0 18141 858 0 0 25 0 1 0 751267070 12546048 2282 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3063 2282 1111 63 0 3000 0
vsize: 12252
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 320871 0 0 0 19081 917 0 0 25 0 1 0 751267070 12480512 2355 4294967295 134512640 134714508 3221221776 3221220096 1074146266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3047 2355 1111 63 0 2984 0
vsize: 12188
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 339894 0 0 0 20024 975 0 0 25 0 1 0 751267070 12783616 2428 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3121 2428 1111 63 0 3058 0
vsize: 12484
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 359175 0 0 0 20968 1030 0 0 25 0 1 0 751267070 13078528 2500 4294967295 134512640 134714508 3221221776 3221219888 1074867212 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3193 2500 1111 63 0 3130 0
vsize: 12772
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 378273 0 0 0 21914 1085 0 0 25 0 1 0 751267070 13393920 2581 4294967295 134512640 134714508 3221221776 3221219504 1075828228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3270 2581 1111 63 0 3207 0
vsize: 13080
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 398519 0 0 0 22854 1145 0 0 25 0 1 0 751267070 13627392 2638 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3327 2638 1111 63 0 3264 0
vsize: 13308
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 418596 0 0 0 23797 1203 0 0 25 0 1 0 751267070 13856768 2692 4294967295 134512640 134714508 3221221776 3221220128 1074115314 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 2692 1111 63 0 3320 0
vsize: 13532
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 438441 0 0 0 24742 1258 0 0 25 0 1 0 751267070 14143488 2756 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2756 1111 63 0 3390 0
vsize: 13812
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 458855 0 0 0 25683 1317 0 0 25 0 1 0 751267070 14344192 2811 4294967295 134512640 134714508 3221221776 3221219696 1075802510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3502 2811 1111 63 0 3439 0
vsize: 14008
[startup+280.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 478991 0 0 0 26622 1378 0 0 25 0 1 0 751267070 14581760 2855 4294967295 134512640 134714508 3221221776 3221220004 1077378713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3560 2855 1111 63 0 3497 0
vsize: 14240
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 499228 0 0 0 27565 1435 0 0 25 0 1 0 751267070 14815232 2924 4294967295 134512640 134714508 3221221776 3221220072 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3617 2924 1111 63 0 3554 0
vsize: 14468
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 519558 0 0 0 28506 1494 0 0 25 0 1 0 751267070 15101952 2993 4294967295 134512640 134714508 3221221776 3221219936 1074050818 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3687 2993 1111 63 0 3624 0
vsize: 14748
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 540623 0 0 0 29443 1558 0 0 25 0 1 0 751267070 15310848 3043 4294967295 134512640 134714508 3221221776 3221219504 1075828239 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3738 3043 1111 63 0 3675 0
vsize: 14952
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 561701 0 0 0 30379 1621 0 0 25 0 1 0 751267070 15560704 3108 4294967295 134512640 134714508 3221221776 3221219864 1077378465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3799 3108 1111 63 0 3736 0
vsize: 15196
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 581359 0 0 0 31320 1681 0 0 25 0 1 0 751267070 15953920 3187 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3895 3187 1111 63 0 3832 0
vsize: 15580
[startup+340.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 601340 0 0 0 32260 1740 0 0 25 0 1 0 751267070 16146432 3247 4294967295 134512640 134714508 3221221776 3221220496 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3942 3247 1111 63 0 3879 0
vsize: 15768
[startup+350.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 621361 0 0 0 33205 1796 0 0 25 0 1 0 751267070 16445440 3329 4294967295 134512640 134714508 3221221776 3221219120 1074839062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4015 3329 1111 63 0 3952 0
vsize: 16060
[startup+360.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 642038 0 0 0 34148 1853 0 0 25 0 1 0 751267070 16695296 3389 4294967295 134512640 134714508 3221221776 3221218880 1074138623 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4076 3389 1111 63 0 4013 0
vsize: 16304
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 662980 0 0 0 35089 1912 0 0 25 0 1 0 751267070 17002496 3459 4294967295 134512640 134714508 3221221776 3221220332 1073986656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4151 3459 1111 63 0 4088 0
vsize: 16604
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 682444 0 0 0 36033 1968 0 0 25 0 1 0 751267070 17350656 3543 4294967295 134512640 134714508 3221221776 3221220176 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4236 3543 1111 63 0 4173 0
vsize: 16944
[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 702359 0 0 0 36978 2023 0 0 25 0 1 0 751267070 17997824 3634 4294967295 134512640 134714508 3221221776 3221217940 1075964248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4394 3634 1111 63 0 4331 0
vsize: 17576
[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 722552 0 0 0 37921 2080 0 0 25 0 1 0 751267070 17936384 3691 4294967295 134512640 134714508 3221221776 3221219776 1074917381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4379 3691 1111 63 0 4316 0
vsize: 17516
[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 743468 0 0 0 38862 2140 0 0 25 0 1 0 751267070 18305024 3774 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4469 3774 1111 63 0 4406 0
vsize: 17876
[startup+420.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 764548 0 0 0 39804 2198 0 0 25 0 1 0 751267070 18591744 3847 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4539 3847 1111 63 0 4476 0
vsize: 18156
[startup+430.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 784748 0 0 0 40747 2256 0 0 25 0 1 0 751267070 18898944 3923 4294967295 134512640 134714508 3221221776 3221220176 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4614 3923 1111 63 0 4551 0
vsize: 18456
[startup+440.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 802516 0 0 0 41694 2308 0 0 25 0 1 0 751267070 19197952 3994 4294967295 134512640 134714508 3221221776 3221219776 1074913901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4687 3994 1111 63 0 4624 0
vsize: 18748
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 820435 0 0 0 42644 2358 0 0 25 0 1 0 751267070 19587072 4088 4294967295 134512640 134714508 3221221776 3221218880 1074139104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4782 4088 1111 63 0 4719 0
vsize: 19128
[startup+460.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 839101 0 0 0 43594 2408 0 0 25 0 1 0 751267070 19890176 4163 4294967295 134512640 134714508 3221221776 3221220512 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4856 4163 1111 63 0 4793 0
vsize: 19424
[startup+470.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 858479 0 0 0 44540 2463 0 0 25 0 1 0 751267070 20185088 4237 4294967295 134512640 134714508 3221221776 3221220192 1074117096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4928 4237 1111 63 0 4865 0
vsize: 19712
[startup+480.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 877453 0 0 0 45486 2516 0 0 25 0 1 0 751267070 20697088 4316 4294967295 134512640 134714508 3221221776 3221218620 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5053 4316 1111 63 0 4990 0
vsize: 20212
[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 895002 0 0 0 46438 2565 0 0 25 0 1 0 751267070 21168128 4409 4294967295 134512640 134714508 3221221776 3221217936 1074794582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5168 4409 1111 63 0 5105 0
vsize: 20672
[startup+500.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 912848 0 0 0 47388 2615 0 0 25 0 1 0 751267070 21241856 4456 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4456 1111 63 0 5123 0
vsize: 20744
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 931715 0 0 0 48339 2664 0 0 25 0 1 0 751267070 21368832 4528 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5217 4528 1111 63 0 5154 0
vsize: 20868
[startup+520.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 951919 0 0 0 49286 2718 0 0 25 0 1 0 751267070 21635072 4590 4294967295 134512640 134714508 3221221776 3221219820 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5282 4590 1111 63 0 5219 0
vsize: 21128
[startup+530.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 971446 0 0 0 50232 2772 0 0 25 0 1 0 751267070 22261760 4679 4294967295 134512640 134714508 3221221776 3221218224 1075132652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5435 4679 1111 63 0 5372 0
vsize: 21740
[startup+540.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 991312 0 0 0 51174 2830 0 0 25 0 1 0 751267070 22159360 4718 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4718 1111 63 0 5347 0
vsize: 21640
[startup+550.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1009630 0 0 0 52124 2880 0 0 25 0 1 0 751267070 22450176 4786 4294967295 134512640 134714508 3221221776 3221220176 1074153996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5481 4786 1111 63 0 5418 0
vsize: 21924
[startup+560.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1028972 0 0 0 53066 2938 0 0 25 0 1 0 751267070 22724608 4848 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5548 4848 1111 63 0 5485 0
vsize: 22192
[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1048647 0 0 0 54010 2994 0 0 25 0 1 0 751267070 23363584 4944 4294967295 134512640 134714508 3221221776 3221217996 1076111922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4944 1111 63 0 5641 0
vsize: 22816
[startup+580.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1067526 0 0 0 54957 3048 0 0 25 0 1 0 751267070 23187456 4965 4294967295 134512640 134714508 3221221776 3221220352 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5661 4965 1111 63 0 5598 0
vsize: 22644
[startup+590.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1087039 0 0 0 55901 3103 0 0 25 0 1 0 751267070 23457792 5039 4294967295 134512640 134714508 3221221776 3221219820 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5727 5039 1111 63 0 5664 0
vsize: 22908
[startup+600.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1105610 0 0 0 56844 3161 0 0 25 0 1 0 751267070 23752704 5107 4294967295 134512640 134714508 3221221776 3221219776 1074051901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5799 5107 1111 63 0 5736 0
vsize: 23196
[startup+610.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1124688 0 0 0 57793 3212 0 0 25 0 1 0 751267070 24403968 5183 4294967295 134512640 134714508 3221221776 3221219072 1076999584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5958 5183 1111 63 0 5895 0
vsize: 23832
[startup+620.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1144084 0 0 0 58740 3265 0 0 25 0 1 0 751267070 24317952 5250 4294967295 134512640 134714508 3221221776 3221220056 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5937 5250 1111 63 0 5874 0
vsize: 23748
[startup+630.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1163355 0 0 0 59687 3318 0 0 25 0 1 0 751267070 24559616 5306 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5996 5306 1111 63 0 5933 0
vsize: 23984
[startup+640.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1181318 0 0 0 60635 3370 0 0 25 0 1 0 751267070 24776704 5364 4294967295 134512640 134714508 3221221776 3221219800 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6049 5364 1111 63 0 5986 0
vsize: 24196
[startup+650.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1198894 0 0 0 61586 3420 0 0 25 0 1 0 751267070 25161728 5452 4294967295 134512640 134714508 3221221776 3221220128 1074142748 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6143 5452 1111 63 0 6080 0
vsize: 24572
[startup+660.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1211711 0 0 0 62550 3456 0 0 25 0 1 0 751267070 25354240 5507 4294967295 134512640 134714508 3221221776 3221220068 1074248336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6190 5507 1111 63 0 6127 0
vsize: 24760
[startup+670.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1224492 0 0 0 63510 3496 0 0 25 0 1 0 751267070 25673728 5584 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6268 5584 1111 63 0 6205 0
vsize: 25072
[startup+680.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1237079 0 0 0 64472 3533 0 0 25 0 1 0 751267070 25980928 5656 4294967295 134512640 134714508 3221221776 3221220160 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6343 5656 1111 63 0 6280 0
vsize: 25372
[startup+690.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1250131 0 0 0 65433 3573 0 0 25 0 1 0 751267070 26550272 5774 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6482 5774 1111 63 0 6419 0
vsize: 25928
[startup+700.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1263092 0 0 0 66398 3609 0 0 25 0 1 0 751267070 26677248 5827 4294967295 134512640 134714508 3221221776 3221220368 134650146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6513 5827 1111 63 0 6450 0
vsize: 26052
[startup+710.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1277828 0 0 0 67355 3651 0 0 25 0 1 0 751267070 27058176 5917 4294967295 134512640 134714508 3221221776 3221219960 1077377218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6606 5917 1111 63 0 6543 0
vsize: 26424
[startup+720.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1299632 0 0 0 68291 3715 0 0 25 0 1 0 751267070 27365376 5992 4294967295 134512640 134714508 3221221776 3221220004 1077378605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6681 5992 1111 63 0 6618 0
vsize: 26724
[startup+730.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1322505 0 0 0 69230 3777 0 0 25 0 1 0 751267070 27607040 6047 4294967295 134512640 134714508 3221221776 3221220240 1073990361 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6740 6047 1111 63 0 6677 0
vsize: 26960
[startup+740.038 s]
Raw data (loadavg): 0.99 0.98 0.99 3/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1344805 0 0 0 70166 3841 0 0 25 0 1 0 751267070 27873280 6106 4294967295 134512640 134714508 3221221776 3221220472 134591816 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6805 6106 1111 63 0 6742 0
vsize: 27220
[startup+750.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1366388 0 0 0 71110 3897 0 0 25 0 1 0 751267070 28131328 6180 4294967295 134512640 134714508 3221221776 3221220140 1074153516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6868 6180 1111 63 0 6805 0
vsize: 27472
[startup+760.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1379057 0 0 0 72077 3930 0 0 25 0 1 0 751267070 28667904 6229 4294967295 134512640 134714508 3221221776 3221217980 1075563081 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6999 6229 1111 63 0 6936 0
vsize: 27996
[startup+770.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1393133 0 0 0 73039 3969 0 0 25 0 1 0 751267070 28508160 6272 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6960 6272 1111 63 0 6897 0
vsize: 27840
[startup+780.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1409334 0 0 0 73992 4015 0 0 25 0 1 0 751267070 28717056 6325 4294967295 134512640 134714508 3221221776 3221219776 1074916528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7011 6325 1111 63 0 6948 0
vsize: 28044
[startup+790.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1423453 0 0 0 74956 4052 0 0 25 0 1 0 751267070 28884992 6366 4294967295 134512640 134714508 3221221776 3221220160 1074153673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7052 6366 1111 63 0 6989 0
vsize: 28208
[startup+800.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1437722 0 0 0 75918 4090 0 0 25 0 1 0 751267070 29192192 6422 4294967295 134512640 134714508 3221221776 3221220192 1074209027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7127 6422 1111 63 0 7064 0
vsize: 28508
[startup+810.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1452937 0 0 0 76873 4135 0 0 25 0 1 0 751267070 29396992 6489 4294967295 134512640 134714508 3221221776 3221220368 134535032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7177 6489 1111 63 0 7114 0
vsize: 28708
[startup+820.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1469376 0 0 0 77823 4186 0 0 25 0 1 0 751267070 29749248 6567 4294967295 134512640 134714508 3221221776 3221220176 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7263 6567 1111 63 0 7200 0
vsize: 29052
[startup+830.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1487115 0 0 0 78771 4238 0 0 25 0 1 0 751267070 30126080 6662 4294967295 134512640 134714508 3221221776 3221219720 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6662 1111 63 0 7292 0
vsize: 29420
[startup+840.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1507011 0 0 0 79708 4301 0 0 25 0 1 0 751267070 30294016 6694 4294967295 134512640 134714508 3221221776 3221220176 1074118790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7396 6694 1111 63 0 7333 0
vsize: 29584
[startup+850.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1525707 0 0 0 80656 4353 0 0 25 0 1 0 751267070 30474240 6749 4294967295 134512640 134714508 3221221776 3221220128 1074142975 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7440 6749 1111 63 0 7377 0
vsize: 29760
[startup+860.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1545721 0 0 0 81599 4410 0 0 25 0 1 0 751267070 30715904 6814 4294967295 134512640 134714508 3221221776 3221220128 1074115539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7499 6814 1111 63 0 7436 0
vsize: 29996
[startup+870.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1562117 0 0 0 82551 4459 0 0 25 0 1 0 751267070 30879744 6851 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7539 6851 1111 63 0 7476 0
vsize: 30156
[startup+880.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1577950 0 0 0 83508 4502 0 0 25 0 1 0 751267070 31444992 6994 4294967295 134512640 134714508 3221221776 3221219688 1074138327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7677 6994 1111 63 0 7614 0
vsize: 30708
[startup+890.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1591564 0 0 0 84470 4539 0 0 25 0 1 0 751267070 31506432 7005 4294967295 134512640 134714508 3221221776 3221219888 1074867349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7692 7005 1111 63 0 7629 0
vsize: 30768
[startup+900.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1609249 0 0 0 85419 4591 0 0 25 0 1 0 751267070 31666176 7047 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7731 7047 1111 63 0 7668 0
vsize: 30924
[startup+910.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1628950 0 0 0 86366 4644 0 0 25 0 1 0 751267070 31989760 7124 4294967295 134512640 134714508 3221221776 3221220412 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7810 7124 1111 63 0 7747 0
vsize: 31240
[startup+920.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1644562 0 0 0 87318 4692 0 0 25 0 1 0 751267070 32112640 7156 4294967295 134512640 134714508 3221221776 3221219888 1074867317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7840 7156 1111 63 0 7777 0
vsize: 31360
[startup+930.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1658243 0 0 0 88282 4728 0 0 25 0 1 0 751267070 32149504 7163 4294967295 134512640 134714508 3221221776 3221220128 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7849 7163 1111 63 0 7786 0
vsize: 31396
[startup+940.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1675370 0 0 0 89233 4777 0 0 25 0 1 0 751267070 32382976 7217 4294967295 134512640 134714508 3221221776 3221220176 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7906 7217 1111 63 0 7843 0
vsize: 31624
[startup+950.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1691658 0 0 0 90188 4823 0 0 25 0 1 0 751267070 32600064 7276 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7959 7276 1111 63 0 7896 0
vsize: 31836
[startup+960.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1709392 0 0 0 91136 4875 0 0 25 0 1 0 751267070 32866304 7341 4294967295 134512640 134714508 3221221776 3221219696 1075799526 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8024 7341 1111 63 0 7961 0
vsize: 32096
[startup+970.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1724624 0 0 0 92096 4915 0 0 25 0 1 0 751267070 33562624 7412 4294967295 134512640 134714508 3221221776 3221217920 1074971234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8194 7412 1111 63 0 8131 0
vsize: 32776
[startup+980.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1739538 0 0 0 93054 4957 0 0 25 0 1 0 751267070 33722368 7482 4294967295 134512640 134714508 3221221776 3221218848 1074867325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8233 7482 1111 63 0 8170 0
vsize: 32932
[startup+990.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1754317 0 0 0 94014 4997 0 0 25 0 1 0 751267070 33538048 7502 4294967295 134512640 134714508 3221221776 3221219888 1074867289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8188 7502 1111 63 0 8125 0
vsize: 32752
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1772065 0 0 0 94966 5046 0 0 25 0 1 0 751267070 33742848 7547 4294967295 134512640 134714508 3221221776 3221220192 1074116259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8238 7547 1111 63 0 8175 0
vsize: 32952
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1791838 0 0 0 95910 5102 0 0 25 0 1 0 751267070 34066432 7623 4294967295 134512640 134714508 3221221776 3221220224 1073990141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8317 7623 1111 63 0 8254 0
vsize: 33268
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1810645 0 0 0 96858 5154 0 0 25 0 1 0 751267070 34222080 7671 4294967295 134512640 134714508 3221221776 3221219776 1074918195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8355 7671 1111 63 0 8292 0
vsize: 33420
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1831525 0 0 0 97793 5219 0 0 25 0 1 0 751267070 34500608 7726 4294967295 134512640 134714508 3221221776 3221220192 1074117068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8423 7726 1111 63 0 8360 0
vsize: 33692
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1851944 0 0 0 98735 5277 0 0 25 0 1 0 751267070 34668544 7777 4294967295 134512640 134714508 3221221776 3221220288 134540495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8464 7777 1111 63 0 8401 0
vsize: 33856
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1867656 0 0 0 99693 5319 0 0 25 0 1 0 751267070 35758080 8025 4294967295 134512640 134714508 3221221776 3221220408 134543541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8730 8025 1111 63 0 8667 0
vsize: 34920
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1880745 0 0 0 100658 5355 0 0 25 0 1 0 751267070 36585472 8159 4294967295 134512640 134714508 3221221776 3221217920 1074970851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8932 8159 1111 63 0 8869 0
vsize: 35728
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1894591 0 0 0 101615 5398 0 0 25 0 1 0 751267070 36167680 8147 4294967295 134512640 134714508 3221221776 3221220080 1074153669 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8147 1111 63 0 8767 0
vsize: 35320
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1912997 0 0 0 102560 5452 0 0 25 0 1 0 751267070 36274176 8168 4294967295 134512640 134714508 3221221776 3221219696 1075802510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8856 8168 1111 63 0 8793 0
vsize: 35424
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1934096 0 0 0 103492 5521 0 0 25 0 1 0 751267070 36913152 8242 4294967295 134512640 134714508 3221221776 3221218264 1076116629 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9012 8242 1111 63 0 8949 0
vsize: 36048
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1954892 0 0 0 104433 5581 0 0 25 0 1 0 751267070 36728832 8282 4294967295 134512640 134714508 3221221776 3221219888 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8967 8282 1111 63 0 8904 0
vsize: 35868
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1976120 0 0 0 105371 5642 0 0 25 0 1 0 751267070 36909056 8323 4294967295 134512640 134714508 3221221776 3221219744 1075809065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9011 8323 1111 63 0 8948 0
vsize: 36044
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 1996618 0 0 0 106311 5703 0 0 25 0 1 0 751267070 37060608 8358 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9048 8358 1111 63 0 8985 0
vsize: 36192
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 2016841 0 0 0 107251 5762 0 0 25 0 1 0 751267070 37437440 8455 4294967295 134512640 134714508 3221221776 3221220504 134543256 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9140 8455 1111 63 0 9077 0
vsize: 36560
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 2035362 0 0 0 108196 5818 0 0 25 0 1 0 751267070 37683200 8511 4294967295 134512640 134714508 3221221776 3221220176 1074153673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9200 8511 1111 63 0 9137 0
vsize: 36800
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 2053462 0 0 0 109141 5873 0 0 25 0 1 0 751267070 38309888 8565 4294967295 134512640 134714508 3221221776 3221218800 1074810508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9353 8565 1111 63 0 9290 0
vsize: 37412
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 2068011 0 0 0 110100 5914 0 0 25 0 1 0 751267070 37920768 8573 4294967295 134512640 134714508 3221221776 3221220420 134534088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8573 1111 63 0 9195 0
vsize: 37032
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 2081183 0 0 0 111061 5953 0 0 25 0 1 0 751267070 37957632 8581 4294967295 134512640 134714508 3221221776 3221219736 1074138312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9267 8581 1111 63 0 9204 0
vsize: 37068
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 942
Raw data (stat): 942 (bsolo_lpr_cuts) R 941 7876 7672 0 -1 0 2081183 0 0 0 111061 5953 0 0 25 0 1 0 751267070 37957632 8581 4294967295 134512640 134714508 3221221776 3221219736 1074138312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9267 8581 1111 63 0 9204 0
vsize: 0

Child status: 10
Real time (s): 1174.99
CPU time (s): 1175.08
CPU user time (s): 1115.25
CPU system time (s): 59.8269
CPU usage (%): 100.008
Max. virtual memory (Kb): 37412
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	20
#### END VERIFIER DATA ####