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/routing/normalized-s4-4-3-2pb.opb
MD5SUM	55739635f7f3741bc4f78c540803ac21
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	64
Optimality of the best value was proved	NO
Number of terms in the objective function	648
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	648
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	648
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03884
Number of variables	648
Total number of constraints	1952
Number of constraints which are clauses	1928
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	27
Trace number 42123

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 00:20:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25336 boxname=wulflinc1 idbench=238 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  55739635f7f3741bc4f78c540803ac21  /oldhome/oroussel/tmp/wulflinc1/normalized-s4-4-3-2pb.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-s4-4-3-2pb.opb
IDLAUNCH: 25336
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        823856 kB
Buffers:         34076 kB
Cached:         153024 kB
SwapCached:       1192 kB
Active:          76844 kB
Inactive:       112560 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        823604 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15588 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:33:55 (client local time) WITH STATUS 30 IN 779.124 SECONDS
stats: 25336 0 779.124 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 588/2962	Time: 0.672898/86400
c Decision: 590/2962	Time: 0.963853/86400
c Decision: 590/2962	Time: 1.39279/86400
c Decision: 590/2962	Time: 1.78373/86400
c Decision: 590/2962	Time: 2.17067/86400
c Decision: 600/2962	Time: 2.6176/86400
c Decision: 604/2962	Time: 3.17852/86400
c Decision: 604/2962	Time: 3.63845/86400
c Decision: 604/2962	Time: 4.09938/86400
c Decision: 604/2962	Time: 4.65729/86400
c Decision: 606/2962	Time: 5.53716/86400
c Decision: 606/2962	Time: 6.15506/86400
c Decision: 606/2962	Time: 6.71598/86400
c Decision: 606/2962	Time: 7.34088/86400
c Decision: 606/2962	Time: 7.98179/86400
c Decision: 606/2962	Time: 8.78266/86400
c Decision: 606/2962	Time: 9.48556/86400
c Decision: 606/2962	Time: 10.2864/86400
c got solution with objective value: 72
c small objective detected
c CONFLICT during preprocess 

c [startup+12.9479 s]  setting bit 9 to 0
c CONFLICT during preprocess 

c [startup+13.0987 s]  setting bit 8 to 0
c CONFLICT during preprocess 

c [startup+13.2429 s]  setting bit 7 to 0

c [startup+13.6991 s]  setting bit 6 to 0

c Decision: 20703/47139	Time: 30.0724/86400
c Decision: 20703/47139	Time: 33.3539/86400
c Decision: 20703/47139	Time: 36.7874/86400
c Decision: 20703/47139	Time: 40.4868/86400
c Decision: 20703/47139	Time: 44.2513/86400
c Decision: 20703/47139	Time: 47.7457/86400
c Decision: 20703/47139	Time: 51.2202/86400
c Decision: 20703/47139	Time: 55.1406/86400
c Decision: 20703/47139	Time: 59.6199/86400
c Decision: 20703/47139	Time: 66.005/86400
c Decision: 20703/47139	Time: 70.0294/86400
c Decision: 20703/47139	Time: 73.7208/86400
c Decision: 20703/47139	Time: 78.2841/86400
c Decision: 20703/47139	Time: 81.6176/86400
c Decision: 20703/47139	Time: 86.1679/86400
c Decision: 20703/47139	Time: 92.367/86400
c Decision: 21475/47139	Time: 98.433/86400
c Decision: 21475/47139	Time: 103.301/86400
c Decision: 25154/47139	Time: 107.956/86400
c [startup+124.301 s]  setting bit 5 to 0

c Decision: 11838/47139	Time: 16.2365/86400
c Decision: 11838/47139	Time: 20.2439/86400
c Decision: 12940/47139	Time: 30.1124/86400
c Decision: 12942/47139	Time: 36.8944/86400
c Decision: 12942/47139	Time: 43.9683/86400
c Decision: 12942/47139	Time: 48.6446/86400
c Decision: 12942/47139	Time: 54.2228/86400
c Decision: 15405/47139	Time: 62.8994/86400
c Decision: 15405/47139	Time: 67.3158/86400
c [startup+201.833 s]  setting bit 4 to 0

c Decision: 16345/47139	Time: 46.6179/86400
c Decision: 16345/47139	Time: 51.3052/86400
c Decision: 16345/47139	Time: 56.3064/86400
c Decision: 16345/47139	Time: 61.1937/86400
c Decision: 16345/47139	Time: 65.456/86400
c Decision: 16910/47139	Time: 80.2188/86400
c Decision: 16910/47139	Time: 86.9808/86400
c Decision: 16910/47139	Time: 92.4359/86400
c Decision: 16910/47139	Time: 99.0269/86400
c Decision: 16910/47139	Time: 103.332/86400
c Decision: 16910/47139	Time: 109.525/86400
c Decision: 16910/47139	Time: 114.662/86400
c Decision: 16910/47139	Time: 119.853/86400
c Decision: 16910/47139	Time: 125.946/86400
c Decision: 16910/47139	Time: 132.667/86400
c Decision: 16910/47139	Time: 138.351/86400
c Decision: 16910/47139	Time: 143.884/86400
c Decision: 16910/47139	Time: 149.034/86400
c Decision: 17924/47139	Time: 158.464/86400
c Decision: 17924/47139	Time: 164.724/86400
c Decision: 17924/47139	Time: 170.722/86400
c Decision: 17924/47139	Time: 177.111/86400
c Decision: 17924/47139	Time: 184.063/86400
c Decision: 17928/47139	Time: 191.067/86400
c Decision: 17928/47139	Time: 196.992/86400
c Decision: 17928/47139	Time: 203.211/86400
c Decision: 17928/47139	Time: 209.946/86400
c Decision: 17928/47139	Time: 215.57/86400
c Decision: 17928/47139	Time: 222.864/86400
c Decision: 17928/47139	Time: 229.245/86400
c Decision: 17928/47139	Time: 235.014/86400
c Decision: 17929/47139	Time: 243.786/86400
c Decision: 17929/47139	Time: 250.218/86400
c Decision: 17971/47139	Time: 263.513/86400
c Decision: 17971/47139	Time: 269.694/86400
c Decision: 17971/47139	Time: 276.953/86400
c Decision: 17971/47139	Time: 284.107/86400
c Decision: 17971/47139	Time: 291.955/86400
c Decision: 17979/47139	Time: 310.241/86400
c Decision: 17979/47139	Time: 317.392/86400
c Decision: 18081/47139	Time: 333.588/86400
c Decision: 18081/47139	Time: 341.48/86400
c Decision: 18262/47139	Time: 351.464/86400
c Decision: 18262/47139	Time: 358.245/86400
c Decision: 18264/47139	Time: 371.114/86400
c Decision: 18264/47139	Time: 379.54/86400
c Decision: 18264/47139	Time: 387.212/86400
c Decision: 20697/47139	Time: 401.753/86400
c Decision: 21656/47139	Time: 412.78/86400
c Decision: 21656/47139	Time: 421.033/86400
c Decision: 21656/47139	Time: 429.748/86400
c Decision: 23662/47139	Time: 447.109/86400
c [startup+665.352 s]  setting bit 3 to 0

c Decision: 19009/47139	Time: 11.4813/86400
c got solution with objective value: 66
c [startup+681.52 s]  setting bit 2 to 1

c Decision: 20178/47139	Time: 21.5917/86400
c Decision: 20178/47139	Time: 26.6929/86400
c Decision: 20715/47139	Time: 38.3872/86400
c Decision: 20715/47139	Time: 44.6582/86400
c Decision: 20715/47139	Time: 49.9324/86400
c Decision: 20715/47139	Time: 56.8034/86400
c Decision: 20715/47139	Time: 65.0761/86400
c Decision: 20715/47139	Time: 72.202/86400
c Decision: 20715/47139	Time: 80.1598/86400
c got solution with objective value: 64
c [startup+764.427 s]  setting bit 1 to 1

c got solution with objective value: 64
c [startup+778.767 s]  setting bit 0 to 1
s OPTIMUM FOUND
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 -v541 -v542 -v543 -v544 -v545 -v546 -v547 v548 -v549 -v55 -v550 -v551 -v552 -v553 -v554 -v555 -v556 v557 -v558 -v559 -v56 -v560 -v561 -v562 -v563 -v564 -v565 -v566 -v567 -v568 -v569 -v57 -v570 -v571 -v572 -v573 -v574 -v575 -v576 -v577 -v578 -v579 v58 -v580 -v581 -v582 -v583 -v584 -v585 v586 -v587 -v588 -v589 v59 -v590 -v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v6 -v60 -v600 -v601 -v602 -v603 -v604 v605 -v606 -v607 -v608 -v609 -v61 -v610 -v611 -v612 -v613 -v614 -v615 -v616 -v617 -v618 -v619 -v62 -v620 -v621 -v622 -v623 -v624 -v625 -v626 -v627 -v628 -v629 -v63 -v630 -v631 -v632 -v633 -v634 -v635 -v636 -v637 -v638 -v639 -v64 v640 -v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 -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.91 0.93 0.90 1/55 9238
Raw data (stat): 9238 (runsolver) R 9237 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909541871 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.93 0.90 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 1278 0 0 0 992 6 0 0 25 0 1 0 909541871 5939200 1080 4294967295 134512640 135730672 3221224592 3221223136 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1450 1080 301 301 0 1149 0
vsize: 5800
[startup+20.001 s]
Raw data (loadavg): 0.94 0.93 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 8633 0 0 0 1974 24 0 0 25 0 1 0 909541871 29925376 5430 4294967295 134512640 135730672 3221224592 3221222880 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7306 5430 301 301 0 7005 0
vsize: 29224
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 8846 0 0 0 2974 25 0 0 25 0 1 0 909541871 30244864 5643 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7384 5643 301 301 0 7083 0
vsize: 29536
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 9052 0 0 0 3972 28 0 0 25 0 1 0 909541871 30404608 5849 4294967295 134512640 135730672 3221224592 3221222880 134747868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7423 5849 301 301 0 7122 0
vsize: 29692
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 9474 0 0 0 4970 29 0 0 25 0 1 0 909541871 31014912 6085 4294967295 134512640 135730672 3221224592 3221222768 134761945 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7572 6085 301 301 0 7271 0
vsize: 30288
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 9892 0 0 0 5969 31 0 0 25 0 1 0 909541871 31326208 6224 4294967295 134512640 135730672 3221224592 3221222632 135284425 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7648 6224 301 301 0 7347 0
vsize: 30592
[startup+70.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 10260 0 0 0 6968 32 0 0 25 0 1 0 909541871 31768576 6406 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7756 6406 301 301 0 7455 0
vsize: 31024
[startup+80.0037 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 10553 0 0 0 7966 33 0 0 25 0 1 0 909541871 31903744 6513 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7789 6513 301 301 0 7488 0
vsize: 31156
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 10832 0 0 0 8966 34 0 0 25 0 1 0 909541871 32067584 6606 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7829 6606 301 301 0 7528 0
vsize: 31316
[startup+100.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 11221 0 0 0 9964 36 0 0 25 0 1 0 909541871 32067584 6716 4294967295 134512640 135730672 3221224592 3221222704 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7829 6716 301 301 0 7528 0
vsize: 31316
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 11375 0 0 0 10963 37 0 0 25 0 1 0 909541871 32067584 6777 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7829 6777 301 301 0 7528 0
vsize: 31316
[startup+120.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 11696 0 0 0 11962 38 0 0 25 0 1 0 909541871 32362496 6912 4294967295 134512640 135730672 3221224592 3221222976 134763987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7901 6912 301 301 0 7600 0
vsize: 31604
[startup+130.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 12050 0 0 0 12961 40 0 0 25 0 1 0 909541871 32747520 7080 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7995 7080 301 301 0 7694 0
vsize: 31980
[startup+140.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 12201 0 0 0 13958 42 0 0 25 0 1 0 909541871 41627648 7231 4294967295 134512640 135730672 3221224592 3221222880 134747794 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10163 7231 301 301 0 9862 0
vsize: 40652
[startup+150.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 12396 0 0 0 14957 43 0 0 25 0 1 0 909541871 41779200 7333 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10200 7333 301 301 0 9899 0
vsize: 40800
[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 12630 0 0 0 15956 45 0 0 25 0 1 0 909541871 42049536 7474 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10266 7474 301 301 0 9965 0
vsize: 41064
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 12851 0 0 0 16955 46 0 0 25 0 1 0 909541871 42319872 7602 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10332 7602 301 301 0 10031 0
vsize: 41328
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 13021 0 0 0 17954 47 0 0 25 0 1 0 909541871 42319872 7679 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10332 7679 301 301 0 10031 0
vsize: 41328
[startup+190.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 13236 0 0 0 18952 49 0 0 25 0 1 0 909541871 42508288 7801 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10378 7801 301 301 0 10077 0
vsize: 41512
[startup+200.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 13450 0 0 0 19951 50 0 0 25 0 1 0 909541871 42643456 7922 4294967295 134512640 135730672 3221224592 3221222880 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10411 7922 301 301 0 10110 0
vsize: 41644
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 13646 0 0 0 20950 51 0 0 25 0 1 0 909541871 42790912 8025 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10447 8025 301 301 0 10146 0
vsize: 41788
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 13779 0 0 0 21949 53 0 0 25 0 1 0 909541871 42790912 8158 4294967295 134512640 135730672 3221224592 3221222880 134747708 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10447 8158 301 301 0 10146 0
vsize: 41788
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 13902 0 0 0 22948 54 0 0 25 0 1 0 909541871 42790912 8281 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10447 8281 301 301 0 10146 0
vsize: 41788
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 14026 0 0 0 23948 54 0 0 25 0 1 0 909541871 42790912 8405 4294967295 134512640 135730672 3221224592 3221222880 134747760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10447 8405 301 301 0 10146 0
vsize: 41788
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 14262 0 0 0 24946 56 0 0 25 0 1 0 909541871 43098112 8548 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10522 8548 301 301 0 10221 0
vsize: 42088
[startup+260.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 14492 0 0 0 25946 57 0 0 25 0 1 0 909541871 43331584 8592 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10579 8592 301 301 0 10278 0
vsize: 42316
[startup+270.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 14695 0 0 0 26944 58 0 0 25 0 1 0 909541871 43331584 8609 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10579 8609 301 301 0 10278 0
vsize: 42316
[startup+280.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 14814 0 0 0 27943 59 0 0 25 0 1 0 909541871 43503616 8728 4294967295 134512640 135730672 3221224592 3221222976 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10621 8729 301 301 0 10320 0
vsize: 42484
[startup+290.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 15088 0 0 0 28942 60 0 0 25 0 1 0 909541871 43655168 8816 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10658 8816 301 301 0 10357 0
vsize: 42632
[startup+300.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 15293 0 0 0 29942 61 0 0 25 0 1 0 909541871 43790336 8928 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10691 8928 301 301 0 10390 0
vsize: 42764
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 15591 0 0 0 30941 62 0 0 25 0 1 0 909541871 43925504 9040 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10724 9040 301 301 0 10423 0
vsize: 42896
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 15919 0 0 0 31940 63 0 0 25 0 1 0 909541871 44302336 9182 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10816 9182 301 301 0 10515 0
vsize: 43264
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 16216 0 0 0 32939 65 0 0 25 0 1 0 909541871 44437504 9293 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10849 9293 301 301 0 10548 0
vsize: 43396
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 16511 0 0 0 33938 66 0 0 25 0 1 0 909541871 44572672 9402 4294967295 134512640 135730672 3221224592 3221223008 134783328 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10882 9402 301 301 0 10581 0
vsize: 43528
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 16692 0 0 0 34937 67 0 0 25 0 1 0 909541871 44572672 9490 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10882 9490 301 301 0 10581 0
vsize: 43528
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 16890 0 0 0 35936 68 0 0 25 0 1 0 909541871 44572672 9595 4294967295 134512640 135730672 3221224592 3221222896 134746520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10882 9595 301 301 0 10581 0
vsize: 43528
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 17278 0 0 0 36935 70 0 0 25 0 1 0 909541871 45129728 9797 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11018 9797 301 301 0 10717 0
vsize: 44072
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 17536 0 0 0 37934 70 0 0 25 0 1 0 909541871 45129728 9869 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11018 9869 301 301 0 10717 0
vsize: 44072
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 17718 0 0 0 38933 72 0 0 25 0 1 0 909541871 45129728 9958 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11018 9958 301 301 0 10717 0
vsize: 44072
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 18002 0 0 0 39932 72 0 0 25 0 1 0 909541871 45129728 10056 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11018 10056 301 301 0 10717 0
vsize: 44072
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 18157 0 0 0 40932 73 0 0 25 0 1 0 909541871 45129728 10118 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11018 10118 301 301 0 10717 0
vsize: 44072
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 18351 0 0 0 41932 73 0 0 25 0 1 0 909541871 45129728 10126 4294967295 134512640 135730672 3221224592 3221223008 134748266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11018 10126 301 301 0 10717 0
vsize: 44072
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 18451 0 0 0 42931 74 0 0 25 0 1 0 909541871 45129728 10133 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11018 10133 301 301 0 10717 0
vsize: 44072
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 18685 0 0 0 43931 75 0 0 25 0 1 0 909541871 45326336 10181 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11066 10181 301 301 0 10765 0
vsize: 44264
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 20385 0 0 0 44927 78 0 0 25 0 1 0 909541871 68669440 10251 4294967295 134512640 135730672 3221224592 3221222880 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16765 10251 301 301 0 16464 0
vsize: 67060
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 20574 0 0 0 45927 79 0 0 25 0 1 0 909541871 68669440 10347 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16765 10348 301 301 0 16464 0
vsize: 67060
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 20774 0 0 0 46926 80 0 0 25 0 1 0 909541871 68808704 10454 4294967295 134512640 135730672 3221224592 3221222456 135284387 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16799 10454 301 301 0 16498 0
vsize: 67196
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 21028 0 0 0 47925 81 0 0 25 0 1 0 909541871 68808704 10522 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16799 10522 301 301 0 16498 0
vsize: 67196
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 21153 0 0 0 48925 82 0 0 25 0 1 0 909541871 68960256 10554 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16836 10554 301 301 0 16535 0
vsize: 67344
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 21322 0 0 0 49924 83 0 0 25 0 1 0 909541871 69275648 10630 4294967295 134512640 135730672 3221224592 3221222928 134740274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16913 10630 301 301 0 16612 0
vsize: 67652
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 21369 0 0 0 50924 83 0 0 25 0 1 0 909541871 69472256 10677 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16961 10677 301 301 0 16660 0
vsize: 67844
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 21641 0 0 0 51923 83 0 0 25 0 1 0 909541871 69472256 10763 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16961 10763 301 301 0 16660 0
vsize: 67844
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 21803 0 0 0 52923 84 0 0 25 0 1 0 909541871 69791744 10925 4294967295 134512640 135730672 3221224592 3221222880 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17039 10925 301 301 0 16738 0
vsize: 68156
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 21970 0 0 0 53922 85 0 0 25 0 1 0 909541871 70090752 10999 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17112 10999 301 301 0 16811 0
vsize: 68448
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 22094 0 0 0 54922 86 0 0 25 0 1 0 909541871 70238208 11030 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17148 11030 301 301 0 16847 0
vsize: 68592
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 22309 0 0 0 55921 86 0 0 25 0 1 0 909541871 70619136 11152 4294967295 134512640 135730672 3221224592 3221222564 134773927 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17241 11152 301 301 0 16940 0
vsize: 68964
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 22316 0 0 0 56921 87 0 0 25 0 1 0 909541871 70238208 11066 4294967295 134512640 135730672 3221224592 3221222880 134747777 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17148 11066 301 301 0 16847 0
vsize: 68592
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 22433 0 0 0 57920 87 0 0 25 0 1 0 909541871 70373376 11090 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17181 11090 301 301 0 16880 0
vsize: 68724
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 22627 0 0 0 58920 88 0 0 25 0 1 0 909541871 70373376 11098 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17181 11098 301 301 0 16880 0
vsize: 68724
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 22640 0 0 0 59919 89 0 0 25 0 1 0 909541871 70373376 11111 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17181 11111 301 301 0 16880 0
vsize: 68724
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 22757 0 0 0 60918 90 0 0 25 0 1 0 909541871 70541312 11135 4294967295 134512640 135730672 3221224592 3221223008 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17222 11135 301 301 0 16921 0
vsize: 68888
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 22859 0 0 0 61918 90 0 0 25 0 1 0 909541871 70541312 11144 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17222 11144 301 301 0 16921 0
vsize: 68888
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 22957 0 0 0 62918 91 0 0 25 0 1 0 909541871 70541312 11149 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17222 11149 301 301 0 16921 0
vsize: 68888
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 23061 0 0 0 63917 91 0 0 25 0 1 0 909541871 70541312 11160 4294967295 134512640 135730672 3221224592 3221223040 134748670 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17222 11160 301 301 0 16921 0
vsize: 68888
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 23205 0 0 0 64917 92 0 0 25 0 1 0 909541871 70676480 11211 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17255 11211 301 301 0 16954 0
vsize: 69020
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 23215 0 0 0 65917 92 0 0 25 0 1 0 909541871 70676480 11221 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17255 11221 301 301 0 16954 0
vsize: 69020
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 23317 0 0 0 66916 93 0 0 25 0 1 0 909541871 70676480 11230 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17255 11230 301 301 0 16954 0
vsize: 69020
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 23426 0 0 0 67915 94 0 0 25 0 1 0 909541871 70676480 11246 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17255 11246 301 301 0 16954 0
vsize: 69020
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 23530 0 0 0 68915 95 0 0 25 0 1 0 909541871 70803456 11257 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17286 11257 301 301 0 16985 0
vsize: 69144
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 23546 0 0 0 69914 96 0 0 25 0 1 0 909541871 70803456 11273 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17286 11273 301 301 0 16985 0
vsize: 69144
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 23750 0 0 0 70913 97 0 0 25 0 1 0 909541871 70803456 11291 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17286 11291 301 301 0 16985 0
vsize: 69144
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 23857 0 0 0 71912 98 0 0 25 0 1 0 909541871 70950912 11305 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17322 11305 301 301 0 17021 0
vsize: 69288
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 23959 0 0 0 72912 98 0 0 25 0 1 0 909541871 70950912 11314 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17322 11314 301 301 0 17021 0
vsize: 69288
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 24094 0 0 0 73912 99 0 0 25 0 1 0 909541871 71102464 11356 4294967295 134512640 135730672 3221224592 3221222880 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17359 11356 301 301 0 17058 0
vsize: 69436
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 24175 0 0 0 74911 100 0 0 25 0 1 0 909541871 71495680 11437 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17455 11437 301 301 0 17154 0
vsize: 69820
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 24223 0 0 0 75910 101 0 0 25 0 1 0 909541871 71733248 11485 4294967295 134512640 135730672 3221224592 3221222972 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17513 11485 301 301 0 17212 0
vsize: 70052
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 24323 0 0 0 76910 101 0 0 25 0 1 0 909541871 71733248 11492 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17513 11492 301 301 0 17212 0
vsize: 70052
[startup+779.017 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 9238
Raw data (stat): 9238 (pb2sat-v2) R 9237 8378 8377 0 -1 0 24323 0 0 0 76910 101 0 0 25 0 1 0 909541871 71733248 11492 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17513 11492 301 301 0 17212 0
vsize: 0

Child status: 30
Real time (s): 779.017
CPU time (s): 779.124
CPU user time (s): 778.08
CPU system time (s): 1.04384
CPU usage (%): 100.014
Max. virtual memory (Kb): 70052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	64
#### END VERIFIER DATA ####