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 40807

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917664 kB
Buffers:         30248 kB
Cached:          65552 kB
SwapCached:       1304 kB
Active:          30904 kB
Inactive:        67384 kB
HighTotal:      131008 kB
HighFree:        81228 kB
LowTotal:       903652 kB
LowFree:        836436 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13072 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:38:27 (client local time) WITH STATUS 10 IN 1182.76 SECONDS
stats: 28872 0 1182.76 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.601 s
c Initial Lower Bound: 48
c Lower Bound Elapsed time: 15.816
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 92 @ 36.339
c NEW SOLUTION FOUND: 90 @ 122.781
c NEW SOLUTION FOUND: 82 @ 156.776
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: 1182.74 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.89 0.94 0.90 2/54 3388
Raw data (stat): 3388 (runsolver) R 3387 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905176782 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 3107 0 0 0 988 9 0 0 25 0 1 0 905176782 15208448 2615 4294967295 134512640 134716908 3221224576 3221220752 1074961238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2615 1111 63 0 3650 0
vsize: 14852
[startup+20.0015 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 3492 0 0 0 1987 10 0 0 25 0 1 0 905176782 15273984 2854 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3729 2854 1111 63 0 3666 0
vsize: 14916
[startup+30.003 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 4398 0 0 0 2983 14 0 0 25 0 1 0 905176782 13041664 2443 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2443 1111 63 0 3121 0
vsize: 12736
[startup+40.0037 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 5881 0 0 0 3979 18 0 0 25 0 1 0 905176782 13209600 2545 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3225 2545 1111 63 0 3162 0
vsize: 12900
[startup+50.0039 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 8430 0 0 0 4973 25 0 0 25 0 1 0 905176782 17031168 2810 4294967295 134512640 134716908 3221224576 3221221616 1075971386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4158 2810 1111 63 0 4095 0
vsize: 16632
[startup+60.0043 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 10286 0 0 0 5968 30 0 0 25 0 1 0 905176782 15921152 2883 4294967295 134512640 134716908 3221224576 3221220848 1074961304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3887 2883 1111 63 0 3824 0
vsize: 15548
[startup+70.0052 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 12996 0 0 0 6961 37 0 0 25 0 1 0 905176782 16826368 2800 4294967295 134512640 134716908 3221224576 3221220736 1074794632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4108 2800 1111 63 0 4045 0
vsize: 16432
[startup+80.0063 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 14969 0 0 0 7956 43 0 0 25 0 1 0 905176782 13594624 2647 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3319 2647 1111 63 0 3256 0
vsize: 13276
[startup+90.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 16609 0 0 0 8951 48 0 0 25 0 1 0 905176782 13660160 2663 4294967295 134512640 134716908 3221224576 3221222664 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3335 2663 1111 63 0 3272 0
vsize: 13340
[startup+100.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 18252 0 0 0 9948 52 0 0 25 0 1 0 905176782 15929344 2923 4294967295 134512640 134716908 3221224576 3221220676 1075964248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3889 2923 1111 63 0 3826 0
vsize: 15556
[startup+110.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 20000 0 0 0 10943 57 0 0 25 0 1 0 905176782 15724544 2844 4294967295 134512640 134716908 3221224576 3221220620 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3839 2844 1111 63 0 3776 0
vsize: 15356
[startup+120.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 21992 0 0 0 11938 62 0 0 25 0 1 0 905176782 13590528 2646 4294967295 134512640 134716908 3221224576 3221222748 1074208128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3318 2646 1111 63 0 3255 0
vsize: 13272
[startup+130.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 24273 0 0 0 12932 68 0 0 25 0 1 0 905176782 16719872 3063 4294967295 134512640 134716908 3221224576 3221220536 1075964730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4082 3063 1111 63 0 4019 0
vsize: 16328
[startup+140.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 26091 0 0 0 13928 73 0 0 25 0 1 0 905176782 14852096 2808 4294967295 134512640 134716908 3221224576 3221220800 1074960941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3626 2808 1111 63 0 3563 0
vsize: 14504
[startup+150.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 28361 0 0 0 14922 79 0 0 25 0 1 0 905176782 14843904 2822 4294967295 134512640 134716908 3221224576 3221221184 1075969305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3624 2822 1111 63 0 3561 0
vsize: 14496
[startup+160.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 30089 0 0 0 15918 84 0 0 25 0 1 0 905176782 13615104 2652 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3324 2652 1111 63 0 3261 0
vsize: 13296
[startup+170.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 31916 0 0 0 16914 88 0 0 25 0 1 0 905176782 13615104 2652 4294967295 134512640 134716908 3221224576 3221223088 134646691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3324 2652 1111 63 0 3261 0
vsize: 13296
[startup+180.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 34544 0 0 0 17907 95 0 0 25 0 1 0 905176782 14635008 2762 4294967295 134512640 134716908 3221224576 3221220800 1074960759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3573 2762 1111 63 0 3510 0
vsize: 14292
[startup+190.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 36762 0 0 0 18902 101 0 0 25 0 1 0 905176782 14970880 2822 4294967295 134512640 134716908 3221224576 3221220800 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3655 2822 1111 63 0 3592 0
vsize: 14620
[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 39295 0 0 0 19895 108 0 0 25 0 1 0 905176782 13557760 2638 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3310 2638 1111 63 0 3247 0
vsize: 13240
[startup+210.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 41166 0 0 0 20890 113 0 0 25 0 1 0 905176782 16031744 2913 4294967295 134512640 134716908 3221224576 3221220736 1075095098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3914 2913 1111 63 0 3851 0
vsize: 15656
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 43045 0 0 0 21885 119 0 0 25 0 1 0 905176782 16969728 2846 4294967295 134512640 134716908 3221224576 3221220536 1074789812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4143 2846 1111 63 0 4080 0
vsize: 16572
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 44928 0 0 0 22881 123 0 0 25 0 1 0 905176782 15212544 2889 4294967295 134512640 134716908 3221224576 3221220704 1074882604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3714 2889 1111 63 0 3651 0
vsize: 14856
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 46390 0 0 0 23877 127 0 0 25 0 1 0 905176782 13733888 2681 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2681 1111 63 0 3290 0
vsize: 13412
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 48113 0 0 0 24873 131 0 0 25 0 1 0 905176782 16052224 2933 4294967295 134512640 134716908 3221224576 3221220816 1075115762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 2933 1111 63 0 3856 0
vsize: 15676
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 49938 0 0 0 25869 136 0 0 25 0 1 0 905176782 15245312 2921 4294967295 134512640 134716908 3221224576 3221220756 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3722 2921 1111 63 0 3659 0
vsize: 14888
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 52193 0 0 0 26864 142 0 0 25 0 1 0 905176782 16101376 2926 4294967295 134512640 134716908 3221224576 3221221120 1075088566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3931 2926 1111 63 0 3868 0
vsize: 15724
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 53884 0 0 0 27859 146 0 0 25 0 1 0 905176782 16977920 3153 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 3153 1111 63 0 4082 0
vsize: 16580
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 55553 0 0 0 28856 151 0 0 25 0 1 0 905176782 16154624 2945 4294967295 134512640 134716908 3221224576 3221220816 1075115724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3944 2945 1111 63 0 3881 0
vsize: 15776
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 57236 0 0 0 29851 156 0 0 25 0 1 0 905176782 16035840 2929 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3915 2929 1111 63 0 3852 0
vsize: 15660
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 58912 0 0 0 30846 161 0 0 25 0 1 0 905176782 13856768 2711 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3383 2711 1111 63 0 3320 0
vsize: 13532
[startup+320.019 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 60815 0 0 0 31841 166 0 0 25 0 1 0 905176782 13860864 2712 4294967295 134512640 134716908 3221224576 3221222576 1074916905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3384 2712 1111 63 0 3321 0
vsize: 13536
[startup+330.02 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 63496 0 0 0 32833 175 0 0 25 0 1 0 905176782 13979648 2709 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3413 2709 1111 63 0 3350 0
vsize: 13652
[startup+340.02 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 65660 0 0 0 33827 181 0 0 25 0 1 0 905176782 16195584 2944 4294967295 134512640 134716908 3221224576 3221220716 1074790003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2944 1111 63 0 3891 0
vsize: 15816
[startup+350.021 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 67763 0 0 0 34821 188 0 0 25 0 1 0 905176782 13910016 2724 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3396 2724 1111 63 0 3333 0
vsize: 13584
[startup+360.022 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 69354 0 0 0 35817 192 0 0 25 0 1 0 905176782 16289792 2980 4294967295 134512640 134716908 3221224576 3221221664 1075661523 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3977 2980 1111 63 0 3914 0
vsize: 15908
[startup+370.022 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 71600 0 0 0 36812 198 0 0 25 0 1 0 905176782 14204928 2787 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3468 2787 1111 63 0 3405 0
vsize: 13872
[startup+380.022 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 73814 0 0 0 37805 205 0 0 25 0 1 0 905176782 16367616 2986 4294967295 134512640 134716908 3221224576 3221220736 1075093809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3996 2986 1111 63 0 3933 0
vsize: 15984
[startup+390.021 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 76155 0 0 0 38799 211 0 0 25 0 1 0 905176782 15581184 2969 4294967295 134512640 134716908 3221224576 3221220688 1075094959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3804 2969 1111 63 0 3741 0
vsize: 15216
[startup+400.021 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 78225 0 0 0 39793 217 0 0 25 0 1 0 905176782 17358848 2909 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4238 2909 1111 63 0 4175 0
vsize: 16952
[startup+410.021 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 80303 0 0 0 40789 222 0 0 25 0 1 0 905176782 14012416 2749 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3421 2749 1111 63 0 3358 0
vsize: 13684
[startup+420.019 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 82698 0 0 0 41781 230 0 0 25 0 1 0 905176782 16384000 3007 4294967295 134512640 134716908 3221224576 3221220784 1074815473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4000 3007 1111 63 0 3937 0
vsize: 16000
[startup+430.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 84616 0 0 0 42776 235 0 0 25 0 1 0 905176782 17391616 2900 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4246 2900 1111 63 0 4183 0
vsize: 16984
[startup+440.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 87548 0 0 0 43767 245 0 0 25 0 1 0 905176782 14163968 2754 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3458 2754 1111 63 0 3395 0
vsize: 13832
[startup+450.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 91125 0 0 0 44757 255 0 0 25 0 1 0 905176782 13975552 2740 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3412 2740 1111 63 0 3349 0
vsize: 13648
[startup+460.017 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 93107 0 0 0 45752 260 0 0 25 0 1 0 905176782 14159872 2774 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3457 2774 1111 63 0 3394 0
vsize: 13828
[startup+470.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 95238 0 0 0 46746 266 0 0 25 0 1 0 905176782 16543744 3026 4294967295 134512640 134716908 3221224576 3221220620 1074873379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3026 1111 63 0 3976 0
vsize: 16156
[startup+480.017 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 97702 0 0 0 47741 272 0 0 25 0 1 0 905176782 17309696 2879 4294967295 134512640 134716908 3221224576 3221221696 1074835532 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4226 2879 1111 63 0 4163 0
vsize: 16904
[startup+490.017 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 100112 0 0 0 48735 278 0 0 25 0 1 0 905176782 16642048 3053 4294967295 134512640 134716908 3221224576 3221220848 1074961304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4063 3053 1111 63 0 4000 0
vsize: 16252
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 102395 0 0 0 49729 284 0 0 25 0 1 0 905176782 16310272 2978 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3982 2978 1111 63 0 3919 0
vsize: 15928
[startup+510.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 105060 0 0 0 50722 291 0 0 25 0 1 0 905176782 14303232 2820 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2820 1111 63 0 3429 0
vsize: 13968
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 107663 0 0 0 51715 299 0 0 25 0 1 0 905176782 17309696 2881 4294967295 134512640 134716908 3221224576 3221220704 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4226 2881 1111 63 0 4163 0
vsize: 16904
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 110558 0 0 0 52708 305 0 0 25 0 1 0 905176782 17625088 2970 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4303 2970 1111 63 0 4240 0
vsize: 17212
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 112802 0 0 0 53703 311 0 0 25 0 1 0 905176782 14282752 2815 4294967295 134512640 134716908 3221224576 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3487 2815 1111 63 0 3424 0
vsize: 13948
[startup+550.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 115130 0 0 0 54697 317 0 0 25 0 1 0 905176782 14614528 2881 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3568 2881 1111 63 0 3505 0
vsize: 14272
[startup+560.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 117710 0 0 0 55690 325 0 0 25 0 1 0 905176782 16785408 3089 4294967295 134512640 134716908 3221224576 3221220804 1075115070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4098 3089 1111 63 0 4035 0
vsize: 16392
[startup+570.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 119677 0 0 0 56685 330 0 0 25 0 1 0 905176782 16662528 3071 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4068 3071 1111 63 0 4005 0
vsize: 16272
[startup+580.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 123144 0 0 0 57675 340 0 0 25 0 1 0 905176782 17633280 2974 4294967295 134512640 134716908 3221224576 3221220784 1074815309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4305 2975 1111 63 0 4242 0
vsize: 17220
[startup+590.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 125503 0 0 0 58670 346 0 0 25 0 1 0 905176782 17829888 3009 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4353 3009 1111 63 0 4290 0
vsize: 17412
[startup+600.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 127666 0 0 0 59665 352 0 0 25 0 1 0 905176782 17006592 3175 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4152 3175 1111 63 0 4089 0
vsize: 16608
[startup+610.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 128858 0 0 0 60662 355 0 0 25 0 1 0 905176782 14094336 2769 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3441 2769 1111 63 0 3378 0
vsize: 13764
[startup+620.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 131240 0 0 0 61655 362 0 0 25 0 1 0 905176782 16830464 3116 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4109 3116 1111 63 0 4046 0
vsize: 16436
[startup+630.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 133406 0 0 0 62650 367 0 0 25 0 1 0 905176782 14295040 2818 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3490 2818 1111 63 0 3427 0
vsize: 13960
[startup+640.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 136316 0 0 0 63641 376 0 0 25 0 1 0 905176782 16027648 3070 4294967295 134512640 134716908 3221224576 3221221072 1075088564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3913 3070 1111 63 0 3850 0
vsize: 15652
[startup+650.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 139170 0 0 0 64634 384 0 0 25 0 1 0 905176782 14684160 2878 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3585 2878 1111 63 0 3522 0
vsize: 14340
[startup+660.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 141951 0 0 0 65627 391 0 0 25 0 1 0 905176782 17424384 2926 4294967295 134512640 134716908 3221224576 3221220816 1075115696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4254 2926 1111 63 0 4191 0
vsize: 17016
[startup+670.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 145206 0 0 0 66619 399 0 0 25 0 1 0 905176782 17858560 3046 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4360 3046 1111 63 0 4297 0
vsize: 17440
[startup+680.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 147561 0 0 0 67612 406 0 0 25 0 1 0 905176782 16871424 3130 4294967295 134512640 134716908 3221224576 3221221604 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4119 3130 1111 63 0 4056 0
vsize: 16476
[startup+690.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 150473 0 0 0 68604 415 0 0 25 0 1 0 905176782 16936960 3123 4294967295 134512640 134716908 3221224576 3221221616 1075971395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4135 3123 1111 63 0 4072 0
vsize: 16540
[startup+700.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 153090 0 0 0 69598 422 0 0 25 0 1 0 905176782 16949248 3126 4294967295 134512640 134716908 3221224576 3221220540 1074788143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4138 3126 1111 63 0 4075 0
vsize: 16552
[startup+710.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 155308 0 0 0 70591 428 0 0 25 0 1 0 905176782 14651392 2905 4294967295 134512640 134716908 3221224576 3221222832 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3577 2905 1111 63 0 3514 0
vsize: 14308
[startup+720.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 157754 0 0 0 71585 435 0 0 25 0 1 0 905176782 16990208 3155 4294967295 134512640 134716908 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 3155 1111 63 0 4085 0
vsize: 16592
[startup+730.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 159688 0 0 0 72580 440 0 0 25 0 1 0 905176782 14450688 2856 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3528 2856 1111 63 0 3465 0
vsize: 14112
[startup+740.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 161722 0 0 0 73575 445 0 0 25 0 1 0 905176782 14450688 2856 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3528 2856 1111 63 0 3465 0
vsize: 14112
[startup+750.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 164182 0 0 0 74569 452 0 0 25 0 1 0 905176782 18006016 3390 4294967295 134512640 134716908 3221224576 3221220460 1074788937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4396 3390 1111 63 0 4333 0
vsize: 17584
[startup+760.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 166842 0 0 0 75562 459 0 0 25 0 1 0 905176782 14516224 2872 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3544 2872 1111 63 0 3481 0
vsize: 14176
[startup+770.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 169147 0 0 0 76557 465 0 0 25 0 1 0 905176782 18018304 3389 4294967295 134512640 134716908 3221224576 3221220620 1074873512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4399 3389 1111 63 0 4336 0
vsize: 17596
[startup+780.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 171309 0 0 0 77552 470 0 0 25 0 1 0 905176782 14577664 2884 4294967295 134512640 134716908 3221224576 3221223120 134652923 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3559 2884 1111 63 0 3496 0
vsize: 14236
[startup+790.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 173600 0 0 0 78546 477 0 0 25 0 1 0 905176782 17461248 3263 4294967295 134512640 134716908 3221224576 3221220804 1075115141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4263 3263 1111 63 0 4200 0
vsize: 17052
[startup+800.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 176081 0 0 0 79538 484 0 0 25 0 1 0 905176782 18132992 3417 4294967295 134512640 134716908 3221224576 3221220568 1075964771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4427 3417 1111 63 0 4364 0
vsize: 17708
[startup+810.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 177912 0 0 0 80533 489 0 0 25 0 1 0 905176782 14778368 2936 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3608 2936 1111 63 0 3545 0
vsize: 14432
[startup+820.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 180130 0 0 0 81528 495 0 0 25 0 1 0 905176782 17186816 3184 4294967295 134512640 134716908 3221224576 3221221620 1074846143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4196 3184 1111 63 0 4133 0
vsize: 16784
[startup+830.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 181955 0 0 0 82523 500 0 0 25 0 1 0 905176782 16687104 3237 4294967295 134512640 134716908 3221224576 3221220800 1074960918 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 3237 1111 63 0 4011 0
vsize: 16296
[startup+840.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 184489 0 0 0 83517 507 0 0 25 0 1 0 905176782 15163392 3022 4294967295 134512640 134716908 3221224576 3221222848 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 3022 1111 63 0 3639 0
vsize: 14808
[startup+850.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 186335 0 0 0 84513 512 0 0 25 0 1 0 905176782 15200256 3007 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3711 3007 1111 63 0 3648 0
vsize: 14844
[startup+860.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 188693 0 0 0 85507 517 0 0 25 0 1 0 905176782 18264064 3438 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4459 3438 1111 63 0 4396 0
vsize: 17836
[startup+870.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 190975 0 0 0 86501 523 0 0 25 0 1 0 905176782 16154624 3107 4294967295 134512640 134716908 3221224576 3221220404 1074786556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3944 3107 1111 63 0 3881 0
vsize: 15776
[startup+880.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 194145 0 0 0 87494 531 0 0 25 0 1 0 905176782 17027072 3153 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4157 3153 1111 63 0 4094 0
vsize: 16628
[startup+890.009 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 196877 0 0 0 88484 540 0 0 25 0 1 0 905176782 15114240 3000 4294967295 134512640 134716908 3221224576 3221222572 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3690 3000 1111 63 0 3627 0
vsize: 14760
[startup+900.009 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 199831 0 0 0 89476 548 0 0 25 0 1 0 905176782 14962688 2979 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2979 1111 63 0 3590 0
vsize: 14612
[startup+910.009 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 202242 0 0 0 90469 555 0 0 25 0 1 0 905176782 16564224 3209 4294967295 134512640 134716908 3221224576 3221220968 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3209 1111 63 0 3981 0
vsize: 16176
[startup+920.008 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 204071 0 0 0 91465 560 0 0 25 0 1 0 905176782 17596416 3318 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4296 3318 1111 63 0 4233 0
vsize: 17184
[startup+930.008 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 206829 0 0 0 92457 567 0 0 25 0 1 0 905176782 17412096 3244 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 3244 1111 63 0 4188 0
vsize: 17004
[startup+940.007 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 209154 0 0 0 93452 573 0 0 25 0 1 0 905176782 18673664 3247 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4559 3247 1111 63 0 4496 0
vsize: 18236
[startup+950.007 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 211605 0 0 0 94446 579 0 0 25 0 1 0 905176782 15278080 3026 4294967295 134512640 134716908 3221224576 3221222536 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3730 3026 1111 63 0 3667 0
vsize: 14920
[startup+960.007 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 214786 0 0 0 95438 588 0 0 25 0 1 0 905176782 17530880 3280 4294967295 134512640 134716908 3221224576 3221220736 1074883551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4280 3280 1111 63 0 4217 0
vsize: 17120
[startup+970.007 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 216411 0 0 0 96434 593 0 0 25 0 1 0 905176782 15642624 3113 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3819 3113 1111 63 0 3756 0
vsize: 15276
[startup+980.006 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 218297 0 0 0 97429 597 0 0 25 0 1 0 905176782 15527936 3119 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3791 3119 1111 63 0 3728 0
vsize: 15164
[startup+990.005 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 220026 0 0 0 98425 601 0 0 25 0 1 0 905176782 15605760 3106 4294967295 134512640 134716908 3221224576 3221222928 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3810 3106 1111 63 0 3747 0
vsize: 15240
[startup+1000.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 221965 0 0 0 99420 607 0 0 25 0 1 0 905176782 15515648 3084 4294967295 134512640 134716908 3221224576 3221222856 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3788 3084 1111 63 0 3725 0
vsize: 15152
[startup+1010.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 223932 0 0 0 100415 612 0 0 25 0 1 0 905176782 18636800 3197 4294967295 134512640 134716908 3221224576 3221220536 1074789548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4550 3197 1111 63 0 4487 0
vsize: 18200
[startup+1020.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 226651 0 0 0 101409 619 0 0 25 0 1 0 905176782 17514496 3283 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4276 3283 1111 63 0 4213 0
vsize: 17104
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 228452 0 0 0 102404 624 0 0 25 0 1 0 905176782 17887232 3364 4294967295 134512640 134716908 3221224576 3221220648 1075964775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4367 3364 1111 63 0 4304 0
vsize: 17468
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 229953 0 0 0 103400 629 0 0 25 0 1 0 905176782 15433728 3096 4294967295 134512640 134716908 3221224576 3221222928 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3768 3096 1111 63 0 3705 0
vsize: 15072
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 231788 0 0 0 104395 634 0 0 25 0 1 0 905176782 17797120 3343 4294967295 134512640 134716908 3221224576 3221220676 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4345 3343 1111 63 0 4282 0
vsize: 17380
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 233535 0 0 0 105391 638 0 0 25 0 1 0 905176782 18575360 3239 4294967295 134512640 134716908 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3239 1111 63 0 4472 0
vsize: 18140
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 235534 0 0 0 106385 644 0 0 25 0 1 0 905176782 18599936 3543 4294967295 134512640 134716908 3221224576 3221220804 1075115117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4541 3543 1111 63 0 4478 0
vsize: 18164
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 237190 0 0 0 107380 649 0 0 25 0 1 0 905176782 17678336 3315 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4316 3315 1111 63 0 4253 0
vsize: 17264
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 238978 0 0 0 108376 654 0 0 25 0 1 0 905176782 18759680 3266 4294967295 134512640 134716908 3221224576 3221220620 1074873532 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4580 3266 1111 63 0 4517 0
vsize: 18320
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 240647 0 0 0 109372 658 0 0 25 0 1 0 905176782 17735680 3347 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4330 3347 1111 63 0 4267 0
vsize: 17320
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 243313 0 0 0 110366 665 0 0 25 0 1 0 905176782 17874944 3353 4294967295 134512640 134716908 3221224576 3221220848 1074961129 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4364 3353 1111 63 0 4301 0
vsize: 17456
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 245002 0 0 0 111362 669 0 0 25 0 1 0 905176782 17539072 3276 4294967295 134512640 134716908 3221224576 3221220816 1075115762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4282 3276 1111 63 0 4219 0
vsize: 17128
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 247182 0 0 0 112356 675 0 0 25 0 1 0 905176782 17567744 3290 4294967295 134512640 134716908 3221224576 3221221152 1076043977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4289 3290 1111 63 0 4226 0
vsize: 17156
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 249227 0 0 0 113352 680 0 0 25 0 1 0 905176782 17842176 3355 4294967295 134512640 134716908 3221224576 3221220508 1074788075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4356 3355 1111 63 0 4293 0
vsize: 17424
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 251301 0 0 0 114346 686 0 0 25 0 1 0 905176782 15486976 3109 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3781 3109 1111 63 0 3718 0
vsize: 15124
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 253168 0 0 0 115341 691 0 0 25 0 1 0 905176782 17817600 3343 4294967295 134512640 134716908 3221224576 3221220728 1074883024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4350 3343 1111 63 0 4287 0
vsize: 17400
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.93 3/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 255297 0 0 0 116335 697 0 0 25 0 1 0 905176782 17010688 3315 4294967295 134512640 134716908 3221224576 3221220756 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4153 3315 1111 63 0 4090 0
vsize: 16612
[startup+1180 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 257353 0 0 0 117330 703 0 0 25 0 1 0 905176782 18862080 3279 4294967295 134512640 134716908 3221224576 3221220724 1075964384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4605 3279 1111 63 0 4542 0
vsize: 18420
[startup+1182.42 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 3388
Raw data (stat): 3388 (bsolo_lpr_cuts-) R 3387 25568 25567 0 -1 0 257353 0 0 0 117330 703 0 0 25 0 1 0 905176782 18862080 3279 4294967295 134512640 134716908 3221224576 3221220724 1075964384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4605 3279 1111 63 0 4542 0
vsize: 0

Child status: 10
Real time (s): 1182.42
CPU time (s): 1182.76
CPU user time (s): 1175.7
CPU system time (s): 7.05893
CPU usage (%): 100.028
Max. virtual memory (Kb): 18420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	82
#### END VERIFIER DATA ####