PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/ttp/normalized-circ6_3.opb
MD5SUM	509cfdb6810b13d9963718243e9046cd
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	66
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	3
Number of bits for the biggest coefficient in the objective function	2
Sum of the numbers in the objective function	324
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	16
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	324
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.98
Number of variables	540
Total number of constraints	4476
Number of constraints which are clauses	2532
Number of constraints which are cardinality constraints (but not clauses)	264
Number of constraints which are nor clauses,nor cardinality constraints	1680
Minimum length of a constraint	2
Maximum length of a constraint	20
Trace number 24428

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 08:13:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2315 boxname=wulflinc31 idbench=258 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  509cfdb6810b13d9963718243e9046cd  /oldhome/oroussel/tmp/wulflinc31/normalized-circ6_3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-circ6_3.opb
IDLAUNCH: 2315
/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:        297516 kB
Buffers:         46276 kB
Cached:         657084 kB
SwapCached:        644 kB
Active:         307012 kB
Inactive:       398680 kB
HighTotal:      131008 kB
HighFree:        33460 kB
LowTotal:       903652 kB
LowFree:        264056 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25840 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 08:33:38 (client local time) WITH STATUS 10 IN 1189.85 SECONDS
stats: 2315 0 1189.85 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 540 variables and 4626 constraints.
c After prepocess the problem consists of 540 variables and 4384 constraints.
c preprocess terminated 6.643 s
c Initial Lower Bound: 48
c Lower Bound Elapsed time: 16.535
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 92 @ 37.405
c NEW SOLUTION FOUND: 90 @ 124.228
c NEW SOLUTION FOUND: 82 @ 158.188
s SATISFIABLE
v v361 v362 -v363 -v364 v365 v366 -v367 -v368 -v369 -v370 -v371 -v372 -v373 v374 -v375 v376 -v377 -v378 -v379 -v380 -v381 -v382 -v383 v384 -v385 v386 -v387 -v388 -v389 -v390 v391 -v392 -v393 -v394 -v395 v396 -v397 v398 -v399 v400 -v401 v402 -v403 -v404 -v405 -v406 -v407 v408 -v409 -v410 -v411 v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419 v420 -v421 -v422 -v423 v424 -v425 -v426 -v427 v428 -v429 -v430 v431 v432 -v433 -v434 v435 -v436 -v437 v438 -v439 -v440 -v441 -v442 v443 -v444 -v445 -v446 -v447 v448 -v449 -v450 -v451 v452 -v453 -v454 -v455 -v456 -v457 -v458 v459 -v460 -v461 -v462 v463 -v464 -v465 -v466 v467 -v468 -v469 v470 -v471 -v472 -v473 v474 -v475 v476 -v477 -v478 -v479 -v480 -v481 -v482 -v483 -v484 v485 -v486 -v487 -v488 v489 -v490 -v491 -v492 -v493 v494 -v495 -v496 v497 -v498 -v499 -v500 v501 -v502 -v503 v504 -v505 -v506 -v507 v508 -v509 -v510 v511 -v512 -v513 -v514 -v515 -v516 -v517 -v518 -v519 v520 -v521 -v522 -v523 -v524 v525 -v526 -v527 -v528 -v529 v530 -v531 -v532 -v533 -v534 v535 v536 -v537 v538 v539 v540 v2 -v38 -v74 -v110 -v146 -v182 -v218 -v254 -v290 -v326 -v3 -v39 -v75 -v111 -v147 -v183 -v219 v255 -v291 -v327 -v4 -v40 -v76 -v112 -v148 -v184 -v220 -v256 -v292 v328 -v5 -v41 -v77 -v113 -v149 -v185 -v221 -v257 v293 -v329 -v6 -v42 -v78 v114 -v150 -v186 -v222 -v258 -v294 -v330 -v7 -v43 -v79 -v115 -v151 v187 -v223 -v259 -v295 -v331 -v9 -v45 -v81 -v117 -v153 -v189 -v225 -v261 -v297 v333 -v10 -v46 -v82 -v118 -v154 -v190 -v226 -v262 v298 -v334 -v11 -v47 -v83 v119 -v155 -v191 -v227 -v263 -v299 -v335 -v12 -v48 v84 -v120 -v156 -v192 -v228 -v264 -v300 -v336 -v13 v49 -v85 -v121 -v157 -v193 -v229 -v265 -v301 -v337 -v14 -v50 -v86 -v122 v158 -v194 -v230 -v266 -v302 -v338 -v16 -v52 -v88 -v124 -v160 v196 -v232 -v268 -v304 -v340 -v17 -v53 v89 -v125 -v161 -v197 -v233 -v269 -v305 -v341 -v18 -v54 -v90 -v126 -v162 -v198 -v234 -v270 v306 -v342 -v19 -v55 v91 -v127 -v163 -v199 -v235 -v271 -v307 -v343 -v20 -v56 -v92 -v128 -v164 -v200 v236 -v272 -v308 -v344 -v21 -v57 -v93 v129 -v165 -v201 -v237 -v273 -v309 -v345 -v23 -v59 -v95 -v131 -v167 -v203 -v239 v275 -v311 -v347 -v24 v60 -v96 -v132 -v168 -v204 -v240 -v276 -v312 -v348 -v25 -v61 -v97 -v133 v169 -v205 -v241 -v277 -v313 -v349 -v26 v62 -v98 -v134 -v170 -v206 -v242 -v278 -v314 -v350 -v27 -v63 -v99 -v135 -v171 -v207 v243 -v279 -v315 -v351 v28 -v64 -v100 -v136 -v172 -v208 -v244 -v280 -v316 -v352 -v30 -v66 -v102 -v138 -v174 v210 -v246 -v282 -v318 -v354 -v31 -v67 -v103 -v139 -v175 -v211 v247 -v283 -v319 -v355 -v32 -v68 -v104 -v140 -v176 -v212 -v248 v284 -v320 -v356 v33 -v69 -v105 -v141 -v177 -v213 -v249 -v285 -v321 -v357 -v34 -v70 -v106 -v142 v178 -v214 -v250 -v286 -v322 -v358 -v35 -v71 -v107 -v143 -v179 -v215 -v251 -v287 -v323 v359 v8 v44 -v80 -v116 v152 -v188 v224 v260 -v296 -v332 v15 -v51 -v87 v123 -v159 -v195 v231 v267 -v303 v339 v22 -v58 -v94 -v130 v166 v202 -v238 -v274 v310 v346 -v29 -v65 v101 v137 -v173 -v209 -v245 v281 v317 v353 -v36 v72 v108 v144 -v180 v216 -v252 -v288 v324 -v360 -v1 v37 v73 -v109 v145 v181 v217 -v253 -v289 -v325 
c Exit Code: 10
c Total time: 1189.82 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.95 0.91 2/54 8959
Raw data (stat): 8959 (runsolver) R 8958 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 707717967 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 3102 0 0 0 986 9 0 0 25 0 1 0 707717967 15212544 2613 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3714 2613 1111 63 0 3651 0
vsize: 14856
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 3492 0 0 0 1984 11 0 0 25 0 1 0 707717967 15278080 2857 4294967295 134512640 134714508 3221221776 3221217872 1074882604 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2857 1111 63 0 3667 0
vsize: 14920
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 4398 0 0 0 2982 13 0 0 25 0 1 0 707717967 13045760 2446 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2446 1111 63 0 3122 0
vsize: 12740
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 5333 0 0 0 3979 16 0 0 25 0 1 0 707717967 13242368 2549 4294967295 134512640 134714508 3221221776 3221219008 1074139990 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3233 2549 1111 63 0 3170 0
vsize: 12932
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 8229 0 0 0 4972 23 0 0 25 0 1 0 707717967 15032320 2763 4294967295 134512640 134714508 3221221776 3221218672 1074620053 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2763 1111 63 0 3607 0
vsize: 14680
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 10283 0 0 0 5968 27 0 0 25 0 1 0 707717967 15925248 2884 4294967295 134512640 134714508 3221221776 3221217788 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3888 2884 1111 63 0 3825 0
vsize: 15552
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 12821 0 0 0 6961 35 0 0 25 0 1 0 707717967 13807616 2669 4294967295 134512640 134714508 3221221776 3221220076 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3371 2669 1111 63 0 3308 0
vsize: 13484
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 14846 0 0 0 7955 41 0 0 25 0 1 0 707717967 15286272 2922 4294967295 134512640 134714508 3221221776 3221217820 1075663518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3732 2922 1111 63 0 3669 0
vsize: 14928
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 16502 0 0 0 8951 45 0 0 25 0 1 0 707717967 15781888 2861 4294967295 134512640 134714508 3221221776 3221218048 1074961304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3853 2861 1111 63 0 3790 0
vsize: 15412
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 17907 0 0 0 9946 50 0 0 25 0 1 0 707717967 16924672 2822 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4132 2822 1111 63 0 4069 0
vsize: 16528
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 19562 0 0 0 10942 54 0 0 25 0 1 0 707717967 13594624 2649 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3319 2649 1111 63 0 3256 0
vsize: 13276
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 21899 0 0 0 11936 60 0 0 25 0 1 0 707717967 16568320 3058 4294967295 134512640 134714508 3221221776 3221217820 1074873351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 3058 1111 63 0 3982 0
vsize: 16180
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 23766 0 0 0 12931 65 0 0 25 0 1 0 707717967 15736832 2836 4294967295 134512640 134714508 3221221776 3221218048 1074961157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3842 2836 1111 63 0 3779 0
vsize: 15368
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 25771 0 0 0 13925 71 0 0 25 0 1 0 707717967 13619200 2655 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3325 2655 1111 63 0 3262 0
vsize: 13300
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 28011 0 0 0 14918 78 0 0 25 0 1 0 707717967 13619200 2655 4294967295 134512640 134714508 3221221776 3221219960 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3325 2655 1111 63 0 3262 0
vsize: 13300
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 29932 0 0 0 15914 83 0 0 25 0 1 0 707717967 15769600 2858 4294967295 134512640 134714508 3221221776 3221217876 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3850 2858 1111 63 0 3787 0
vsize: 15400
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 31655 0 0 0 16909 88 0 0 25 0 1 0 707717967 16764928 3075 4294967295 134512640 134714508 3221221776 3221217920 1074969449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4093 3075 1111 63 0 4030 0
vsize: 16372
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 34299 0 0 0 17902 95 0 0 25 0 1 0 707717967 15859712 2865 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3872 2865 1111 63 0 3809 0
vsize: 15488
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 36792 0 0 0 18896 101 0 0 25 0 1 0 707717967 14749696 2785 4294967295 134512640 134714508 3221221776 3221218848 1074834317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3601 2785 1111 63 0 3538 0
vsize: 14404
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 38773 0 0 0 19891 106 0 0 25 0 1 0 707717967 17010688 2839 4294967295 134512640 134714508 3221221776 3221218048 1074961138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4153 2839 1111 63 0 4090 0
vsize: 16612
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 41931 0 0 0 20883 115 0 0 25 0 1 0 707717967 17154048 2837 4294967295 134512640 134714508 3221221776 3221217904 1075112091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4188 2837 1111 63 0 4125 0
vsize: 16752
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 44129 0 0 0 21877 120 0 0 25 0 1 0 707717967 15958016 2884 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3896 2884 1111 63 0 3833 0
vsize: 15584
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 46332 0 0 0 22871 127 0 0 25 0 1 0 707717967 16191488 2951 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2951 1111 63 0 3890 0
vsize: 15812
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 47768 0 0 0 23867 131 0 0 25 0 1 0 707717967 17162240 2895 4294967295 134512640 134714508 3221221776 3221217984 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4190 2895 1111 63 0 4127 0
vsize: 16760
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 49751 0 0 0 24862 136 0 0 25 0 1 0 707717967 17272832 2869 4294967295 134512640 134714508 3221221776 3221218004 1075114937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4217 2869 1111 63 0 4154 0
vsize: 16868
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 51292 0 0 0 25857 141 0 0 25 0 1 0 707717967 16338944 3021 4294967295 134512640 134714508 3221221776 3221217920 1074969449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3989 3021 1111 63 0 3926 0
vsize: 15956
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 53195 0 0 0 26853 146 0 0 25 0 1 0 707717967 13758464 2689 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3359 2689 1111 63 0 3296 0
vsize: 13436
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 54826 0 0 0 27848 150 0 0 25 0 1 0 707717967 14200832 2765 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3467 2765 1111 63 0 3404 0
vsize: 13868
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 56679 0 0 0 28843 155 0 0 25 0 1 0 707717967 15290368 2944 4294967295 134512640 134714508 3221221776 3221217612 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3733 2944 1111 63 0 3670 0
vsize: 14932
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 58549 0 0 0 29839 160 0 0 25 0 1 0 707717967 13955072 2725 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3407 2725 1111 63 0 3344 0
vsize: 13628
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 61205 0 0 0 30832 167 0 0 25 0 1 0 707717967 15310848 2932 4294967295 134512640 134714508 3221221776 3221217956 1075115051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3738 2932 1111 63 0 3675 0
vsize: 14952
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 63728 0 0 0 31825 174 0 0 25 0 1 0 707717967 14077952 2767 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2767 1111 63 0 3374 0
vsize: 13748
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 65533 0 0 0 32820 179 0 0 25 0 1 0 707717967 16527360 3054 4294967295 134512640 134714508 3221221776 3221218048 1074961380 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4035 3054 1111 63 0 3972 0
vsize: 16140
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 67688 0 0 0 33814 185 0 0 25 0 1 0 707717967 16338944 3000 4294967295 134512640 134714508 3221221776 3221217876 1075964252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3989 3000 1111 63 0 3926 0
vsize: 15956
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 70253 0 0 0 34808 192 0 0 25 0 1 0 707717967 17395712 2937 4294967295 134512640 134714508 3221221776 3221218048 1074961238 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4247 2937 1111 63 0 4184 0
vsize: 16988
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 72397 0 0 0 35802 198 0 0 25 0 1 0 707717967 13885440 2720 4294967295 134512640 134714508 3221221776 3221220160 1074153742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3390 2720 1111 63 0 3327 0
vsize: 13560
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 74576 0 0 0 36796 203 0 0 25 0 1 0 707717967 16277504 3000 4294967295 134512640 134714508 3221221776 3221218048 1074961301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 3000 1111 63 0 3911 0
vsize: 15896
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 76393 0 0 0 37792 208 0 0 25 0 1 0 707717967 14348288 2818 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3503 2818 1111 63 0 3440 0
vsize: 14012
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 78585 0 0 0 38785 215 0 0 25 0 1 0 707717967 17485824 2915 4294967295 134512640 134714508 3221221776 3221217752 1074788565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4269 2915 1111 63 0 4206 0
vsize: 17076
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 80749 0 0 0 39779 221 0 0 25 0 1 0 707717967 16412672 3023 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4007 3023 1111 63 0 3944 0
vsize: 16028
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 82764 0 0 0 40775 226 0 0 25 0 1 0 707717967 16478208 3031 4294967295 134512640 134714508 3221221776 3221217984 1074815488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4023 3031 1111 63 0 3960 0
vsize: 16092
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 85519 0 0 0 41767 234 0 0 25 0 1 0 707717967 15740928 3027 4294967295 134512640 134714508 3221221776 3221218000 1074960789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3843 3027 1111 63 0 3780 0
vsize: 15372
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 87397 0 0 0 42763 238 0 0 25 0 1 0 707717967 16781312 3088 4294967295 134512640 134714508 3221221776 3221217848 1075964730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4097 3088 1111 63 0 4034 0
vsize: 16388
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 89644 0 0 0 43757 244 0 0 25 0 1 0 707717967 16445440 3018 4294967295 134512640 134714508 3221221776 3221217708 1074788168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4015 3018 1111 63 0 3952 0
vsize: 16060
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 92362 0 0 0 44751 250 0 0 25 0 1 0 707717967 16351232 2994 4294967295 134512640 134714508 3221221776 3221217984 1074815309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3992 2994 1111 63 0 3929 0
vsize: 15968
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 95318 0 0 0 45742 260 0 0 25 0 1 0 707717967 14602240 2852 4294967295 134512640 134714508 3221221776 3221219772 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3565 2852 1111 63 0 3502 0
vsize: 14260
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 97597 0 0 0 46735 266 0 0 25 0 1 0 707717967 16633856 3069 4294967295 134512640 134714508 3221221776 3221218144 1075894558 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4061 3069 1111 63 0 3998 0
vsize: 16244
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 100004 0 0 0 47729 272 0 0 25 0 1 0 707717967 16760832 3080 4294967295 134512640 134714508 3221221776 3221218312 1075118209 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4092 3080 1111 63 0 4029 0
vsize: 16368
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 104197 0 0 0 48718 284 0 0 25 0 1 0 707717967 16048128 3089 4294967295 134512640 134714508 3221221776 3221218272 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3918 3089 1111 63 0 3855 0
vsize: 15672
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 106193 0 0 0 49713 289 0 0 25 0 1 0 707717967 16834560 3138 4294967295 134512640 134714508 3221221776 3221217936 1075093371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4110 3138 1111 63 0 4047 0
vsize: 16440
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 108163 0 0 0 50708 294 0 0 25 0 1 0 707717967 16916480 3125 4294967295 134512640 134714508 3221221776 3221217788 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4130 3125 1111 63 0 4067 0
vsize: 16520
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 112722 0 0 0 51696 307 0 0 25 0 1 0 707717967 14721024 2924 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2924 1111 63 0 3531 0
vsize: 14376
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 114680 0 0 0 52691 312 0 0 25 0 1 0 707717967 14843904 2942 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3624 2942 1111 63 0 3561 0
vsize: 14496
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 116822 0 0 0 53686 317 0 0 25 0 1 0 707717967 14917632 2925 4294967295 134512640 134714508 3221221776 3221219680 1075961129 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3642 2925 1111 63 0 3579 0
vsize: 14568
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 119721 0 0 0 54679 324 0 0 25 0 1 0 707717967 18259968 3460 4294967295 134512640 134714508 3221221776 3221218048 1074961396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3460 1111 63 0 4395 0
vsize: 17832
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 121787 0 0 0 55675 328 0 0 25 0 1 0 707717967 14528512 2877 4294967295 134512640 134714508 3221221776 3221220088 1077402446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2877 1111 63 0 3484 0
vsize: 14188
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 124550 0 0 0 56667 336 0 0 25 0 1 0 707717967 14528512 2877 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2877 1111 63 0 3484 0
vsize: 14188
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 128912 0 0 0 57655 349 0 0 25 0 1 0 707717967 16416768 3171 4294967295 134512640 134714508 3221221776 3221217740 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4008 3172 1111 63 0 3945 0
vsize: 16032
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 133478 0 0 0 58643 361 0 0 25 0 1 0 707717967 17002496 3149 4294967295 134512640 134714508 3221221776 3221218048 1074961295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3149 1111 63 0 4088 0
vsize: 16604
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 137630 0 0 0 59632 372 0 0 25 0 1 0 707717967 18305024 3137 4294967295 134512640 134714508 3221221776 3221218048 1074961138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4469 3137 1111 63 0 4406 0
vsize: 17876
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 141706 0 0 0 60622 382 0 0 25 0 1 0 707717967 17408000 3261 4294967295 134512640 134714508 3221221776 3221217888 1075895659 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4250 3261 1111 63 0 4187 0
vsize: 17000
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 144986 0 0 0 61615 389 0 0 25 0 1 0 707717967 17559552 3297 4294967295 134512640 134714508 3221221776 3221218048 1074961278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4287 3297 1111 63 0 4224 0
vsize: 17148
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 147478 0 0 0 62608 396 0 0 25 0 1 0 707717967 17580032 3287 4294967295 134512640 134714508 3221221776 3221218320 1075088560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3287 1111 63 0 4229 0
vsize: 17168
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 150582 0 0 0 63600 404 0 0 25 0 1 0 707717967 17629184 3298 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4304 3298 1111 63 0 4241 0
vsize: 17216
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 153472 0 0 0 64593 412 0 0 25 0 1 0 707717967 15269888 3058 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3728 3058 1111 63 0 3665 0
vsize: 14912
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 156218 0 0 0 65586 419 0 0 25 0 1 0 707717967 15413248 3086 4294967295 134512640 134714508 3221221776 3221219776 1074916974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3763 3086 1111 63 0 3700 0
vsize: 15052
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 159314 0 0 0 66578 427 0 0 25 0 1 0 707717967 17559552 3294 4294967295 134512640 134714508 3221221776 3221217888 1075091857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4287 3294 1111 63 0 4224 0
vsize: 17148
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 162313 0 0 0 67570 435 0 0 25 0 1 0 707717967 15523840 3120 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3790 3120 1111 63 0 3727 0
vsize: 15160
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 164900 0 0 0 68563 442 0 0 25 0 1 0 707717967 17494016 3259 4294967295 134512640 134714508 3221221776 3221218016 1075115768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4271 3259 1111 63 0 4208 0
vsize: 17084
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 167698 0 0 0 69556 450 0 0 25 0 1 0 707717967 17739776 3344 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4331 3344 1111 63 0 4268 0
vsize: 17324
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 170161 0 0 0 70549 456 0 0 25 0 1 0 707717967 15405056 3091 4294967295 134512640 134714508 3221221776 3221220072 1074138259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3761 3091 1111 63 0 3698 0
vsize: 15044
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 172924 0 0 0 71542 464 0 0 25 0 1 0 707717967 15335424 3074 4294967295 134512640 134714508 3221221776 3221219992 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3744 3074 1111 63 0 3681 0
vsize: 14976
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 176014 0 0 0 72534 472 0 0 25 0 1 0 707717967 17715200 3331 4294967295 134512640 134714508 3221221776 3221217660 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4325 3331 1111 63 0 4262 0
vsize: 17300
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 179954 0 0 0 73524 483 0 0 25 0 1 0 707717967 17625088 3325 4294967295 134512640 134714508 3221221776 3221217876 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4303 3325 1111 63 0 4240 0
vsize: 17212
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 182181 0 0 0 74518 488 0 0 25 0 1 0 707717967 15650816 3151 4294967295 134512640 134714508 3221221776 3221219120 1074839017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3821 3151 1111 63 0 3758 0
vsize: 15284
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 185636 0 0 0 75510 497 0 0 25 0 1 0 707717967 18006016 3414 4294967295 134512640 134714508 3221221776 3221217936 1074794562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4396 3414 1111 63 0 4333 0
vsize: 17584
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 188273 0 0 0 76503 504 0 0 25 0 1 0 707717967 15585280 3135 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3805 3135 1111 63 0 3742 0
vsize: 15220
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 191186 0 0 0 77495 512 0 0 25 0 1 0 707717967 16920576 3304 4294967295 134512640 134714508 3221221776 3221217968 1075115758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4131 3304 1111 63 0 4068 0
vsize: 16524
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 194161 0 0 0 78487 520 0 0 25 0 1 0 707717967 17108992 3374 4294967295 134512640 134714508 3221221776 3221217956 1075115057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4177 3374 1111 63 0 4114 0
vsize: 16708
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 197539 0 0 0 79478 529 0 0 25 0 1 0 707717967 15695872 3152 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3832 3152 1111 63 0 3769 0
vsize: 15328
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 200717 0 0 0 80470 538 0 0 25 0 1 0 707717967 18939904 3303 4294967295 134512640 134714508 3221221776 3221217984 1074815284 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4624 3303 1111 63 0 4561 0
vsize: 18496
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 204593 0 0 0 81459 549 0 0 25 0 1 0 707717967 15790080 3176 4294967295 134512640 134714508 3221221776 3221220160 1074153466 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3855 3176 1111 63 0 3792 0
vsize: 15420
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 208880 0 0 0 82447 561 0 0 25 0 1 0 707717967 15544320 3125 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3795 3125 1111 63 0 3732 0
vsize: 15180
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 212909 0 0 0 83437 571 0 0 25 0 1 0 707717967 17920000 3378 4294967295 134512640 134714508 3221221776 3221217956 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4375 3378 1111 63 0 4312 0
vsize: 17500
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 216588 0 0 0 84425 582 0 0 25 0 1 0 707717967 18022400 3401 4294967295 134512640 134714508 3221221776 3221217936 1075093350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4400 3401 1111 63 0 4337 0
vsize: 17600
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 220510 0 0 0 85415 593 0 0 25 0 1 0 707717967 18202624 3435 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4444 3435 1111 63 0 4381 0
vsize: 17776
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 223094 0 0 0 86408 600 0 0 25 0 1 0 707717967 18305024 3477 4294967295 134512640 134714508 3221221776 3221218144 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4469 3477 1111 63 0 4406 0
vsize: 17876
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 226683 0 0 0 87399 610 0 0 25 0 1 0 707717967 15859712 3202 4294967295 134512640 134714508 3221221776 3221220024 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3872 3202 1111 63 0 3809 0
vsize: 15488
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 229511 0 0 0 88389 619 0 0 25 0 1 0 707717967 18522112 3514 4294967295 134512640 134714508 3221221776 3221217904 1075112097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4522 3514 1111 63 0 4459 0
vsize: 18088
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 232200 0 0 0 89383 625 0 0 25 0 1 0 707717967 19247104 3708 4294967295 134512640 134714508 3221221776 3221217788 1074788939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4699 3708 1111 63 0 4636 0
vsize: 18796
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 235131 0 0 0 90375 633 0 0 25 0 1 0 707717967 19345408 3367 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4723 3367 1111 63 0 4660 0
vsize: 18892
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 238151 0 0 0 91367 641 0 0 25 0 1 0 707717967 17547264 3457 4294967295 134512640 134714508 3221221776 3221217612 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4284 3457 1111 63 0 4221 0
vsize: 17136
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 241120 0 0 0 92360 649 0 0 25 0 1 0 707717967 17764352 3504 4294967295 134512640 134714508 3221221776 3221218168 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4337 3504 1111 63 0 4274 0
vsize: 17348
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 244572 0 0 0 93350 658 0 0 25 0 1 0 707717967 16035840 3245 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3915 3245 1111 63 0 3852 0
vsize: 15660
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 247419 0 0 0 94343 666 0 0 25 0 1 0 707717967 19644416 3455 4294967295 134512640 134714508 3221221776 3221217656 1074788458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4796 3455 1111 63 0 4733 0
vsize: 19184
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 249935 0 0 0 95338 672 0 0 25 0 1 0 707717967 18780160 3581 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4585 3581 1111 63 0 4522 0
vsize: 18340
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 252941 0 0 0 96328 681 0 0 25 0 1 0 707717967 18120704 3581 4294967295 134512640 134714508 3221221776 3221217968 1075115730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4424 3581 1111 63 0 4361 0
vsize: 17696
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 255614 0 0 0 97322 687 0 0 25 0 1 0 707717967 16187392 3282 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3952 3282 1111 63 0 3889 0
vsize: 15808
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 258517 0 0 0 98315 695 0 0 25 0 1 0 707717967 18333696 3481 4294967295 134512640 134714508 3221221776 3221217744 1074872793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4476 3481 1111 63 0 4413 0
vsize: 17904
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 261305 0 0 0 99308 702 0 0 25 0 1 0 707717967 19779584 3460 4294967295 134512640 134714508 3221221776 3221217920 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4829 3461 1111 63 0 4766 0
vsize: 19316
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 264648 0 0 0 100299 711 0 0 25 0 1 0 707717967 19935232 3850 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4867 3850 1111 63 0 4804 0
vsize: 19468
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 267683 0 0 0 101290 720 0 0 25 0 1 0 707717967 18345984 3472 4294967295 134512640 134714508 3221221776 3221217888 1075091577 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4479 3472 1111 63 0 4416 0
vsize: 17916
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 270055 0 0 0 102285 726 0 0 25 0 1 0 707717967 19931136 3547 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4866 3547 1111 63 0 4803 0
vsize: 19464
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 273126 0 0 0 103276 734 0 0 25 0 1 0 707717967 18890752 3614 4294967295 134512640 134714508 3221221776 3221218016 1075115724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3614 1111 63 0 4549 0
vsize: 18448
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 276374 0 0 0 104269 742 0 0 25 0 1 0 707717967 16191488 3283 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3953 3283 1111 63 0 3890 0
vsize: 15812
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 279994 0 0 0 105260 751 0 0 25 0 1 0 707717967 18788352 3452 4294967295 134512640 134714508 3221221776 3221219736 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4587 3458 1111 63 0 4524 0
vsize: 18348
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 283634 0 0 0 106250 761 0 0 25 0 1 0 707717967 17883136 3558 4294967295 134512640 134714508 3221221776 3221217828 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4366 3558 1111 63 0 4303 0
vsize: 17464
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 287401 0 0 0 107239 772 0 0 25 0 1 0 707717967 18915328 3626 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4618 3626 1111 63 0 4555 0
vsize: 18472
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 290181 0 0 0 108234 778 0 0 25 0 1 0 707717967 18034688 3595 4294967295 134512640 134714508 3221221776 3221218672 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4403 3595 1111 63 0 4340 0
vsize: 17612
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 292321 0 0 0 109229 783 0 0 25 0 1 0 707717967 19742720 3836 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4820 3836 1111 63 0 4757 0
vsize: 19280
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 294502 0 0 0 110223 789 0 0 25 0 1 0 707717967 19664896 3813 4294967295 134512640 134714508 3221221776 3221217992 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4801 3813 1111 63 0 4738 0
vsize: 19204
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 296488 0 0 0 111218 794 0 0 25 0 1 0 707717967 19976192 3889 4294967295 134512640 134714508 3221221776 3221218048 1074961199 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4877 3889 1111 63 0 4814 0
vsize: 19508
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 298025 0 0 0 112215 798 0 0 25 0 1 0 707717967 17567744 3598 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4289 3598 1111 63 0 4226 0
vsize: 17156
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 300196 0 0 0 113209 803 0 0 25 0 1 0 707717967 20824064 4083 4294967295 134512640 134714508 3221221776 3221217936 1074883509 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5084 4083 1111 63 0 5021 0
vsize: 20336
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 301860 0 0 0 114206 807 0 0 25 0 1 0 707717967 19886080 3862 4294967295 134512640 134714508 3221221776 3221217736 1075964740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4855 3862 1111 63 0 4792 0
vsize: 19420
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 303235 0 0 0 115201 811 0 0 25 0 1 0 707717967 18595840 3726 4294967295 134512640 134714508 3221221776 3221218000 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3726 1111 63 0 4477 0
vsize: 18160
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 305394 0 0 0 116196 817 0 0 25 0 1 0 707717967 19648512 3837 4294967295 134512640 134714508 3221221776 3221218720 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4797 3837 1111 63 0 4734 0
vsize: 19188
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 307653 0 0 0 117190 823 0 0 25 0 1 0 707717967 19808256 3850 4294967295 134512640 134714508 3221221776 3221217660 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4836 3850 1111 63 0 4773 0
vsize: 19344
[startup+1189.74 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 8959
Raw data (stat): 8959 (bsolo_lpr_cuts) R 8958 7876 7672 0 -1 0 307653 0 0 0 117190 823 0 0 25 0 1 0 707717967 19808256 3850 4294967295 134512640 134714508 3221221776 3221217660 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4836 3850 1111 63 0 4773 0
vsize: 0

Child status: 10
Real time (s): 1189.74
CPU time (s): 1189.85
CPU user time (s): 1181.53
CPU system time (s): 8.31774
CPU usage (%): 100.01
Max. virtual memory (Kb): 20336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	82
#### END VERIFIER DATA ####