PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
MD5SUM	b2c6bc03457d15976fdaf81252d9cdae
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3
Optimality of the best value was proved	NO
Number of terms in the objective function	435
Biggest coefficient in the objective function	282
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	1168
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	282
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	1168
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02284
Number of variables	435
Total number of constraints	935
Number of constraints which are clauses	403
Number of constraints which are cardinality constraints (but not clauses)	532
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	16
Trace number 24962

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        815044 kB
Buffers:         40988 kB
Cached:         157136 kB
SwapCached:       1932 kB
Active:         162392 kB
Inactive:        38900 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814792 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12668 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 09:10:59 (client local time) WITH STATUS 10 IN 1175.03 SECONDS
stats: 3277 0 1175.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 435 variables and 501 constraints.
c After prepocess the problem consists of 434 variables and 521 constraints.
c preprocess terminated 0.281 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.3805
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 22.655
c NEW SOLUTION FOUND: 36 @ 23.736
c NEW SOLUTION FOUND: 35 @ 24.576
c NEW SOLUTION FOUND: 34 @ 25.301
c NEW SOLUTION FOUND: 33 @ 25.434
c NEW SOLUTION FOUND: 32 @ 26.802
c NEW SOLUTION FOUND: 31 @ 28.491
c NEW SOLUTION FOUND: 30 @ 28.664
c NEW SOLUTION FOUND: 24 @ 29.573
c NEW SOLUTION FOUND: 23 @ 33.443
c NEW SOLUTION FOUND: 22 @ 33.468
c NEW SOLUTION FOUND: 21 @ 34.469
s SATISFIABLE
v v358 v234 -v62 v5 v340 -v235 -v399 v362 v339 v239 -v6 -v398 v360 v238 -v7 v400 v341 -v236 -v143 -v10 v433 -v361 v343 -v237 v142 -v8 v416 -v365 v144 -v9 -v420 v344 v434 v357 v233 v182 -v61 -v2 -v336 v232 -v186 v4 v363 v335 -v320 -v243 v3 -v11 v366 v342 v401 -v364 v345 v415 v409 v419 v405 v145 v404 -v386 -v153 -v26 v149 -v30 -v355 -v316 -v251 v246 v181 v63 v359 v255 v247 -v185 -v1 v356 -v319 -v242 -v19 v367 v337 -v15 v406 v338 -v240 -v160 -v67 -v14 v408 -v164 v417 -v382 v349 -v150 -v128 v421 -v152 v402 -v385 -v301 v25 -v148 -v29 -v315 -v273 -v250 v244 v183 v64 -v16 -v354 -v277 v254 -v187 -v18 v375 -v321 -v83 -v68 -v411 -v407 v371 -v87 -v66 -v410 v370 v352 -v241 -v189 -v159 -v124 -v47 -v12 v353 -v190 -v163 -v151 v418 -v381 -v348 -v324 -v297 -v127 -v13 v422 -v423 v403 v387 -v346 -v300 v27 -v424 -v146 v31 -v372 -v317 -v272 v252 -v245 v184 v65 -v17 -v374 v276 v256 -v188 -v69 -v351 v322 -v192 -v82 -v43 v350 -v191 -v86 -v377 v368 -v325 -v258 v161 -v123 -v46 -v412 -v323 -v259 v165 -v21 -v413 -v383 v369 -v296 v129 -v20 v414 -v428 v388 -v347 -v302 v167 v28 v168 -v147 v32 -v373 v313 -v274 v253 v180 -v77 -v318 v278 v257 v179 -v155 -v73 v314 -v261 v196 -v154 -v119 -v84 -v72 -v42 -v326 -v260 -v88 -v292 v280 -v220 v162 -v125 -v111 -v48 -v376 -v281 v224 v166 v431 -v378 -v298 v170 v130 -v90 v432 -v384 v169 -v91 -v22 -v427 v380 -v303 -v210 v131 -v51 -v23 -v389 v132 v24 -v275 -v249 -v199 v79 -v76 v38 v312 v279 v248 -v200 -v334 v283 v265 v195 -v107 -v85 -v70 -v44 -v330 v282 -v156 -v118 -v89 v430 -v329 -v219 v193 -v157 -v120 -v110 -v93 -v71 -v49 v429 -v291 v223 v158 -v126 -v92 -v293 v206 -v174 v122 -v52 -v379 -v299 v133 -v50 -v425 -v397 v295 v209 -v35 v393 -v304 -v36 -v331 v271 -v268 -v197 -v74 -v333 v270 -v269 v78 v37 -v287 -v264 -v106 v80 v39 v81 -v45 -v327 -v262 -v221 v194 -v177 -v112 -v97 v41 v225 -v178 -v121 -v53 -v394 -v328 v205 -v173 v141 -v34 -v396 -v294 v137 -v33 -v426 -v311 -v227 v211 -v171 v136 v115 v392 -v307 -v228 -v332 -v288 -v266 -v198 v104 -v75 v290 -v215 -v286 -v214 -v176 -v108 v100 -v175 v101 v40 -v284 -v263 -v222 -v203 v138 v113 -v96 v60 -v395 v226 v140 -v57 -v308 -v230 v207 v116 -v94 -v56 -v310 -v229 v114 v212 -v172 v134 v390 -v305 -v289 -v267 v99 v103 v98 v102 v59 -v216 v139 -v109 v58 -v285 -v217 v105 -v309 v218 -v202 v117 -v231 v201 -v95 -v54 v208 v204 v135 -v55 v391 -v306 v213 one 
c Exit Code: 10
c Total time: 1175.01 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.98 2/55 790
Raw data (stat): 790 (runsolver) R 789 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 751148518 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0009 s]
Raw data (loadavg): 0.93 0.96 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 5054 0 0 0 982 13 0 0 25 0 1 0 751148518 6955008 1011 4294967295 134512640 134714508 3221221776 3221220176 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1698 1011 1111 63 0 1635 0
vsize: 6792
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 9635 0 0 0 1971 24 0 0 25 0 1 0 751148518 6955008 1011 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1698 1011 1111 63 0 1635 0
vsize: 6792
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 22971 0 0 0 2940 55 0 0 25 0 1 0 751148518 7606272 1172 4294967295 134512640 134714508 3221221776 3221219520 1075645384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1857 1172 1111 63 0 1794 0
vsize: 7428
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 32583 0 0 0 3913 82 0 0 25 0 1 0 751148518 8024064 1194 4294967295 134512640 134714508 3221221776 3221218096 1075170249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1959 1194 1111 63 0 1896 0
vsize: 7836
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 45040 0 0 0 4880 115 0 0 25 0 1 0 751148518 7696384 1192 4294967295 134512640 134714508 3221221776 3221220056 1074138324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1879 1192 1111 63 0 1816 0
vsize: 7516
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 57608 0 0 0 5849 146 0 0 25 0 1 0 751148518 8142848 1218 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1988 1218 1111 63 0 1925 0
vsize: 7952
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 69787 0 0 0 6815 180 0 0 25 0 1 0 751148518 8151040 1223 4294967295 134512640 134714508 3221221776 3221218544 1076084021 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1888 1203 1111 63 0 1825 0
vsize: 7960
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 81913 0 0 0 7782 214 0 0 25 0 1 0 751148518 7733248 1203 4294967295 134512640 134714508 3221221776 3221220408 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1888 1203 1111 63 0 1825 0
vsize: 7552
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 94598 0 0 0 8745 251 0 0 25 0 1 0 751148518 7725056 1201 4294967295 134512640 134714508 3221221776 3221220100 1077402445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 1201 1111 63 0 1823 0
vsize: 7544
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 107580 0 0 0 9710 286 0 0 25 0 1 0 751148518 7725056 1201 4294967295 134512640 134714508 3221221776 3221219696 1075799799 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1886 1201 1111 63 0 1823 0
vsize: 7544
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 121851 0 0 0 10672 324 0 0 25 0 1 0 751148518 7737344 1204 4294967295 134512640 134714508 3221221776 3221219600 1075823363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1889 1204 1111 63 0 1826 0
vsize: 7556
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 136736 0 0 0 11630 367 0 0 25 0 1 0 751148518 7737344 1204 4294967295 134512640 134714508 3221221776 3221219992 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1889 1204 1111 63 0 1826 0
vsize: 7556
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 152053 0 0 0 12589 408 0 0 25 0 1 0 751148518 7745536 1206 4294967295 134512640 134714508 3221221776 3221219504 1075828432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1206 1111 63 0 1828 0
vsize: 7564
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 166889 0 0 0 13548 449 0 0 25 0 1 0 751148518 7745536 1206 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1206 1111 63 0 1828 0
vsize: 7564
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 183149 0 0 0 14503 494 0 0 25 0 1 0 751148518 8171520 1220 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 1221 1111 63 0 1932 0
vsize: 7980
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 199145 0 0 0 15461 536 0 0 25 0 1 0 751148518 7745536 1206 4294967295 134512640 134714508 3221221776 3221220176 1074153743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1206 1111 63 0 1828 0
vsize: 7564
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 215298 0 0 0 16416 581 0 0 25 0 1 0 751148518 7745536 1206 4294967295 134512640 134714508 3221221776 3221219888 1074867212 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1206 1111 63 0 1828 0
vsize: 7564
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 231755 0 0 0 17372 625 0 0 25 0 1 0 751148518 7753728 1208 4294967295 134512640 134714508 3221221776 3221220028 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1893 1208 1111 63 0 1830 0
vsize: 7572
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 249047 0 0 0 18327 671 0 0 25 0 1 0 751148518 7753728 1208 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1893 1208 1111 63 0 1830 0
vsize: 7572
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 266634 0 0 0 19275 722 0 0 25 0 1 0 751148518 7745536 1206 4294967295 134512640 134714508 3221221776 3221220176 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1206 1111 63 0 1828 0
vsize: 7564
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 281952 0 0 0 20236 762 0 0 25 0 1 0 751148518 7745536 1206 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1206 1111 63 0 1828 0
vsize: 7564
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 296640 0 0 0 21195 803 0 0 25 0 1 0 751148518 8171520 1211 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 1211 1111 63 0 1932 0
vsize: 7980
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 311320 0 0 0 22153 846 0 0 25 0 1 0 751148518 8089600 1225 4294967295 134512640 134714508 3221221776 3221217740 1074860647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1893 1208 1111 63 0 1830 0
vsize: 7900
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 325865 0 0 0 23112 886 0 0 25 0 1 0 751148518 8171520 1209 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 1209 1111 63 0 1932 0
vsize: 7980
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 340547 0 0 0 24071 928 0 0 25 0 1 0 751148518 7745536 1206 4294967295 134512640 134714508 3221221776 3221220160 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1206 1111 63 0 1828 0
vsize: 7564
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 355182 0 0 0 25031 967 0 0 25 0 1 0 751148518 8171520 1212 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 1223 1111 63 0 1932 0
vsize: 7980
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 371063 0 0 0 25988 1011 0 0 25 0 1 0 751148518 7745536 1206 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1206 1111 63 0 1828 0
vsize: 7564
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 387856 0 0 0 26939 1060 0 0 25 0 1 0 751148518 7745536 1206 4294967295 134512640 134714508 3221221776 3221219504 1075828201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1206 1111 63 0 1828 0
vsize: 7564
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 404186 0 0 0 27894 1105 0 0 25 0 1 0 751148518 7745536 1206 4294967295 134512640 134714508 3221221776 3221220088 1074146097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1206 1111 63 0 1828 0
vsize: 7564
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 421626 0 0 0 28842 1157 0 0 25 0 1 0 751148518 7745536 1206 4294967295 134512640 134714508 3221221776 3221220072 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1206 1111 63 0 1828 0
vsize: 7564
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 438231 0 0 0 29795 1205 0 0 25 0 1 0 751148518 7753728 1210 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 1213 1111 63 0 1932 0
vsize: 7572
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 455954 0 0 0 30744 1256 0 0 25 0 1 0 751148518 7745536 1208 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1208 1111 63 0 1828 0
vsize: 7564
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 476191 0 0 0 31690 1310 0 0 25 0 1 0 751148518 7811072 1216 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2009 1219 1111 63 0 1946 0
vsize: 7628
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 492520 0 0 0 32646 1355 0 0 25 0 1 0 751148518 7745536 1208 4294967295 134512640 134714508 3221221776 3221220176 1074119078 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1208 1111 63 0 1828 0
vsize: 7564
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 510854 0 0 0 33596 1404 0 0 25 0 1 0 751148518 7741440 1207 4294967295 134512640 134714508 3221221776 3221220176 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1890 1207 1111 63 0 1827 0
vsize: 7560
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 532359 0 0 0 34535 1465 0 0 25 0 1 0 751148518 7761920 1207 4294967295 134512640 134714508 3221221776 3221220112 1074143361 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1895 1207 1111 63 0 1832 0
vsize: 7580
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 554021 0 0 0 35474 1527 0 0 25 0 1 0 751148518 8114176 1223 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1981 1223 1111 63 0 1918 0
vsize: 7924
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 574689 0 0 0 36418 1583 0 0 25 0 1 0 751148518 7733248 1205 4294967295 134512640 134714508 3221221776 3221220052 1077374543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1888 1205 1111 63 0 1825 0
vsize: 7552
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 593173 0 0 0 37367 1634 0 0 25 0 1 0 751148518 7737344 1206 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1889 1206 1111 63 0 1826 0
vsize: 7556
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 611299 0 0 0 38314 1687 0 0 25 0 1 0 751148518 7798784 1221 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1904 1221 1111 63 0 1841 0
vsize: 7616
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 626474 0 0 0 39272 1729 0 0 25 0 1 0 751148518 7798784 1221 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1904 1221 1111 63 0 1841 0
vsize: 7616
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 641838 0 0 0 40229 1773 0 0 25 0 1 0 751148518 8216576 1224 4294967295 134512640 134714508 3221221776 3221218432 1075966477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1904 1221 1111 63 0 1841 0
vsize: 8024
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 661153 0 0 0 41174 1827 0 0 25 0 1 0 751148518 7733248 1205 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1888 1205 1111 63 0 1825 0
vsize: 7552
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 683353 0 0 0 42113 1889 0 0 25 0 1 0 751148518 7737344 1205 4294967295 134512640 134714508 3221221776 3221219908 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1889 1205 1111 63 0 1826 0
vsize: 7556
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 704746 0 0 0 43057 1945 0 0 25 0 1 0 751148518 7737344 1205 4294967295 134512640 134714508 3221221776 3221219704 1077377291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1889 1205 1111 63 0 1826 0
vsize: 7556
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 727190 0 0 0 43992 2010 0 0 25 0 1 0 751148518 7733248 1205 4294967295 134512640 134714508 3221221776 3221220088 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1888 1205 1111 63 0 1825 0
vsize: 7552
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 743580 0 0 0 44944 2058 0 0 25 0 1 0 751148518 7827456 1214 4294967295 134512640 134714508 3221221776 3221219916 1077374624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1911 1214 1111 63 0 1848 0
vsize: 7644
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 760064 0 0 0 45895 2107 0 0 25 0 1 0 751148518 7790592 1219 4294967295 134512640 134714508 3221221776 3221220176 1074118808 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1902 1219 1111 63 0 1839 0
vsize: 7608
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 776650 0 0 0 46848 2154 0 0 25 0 1 0 751148518 7790592 1219 4294967295 134512640 134714508 3221221776 3221219776 1074918304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1902 1219 1111 63 0 1839 0
vsize: 7608
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 793794 0 0 0 47800 2202 0 0 25 0 1 0 751148518 7790592 1219 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1902 1219 1111 63 0 1839 0
vsize: 7608
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 812534 0 0 0 48748 2255 0 0 25 0 1 0 751148518 7790592 1219 4294967295 134512640 134714508 3221221776 3221219524 1077374195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1902 1219 1111 63 0 1839 0
vsize: 7608
[startup+520.103 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 790
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 830845 0 0 0 49707 2305 0 0 25 0 1 0 751148518 7790592 1219 4294967295 134512640 134714508 3221221776 3221219800 1077380319 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1902 1219 1111 63 0 1839 0
vsize: 7608
[startup+530.105 s]
Raw data (loadavg): 1.15 1.00 0.99 2/58 832
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 848187 0 0 0 50652 2360 0 0 25 0 1 0 751148518 7790592 1219 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1902 1219 1111 63 0 1839 0
vsize: 7608
[startup+540.3 s]
Raw data (loadavg): 1.20 1.02 0.99 3/58 836
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 867542 0 0 0 51620 2411 0 0 25 0 1 0 751148518 7790592 1219 4294967295 134512640 134714508 3221221776 3221220468 134558543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1902 1219 1111 63 0 1839 0
vsize: 7608
[startup+550.436 s]
Raw data (loadavg): 1.41 1.07 1.01 3/58 844
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 889212 0 0 0 52580 2465 0 0 25 0 1 0 751148518 7790592 1219 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1902 1219 1111 63 0 1839 0
vsize: 7608
[startup+560.437 s]
Raw data (loadavg): 1.34 1.06 1.01 2/55 845
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 906575 0 0 0 53531 2514 0 0 25 0 1 0 751148518 7917568 1243 4294967295 134512640 134714508 3221221776 3221220064 1074143945 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1243 1111 63 0 1870 0
vsize: 7732
[startup+570.437 s]
Raw data (loadavg): 1.29 1.06 1.01 2/55 845
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 921519 0 0 0 54489 2556 0 0 25 0 1 0 751148518 7917568 1243 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1243 1111 63 0 1870 0
vsize: 7732
[startup+580.437 s]
Raw data (loadavg): 1.32 1.08 1.01 2/55 845
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 936492 0 0 0 55445 2600 0 0 25 0 1 0 751148518 8335360 1246 4294967295 134512640 134714508 3221221776 3221218816 1075971420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1243 1111 63 0 1870 0
vsize: 8140
[startup+590.437 s]
Raw data (loadavg): 1.27 1.07 1.01 2/55 845
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 951237 0 0 0 56401 2645 0 0 25 0 1 0 751148518 7917568 1243 4294967295 134512640 134714508 3221221776 3221220336 134523193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1243 1111 63 0 1870 0
vsize: 7732
[startup+600.437 s]
Raw data (loadavg): 1.23 1.07 1.01 2/55 845
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 966086 0 0 0 57363 2682 0 0 25 0 1 0 751148518 7917568 1243 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1243 1111 63 0 1870 0
vsize: 7732
[startup+610.437 s]
Raw data (loadavg): 1.19 1.07 1.01 2/55 845
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 980942 0 0 0 58320 2725 0 0 25 0 1 0 751148518 7917568 1243 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1243 1111 63 0 1870 0
vsize: 7732
[startup+620.438 s]
Raw data (loadavg): 1.16 1.06 1.01 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 995634 0 0 0 59276 2770 0 0 25 0 1 0 751148518 7917568 1243 4294967295 134512640 134714508 3221221776 3221220004 1077374174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1243 1111 63 0 1870 0
vsize: 7732
[startup+630.438 s]
Raw data (loadavg): 1.14 1.06 1.01 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1010571 0 0 0 60237 2809 0 0 25 0 1 0 751148518 7917568 1243 4294967295 134512640 134714508 3221221776 3221219776 1074056255 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1243 1111 63 0 1870 0
vsize: 7732
[startup+640.438 s]
Raw data (loadavg): 1.11 1.06 1.01 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1025533 0 0 0 61196 2851 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220448 134535795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+650.439 s]
Raw data (loadavg): 1.10 1.06 1.01 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1040532 0 0 0 62154 2893 0 0 25 0 1 0 751148518 8335360 1247 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2035 1252 1111 63 0 1972 0
vsize: 8140
[startup+660.439 s]
Raw data (loadavg): 1.08 1.05 1.01 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1055515 0 0 0 63109 2938 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2035 1247 1111 63 0 1972 0
vsize: 7732
[startup+670.439 s]
Raw data (loadavg): 1.07 1.05 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1070370 0 0 0 64067 2980 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220160 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+680.439 s]
Raw data (loadavg): 1.06 1.05 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1084621 0 0 0 65029 3018 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+690.439 s]
Raw data (loadavg): 1.05 1.05 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1099409 0 0 0 65991 3056 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+700.439 s]
Raw data (loadavg): 1.04 1.05 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1114089 0 0 0 66954 3094 0 0 25 0 1 0 751148518 8335360 1258 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2035 1258 1111 63 0 1972 0
vsize: 8140
[startup+710.439 s]
Raw data (loadavg): 1.03 1.04 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1128766 0 0 0 67916 3132 0 0 25 0 1 0 751148518 8335360 1254 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2035 1257 1111 63 0 1972 0
vsize: 8140
[startup+720.438 s]
Raw data (loadavg): 1.03 1.04 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1143326 0 0 0 68875 3172 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+730.438 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1157480 0 0 0 69840 3208 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221219424 1075818355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+740.438 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1171827 0 0 0 70802 3246 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221219776 1074052329 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+750.438 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1186521 0 0 0 71763 3285 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221219504 1075828201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+760.438 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1201288 0 0 0 72720 3328 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+770.439 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1215655 0 0 0 73683 3366 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220308 134539592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+780.439 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1230250 0 0 0 74645 3404 0 0 25 0 1 0 751148518 8335360 1247 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2035 1247 1111 63 0 1972 0
vsize: 8140
[startup+790.439 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1244702 0 0 0 75605 3444 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220176 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+800.439 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1259131 0 0 0 76566 3483 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+810.44 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1273403 0 0 0 77526 3523 0 0 25 0 1 0 751148518 8335360 1259 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2035 1259 1111 63 0 1972 0
vsize: 8140
[startup+820.44 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1287589 0 0 0 78484 3565 0 0 25 0 1 0 751148518 8335360 1247 4294967295 134512640 134714508 3221221776 3221218760 1074831820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 8140
[startup+830.44 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1301776 0 0 0 79442 3607 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220368 134613451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+840.441 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1315931 0 0 0 80404 3646 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220140 1074064528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+850.44 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 847
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1330115 0 0 0 81366 3684 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+860.441 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1344288 0 0 0 82328 3722 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2035 1247 1111 63 0 1972 0
vsize: 7732
[startup+870.44 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1357986 0 0 0 83290 3760 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220448 134650213 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+880.441 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1372029 0 0 0 84253 3797 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221219424 1075818355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+890.442 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1386296 0 0 0 85212 3838 0 0 25 0 1 0 751148518 8335360 1256 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2035 1256 1111 63 0 1972 0
vsize: 8140
[startup+900.441 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1400492 0 0 0 86174 3877 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221219960 1077377311 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+910.442 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1414721 0 0 0 87135 3916 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220020 1077378716 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+920.442 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1428946 0 0 0 88097 3954 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220304 134537710 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+930.443 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1442876 0 0 0 89057 3994 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+940.443 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1457084 0 0 0 90018 4033 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+950.443 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1471379 0 0 0 90980 4072 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+960.444 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1485775 0 0 0 91941 4111 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220056 1073986673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+970.444 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1500214 0 0 0 92898 4154 0 0 25 0 1 0 751148518 8126464 1245 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2035 1247 1111 63 0 1972 0
vsize: 7936
[startup+980.445 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1514386 0 0 0 93861 4191 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+990.444 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1528521 0 0 0 94822 4231 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1000.44 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1543174 0 0 0 95784 4269 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220512 134529033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1010.44 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1557305 0 0 0 96747 4306 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220296 1077377300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1020.45 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1571584 0 0 0 97708 4345 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220476 134535534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1030.45 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1586167 0 0 0 98667 4386 0 0 25 0 1 0 751148518 8335360 1246 4294967295 134512640 134714508 3221221776 3221218668 1077387418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2035 1247 1111 63 0 1972 0
vsize: 8140
[startup+1040.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1600781 0 0 0 99623 4430 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221219696 1075799635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1050.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1615622 0 0 0 100586 4468 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221219936 1073986813 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1060.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1630327 0 0 0 101544 4509 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221219912 1077410265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1070.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1644982 0 0 0 102502 4552 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1080.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1659018 0 0 0 103469 4585 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1090.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1673393 0 0 0 104431 4623 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2035 1247 1111 63 0 1972 0
vsize: 7732
[startup+1100.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1687416 0 0 0 105392 4662 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1110.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1701663 0 0 0 106356 4699 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1120.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1715929 0 0 0 107313 4742 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1130.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1730344 0 0 0 108276 4779 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220128 1074153466 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1140.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1744798 0 0 0 109235 4820 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220424 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1150.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1758967 0 0 0 110194 4861 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220176 1074118823 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1160.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1773073 0 0 0 111155 4901 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221219776 1074056237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1170.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1787655 0 0 0 112117 4939 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 7732
[startup+1174.92 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 849
Raw data (stat): 790 (bsolo_lpr) R 789 7876 7672 0 -1 0 1787655 0 0 0 112117 4939 0 0 25 0 1 0 751148518 7917568 1244 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1244 1111 63 0 1870 0
vsize: 0

Child status: 10
Real time (s): 1174.92
CPU time (s): 1175.03
CPU user time (s): 1125.46
CPU system time (s): 49.5675
CPU usage (%): 100.01
Max. virtual memory (Kb): 8140
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	21
#### END VERIFIER DATA ####