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:98.opb
MD5SUM	ac510382bae6003fe0373ad32fd0064f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5
Optimality of the best value was proved	NO
Number of terms in the objective function	411
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	1129
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	1129
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.03584
Number of variables	411
Total number of constraints	887
Number of constraints which are clauses	387
Number of constraints which are cardinality constraints (but not clauses)	500
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 24977

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 13:12:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3304 boxname=wulflinc31 idbench=368 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ac510382bae6003fe0373ad32fd0064f  /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:98.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.95:98.opb
IDLAUNCH: 3304
/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:        813060 kB
Buffers:         41464 kB
Cached:         158428 kB
SwapCached:       1932 kB
Active:         162632 kB
Inactive:        40452 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        812808 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:            1232 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12840 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 13:31:47 (client local time) WITH STATUS 10 IN 1175.03 SECONDS
stats: 3304 0 1175.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 411 variables and 477 constraints.
c After prepocess the problem consists of 410 variables and 492 constraints.
c preprocess terminated 0.258 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.27825
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 148 @ 12.61
c NEW SOLUTION FOUND: 145 @ 12.628
c NEW SOLUTION FOUND: 144 @ 12.696
c NEW SOLUTION FOUND: 143 @ 12.703
c NEW SOLUTION FOUND: 142 @ 12.767
c NEW SOLUTION FOUND: 141 @ 12.915
c NEW SOLUTION FOUND: 140 @ 12.942
c NEW SOLUTION FOUND: 139 @ 12.965
c NEW SOLUTION FOUND: 136 @ 13.133
c NEW SOLUTION FOUND: 135 @ 13.163
c NEW SOLUTION FOUND: 134 @ 13.201
c NEW SOLUTION FOUND: 133 @ 13.231
c NEW SOLUTION FOUND: 132 @ 13.501
c NEW SOLUTION FOUND: 131 @ 13.658
c NEW SOLUTION FOUND: 130 @ 13.933
c NEW SOLUTION FOUND: 129 @ 14.011
c NEW SOLUTION FOUND: 128 @ 14.179
c NEW SOLUTION FOUND: 127 @ 14.367
c NEW SOLUTION FOUND: 126 @ 14.531
c NEW SOLUTION FOUND: 125 @ 14.994
c NEW SOLUTION FOUND: 124 @ 15.072
c NEW SOLUTION FOUND: 123 @ 15.205
c NEW SOLUTION FOUND: 122 @ 15.324
c NEW SOLUTION FOUND: 121 @ 16.362
c NEW SOLUTION FOUND: 120 @ 19.561
c NEW SOLUTION FOUND: 119 @ 19.905
c NEW SOLUTION FOUND: 118 @ 20.813
c NEW SOLUTION FOUND: 117 @ 24.832
c NEW SOLUTION FOUND: 116 @ 31.986
c NEW SOLUTION FOUND: 115 @ 32.108
c NEW SOLUTION FOUND: 114 @ 33.386
c NEW SOLUTION FOUND: 113 @ 37.872
c NEW SOLUTION FOUND: 110 @ 41.259
c NEW SOLUTION FOUND: 109 @ 42.229
c NEW SOLUTION FOUND: 108 @ 42.246
c NEW SOLUTION FOUND: 107 @ 44.361
c NEW SOLUTION FOUND: 106 @ 47.362
c NEW SOLUTION FOUND: 105 @ 47.477
c NEW SOLUTION FOUND: 104 @ 47.523
c NEW SOLUTION FOUND: 103 @ 47.93
c NEW SOLUTION FOUND: 102 @ 48.996
c NEW SOLUTION FOUND: 101 @ 49.071
c NEW SOLUTION FOUND: 100 @ 49.162
c NEW SOLUTION FOUND: 99 @ 49.855
c NEW SOLUTION FOUND: 98 @ 49.97
c NEW SOLUTION FOUND: 97 @ 51.504
c NEW SOLUTION FOUND: 96 @ 53.853
c NEW SOLUTION FOUND: 95 @ 54.226
c NEW SOLUTION FOUND: 94 @ 57.955
c NEW SOLUTION FOUND: 93 @ 58.059
c NEW SOLUTION FOUND: 92 @ 58.139
c NEW SOLUTION FOUND: 91 @ 58.675
c NEW SOLUTION FOUND: 90 @ 58.751
c NEW SOLUTION FOUND: 89 @ 59.997
c NEW SOLUTION FOUND: 88 @ 62.589
c NEW SOLUTION FOUND: 87 @ 64.608
c NEW SOLUTION FOUND: 86 @ 68.857
c NEW SOLUTION FOUND: 85 @ 69.566
c NEW SOLUTION FOUND: 84 @ 70.528
c NEW SOLUTION FOUND: 83 @ 70.735
c NEW SOLUTION FOUND: 82 @ 72.912
c NEW SOLUTION FOUND: 81 @ 78.792
c NEW SOLUTION FOUND: 80 @ 88.849
c NEW SOLUTION FOUND: 79 @ 90.396
c NEW SOLUTION FOUND: 78 @ 93.312
c NEW SOLUTION FOUND: 77 @ 103.35
c NEW SOLUTION FOUND: 76 @ 119.16
c NEW SOLUTION FOUND: 75 @ 168.907
c NEW SOLUTION FOUND: 74 @ 170.595
c NEW SOLUTION FOUND: 73 @ 179.367
c NEW SOLUTION FOUND: 72 @ 227.672
c NEW SOLUTION FOUND: 71 @ 253.24
c NEW SOLUTION FOUND: 70 @ 327.437
c NEW SOLUTION FOUND: 69 @ 364.303
c NEW SOLUTION FOUND: 68 @ 504.816
c NEW SOLUTION FOUND: 67 @ 606.07
c NEW SOLUTION FOUND: 66 @ 744.471
c NEW SOLUTION FOUND: 65 @ 745.15
c NEW SOLUTION FOUND: 64 @ 745.157
c NEW SOLUTION FOUND: 63 @ 745.934
c NEW SOLUTION FOUND: 62 @ 756.372
c NEW SOLUTION FOUND: 61 @ 842.832
c NEW SOLUTION FOUND: 60 @ 862.29
c NEW SOLUTION FOUND: 59 @ 883.556
s SATISFIABLE
v v294 -v230 v205 -v190 v138 v293 -v210 v191 v142 v358 -v301 v278 -v234 -v209 v195 v295 -v232 v194 v357 -v296 v212 v192 -v118 -v361 -v297 -v233 v213 v193 -v179 v82 v237 -v216 -v178 v163 -v117 v81 -v362 -v214 v121 v83 -v215 -v180 v162 v84 v183 v167 -v122 v85 -v304 -v274 -v229 v189 v137 -v305 v204 v188 v141 -v384 -v300 v277 -v235 v206 -v199 -v211 v359 -v312 -v298 v238 v208 v36 -v363 v316 v236 -v217 -v174 -v173 -v119 v123 v365 -v181 v164 -v88 v366 v182 v166 -v89 -v380 -v302 -v273 v227 -v202 v139 -v353 v231 -v203 v143 -v383 -v352 v279 v228 -v198 -v32 v239 v207 v113 v360 -v311 -v299 -v225 -v196 -v145 v112 v35 -v364 v315 -v221 -v158 -v146 v368 -v282 -v220 -v157 v120 -v87 v367 -v175 v124 -v86 -v341 -v176 v165 -v125 -v70 v177 v168 -v126 -v74 v379 -v303 v275 -v200 v140 v226 v144 v396 -v385 v280 v247 -v222 -v148 -v31 -v400 -v354 v243 -v224 -v147 v355 -v313 -v283 v242 -v197 v37 -v7 v356 v317 -v281 v114 v11 -v388 -v372 -v337 -v218 v115 v100 v159 v116 -v340 v319 -v219 -v186 v160 -v130 -v69 v40 v320 -v187 v161 -v73 v381 v271 -v244 -v201 -v136 v27 -v307 v276 -v246 -v223 v135 v395 -v386 -v306 v272 v152 -v33 -v399 v284 -v389 -v375 -v314 v240 -v96 v38 -v6 -v387 -v376 v318 v10 -v371 -v336 v322 -v241 -v185 -v133 v99 v41 v321 -v184 -v134 v39 -v369 -v342 -v254 -v171 -v129 -v71 -v258 v172 -v75 -v378 -v264 -v245 -v155 v382 v270 -v156 v26 v397 -v374 -v292 -v151 v28 -v401 -v390 -v373 -v308 v288 -v34 -v332 -v309 v287 -v149 -v132 -v95 v30 v8 v310 -v131 -v65 v42 v12 -v403 v338 -v326 -v170 v101 -v64 -v404 -v169 -v370 -v343 -v253 -v127 -v72 -v60 -v14 -v257 v76 -v15 -v289 v263 -v153 v377 -v291 -v2 v398 -v91 -v1 -v402 -v394 v29 v406 -v393 -v329 -v285 -v150 -v97 v50 v9 v405 -v331 -v330 v46 v13 -v333 -v325 -v286 v102 -v56 -v45 -v17 v339 v66 -v16 v335 -v323 -v255 -v128 -v103 v67 v59 v344 -v259 -v104 v68 -v290 v265 -v154 -v328 -v47 -v327 v90 -v49 v3 v410 -v391 -v267 v92 v4 -v249 v98 v5 -v392 -v248 v94 v55 -v43 v21 v334 -v105 v351 -v324 -v256 v79 v61 -v44 v347 -v260 v80 -v48 v268 -v266 -v409 v53 v24 v93 v25 -v407 v348 v111 -v78 v57 -v20 v350 -v250 v108 -v77 -v251 v106 v62 -v18 -v345 v252 v269 -v23 v22 v110 v349 v109 v52 -v408 v51 v58 -v262 v107 v54 -v19 -v346 v261 v63 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.99 1.00 1.00 2/55 2532
Raw data (stat): 2532 (runsolver) R 2531 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 752713479 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 4066 0 0 0 984 11 0 0 25 0 1 0 752713479 7069696 956 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1726 956 1111 63 0 1663 0
vsize: 6904
[startup+20.0016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 17358 0 0 0 1939 56 0 0 25 0 1 0 752713479 7110656 1004 4294967295 134512640 134714508 3221221776 3221218620 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1736 1004 1111 63 0 1673 0
vsize: 6944
[startup+30.0015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 31069 0 0 0 2888 107 0 0 25 0 1 0 752713479 6914048 1004 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1688 1004 1111 63 0 1625 0
vsize: 6752
[startup+40.0015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 50170 0 0 0 3830 166 0 0 25 0 1 0 752713479 6995968 1017 4294967295 134512640 134714508 3221221776 3221219776 1074913466 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1708 1017 1111 63 0 1645 0
vsize: 6832
[startup+50.0018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 62712 0 0 0 4790 206 0 0 25 0 1 0 752713479 6995968 1017 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1708 1017 1111 63 0 1645 0
vsize: 6832
[startup+60.0023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 76180 0 0 0 5741 254 0 0 25 0 1 0 752713479 6995968 1024 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1708 1024 1111 63 0 1645 0
vsize: 6832
[startup+70.0033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 91985 0 0 0 6693 303 0 0 25 0 1 0 752713479 7036928 1034 4294967295 134512640 134714508 3221221776 3221219808 1075088363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1718 1034 1111 63 0 1655 0
vsize: 6872
[startup+80.0031 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 106469 0 0 0 7652 344 0 0 25 0 1 0 752713479 7073792 1043 4294967295 134512640 134714508 3221221776 3221219504 1075635424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 1043 1111 63 0 1664 0
vsize: 6908
[startup+90.0031 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 120841 0 0 0 8608 389 0 0 25 0 1 0 752713479 7446528 1053 4294967295 134512640 134714508 3221221776 3221218816 1075971404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1818 1053 1111 63 0 1755 0
vsize: 7272
[startup+100.003 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 136993 0 0 0 9559 437 0 0 25 0 1 0 752713479 7446528 1052 4294967295 134512640 134714508 3221221776 3221217740 1074786324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1818 1052 1111 63 0 1755 0
vsize: 7272
[startup+110.004 s]
Raw data (loadavg): 1.12 1.03 1.01 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 151080 0 0 0 10519 477 0 0 25 0 1 0 752713479 7446528 1053 4294967295 134512640 134714508 3221221776 3221217740 1074860611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1818 1053 1111 63 0 1755 0
vsize: 7272
[startup+120.005 s]
Raw data (loadavg): 1.10 1.03 1.01 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 165786 0 0 0 11473 523 0 0 25 0 1 0 752713479 7077888 1044 4294967295 134512640 134714508 3221221776 3221220176 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 1044 1111 63 0 1665 0
vsize: 6912
[startup+130.005 s]
Raw data (loadavg): 1.09 1.03 1.01 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 183931 0 0 0 12423 574 0 0 25 0 1 0 752713479 7086080 1046 4294967295 134512640 134714508 3221221776 3221220156 1074057616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 1046 1111 63 0 1667 0
vsize: 6920
[startup+140.005 s]
Raw data (loadavg): 1.15 1.04 1.01 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 201259 0 0 0 13376 621 0 0 25 0 1 0 752713479 7086080 1046 4294967295 134512640 134714508 3221221776 3221219504 1075635930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 1046 1111 63 0 1667 0
vsize: 6920
[startup+150.005 s]
Raw data (loadavg): 1.13 1.04 1.01 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 216721 0 0 0 14332 665 0 0 25 0 1 0 752713479 7589888 1087 4294967295 134512640 134714508 3221221776 3221218292 1075132451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1853 1087 1111 63 0 1790 0
vsize: 7412
[startup+160.004 s]
Raw data (loadavg): 1.11 1.04 1.01 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 229595 0 0 0 15293 704 0 0 25 0 1 0 752713479 7589888 1081 4294967295 134512640 134714508 3221221776 3221218704 1075960295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1853 1086 1111 63 0 1790 0
vsize: 7412
[startup+170.005 s]
Raw data (loadavg): 1.09 1.04 1.01 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 242009 0 0 0 16254 743 0 0 25 0 1 0 752713479 7217152 1078 4294967295 134512640 134714508 3221221776 3221219720 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1078 1111 63 0 1699 0
vsize: 7048
[startup+180.004 s]
Raw data (loadavg): 1.08 1.04 1.01 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 254705 0 0 0 17214 784 0 0 25 0 1 0 752713479 7217152 1078 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1078 1111 63 0 1699 0
vsize: 7048
[startup+190.005 s]
Raw data (loadavg): 1.06 1.03 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 267518 0 0 0 18171 827 0 0 25 0 1 0 752713479 7589888 1088 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1078 1111 63 0 1699 0
vsize: 7412
[startup+200.005 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 280596 0 0 0 19131 867 0 0 25 0 1 0 752713479 7217152 1078 4294967295 134512640 134714508 3221221776 3221220032 1074063748 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1078 1111 63 0 1699 0
vsize: 7048
[startup+210.005 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 293750 0 0 0 20090 908 0 0 25 0 1 0 752713479 7217152 1078 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1853 1081 1111 63 0 1790 0
vsize: 7048
[startup+220.005 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 307339 0 0 0 21047 951 0 0 25 0 1 0 752713479 7217152 1078 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1078 1111 63 0 1699 0
vsize: 7048
[startup+230.005 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 321504 0 0 0 22004 995 0 0 25 0 1 0 752713479 7217152 1078 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1078 1111 63 0 1699 0
vsize: 7048
[startup+240.006 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 334464 0 0 0 22961 1037 0 0 25 0 1 0 752713479 7589888 1086 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1853 1088 1111 63 0 1790 0
vsize: 7412
[startup+250.006 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 347059 0 0 0 23921 1077 0 0 25 0 1 0 752713479 7217152 1078 4294967295 134512640 134714508 3221221776 3221220384 134538744 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1078 1111 63 0 1699 0
vsize: 7048
[startup+260.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 359956 0 0 0 24878 1121 0 0 25 0 1 0 752713479 7217152 1078 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1078 1111 63 0 1699 0
vsize: 7048
[startup+270.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 372547 0 0 0 25838 1161 0 0 25 0 1 0 752713479 7217152 1078 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1078 1111 63 0 1699 0
vsize: 7048
[startup+280.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 384319 0 0 0 26803 1196 0 0 25 0 1 0 752713479 7217152 1078 4294967295 134512640 134714508 3221221776 3221219704 1073978417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1078 1111 63 0 1699 0
vsize: 7048
[startup+290.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 397637 0 0 0 27764 1236 0 0 25 0 1 0 752713479 7589888 1081 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1853 1083 1111 63 0 1790 0
vsize: 7412
[startup+300.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 410670 0 0 0 28726 1274 0 0 25 0 1 0 752713479 7217152 1078 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1078 1111 63 0 1699 0
vsize: 7048
[startup+310.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 424794 0 0 0 29685 1315 0 0 25 0 1 0 752713479 7217152 1078 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1078 1111 63 0 1699 0
vsize: 7048
[startup+320.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 439544 0 0 0 30640 1360 0 0 25 0 1 0 752713479 7610368 1081 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1078 1111 63 0 1699 0
vsize: 7432
[startup+330.007 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 452798 0 0 0 31598 1402 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1855 1083 1111 63 0 1792 0
vsize: 7056
[startup+340.007 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 466033 0 0 0 32559 1441 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+350.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 480208 0 0 0 33513 1487 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+360.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 492836 0 0 0 34476 1525 0 0 25 0 1 0 752713479 7598080 1086 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1855 1089 1111 63 0 1792 0
vsize: 7420
[startup+370.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 506130 0 0 0 35435 1566 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221219504 1075828218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+380.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 519442 0 0 0 36396 1605 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221219776 1074056223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+390.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 532889 0 0 0 37358 1643 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221219688 1077380184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+400.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 546422 0 0 0 38317 1684 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220348 1074209216 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+410.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 560006 0 0 0 39275 1726 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1855 1083 1111 63 0 1792 0
vsize: 7056
[startup+420.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 574612 0 0 0 40232 1770 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+430.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 589444 0 0 0 41184 1817 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+440.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 604139 0 0 0 42140 1862 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+450.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 619047 0 0 0 43097 1905 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220428 1076533124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+460.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 636490 0 0 0 44042 1961 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+470.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 648873 0 0 0 45008 1994 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+480.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 661573 0 0 0 45967 2035 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1855 1083 1111 63 0 1792 0
vsize: 7056
[startup+490.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 674104 0 0 0 46928 2074 0 0 25 0 1 0 752713479 7598080 1083 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1855 1083 1111 63 0 1792 0
vsize: 7420
[startup+500.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 686259 0 0 0 47889 2114 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220496 134535474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+510.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 698694 0 0 0 48849 2153 0 0 25 0 1 0 752713479 7598080 1086 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1855 1089 1111 63 0 1792 0
vsize: 7420
[startup+520.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 711479 0 0 0 49806 2197 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+530.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 723867 0 0 0 50764 2239 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220176 1074118879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+540.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 736668 0 0 0 51724 2279 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+550.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 749904 0 0 0 52685 2319 0 0 25 0 1 0 752713479 7315456 1080 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7144
[startup+560.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 762937 0 0 0 53643 2361 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+570.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 776006 0 0 0 54606 2398 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220176 1074118861 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+580.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 788837 0 0 0 55565 2440 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+590.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 801791 0 0 0 56524 2480 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+600.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 814410 0 0 0 57483 2521 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220248 1077377331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+610.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 827121 0 0 0 58441 2564 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+620.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 840368 0 0 0 59403 2602 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+630.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 853479 0 0 0 60364 2641 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+640.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 865427 0 0 0 61328 2677 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+650.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 877618 0 0 0 62291 2715 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+660.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 890310 0 0 0 63255 2751 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220160 1074153581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+670.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 903488 0 0 0 64218 2787 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+680.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 916676 0 0 0 65178 2828 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+690.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 929401 0 0 0 66140 2866 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221219424 1075818359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+700.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 943270 0 0 0 67101 2905 0 0 25 0 1 0 752713479 7598080 1081 4294967295 134512640 134714508 3221221776 3221218668 1077387418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1855 1083 1111 63 0 1792 0
vsize: 7420
[startup+710.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 955878 0 0 0 68065 2942 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221219932 1074859524 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+720.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 969339 0 0 0 69024 2983 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220416 134649077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+730.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 982883 0 0 0 69983 3024 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+740.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 998225 0 0 0 70940 3067 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220176 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+750.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1012322 0 0 0 71898 3109 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220108 1073978416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+760.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1025174 0 0 0 72859 3147 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221219180 1073988720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1038343 0 0 0 73817 3189 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220304 134540422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+780.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1051796 0 0 0 74774 3232 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1855 1083 1111 63 0 1792 0
vsize: 7056
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1065230 0 0 0 75734 3273 0 0 25 0 1 0 752713479 7598080 1088 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1855 1089 1111 63 0 1792 0
vsize: 7420
[startup+800.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1078560 0 0 0 76694 3312 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1091626 0 0 0 77658 3348 0 0 25 0 1 0 752713479 7598080 1085 4294967295 134512640 134714508 3221221776 3221217920 1074970499 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7420
[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1104792 0 0 0 78620 3387 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+830.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1117987 0 0 0 79582 3426 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1131811 0 0 0 80540 3468 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1145613 0 0 0 81500 3507 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220092 1074205872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+860.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1159725 0 0 0 82461 3546 0 0 25 0 1 0 752713479 7598080 1083 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1855 1085 1111 63 0 1792 0
vsize: 7420
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1173529 0 0 0 83419 3589 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220080 1074146248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1187202 0 0 0 84376 3632 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+890.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1200802 0 0 0 85339 3669 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221219864 1077378142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+900.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1214433 0 0 0 86299 3709 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+910.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1227991 0 0 0 87260 3749 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1855 1083 1111 63 0 1792 0
vsize: 7056
[startup+920.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1240951 0 0 0 88221 3788 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+930.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1253685 0 0 0 89183 3826 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221219440 1076999584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+940.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1266880 0 0 0 90146 3863 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1281061 0 0 0 91103 3906 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+960.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1295162 0 0 0 92059 3950 0 0 25 0 1 0 752713479 7225344 1080 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 1080 1111 63 0 1701 0
vsize: 7056
[startup+970.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1309309 0 0 0 93015 3994 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1322556 0 0 0 93975 4035 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+990.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1335986 0 0 0 94934 4076 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1349302 0 0 0 95895 4115 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1362723 0 0 0 96855 4156 0 0 25 0 1 0 752713479 7643136 1094 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1866 1094 1111 63 0 1803 0
vsize: 7464
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1376193 0 0 0 97814 4197 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1390069 0 0 0 98773 4238 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220624 134588477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1403495 0 0 0 99731 4280 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1416827 0 0 0 100689 4323 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1430296 0 0 0 101648 4364 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220128 1074142856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1443801 0 0 0 102605 4407 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1866 1094 1111 63 0 1803 0
vsize: 7100
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1457581 0 0 0 103563 4449 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220208 1073990240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1471637 0 0 0 104524 4488 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1484804 0 0 0 105481 4532 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1498379 0 0 0 106439 4573 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1512358 0 0 0 107401 4612 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1526801 0 0 0 108355 4658 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220028 1074137744 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1541115 0 0 0 109314 4698 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221219916 1077404753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1555499 0 0 0 110270 4743 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221219996 1077378561 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1570203 0 0 0 111229 4785 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1584932 0 0 0 112188 4825 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221219664 1074050966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 7100
[startup+1174.92 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2532
Raw data (stat): 2532 (bsolo_lpr) R 2531 7876 7672 0 -1 0 1584932 0 0 0 112188 4825 0 0 25 0 1 0 752713479 7270400 1091 4294967295 134512640 134714508 3221221776 3221219664 1074050966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1775 1091 1111 63 0 1712 0
vsize: 0

Child status: 10
Real time (s): 1174.92
CPU time (s): 1175.03
CPU user time (s): 1126.6
CPU system time (s): 48.4386
CPU usage (%): 100.009
Max. virtual memory (Kb): 7464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	59
#### END VERIFIER DATA ####