PB'05 competition: run trace

Some explanations

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

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        826552 kB
Buffers:         34076 kB
Cached:         151340 kB
SwapCached:        700 kB
Active:          72908 kB
Inactive:       114624 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        826300 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            14900 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 01:17:08 (client local time) WITH STATUS 10 IN 1200.36 SECONDS
stats: 25356 0 1200.36 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 92
c small objective detected
c CONFLICT during preprocess 
c [startup+2.66351 s]  setting bit 8 to 0
c CONFLICT during preprocess 
c [startup+2.7524 s]  setting bit 7 to 0

c Decision: 10789/29730	Time: 30.0694/86400
c Decision: 10789/29730	Time: 32.953/86400
c Decision: 10789/29730	Time: 36.0195/86400
c Decision: 10789/29730	Time: 39.213/86400
c Decision: 10894/29730	Time: 44.0503/86400
c Decision: 10894/29730	Time: 46.8859/86400
c Decision: 10894/29730	Time: 49.8614/86400
c Decision: 10894/29730	Time: 53.5559/86400
c Decision: 10894/29730	Time: 57.2263/86400
c Decision: 10894/29730	Time: 60.5818/86400
c Decision: 10894/29730	Time: 64.3042/86400
c Decision: 10894/29730	Time: 68.0856/86400
c Decision: 10894/29730	Time: 71.8281/86400
c Decision: 10894/29730	Time: 75.3565/86400
c Decision: 10894/29730	Time: 79.033/86400
c Decision: 10894/29730	Time: 82.8414/86400
c Decision: 10894/29730	Time: 86.9708/86400
c Decision: 10894/29730	Time: 90.7492/86400
c Decision: 10894/29730	Time: 94.5376/86400
c Decision: 10894/29730	Time: 98.825/86400
c Decision: 10894/29730	Time: 102.995/86400
c Decision: 10894/29730	Time: 106.784/86400
c Decision: 10894/29730	Time: 110.704/86400
c Decision: 10894/29730	Time: 114.783/86400
c Decision: 10894/29730	Time: 118.922/86400
c Decision: 10894/29730	Time: 122.893/86400
c Decision: 10894/29730	Time: 127.269/86400
c Decision: 10894/29730	Time: 131.249/86400
c Decision: 10894/29730	Time: 135.363/86400
c Decision: 10894/29730	Time: 139.423/86400
c Decision: 10894/29730	Time: 143.012/86400
c Decision: 10894/29730	Time: 147.141/86400
c Decision: 10898/29730	Time: 154.806/86400
c Decision: 10898/29730	Time: 158.819/86400
c Decision: 10898/29730	Time: 162.718/86400
c Decision: 10898/29730	Time: 167.184/86400
c Decision: 10898/29730	Time: 171.881/86400
c Decision: 10898/29730	Time: 175.936/86400
c Decision: 10898/29730	Time: 180.523/86400
c Decision: 10898/29730	Time: 184.876/86400
c Decision: 10898/29730	Time: 189.739/86400
c Decision: 10899/29730	Time: 195.048/86400
c Decision: 10899/29730	Time: 199.274/86400
c Decision: 10899/29730	Time: 203.064/86400
c Decision: 10899/29730	Time: 208.127/86400
c Decision: 10899/29730	Time: 212.153/86400
c Decision: 10899/29730	Time: 217.174/86400
c Decision: 11236/29730	Time: 224.238/86400
c Decision: 11236/29730	Time: 229.061/86400
c Decision: 11236/29730	Time: 233.937/86400
c Decision: 11236/29730	Time: 238.218/86400
c Decision: 11236/29730	Time: 243.312/86400
c Decision: 11236/29730	Time: 248.515/86400
c Decision: 11237/29730	Time: 255.349/86400
c Decision: 11237/29730	Time: 260.979/86400
c Decision: 11237/29730	Time: 266.645/86400
c Decision: 11237/29730	Time: 271.197/86400
c Decision: 11237/29730	Time: 275.328/86400
c Decision: 11237/29730	Time: 280.467/86400
c Decision: 11237/29730	Time: 285.32/86400
c Decision: 11237/29730	Time: 290.724/86400
c Decision: 11237/29730	Time: 295.644/86400
c Decision: 11251/29730	Time: 304.925/86400
c Decision: 11252/29730	Time: 314.713/86400
c Decision: 11252/29730	Time: 319.278/86400
c Decision: 11252/29730	Time: 324.242/86400
c Decision: 11252/29730	Time: 328.681/86400
c Decision: 11252/29730	Time: 333.736/86400
c Decision: 11254/29730	Time: 338.794/86400
c Decision: 11254/29730	Time: 344.258/86400
c Decision: 11354/29730	Time: 350.898/86400
c Decision: 11354/29730	Time: 356.278/86400
c Decision: 11354/29730	Time: 361.301/86400
c Decision: 11357/29730	Time: 370.522/86400
c Decision: 11382/29730	Time: 377.321/86400
c Decision: 11382/29730	Time: 382.632/86400
c [startup+398.764 s]  setting bit 6 to 0

c Decision: 6503/29730	Time: 27.3828/86400
c Decision: 6503/29730	Time: 30.4294/86400
c Decision: 6503/29730	Time: 32.755/86400
c Decision: 6503/29730	Time: 35.7176/86400
c Decision: 6503/29730	Time: 38.2672/86400
c Decision: 6503/29730	Time: 41.3667/86400
c Decision: 6503/29730	Time: 43.6104/86400
c Decision: 6503/29730	Time: 46.5699/86400
c Decision: 6503/29730	Time: 49.9824/86400
c Decision: 6503/29730	Time: 52.762/86400
c Decision: 6503/29730	Time: 56.2155/86400
c Decision: 6503/29730	Time: 59.174/86400
c Decision: 6503/29730	Time: 62.0546/86400
c Decision: 6503/29730	Time: 65.649/86400
c Decision: 6503/29730	Time: 69.0145/86400
c Decision: 6503/29730	Time: 72.8509/86400
c Decision: 6503/29730	Time: 76.7293/86400
c Decision: 6503/29730	Time: 79.6349/86400
c Decision: 6503/29730	Time: 83.0964/86400
c Decision: 6503/29730	Time: 85.737/86400
c Decision: 6503/29730	Time: 88.9815/86400
c Decision: 6503/29730	Time: 91.6021/86400
c Decision: 6503/29730	Time: 94.7736/86400
c Decision: 6503/29730	Time: 98.368/86400
c Decision: 6503/29730	Time: 101.387/86400
c Decision: 6503/29730	Time: 105.131/86400
c Decision: 6503/29730	Time: 108.804/86400
c Decision: 6503/29730	Time: 112.164/86400
c Decision: 6503/29730	Time: 115.891/86400
c Decision: 6503/29730	Time: 119.977/86400
c Decision: 6503/29730	Time: 124.464/86400
c Decision: 6503/29730	Time: 127.69/86400
c Decision: 6503/29730	Time: 130.929/86400
c Decision: 6503/29730	Time: 134.795/86400
c Decision: 6503/29730	Time: 138.905/86400
c Decision: 6503/29730	Time: 143.174/86400
c Decision: 6503/29730	Time: 147.022/86400
c Decision: 6503/29730	Time: 150.402/86400
c Decision: 6503/29730	Time: 153.802/86400
c Decision: 6503/29730	Time: 157.826/86400
c Decision: 6503/29730	Time: 161.699/86400
c Decision: 6503/29730	Time: 165.397/86400
c Decision: 6503/29730	Time: 168.345/86400
c Decision: 6503/29730	Time: 172.116/86400
c Decision: 6503/29730	Time: 175.994/86400
c Decision: 6503/29730	Time: 180.442/86400
c Decision: 6503/29730	Time: 184.814/86400
c Decision: 6503/29730	Time: 188.002/86400
c Decision: 6503/29730	Time: 192.252/86400
c Decision: 6503/29730	Time: 196.269/86400
c Decision: 6503/29730	Time: 201.118/86400
c Decision: 6503/29730	Time: 205.483/86400
c Decision: 6503/29730	Time: 209.624/86400
c Decision: 6503/29730	Time: 213.699/86400
c Decision: 6503/29730	Time: 217.347/86400
c Decision: 6503/29730	Time: 221.718/86400
c Decision: 6503/29730	Time: 225.637/86400
c Decision: 6503/29730	Time: 229.51/86400
c Decision: 6503/29730	Time: 233.288/86400
c Decision: 6503/29730	Time: 236.486/86400
c Decision: 6503/29730	Time: 240.95/86400
c Decision: 6503/29730	Time: 245.329/86400
c Decision: 6503/29730	Time: 249.202/86400
c Decision: 6503/29730	Time: 253.356/86400
c Decision: 6503/29730	Time: 257.695/86400
c Decision: 6503/29730	Time: 262.533/86400
c Decision: 6503/29730	Time: 266.796/86400
c Decision: 6503/29730	Time: 270.626/86400
c Decision: 6503/29730	Time: 274.768/86400
c Decision: 6503/29730	Time: 279.14/86400
c Decision: 6503/29730	Time: 283.443/86400
c Decision: 6503/29730	Time: 287.839/86400
c Decision: 6503/29730	Time: 291.996/86400
c Decision: 6503/29730	Time: 295.841/86400
c Decision: 6503/29730	Time: 300.43/86400
c Decision: 6503/29730	Time: 304.691/86400
c Decision: 6503/29730	Time: 308.771/86400
c Decision: 6503/29730	Time: 312.759/86400
c Decision: 6503/29730	Time: 316.677/86400
c Decision: 6503/29730	Time: 320.85/86400
c Decision: 6503/29730	Time: 325.231/86400
c Decision: 6503/29730	Time: 329.298/86400
c Decision: 6503/29730	Time: 333.335/86400
c Decision: 6503/29730	Time: 337.569/86400
c Decision: 6503/29730	Time: 342.24/86400
c Decision: 6503/29730	Time: 347.007/86400
c Decision: 6503/29730	Time: 351.637/86400
c Decision: 6503/29730	Time: 356.301/86400
c Decision: 6503/29730	Time: 361.092/86400
c Decision: 6503/29730	Time: 365.367/86400
c Decision: 6503/29730	Time: 370.283/86400
c Decision: 6503/29730	Time: 375.092/86400
c Decision: 6503/29730	Time: 378.803/86400
c Decision: 6503/29730	Time: 383.895/86400
c Decision: 6503/29730	Time: 387.562/86400
c Decision: 6503/29730	Time: 392.272/86400
c Decision: 6503/29730	Time: 396.63/86400
c Decision: 6503/29730	Time: 401.06/86400
c Decision: 6503/29730	Time: 405.437/86400
c Decision: 6503/29730	Time: 410.231/86400
c Decision: 6503/29730	Time: 415.214/86400
c Decision: 6503/29730	Time: 419.451/86400
c Decision: 6503/29730	Time: 424.228/86400
c Decision: 6503/29730	Time: 428.947/86400
c Decision: 6503/29730	Time: 433.451/86400
c Decision: 6503/29730	Time: 438.876/86400
c Decision: 6503/29730	Time: 443.229/86400
c Decision: 6503/29730	Time: 448.489/86400
c Decision: 6503/29730	Time: 453.494/86400
c Decision: 6503/29730	Time: 458.037/86400
c Decision: 6503/29730	Time: 462.361/86400
c Decision: 6503/29730	Time: 467.007/86400
c Decision: 6503/29730	Time: 470.2/86400
c Decision: 6503/29730	Time: 474.837/86400
c Decision: 6503/29730	Time: 479.375/86400
c Decision: 6503/29730	Time: 484.336/86400
c Decision: 6503/29730	Time: 488.947/86400
c Decision: 6503/29730	Time: 493.846/86400
c Decision: 6503/29730	Time: 497.946/86400
c Decision: 6503/29730	Time: 501.58/86400
c Decision: 6503/29730	Time: 507.011/86400
c Decision: 6503/29730	Time: 512.284/86400
c Decision: 6503/29730	Time: 516.976/86400
c Decision: 6503/29730	Time: 521.331/86400
c Decision: 6503/29730	Time: 525.447/86400
c Decision: 6503/29730	Time: 530.897/86400
c Decision: 6503/29730	Time: 535.641/86400
c Decision: 6503/29730	Time: 540.54/86400
c Decision: 6503/29730	Time: 546.009/86400
c Decision: 6503/29730	Time: 550.536/86400
c Decision: 6503/29730	Time: 555.809/86400
c Decision: 6503/29730	Time: 559.963/86400
c Decision: 6503/29730	Time: 564.664/86400
c Decision: 6503/29730	Time: 569.434/86400
c Decision: 6503/29730	Time: 574.236/86400
c Decision: 6503/29730	Time: 580.057/86400
c Decision: 6503/29730	Time: 585.353/86400
c Decision: 6503/29730	Time: 590.768/86400
c Decision: 6503/29730	Time: 595.609/86400
c Decision: 6503/29730	Time: 599.386/86400
c Decision: 6503/29730	Time: 604.889/86400
c Decision: 6503/29730	Time: 609.921/86400
c Decision: 6503/29730	Time: 614.596/86400
c Decision: 6503/29730	Time: 618.857/86400
c Decision: 6503/29730	Time: 624.682/86400
c Decision: 6503/29730	Time: 630.258/86400
c Decision: 6503/29730	Time: 635.735/86400
c Decision: 6503/29730	Time: 641.19/86400
c Decision: 6503/29730	Time: 646.317/86400
c Decision: 6503/29730	Time: 650.745/86400
c Decision: 6503/29730	Time: 657.224/86400
c Decision: 6503/29730	Time: 662.639/86400
c Decision: 6503/29730	Time: 667.911/86400
c Decision: 6503/29730	Time: 673.641/86400
c Decision: 6503/29730	Time: 678.36/86400
c Decision: 6503/29730	Time: 683.446/86400
c Decision: 6503/29730	Time: 688.753/86400
c Decision: 6503/29730	Time: 692.703/86400
c Decision: 6503/29730	Time: 697.888/86400
c Decision: 6503/29730	Time: 703.736/86400
c Decision: 6503/29730	Time: 710.103/86400
c Decision: 6503/29730	Time: 715.16/86400
c Decision: 6503/29730	Time: 720.555/86400
c Decision: 6503/29730	Time: 726.142/86400
c Decision: 6503/29730	Time: 731.529/86400
c Decision: 6503/29730	Time: 737.497/86400
c Decision: 6503/29730	Time: 742.799/86400
c Decision: 6503/29730	Time: 748.73/86400
c Decision: 6503/29730	Time: 753.912/86400
c Decision: 6503/29730	Time: 759.684/86400
c Decision: 6503/29730	Time: 764.72/86400
c Decision: 6503/29730	Time: 769.691/86400
c Decision: 6503/29730	Time: 775.08/86400
c Decision: 6503/29730	Time: 780.647/86400
c Decision: 6503/29730	Time: 785.212/86400
c Decision: 6503/29730	Time: 791.772/86400
c Decision: 6503/29730	Time: 797.389/86400s SATISFIABLE
v -v1 v10 -v100 -v101 -v102 -v103 -v104 v105 -v106 -v107 -v108 v109 -v11 -v110 -v111 -v112 -v113 -v114 v115 -v116 -v117 -v118 -v119 -v12 -v120 -v121 -v122 -v123 -v124 v125 -v126 -v127 -v128 -v129 -v13 v130 -v131 -v132 -v133 -v134 -v135 -v136 v137 -v138 -v139 -v14 -v140 -v141 v142 -v143 -v144 v145 -v146 -v147 -v148 -v149 -v15 -v150 -v151 -v152 -v153 -v154 v155 -v156 -v157 -v158 v159 -v16 -v160 -v161 -v162 -v163 -v164 v165 -v166 -v167 -v168 -v169 -v17 -v170 -v171 -v172 v173 -v174 v175 -v176 -v177 -v178 -v179 v18 -v180 -v181 v182 -v183 -v184 -v185 -v186 -v187 v188 -v189 -v19 -v190 -v191 -v192 -v193 -v194 v195 -v196 -v197 -v198 -v199 -v2 -v20 -v200 -v201 -v202 -v203 v204 -v205 -v206 v207 -v208 -v209 -v21 -v210 -v211 -v212 -v213 -v214 -v215 v216 v217 -v218 -v219 v22 -v220 -v221 -v222 -v223 v224 -v225 -v226 -v227 -v228 v229 -v23 -v230 -v231 -v232 -v233 -v234 -v235 -v236 -v237 v238 -v239 -v24 -v240 -v241 -v242 -v243 v244 -v245 -v246 -v247 v248 -v249 -v25 -v250 -v251 -v252 -v253 -v254 -v255 v256 -v257 -v258 -v259 -v26 -v260 v261 -v262 -v263 -v264 -v265 -v266 v267 -v268 -v269 -v27 -v270 -v271 -v272 -v273 v274 -v275 -v276 -v277 -v278 -v279 -v28 -v280 v281 -v282 -v283 -v284 -v285 -v286 v287 -v288 -v289 v29 -v290 -v291 -v292 -v293 v294 -v295 v296 -v297 -v298 -v299 -v3 -v30 -v300 -v301 -v302 -v303 v304 -v305 -v306 -v307 -v308 -v309 -v31 v310 -v311 -v312 -v313 v314 -v315 -v316 -v317 -v318 -v319 -v32 -v320 -v321 -v322 -v323 v324 v325 -v326 -v327 -v328 -v329 -v33 -v330 -v331 v332 -v333 -v334 -v335 -v336 -v337 v338 -v339 -v34 -v340 -v341 -v342 v343 -v344 -v345 -v346 -v347 -v348 -v349 -v35 -v350 -v351 -v352 -v353 v354 -v355 -v356 -v357 -v358 -v359 v36 v360 v361 -v362 v363 v364 -v365 v366 -v367 -v368 -v369 -v37 -v370 v371 -v372 -v373 -v374 -v375 -v376 -v377 -v378 -v379 -v38 v380 -v381 -v382 v383 -v384 -v385 v386 -v387 -v388 -v389 v39 -v390 -v391 -v392 -v393 v394 -v395 v396 v397 v398 -v399 -v4 -v40 -v400 -v401 v402 -v403 -v404 -v405 -v406 -v407 -v408 -v409 -v41 v410 -v411 v412 -v413 -v414 -v415 -v416 v417 -v418 -v419 -v42 -v420 -v421 v422 -v423 -v424 -v425 -v426 v427 -v428 -v429 -v43 -v430 v431 -v432 v433 v434 v435 -v436 v437 -v438 -v439 -v44 -v440 -v441 -v442 v443 -v444 -v445 -v446 -v447 v448 -v449 -v45 -v450 -v451 -v452 v453 -v454 -v455 -v456 -v457 v458 -v459 -v46 -v460 -v461 -v462 -v463 -v464 v465 v466 -v467 v468 v469 -v47 -v470 -v471 v472 -v473 -v474 -v475 -v476 -v477 -v478 v479 v48 -v480 -v481 -v482 -v483 v484 -v485 -v486 -v487 -v488 -v489 -v49 v490 -v491 -v492 v493 -v494 -v495 -v496 -v497 -v498 v499 v5 -v50 -v500 v501 v502 v503 -v504 -v505 -v506 -v507 -v508 -v509 v51 v510 -v511 -v512 -v513 -v514 v515 -v516 -v517 -v518 v519 -v52 -v520 -v521 -v522 v523 -v524 -v525 v526 -v527 -v528 -v529 -v53 -v530 -v531 -v532 -v533 -v534 v535 -v536 v537 v538 -v539 -v54 -v540 -v55 -v56 -v57 -v58 v59 -v6 -v60 -v61 -v62 -v63 -v64 v65 -v66 -v67 -v68 -v69 -v7 -v70 -v71 v72 v73 -v74 -v75 -v76 -v77 -v78 -v79 -v8 v80 -v81 -v82 -v83 -v84 -v85 -v86 v87 -v88 -v89 -v9 -v90 -v91 v92 -v93 -v94 -v95 -v96 v97 -v98 -v99 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.95 0.91 1/54 5602
Raw data (stat): 5602 (runsolver) R 5601 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966616075 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.88 0.95 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 4292 0 0 0 988 10 0 0 25 0 1 0 966616075 13295616 2739 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3246 2739 301 301 0 2945 0
vsize: 12984
[startup+20.0002 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 4558 0 0 0 1987 11 0 0 25 0 1 0 966616075 15679488 3005 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3828 3005 301 301 0 3527 0
vsize: 15312
[startup+30.0009 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 4804 0 0 0 2986 12 0 0 25 0 1 0 966616075 15810560 3251 4294967295 134512640 135730672 3221224592 3221223072 134748549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3860 3251 301 301 0 3559 0
vsize: 15440
[startup+40.0003 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 5124 0 0 0 3984 14 0 0 25 0 1 0 966616075 16084992 3394 4294967295 134512640 135730672 3221224592 3221222880 134747711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3927 3394 301 301 0 3626 0
vsize: 15708
[startup+50.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 5473 0 0 0 4983 15 0 0 25 0 1 0 966616075 16220160 3566 4294967295 134512640 135730672 3221224592 3221223040 134734863 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3960 3566 301 301 0 3659 0
vsize: 15840
[startup+60.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 5684 0 0 0 5982 16 0 0 25 0 1 0 966616075 16355328 3600 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3993 3600 301 301 0 3692 0
vsize: 15972
[startup+70.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 5846 0 0 0 6981 17 0 0 25 0 1 0 966616075 16494592 3644 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4027 3644 301 301 0 3726 0
vsize: 16108
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 6129 0 0 0 7979 18 0 0 25 0 1 0 966616075 20824064 3750 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5084 3750 301 301 0 4783 0
vsize: 20336
[startup+90.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 6406 0 0 0 8978 20 0 0 25 0 1 0 966616075 20824064 3850 4294967295 134512640 135730672 3221224592 3221222864 134732784 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5084 3850 301 301 0 4783 0
vsize: 20336
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 6648 0 0 0 9977 21 0 0 25 0 1 0 966616075 20967424 3974 4294967295 134512640 135730672 3221224592 3221222704 134732507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5119 3974 301 301 0 4818 0
vsize: 20476
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 6941 0 0 0 10976 22 0 0 25 0 1 0 966616075 21106688 4090 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5153 4090 301 301 0 4852 0
vsize: 20612
[startup+120.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 7128 0 0 0 11975 23 0 0 25 0 1 0 966616075 21106688 4159 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5153 4159 301 301 0 4852 0
vsize: 20612
[startup+130.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 7407 0 0 0 12974 24 0 0 25 0 1 0 966616075 21483520 4320 4294967295 134512640 135730672 3221224592 3221222536 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5245 4320 301 301 0 4944 0
vsize: 20980
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 8315 0 0 0 13971 28 0 0 25 0 1 0 966616075 24387584 4282 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5954 4282 301 301 0 5653 0
vsize: 23816
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 8520 0 0 0 14971 28 0 0 25 0 1 0 966616075 24514560 4310 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5985 4310 301 301 0 5684 0
vsize: 23940
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 8636 0 0 0 15970 29 0 0 25 0 1 0 966616075 24649728 4367 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6018 4367 301 301 0 5717 0
vsize: 24072
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5602
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 8962 0 0 0 16969 31 0 0 25 0 1 0 966616075 24649728 4516 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6018 4516 301 301 0 5717 0
vsize: 24072
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 5641
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 9104 0 0 0 17968 31 0 0 25 0 1 0 966616075 24797184 4540 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6054 4540 301 301 0 5753 0
vsize: 24216
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5655
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 9243 0 0 0 18968 32 0 0 25 0 1 0 966616075 24797184 4561 4294967295 134512640 135730672 3221224592 3221222976 134763585 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6054 4561 301 301 0 5753 0
vsize: 24216
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5655
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 9516 0 0 0 19967 33 0 0 25 0 1 0 966616075 24936448 4716 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6088 4716 301 301 0 5787 0
vsize: 24352
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5655
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 9758 0 0 0 20966 34 0 0 25 0 1 0 966616075 25071616 4899 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6121 4899 301 301 0 5820 0
vsize: 24484
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5655
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 10059 0 0 0 21964 36 0 0 25 0 1 0 966616075 25251840 5023 4294967295 134512640 135730672 3221224592 3221222880 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6165 5023 301 301 0 5864 0
vsize: 24660
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5655
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 10155 0 0 0 22963 37 0 0 25 0 1 0 966616075 25251840 5060 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6165 5060 301 301 0 5864 0
vsize: 24660
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5655
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 10298 0 0 0 23963 38 0 0 25 0 1 0 966616075 25395200 5085 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6200 5085 301 301 0 5899 0
vsize: 24800
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 10437 0 0 0 24962 38 0 0 25 0 1 0 966616075 25395200 5106 4294967295 134512640 135730672 3221224592 3221222880 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6200 5106 301 301 0 5899 0
vsize: 24800
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 10742 0 0 0 25961 40 0 0 25 0 1 0 966616075 34066432 5293 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8317 5293 301 301 0 8016 0
vsize: 33268
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 11073 0 0 0 26959 42 0 0 25 0 1 0 966616075 34066432 5506 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8317 5506 301 301 0 8016 0
vsize: 33268
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 11205 0 0 0 27959 43 0 0 25 0 1 0 966616075 34066432 5520 4294967295 134512640 135730672 3221224592 3221222928 134740316 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8317 5520 301 301 0 8016 0
vsize: 33268
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 11455 0 0 0 28957 44 0 0 25 0 1 0 966616075 34234368 5652 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8358 5652 301 301 0 8057 0
vsize: 33432
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 11654 0 0 0 29957 45 0 0 25 0 1 0 966616075 34234368 5733 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8358 5733 301 301 0 8057 0
vsize: 33432
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 11890 0 0 0 30956 46 0 0 25 0 1 0 966616075 34385920 5910 4294967295 134512640 135730672 3221224592 3221222928 134740274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8395 5910 301 301 0 8094 0
vsize: 33580
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 12171 0 0 0 31955 48 0 0 25 0 1 0 966616075 34521088 6132 4294967295 134512640 135730672 3221224592 3221223008 134748106 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8428 6132 301 301 0 8127 0
vsize: 33712
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 12401 0 0 0 32953 49 0 0 25 0 1 0 966616075 34656256 6244 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8461 6244 301 301 0 8160 0
vsize: 33844
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 12537 0 0 0 33952 51 0 0 25 0 1 0 966616075 34656256 6262 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8461 6262 301 301 0 8160 0
vsize: 33844
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 12671 0 0 0 34951 52 0 0 25 0 1 0 966616075 34656256 6278 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8461 6278 301 301 0 8160 0
vsize: 33844
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 12824 0 0 0 35951 53 0 0 25 0 1 0 966616075 34791424 6313 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8494 6313 301 301 0 8193 0
vsize: 33976
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 12892 0 0 0 36950 53 0 0 25 0 1 0 966616075 34791424 6322 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8494 6322 301 301 0 8193 0
vsize: 33976
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 13046 0 0 0 37950 54 0 0 25 0 1 0 966616075 35155968 6417 4294967295 134512640 135730672 3221224592 3221222560 134768811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8583 6417 301 301 0 8282 0
vsize: 34332
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 13119 0 0 0 38950 54 0 0 25 0 1 0 966616075 34914304 6372 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8524 6372 301 301 0 8223 0
vsize: 34096
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 13196 0 0 0 39949 55 0 0 25 0 1 0 966616075 34914304 6390 4294967295 134512640 135730672 3221224592 3221222880 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8524 6390 301 301 0 8223 0
vsize: 34096
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 13264 0 0 0 40949 55 0 0 25 0 1 0 966616075 35192832 6458 4294967295 134512640 135730672 3221224592 3221223072 134748446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8592 6458 301 301 0 8291 0
vsize: 34368
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 13306 0 0 0 41948 56 0 0 25 0 1 0 966616075 35328000 6500 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8625 6500 301 301 0 8324 0
vsize: 34500
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 13408 0 0 0 42947 58 0 0 25 0 1 0 966616075 35463168 6543 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8658 6543 301 301 0 8357 0
vsize: 34632
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 13523 0 0 0 43946 59 0 0 25 0 1 0 966616075 35598336 6599 4294967295 134512640 135730672 3221224592 3221223008 134783303 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8691 6599 301 301 0 8390 0
vsize: 34764
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 13559 0 0 0 44945 60 0 0 25 0 1 0 966616075 35729408 6635 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8723 6635 301 301 0 8422 0
vsize: 34892
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 13657 0 0 0 45944 61 0 0 25 0 1 0 966616075 35729408 6674 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8723 6674 301 301 0 8422 0
vsize: 34892
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 13865 0 0 0 46944 62 0 0 25 0 1 0 966616075 35864576 6705 4294967295 134512640 135730672 3221224592 3221222892 134732542 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8756 6705 301 301 0 8455 0
vsize: 35024
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 13922 0 0 0 47943 63 0 0 25 0 1 0 966616075 35999744 6762 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8789 6762 301 301 0 8488 0
vsize: 35156
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 14073 0 0 0 48942 64 0 0 25 0 1 0 966616075 36134912 6795 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8822 6795 301 301 0 8521 0
vsize: 35288
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 14357 0 0 0 49941 65 0 0 25 0 1 0 966616075 36134912 6902 4294967295 134512640 135730672 3221224592 3221222896 134746237 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8822 6902 301 301 0 8521 0
vsize: 35288
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 14562 0 0 0 50940 66 0 0 25 0 1 0 966616075 36278272 6989 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8857 6989 301 301 0 8556 0
vsize: 35428
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5657
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 14836 0 0 0 51939 68 0 0 25 0 1 0 966616075 36413440 7086 4294967295 134512640 135730672 3221224592 3221223008 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8890 7086 301 301 0 8589 0
vsize: 35560
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 15034 0 0 0 52938 69 0 0 25 0 1 0 966616075 36560896 7166 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8926 7166 301 301 0 8625 0
vsize: 35704
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 15294 0 0 0 53936 71 0 0 25 0 1 0 966616075 36560896 7308 4294967295 134512640 135730672 3221224592 3221222880 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8926 7308 301 301 0 8625 0
vsize: 35704
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 15531 0 0 0 54935 72 0 0 25 0 1 0 966616075 36700160 7368 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8960 7368 301 301 0 8659 0
vsize: 35840
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 15800 0 0 0 55934 73 0 0 25 0 1 0 966616075 36700160 7519 4294967295 134512640 135730672 3221224592 3221222896 134746221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8960 7519 301 301 0 8659 0
vsize: 35840
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 16073 0 0 0 56933 75 0 0 25 0 1 0 966616075 36843520 7615 4294967295 134512640 135730672 3221224592 3221222928 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8995 7615 301 301 0 8694 0
vsize: 35980
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 16379 0 0 0 57931 76 0 0 25 0 1 0 966616075 36982784 7744 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9029 7744 301 301 0 8728 0
vsize: 36116
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 16556 0 0 0 58930 78 0 0 25 0 1 0 966616075 37117952 7862 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9062 7862 301 301 0 8761 0
vsize: 36248
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 16866 0 0 0 59929 79 0 0 25 0 1 0 966616075 37400576 7995 4294967295 134512640 135730672 3221224592 3221222880 134747573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9131 7995 301 301 0 8830 0
vsize: 36524
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 17041 0 0 0 60928 80 0 0 25 0 1 0 966616075 37400576 8052 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9131 8052 301 301 0 8830 0
vsize: 36524
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 17240 0 0 0 61926 82 0 0 25 0 1 0 966616075 37552128 8192 4294967295 134512640 135730672 3221224592 3221222896 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9168 8192 301 301 0 8867 0
vsize: 36672
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 17472 0 0 0 62925 83 0 0 25 0 1 0 966616075 37552128 8247 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9168 8247 301 301 0 8867 0
vsize: 36672
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 17784 0 0 0 63924 85 0 0 25 0 1 0 966616075 37552128 8382 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9168 8382 301 301 0 8867 0
vsize: 36672
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 17925 0 0 0 64923 86 0 0 25 0 1 0 966616075 37695488 8405 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9203 8405 301 301 0 8902 0
vsize: 36812
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 18188 0 0 0 65922 87 0 0 25 0 1 0 966616075 37695488 8550 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9203 8550 301 301 0 8902 0
vsize: 36812
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 18486 0 0 0 66921 88 0 0 25 0 1 0 966616075 54636544 8671 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13339 8671 301 301 0 13038 0
vsize: 53356
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 18732 0 0 0 67921 89 0 0 25 0 1 0 966616075 54636544 8799 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13339 8799 301 301 0 13038 0
vsize: 53356
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 18966 0 0 0 68920 90 0 0 25 0 1 0 966616075 54636544 8915 4294967295 134512640 135730672 3221224592 3221222928 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13339 8915 301 301 0 13038 0
vsize: 53356
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 19291 0 0 0 69919 91 0 0 25 0 1 0 966616075 54784000 9063 4294967295 134512640 135730672 3221224592 3221222720 134767178 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13375 9063 301 301 0 13074 0
vsize: 53500
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 19526 0 0 0 70918 92 0 0 25 0 1 0 966616075 54927360 9180 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13410 9180 301 301 0 13109 0
vsize: 53640
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 19777 0 0 0 71917 93 0 0 25 0 1 0 966616075 54927360 9313 4294967295 134512640 135730672 3221224592 3221222880 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13410 9313 301 301 0 13109 0
vsize: 53640
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 20038 0 0 0 72916 95 0 0 25 0 1 0 966616075 55095296 9456 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13451 9456 301 301 0 13150 0
vsize: 53804
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 20305 0 0 0 73915 96 0 0 25 0 1 0 966616075 55095296 9605 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13451 9605 301 301 0 13150 0
vsize: 53804
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 20529 0 0 0 74914 97 0 0 25 0 1 0 966616075 55095296 9711 4294967295 134512640 135730672 3221224592 3221222896 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13451 9711 301 301 0 13150 0
vsize: 53804
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 20864 0 0 0 75912 99 0 0 25 0 1 0 966616075 55402496 9869 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13526 9869 301 301 0 13225 0
vsize: 54104
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 21098 0 0 0 76911 100 0 0 25 0 1 0 966616075 55402496 9985 4294967295 134512640 135730672 3221224592 3221222976 134764086 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13526 9985 301 301 0 13225 0
vsize: 54104
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 21294 0 0 0 77911 101 0 0 25 0 1 0 966616075 55402496 10063 4294967295 134512640 135730672 3221224592 3221222880 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13526 10063 301 301 0 13225 0
vsize: 54104
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 21494 0 0 0 78910 102 0 0 25 0 1 0 966616075 55566336 10204 4294967295 134512640 135730672 3221224592 3221222896 134746481 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13566 10204 301 301 0 13265 0
vsize: 54264
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 21697 0 0 0 79909 103 0 0 25 0 1 0 966616075 55566336 10230 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13566 10230 301 301 0 13265 0
vsize: 54264
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 21938 0 0 0 80907 104 0 0 25 0 1 0 966616075 55709696 10353 4294967295 134512640 135730672 3221224592 3221222976 134763582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13601 10353 301 301 0 13300 0
vsize: 54404
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 22134 0 0 0 81906 106 0 0 25 0 1 0 966616075 55853056 10431 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13636 10431 301 301 0 13335 0
vsize: 54544
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 22359 0 0 0 82904 108 0 0 25 0 1 0 966616075 55992320 10538 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13670 10538 301 301 0 13369 0
vsize: 54680
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 22582 0 0 0 83904 108 0 0 25 0 1 0 966616075 55992320 10643 4294967295 134512640 135730672 3221224592 3221223008 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13670 10643 301 301 0 13369 0
vsize: 54680
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 22824 0 0 0 84903 109 0 0 25 0 1 0 966616075 56131584 10767 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13704 10767 301 301 0 13403 0
vsize: 54816
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 23099 0 0 0 85902 111 0 0 25 0 1 0 966616075 56131584 10924 4294967295 134512640 135730672 3221224592 3221222896 134746497 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13704 10924 301 301 0 13403 0
vsize: 54816
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 23337 0 0 0 86901 112 0 0 25 0 1 0 966616075 56274944 10985 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13739 10985 301 301 0 13438 0
vsize: 54956
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 23625 0 0 0 87900 113 0 0 25 0 1 0 966616075 56590336 11155 4294967295 134512640 135730672 3221224592 3221222960 134764100 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13816 11155 301 301 0 13515 0
vsize: 55264
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 23849 0 0 0 88899 114 0 0 25 0 1 0 966616075 56590336 11261 4294967295 134512640 135730672 3221224592 3221222704 134732668 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13816 11261 301 301 0 13515 0
vsize: 55264
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 24111 0 0 0 89898 116 0 0 25 0 1 0 966616075 56590336 11405 4294967295 134512640 135730672 3221224592 3221222896 134746507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13816 11405 301 301 0 13515 0
vsize: 55264
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 25872 0 0 0 90893 121 0 0 25 0 1 0 966616075 63057920 11511 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15395 11511 301 301 0 15094 0
vsize: 61580
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 26195 0 0 0 91892 122 0 0 25 0 1 0 966616075 63057920 11657 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15395 11657 301 301 0 15094 0
vsize: 61580
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 26452 0 0 0 92891 123 0 0 25 0 1 0 966616075 63209472 11796 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15432 11796 301 301 0 15131 0
vsize: 61728
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 26624 0 0 0 93890 124 0 0 25 0 1 0 966616075 63356928 11850 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15468 11850 301 301 0 15167 0
vsize: 61872
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 26867 0 0 0 94889 126 0 0 25 0 1 0 966616075 63524864 11975 4294967295 134512640 135730672 3221224592 3221222992 134744785 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15509 11975 301 301 0 15208 0
vsize: 62036
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 27076 0 0 0 95888 127 0 0 25 0 1 0 966616075 63524864 12066 4294967295 134512640 135730672 3221224592 3221223040 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15509 12066 301 301 0 15208 0
vsize: 62036
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 27337 0 0 0 96886 129 0 0 25 0 1 0 966616075 63524864 12209 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15509 12209 301 301 0 15208 0
vsize: 62036
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 27573 0 0 0 97886 129 0 0 25 0 1 0 966616075 63688704 12327 4294967295 134512640 135730672 3221224592 3221223072 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15549 12327 301 301 0 15248 0
vsize: 62196
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 27708 0 0 0 98884 131 0 0 25 0 1 0 966616075 63688704 12344 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15549 12344 301 301 0 15248 0
vsize: 62196
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 27868 0 0 0 99884 131 0 0 25 0 1 0 966616075 63688704 12445 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15549 12445 301 301 0 15248 0
vsize: 62196
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 28054 0 0 0 100883 132 0 0 25 0 1 0 966616075 63832064 12513 4294967295 134512640 135730672 3221224592 3221222928 134740282 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15584 12513 301 301 0 15283 0
vsize: 62336
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 28307 0 0 0 101883 133 0 0 25 0 1 0 966616075 63967232 12648 4294967295 134512640 135730672 3221224592 3221222880 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15617 12648 301 301 0 15316 0
vsize: 62468
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 28534 0 0 0 102882 134 0 0 25 0 1 0 966616075 64110592 12757 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15652 12757 301 301 0 15351 0
vsize: 62608
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 28782 0 0 0 103882 135 0 0 25 0 1 0 966616075 64290816 12887 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15696 12887 301 301 0 15395 0
vsize: 62784
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 28979 0 0 0 104880 136 0 0 25 0 1 0 966616075 64454656 13025 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15736 13025 301 301 0 15435 0
vsize: 62944
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 29132 0 0 0 105879 138 0 0 25 0 1 0 966616075 64618496 13119 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15776 13119 301 301 0 15475 0
vsize: 63104
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 29308 0 0 0 106878 138 0 0 25 0 1 0 966616075 64778240 13177 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15815 13177 301 301 0 15514 0
vsize: 63260
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 29561 0 0 0 107877 140 0 0 25 0 1 0 966616075 64778240 13312 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15815 13312 301 301 0 15514 0
vsize: 63260
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 29709 0 0 0 108876 141 0 0 25 0 1 0 966616075 64921600 13342 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15850 13342 301 301 0 15549 0
vsize: 63400
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 29848 0 0 0 109875 142 0 0 25 0 1 0 966616075 65277952 13422 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15937 13422 301 301 0 15636 0
vsize: 63748
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 29977 0 0 0 110875 143 0 0 25 0 1 0 966616075 65277952 13433 4294967295 134512640 135730672 3221224592 3221223072 134748426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15937 13433 301 301 0 15636 0
vsize: 63748
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 30070 0 0 0 111874 144 0 0 25 0 1 0 966616075 65441792 13467 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15977 13467 301 301 0 15676 0
vsize: 63908
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 30163 0 0 0 112873 144 0 0 25 0 1 0 966616075 65630208 13501 4294967295 134512640 135730672 3221224592 3221222896 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16023 13501 301 301 0 15722 0
vsize: 64092
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 30323 0 0 0 113872 146 0 0 25 0 1 0 966616075 65794048 13543 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16063 13543 301 301 0 15762 0
vsize: 64252
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 30529 0 0 0 114872 146 0 0 25 0 1 0 966616075 65794048 13631 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16063 13631 301 301 0 15762 0
vsize: 64252
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 30777 0 0 0 115870 148 0 0 25 0 1 0 966616075 65794048 13761 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16063 13761 301 301 0 15762 0
vsize: 64252
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 30944 0 0 0 116870 149 0 0 25 0 1 0 966616075 65794048 13810 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16063 13810 301 301 0 15762 0
vsize: 64252
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 31160 0 0 0 117869 150 0 0 25 0 1 0 966616075 65929216 13908 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16096 13908 301 301 0 15795 0
vsize: 64384
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 31366 0 0 0 118868 151 0 0 25 0 1 0 966616075 66080768 14055 4294967295 134512640 135730672 3221224592 3221223004 134783158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16133 14055 301 301 0 15832 0
vsize: 64532
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5659
Raw data (stat): 5602 (pb2sat-v2) R 5601 7266 7265 0 -1 0 31501 0 0 0 119867 152 0 0 25 0 1 0 966616075 66314240 14131 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16190 14131 301 301 0 15889 0
vsize: 64760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 5659
Raw data (stat): 5602 (pb2sat-v2) Z 5601 7266 7265 0 -1 12 31503 0 0 0 119880 155 0 0 25 0 1 0 966616075 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.19
CPU time (s): 1200.36
CPU user time (s): 1198.8
CPU system time (s): 1.55276
CPU usage (%): 100.014
Max. virtual memory (Kb): 64760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	92
#### END VERIFIER DATA ####