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-data6_3.opb
MD5SUM	3ce91e964f348d481da3f7741c5768eb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	25102
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	116904
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	116904
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
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 24448

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 13:23:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2351 boxname=wulflinc31 idbench=262 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  3ce91e964f348d481da3f7741c5768eb  /oldhome/oroussel/tmp/wulflinc31/normalized-data6_3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-data6_3.opb
IDLAUNCH: 2351
/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:        291892 kB
Buffers:         46760 kB
Cached:         662176 kB
SwapCached:        644 kB
Active:         311632 kB
Inactive:       399648 kB
HighTotal:      131008 kB
HighFree:        28308 kB
LowTotal:       903652 kB
LowFree:        263584 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25836 kB
Committed_AS:    63688 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 13:42:53 (client local time) WITH STATUS 10 IN 1183.57 SECONDS
stats: 2351 0 1183.57 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.629 s
c Initial Lower Bound: 17422
c Lower Bound Elapsed time: 20.792
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 33342 @ 637.429
c NEW SOLUTION FOUND: 32825 @ 766.785
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: 1183.53 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.93 2/54 10866
Raw data (stat): 10866 (runsolver) R 10865 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 709574317 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.96 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 3019 0 0 0 985 11 0 0 25 0 1 0 709574317 15212544 2530 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3714 2530 1111 63 0 3651 0
vsize: 14856
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 3465 0 0 0 1982 13 0 0 25 0 1 0 709574317 15192064 2831 4294967295 134512640 134714508 3221221776 3221218240 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3709 2831 1111 63 0 3646 0
vsize: 14836
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 4376 0 0 0 2980 16 0 0 25 0 1 0 709574317 13045760 2444 4294967295 134512640 134714508 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2444 1111 63 0 3122 0
vsize: 12740
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 4472 0 0 0 3979 17 0 0 25 0 1 0 709574317 13312000 2540 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3250 2540 1111 63 0 3187 0
vsize: 13000
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 4661 0 0 0 4978 18 0 0 25 0 1 0 709574317 14123008 2729 4294967295 134512640 134714508 3221221776 3221220464 134542839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3448 2729 1111 63 0 3385 0
vsize: 13792
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 4820 0 0 0 5977 20 0 0 25 0 1 0 709574317 14659584 2888 4294967295 134512640 134714508 3221221776 3221220328 134539340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3579 2888 1111 63 0 3516 0
vsize: 14316
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 4974 0 0 0 6976 21 0 0 25 0 1 0 709574317 15331328 3042 4294967295 134512640 134714508 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3743 3042 1111 63 0 3680 0
vsize: 14972
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 5158 0 0 0 7975 22 0 0 25 0 1 0 709574317 16142336 3226 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3941 3226 1111 63 0 3878 0
vsize: 15764
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 5291 0 0 0 8974 23 0 0 25 0 1 0 709574317 16683008 3359 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4073 3359 1111 63 0 4010 0
vsize: 16292
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 5423 0 0 0 9973 24 0 0 25 0 1 0 709574317 17223680 3491 4294967295 134512640 134714508 3221221776 3221220416 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4205 3491 1111 63 0 4142 0
vsize: 16820
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 5568 0 0 0 10972 26 0 0 25 0 1 0 709574317 17764352 3636 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4337 3636 1111 63 0 4274 0
vsize: 17348
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 5704 0 0 0 11971 27 0 0 25 0 1 0 709574317 18305024 3772 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4469 3772 1111 63 0 4406 0
vsize: 17876
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 5837 0 0 0 12970 28 0 0 25 0 1 0 709574317 18841600 3905 4294967295 134512640 134714508 3221221776 3221220464 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4600 3905 1111 63 0 4537 0
vsize: 18400
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 5966 0 0 0 13969 29 0 0 25 0 1 0 709574317 19378176 4034 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4731 4034 1111 63 0 4668 0
vsize: 18924
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 6087 0 0 0 14969 29 0 0 25 0 1 0 709574317 19918848 4155 4294967295 134512640 134714508 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4863 4155 1111 63 0 4800 0
vsize: 19452
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 6187 0 0 0 15968 30 0 0 25 0 1 0 709574317 20324352 4255 4294967295 134512640 134714508 3221221776 3221220408 134539395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4962 4255 1111 63 0 4899 0
vsize: 19848
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 6352 0 0 0 16966 32 0 0 25 0 1 0 709574317 21000192 4420 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5127 4420 1111 63 0 5064 0
vsize: 20508
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 6558 0 0 0 17965 34 0 0 25 0 1 0 709574317 21811200 4626 4294967295 134512640 134714508 3221221776 3221220312 134543020 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5325 4626 1111 63 0 5262 0
vsize: 21300
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 6712 0 0 0 18964 35 0 0 25 0 1 0 709574317 22487040 4780 4294967295 134512640 134714508 3221221776 3221220404 134696245 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5490 4780 1111 63 0 5427 0
vsize: 21960
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 6849 0 0 0 19964 36 0 0 25 0 1 0 709574317 23027712 4917 4294967295 134512640 134714508 3221221776 3221220260 134697183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5622 4917 1111 63 0 5559 0
vsize: 22488
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 6991 0 0 0 20963 36 0 0 25 0 1 0 709574317 23568384 5059 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5754 5059 1111 63 0 5691 0
vsize: 23016
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 7119 0 0 0 21962 37 0 0 25 0 1 0 709574317 24104960 5187 4294967295 134512640 134714508 3221221776 3221220316 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5885 5187 1111 63 0 5822 0
vsize: 23540
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 7231 0 0 0 22962 38 0 0 25 0 1 0 709574317 24645632 5299 4294967295 134512640 134714508 3221221776 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6017 5299 1111 63 0 5954 0
vsize: 24068
[startup+240.012 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 7317 0 0 0 23962 38 0 0 25 0 1 0 709574317 24920064 5385 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6084 5385 1111 63 0 6021 0
vsize: 24336
[startup+250.012 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 7435 0 0 0 24962 39 0 0 25 0 1 0 709574317 25456640 5503 4294967295 134512640 134714508 3221221776 3221220416 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6215 5503 1111 63 0 6152 0
vsize: 24860
[startup+260.012 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 7533 0 0 0 25961 39 0 0 25 0 1 0 709574317 25866240 5601 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6315 5601 1111 63 0 6252 0
vsize: 25260
[startup+270.013 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 7610 0 0 0 26961 40 0 0 25 0 1 0 709574317 26132480 5678 4294967295 134512640 134714508 3221221776 3221220428 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6380 5678 1111 63 0 6317 0
vsize: 25520
[startup+280.013 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 7723 0 0 0 27960 41 0 0 25 0 1 0 709574317 26673152 5791 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6512 5791 1111 63 0 6449 0
vsize: 26048
[startup+290.012 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 7814 0 0 0 28959 42 0 0 25 0 1 0 709574317 26943488 5882 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6578 5882 1111 63 0 6515 0
vsize: 26312
[startup+300.012 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 7946 0 0 0 29958 43 0 0 25 0 1 0 709574317 27484160 6014 4294967295 134512640 134714508 3221221776 3221220336 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6710 6014 1111 63 0 6647 0
vsize: 26840
[startup+310.012 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 8105 0 0 0 30957 44 0 0 25 0 1 0 709574317 28155904 6173 4294967295 134512640 134714508 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6874 6173 1111 63 0 6811 0
vsize: 27496
[startup+320.013 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 8204 0 0 0 31957 44 0 0 25 0 1 0 709574317 28561408 6272 4294967295 134512640 134714508 3221221776 3221220504 134558807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6973 6272 1111 63 0 6910 0
vsize: 27892
[startup+330.014 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 8303 0 0 0 32956 46 0 0 25 0 1 0 709574317 28962816 6371 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7071 6371 1111 63 0 7008 0
vsize: 28284
[startup+340.014 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 8386 0 0 0 33956 46 0 0 25 0 1 0 709574317 29368320 6454 4294967295 134512640 134714508 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7170 6454 1111 63 0 7107 0
vsize: 28680
[startup+350.014 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 8483 0 0 0 34955 47 0 0 25 0 1 0 709574317 29769728 6551 4294967295 134512640 134714508 3221221776 3221220332 134535978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7268 6551 1111 63 0 7205 0
vsize: 29072
[startup+360.014 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 8637 0 0 0 35955 47 0 0 25 0 1 0 709574317 30302208 6705 4294967295 134512640 134714508 3221221776 3221220380 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7398 6705 1111 63 0 7335 0
vsize: 29592
[startup+370.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 8790 0 0 0 36954 48 0 0 25 0 1 0 709574317 30965760 6858 4294967295 134512640 134714508 3221221776 3221220416 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7560 6858 1111 63 0 7497 0
vsize: 30240
[startup+380.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 8907 0 0 0 37954 49 0 0 25 0 1 0 709574317 31506432 6975 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7692 6975 1111 63 0 7629 0
vsize: 30768
[startup+390.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 8994 0 0 0 38953 50 0 0 25 0 1 0 709574317 31776768 7062 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7758 7062 1111 63 0 7695 0
vsize: 31032
[startup+400.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 9080 0 0 0 39953 50 0 0 25 0 1 0 709574317 32182272 7148 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7857 7148 1111 63 0 7794 0
vsize: 31428
[startup+410.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 9202 0 0 0 40952 51 0 0 25 0 1 0 709574317 32722944 7270 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7989 7270 1111 63 0 7926 0
vsize: 31956
[startup+420.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 9270 0 0 0 41952 51 0 0 25 0 1 0 709574317 32993280 7338 4294967295 134512640 134714508 3221221776 3221220328 134696445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8055 7338 1111 63 0 7992 0
vsize: 32220
[startup+430.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 9397 0 0 0 42952 52 0 0 25 0 1 0 709574317 33533952 7465 4294967295 134512640 134714508 3221221776 3221220380 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8187 7465 1111 63 0 8124 0
vsize: 32748
[startup+440.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 9471 0 0 0 43951 52 0 0 25 0 1 0 709574317 33783808 7539 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8248 7539 1111 63 0 8185 0
vsize: 32992
[startup+450.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 9591 0 0 0 44951 53 0 0 25 0 1 0 709574317 34324480 7659 4294967295 134512640 134714508 3221221776 3221220380 134542823 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8380 7659 1111 63 0 8317 0
vsize: 33520
[startup+460.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 9691 0 0 0 45951 53 0 0 25 0 1 0 709574317 34721792 7759 4294967295 134512640 134714508 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8477 7759 1111 63 0 8414 0
vsize: 33908
[startup+470.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 9758 0 0 0 46950 54 0 0 25 0 1 0 709574317 34979840 7826 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8540 7826 1111 63 0 8477 0
vsize: 34160
[startup+480.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 9820 0 0 0 47950 54 0 0 25 0 1 0 709574317 35250176 7888 4294967295 134512640 134714508 3221221776 3221220536 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8606 7888 1111 63 0 8543 0
vsize: 34424
[startup+490.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 9890 0 0 0 48950 55 0 0 25 0 1 0 709574317 35520512 7958 4294967295 134512640 134714508 3221221776 3221220288 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8672 7958 1111 63 0 8609 0
vsize: 34688
[startup+500.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 9970 0 0 0 49950 55 0 0 25 0 1 0 709574317 35790848 8038 4294967295 134512640 134714508 3221221776 3221220316 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8738 8038 1111 63 0 8675 0
vsize: 34952
[startup+510.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 10026 0 0 0 50949 56 0 0 25 0 1 0 709574317 36061184 8094 4294967295 134512640 134714508 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8804 8094 1111 63 0 8741 0
vsize: 35216
[startup+520.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 10086 0 0 0 51949 56 0 0 25 0 1 0 709574317 36331520 8154 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8870 8154 1111 63 0 8807 0
vsize: 35480
[startup+530.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 10154 0 0 0 52949 57 0 0 25 0 1 0 709574317 36601856 8222 4294967295 134512640 134714508 3221221776 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8936 8222 1111 63 0 8873 0
vsize: 35744
[startup+540.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 10207 0 0 0 53948 57 0 0 25 0 1 0 709574317 36737024 8275 4294967295 134512640 134714508 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8969 8275 1111 63 0 8906 0
vsize: 35876
[startup+550.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 10282 0 0 0 54948 57 0 0 25 0 1 0 709574317 37142528 8350 4294967295 134512640 134714508 3221221776 3221220560 134529252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9068 8350 1111 63 0 9005 0
vsize: 36272
[startup+560.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 10365 0 0 0 55948 58 0 0 25 0 1 0 709574317 37412864 8433 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9134 8433 1111 63 0 9071 0
vsize: 36536
[startup+570.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 10426 0 0 0 56948 58 0 0 25 0 1 0 709574317 37679104 8494 4294967295 134512640 134714508 3221221776 3221220416 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9199 8494 1111 63 0 9136 0
vsize: 36796
[startup+580.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 10496 0 0 0 57947 59 0 0 25 0 1 0 709574317 37949440 8564 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9265 8564 1111 63 0 9202 0
vsize: 37060
[startup+590.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 10544 0 0 0 58947 60 0 0 25 0 1 0 709574317 38219776 8612 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9331 8612 1111 63 0 9268 0
vsize: 37324
[startup+600.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 10594 0 0 0 59947 60 0 0 25 0 1 0 709574317 38354944 8662 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9364 8662 1111 63 0 9301 0
vsize: 37456
[startup+610.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 10649 0 0 0 60947 60 0 0 25 0 1 0 709574317 38625280 8717 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9430 8717 1111 63 0 9367 0
vsize: 37720
[startup+620.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 10736 0 0 0 61946 61 0 0 25 0 1 0 709574317 38895616 8804 4294967295 134512640 134714508 3221221776 3221220336 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9496 8804 1111 63 0 9433 0
vsize: 37984
[startup+630.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 10827 0 0 0 62946 61 0 0 25 0 1 0 709574317 39301120 8895 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9595 8895 1111 63 0 9532 0
vsize: 38380
[startup+640.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 11693 0 0 0 63944 63 0 0 25 0 1 0 709574317 39768064 9011 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9709 9011 1111 63 0 9646 0
vsize: 38836
[startup+650.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 13836 0 0 0 64938 69 0 0 25 0 1 0 709574317 39993344 9066 4294967295 134512640 134714508 3221221776 3221219896 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9764 9066 1111 63 0 9701 0
vsize: 39056
[startup+660.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 15907 0 0 0 65933 74 0 0 25 0 1 0 709574317 42672128 9410 4294967295 134512640 134714508 3221221776 3221217876 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10418 9410 1111 63 0 10355 0
vsize: 41672
[startup+670.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 17825 0 0 0 66929 79 0 0 25 0 1 0 709574317 42627072 9427 4294967295 134512640 134714508 3221221776 3221217984 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10407 9427 1111 63 0 10344 0
vsize: 41628
[startup+680.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 19590 0 0 0 67924 83 0 0 25 0 1 0 709574317 42704896 9429 4294967295 134512640 134714508 3221221776 3221217788 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10426 9429 1111 63 0 10363 0
vsize: 41704
[startup+690.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 21427 0 0 0 68921 87 0 0 25 0 1 0 709574317 42246144 9491 4294967295 134512640 134714508 3221221776 3221217612 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10314 9491 1111 63 0 10251 0
vsize: 41256
[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 23709 0 0 0 69915 93 0 0 25 0 1 0 709574317 42156032 9471 4294967295 134512640 134714508 3221221776 3221217956 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10292 9471 1111 63 0 10229 0
vsize: 41168
[startup+710.027 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 25153 0 0 0 70912 97 0 0 25 0 1 0 709574317 40865792 9281 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9977 9281 1111 63 0 9914 0
vsize: 39908
[startup+720.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 27333 0 0 0 71907 102 0 0 25 0 1 0 709574317 43028480 9491 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10505 9491 1111 63 0 10442 0
vsize: 42020
[startup+730.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 28915 0 0 0 72903 106 0 0 25 0 1 0 709574317 42975232 9525 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10492 9525 1111 63 0 10429 0
vsize: 41968
[startup+740.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 30612 0 0 0 73900 109 0 0 25 0 1 0 709574317 43020288 9496 4294967295 134512640 134714508 3221221776 3221217820 1074873512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10503 9496 1111 63 0 10440 0
vsize: 42012
[startup+750.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 32988 0 0 0 74895 114 0 0 25 0 1 0 709574317 42975232 9504 4294967295 134512640 134714508 3221221776 3221217984 1074815473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10492 9504 1111 63 0 10429 0
vsize: 41968
[startup+760.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 34904 0 0 0 75890 119 0 0 25 0 1 0 709574317 42815488 9450 4294967295 134512640 134714508 3221221776 3221217876 1075964296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10453 9450 1111 63 0 10390 0
vsize: 41812
[startup+770.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 39015 0 0 0 76879 130 0 0 25 0 1 0 709574317 40517632 9175 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9892 9175 1111 63 0 9829 0
vsize: 39568
[startup+780.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 41166 0 0 0 77875 134 0 0 25 0 1 0 709574317 43171840 9571 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10540 9571 1111 63 0 10477 0
vsize: 42160
[startup+790.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 43904 0 0 0 78868 142 0 0 25 0 1 0 709574317 43261952 9572 4294967295 134512640 134714508 3221221776 3221218304 1075397136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10562 9572 1111 63 0 10499 0
vsize: 42248
[startup+800.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 45568 0 0 0 79863 146 0 0 25 0 1 0 709574317 43315200 9595 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10575 9595 1111 63 0 10512 0
vsize: 42300
[startup+810.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 47281 0 0 0 80859 150 0 0 25 0 1 0 709574317 40652800 9239 4294967295 134512640 134714508 3221221776 3221220128 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9925 9239 1111 63 0 9862 0
vsize: 39700
[startup+820.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 49287 0 0 0 81855 155 0 0 25 0 1 0 709574317 44240896 9521 4294967295 134512640 134714508 3221221776 3221217820 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10801 9521 1111 63 0 10738 0
vsize: 43204
[startup+830.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 52038 0 0 0 82847 163 0 0 25 0 1 0 709574317 44265472 9545 4294967295 134512640 134714508 3221221776 3221218432 1075967768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10807 9545 1111 63 0 10744 0
vsize: 43228
[startup+840.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 54971 0 0 0 83840 170 0 0 25 0 1 0 709574317 44314624 9823 4294967295 134512640 134714508 3221221776 3221217984 1074815276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10819 9823 1111 63 0 10756 0
vsize: 43276
[startup+850.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 57850 0 0 0 84833 177 0 0 25 0 1 0 709574317 44355584 9546 4294967295 134512640 134714508 3221221776 3221217920 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10829 9546 1111 63 0 10766 0
vsize: 43316
[startup+860.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 59907 0 0 0 85828 182 0 0 25 0 1 0 709574317 41500672 9411 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10132 9411 1111 63 0 10069 0
vsize: 40528
[startup+870.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 62115 0 0 0 86824 187 0 0 25 0 1 0 709574317 43528192 9652 4294967295 134512640 134714508 3221221776 3221218352 1076046840 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10627 9652 1111 63 0 10564 0
vsize: 42508
[startup+880.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 63663 0 0 0 87820 191 0 0 25 0 1 0 709574317 41283584 9393 4294967295 134512640 134714508 3221221776 3221218832 1074139024 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10079 9393 1111 63 0 10016 0
vsize: 40316
[startup+890.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 65060 0 0 0 88816 195 0 0 25 0 1 0 709574317 43532288 9639 4294967295 134512640 134714508 3221221776 3221218544 1076084179 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10628 9639 1111 63 0 10565 0
vsize: 42512
[startup+900.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 66793 0 0 0 89812 199 0 0 25 0 1 0 709574317 44482560 9574 4294967295 134512640 134714508 3221221776 3221217920 1074970275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10860 9574 1111 63 0 10797 0
vsize: 43440
[startup+910.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 69016 0 0 0 90807 205 0 0 25 0 1 0 709574317 43094016 9528 4294967295 134512640 134714508 3221221776 3221217888 1074790177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10521 9528 1111 63 0 10458 0
vsize: 42084
[startup+920.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 71286 0 0 0 91802 210 0 0 25 0 1 0 709574317 41082880 9344 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10030 9344 1111 63 0 9967 0
vsize: 40120
[startup+930.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 73310 0 0 0 92797 215 0 0 25 0 1 0 709574317 41148416 9360 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10046 9360 1111 63 0 9983 0
vsize: 40184
[startup+940.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 75370 0 0 0 93792 220 0 0 25 0 1 0 709574317 43638784 9676 4294967295 134512640 134714508 3221221776 3221217744 1074872813 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10654 9676 1111 63 0 10591 0
vsize: 42616
[startup+950.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 76833 0 0 0 94789 223 0 0 25 0 1 0 709574317 43720704 9687 4294967295 134512640 134714508 3221221776 3221217660 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10674 9687 1111 63 0 10611 0
vsize: 42696
[startup+960.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 79423 0 0 0 95781 231 0 0 25 0 1 0 709574317 43749376 9684 4294967295 134512640 134714508 3221221776 3221218048 1074799955 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10681 9684 1111 63 0 10618 0
vsize: 42724
[startup+970.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 81425 0 0 0 96777 236 0 0 25 0 1 0 709574317 40857600 9289 4294967295 134512640 134714508 3221221776 3221220160 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9975 9289 1111 63 0 9912 0
vsize: 39900
[startup+980.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 84601 0 0 0 97770 243 0 0 25 0 1 0 709574317 41639936 9433 4294967295 134512640 134714508 3221221776 3221219672 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10166 9433 1111 63 0 10103 0
vsize: 40664
[startup+990.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 86370 0 0 0 98767 246 0 0 25 0 1 0 709574317 43188224 9679 4294967295 134512640 134714508 3221221776 3221217956 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10544 9679 1111 63 0 10481 0
vsize: 42176
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 88064 0 0 0 99763 250 0 0 25 0 1 0 709574317 43859968 9715 4294967295 134512640 134714508 3221221776 3221218048 1074961369 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10708 9715 1111 63 0 10645 0
vsize: 42832
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 90307 0 0 0 100757 256 0 0 25 0 1 0 709574317 44777472 9928 4294967295 134512640 134714508 3221221776 3221217984 1074815186 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10932 9928 1111 63 0 10869 0
vsize: 43728
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 92134 0 0 0 101753 260 0 0 25 0 1 0 709574317 43761664 9693 4294967295 134512640 134714508 3221221776 3221217868 1075663503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10684 9693 1111 63 0 10621 0
vsize: 42736
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 94994 0 0 0 102748 266 0 0 25 0 1 0 709574317 44457984 9547 4294967295 134512640 134714508 3221221776 3221218048 1074961169 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10854 9547 1111 63 0 10791 0
vsize: 43416
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 98551 0 0 0 103740 274 0 0 25 0 1 0 709574317 41136128 9357 4294967295 134512640 134714508 3221221776 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10043 9357 1111 63 0 9980 0
vsize: 40172
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 100498 0 0 0 104735 279 0 0 25 0 1 0 709574317 41213952 9374 4294967295 134512640 134714508 3221221776 3221219776 1074916673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10062 9374 1111 63 0 9999 0
vsize: 40248
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 103030 0 0 0 105729 285 0 0 25 0 1 0 709574317 41963520 9500 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10245 9500 1111 63 0 10182 0
vsize: 40980
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 105140 0 0 0 106724 290 0 0 25 0 1 0 709574317 43847680 9735 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10705 9735 1111 63 0 10642 0
vsize: 42820
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 106965 0 0 0 107720 294 0 0 25 0 1 0 709574317 41922560 9522 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10235 9522 1111 63 0 10172 0
vsize: 40940
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 109483 0 0 0 108715 300 0 0 25 0 1 0 709574317 44982272 9678 4294967295 134512640 134714508 3221221776 3221217820 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10982 9678 1111 63 0 10919 0
vsize: 43928
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 111763 0 0 0 109709 306 0 0 25 0 1 0 709574317 41971712 9551 4294967295 134512640 134714508 3221221776 3221220304 134648533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10247 9551 1111 63 0 10184 0
vsize: 40988
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 114538 0 0 0 110702 313 0 0 25 0 1 0 709574317 44142592 9775 4294967295 134512640 134714508 3221221776 3221217984 1074815265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10777 9775 1111 63 0 10714 0
vsize: 43108
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 117227 0 0 0 111696 319 0 0 25 0 1 0 709574317 42295296 9584 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10326 9584 1111 63 0 10263 0
vsize: 41304
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 119271 0 0 0 112691 324 0 0 25 0 1 0 709574317 42332160 9585 4294967295 134512640 134714508 3221221776 3221220128 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10335 9585 1111 63 0 10272 0
vsize: 41340
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 123246 0 0 0 113682 334 0 0 25 0 1 0 709574317 42467328 9633 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10368 9633 1111 63 0 10305 0
vsize: 41472
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 125707 0 0 0 114676 340 0 0 25 0 1 0 709574317 42323968 9619 4294967295 134512640 134714508 3221221776 3221220076 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10333 9619 1111 63 0 10270 0
vsize: 41332
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 127919 0 0 0 115671 345 0 0 25 0 1 0 709574317 42459136 9648 4294967295 134512640 134714508 3221221776 3221219980 1077404753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10366 9648 1111 63 0 10303 0
vsize: 41464
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 129790 0 0 0 116666 350 0 0 25 0 1 0 709574317 42307584 9643 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10329 9643 1111 63 0 10266 0
vsize: 41316
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 131822 0 0 0 117661 355 0 0 25 0 1 0 709574317 44548096 9917 4294967295 134512640 134714508 3221221776 3221217660 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10876 9917 1111 63 0 10813 0
vsize: 43504
[startup+1183.44 s]
Raw data (loadavg): 1.00 0.99 0.94 1/53 10866
Raw data (stat): 10866 (bsolo_lpr_cuts) R 10865 7876 7672 0 -1 0 131822 0 0 0 117661 355 0 0 25 0 1 0 709574317 44548096 9917 4294967295 134512640 134714508 3221221776 3221217660 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10876 9917 1111 63 0 10813 0
vsize: 0

Child status: 10
Real time (s): 1183.44
CPU time (s): 1183.57
CPU user time (s): 1179.99
CPU system time (s): 3.58246
CPU usage (%): 100.011
Max. virtual memory (Kb): 43928
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	32825
#### END VERIFIER DATA ####