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-4pb.opb
MD5SUM	c1a86b94297136b91215b2ae8a8f5643
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	60
Optimality of the best value was proved	NO
Number of terms in the objective function	696
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	696
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	696
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.03784
Number of variables	696
Total number of constraints	2096
Number of constraints which are clauses	2072
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	29
Trace number 42127

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 00:26:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25338 boxname=wulflinc2 idbench=240 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c1a86b94297136b91215b2ae8a8f5643  /oldhome/oroussel/tmp/wulflinc2/normalized-s4-4-3-4pb.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-s4-4-3-4pb.opb
IDLAUNCH: 25338
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        857520 kB
Buffers:         34088 kB
Cached:         117796 kB
SwapCached:       4448 kB
Active:          61096 kB
Inactive:        95860 kB
HighTotal:      131008 kB
HighFree:        25200 kB
LowTotal:       903652 kB
LowFree:        832320 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14484 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:37:57 (client local time) WITH STATUS 30 IN 683.125 SECONDS
stats: 25338 0 683.125 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 644/3202	Time: 0.39894/86400
c Decision: 644/3202	Time: 0.698895/86400
c Decision: 648/3202	Time: 1.19682/86400
c Decision: 652/3202	Time: 1.70074/86400
c got solution with objective value: 72
c small objective detected
c CONFLICT during preprocess 

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

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

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

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

c Decision: 23867/50835	Time: 7.33889/86400
c Decision: 23877/50835	Time: 12.991/86400
c Decision: 23877/50835	Time: 19.994/86400
c [startup+44.4452 s]  setting bit 5 to 0

c Decision: 20401/50835	Time: 14.0519/86400
c Decision: 20401/50835	Time: 20.0959/86400
c Decision: 20401/50835	Time: 25.3231/86400
c Decision: 20403/50835	Time: 29.7145/86400
c Decision: 20403/50835	Time: 35.4806/86400
c Decision: 20403/50835	Time: 39.8149/86400
c Decision: 20403/50835	Time: 44.7802/86400
c Decision: 20403/50835	Time: 50.3244/86400
c Decision: 20403/50835	Time: 53.8348/86400
c Decision: 20403/50835	Time: 60.2478/86400
c Decision: 20403/50835	Time: 66.9948/86400
c Decision: 20403/50835	Time: 71.4461/86400
c Decision: 20403/50835	Time: 76.8573/86400
c Decision: 20403/50835	Time: 81.3646/86400
c Decision: 20403/50835	Time: 86.3539/86400
c Decision: 20405/50835	Time: 98.631/86400
c Decision: 20407/50835	Time: 110.451/86400
c Decision: 20410/50835	Time: 117.748/86400
c Decision: 20410/50835	Time: 122.967/86400
c Decision: 20410/50835	Time: 129.338/86400
c Decision: 20410/50835	Time: 136.678/86400
c Decision: 20410/50835	Time: 142.686/86400
c Decision: 20608/50835	Time: 154.831/86400
c Decision: 20608/50835	Time: 162.683/86400
c Decision: 20608/50835	Time: 169.772/86400
c Decision: 20608/50835	Time: 177.402/86400
c Decision: 20608/50835	Time: 184.791/86400
c Decision: 20608/50835	Time: 191.5/86400
c Decision: 20608/50835	Time: 199.152/86400
c Decision: 20608/50835	Time: 205.146/86400
c Decision: 20608/50835	Time: 213.111/86400
c Decision: 20610/50835	Time: 223.766/86400
c Decision: 20610/50835	Time: 232.015/86400
c Decision: 20610/50835	Time: 239.65/86400
c Decision: 20610/50835	Time: 247.192/86400
c Decision: 20610/50835	Time: 257.535/86400
c Decision: 20610/50835	Time: 266.155/86400
c Decision: 20610/50835	Time: 274.804/86400
c [startup+322.608 s]  setting bit 4 to 0

c got solution with objective value: 62
c [startup+388.049 s]  setting bit 3 to 1

c Decision: 18881/50835	Time: 80.3078/86400
c Decision: 18881/50835	Time: 90.5282/86400
c Decision: 18881/50835	Time: 99.1679/86400
c Decision: 18881/50835	Time: 108.046/86400
c Decision: 18881/50835	Time: 118.524/86400
c Decision: 18882/50835	Time: 132.9/86400
c Decision: 18882/50835	Time: 142.222/86400
c Decision: 18882/50835	Time: 150.236/86400
c Decision: 18882/50835	Time: 162.212/86400
c Decision: 18882/50835	Time: 171.998/86400
c Decision: 18882/50835	Time: 181.669/86400
c Decision: 18882/50835	Time: 190.348/86400
c Decision: 18882/50835	Time: 202.069/86400
c Decision: 18882/50835	Time: 212.704/86400
c Decision: 25640/50835	Time: 234.762/86400
c [startup+637.945 s]  setting bit 2 to 0

c Decision: 18195/50835	Time: 24.2043/86400
c got solution with objective value: 60
c [startup+681.759 s]  setting bit 1 to 1

c got solution with objective value: 60
c [startup+682.783 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 -v649 v65 -v650 -v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 -v659 -v66 -v660 -v661 -v662 -v663 -v664 -v665 -v666 -v667 -v668 -v669 -v67 v670 -v671 -v672 -v673 -v674 -v675 -v676 -v677 -v678 -v679 -v68 -v680 -v681 -v682 -v683 -v684 -v685 -v686 -v687 -v688 -v689 v69 -v690 -v691 -v692 -v693 v694 -v695 -v696 -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.92 0.98 0.93 2/54 1637
Raw data (stat): 1637 (runsolver) R 1636 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966436738 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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+9.99981 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 8373 0 0 0 978 21 0 0 25 0 1 0 966436738 25391104 5164 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6199 5164 301 301 0 5898 0
vsize: 24796
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 8685 0 0 0 1976 22 0 0 25 0 1 0 966436738 25661440 5276 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6265 5276 301 301 0 5964 0
vsize: 25060
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 8979 0 0 0 2975 23 0 0 25 0 1 0 966436738 26415104 5469 4294967295 134512640 135730672 3221224592 3221222880 134747471 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6449 5469 301 301 0 6148 0
vsize: 25796
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 9140 0 0 0 3975 24 0 0 25 0 1 0 966436738 27004928 5630 4294967295 134512640 135730672 3221224592 3221222880 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6593 5630 301 301 0 6292 0
vsize: 26372
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 9333 0 0 0 4974 25 0 0 25 0 1 0 966436738 27201536 5723 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6641 5723 301 301 0 6340 0
vsize: 26564
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 9688 0 0 0 5973 26 0 0 25 0 1 0 966436738 32247808 5978 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7873 5978 301 301 0 7572 0
vsize: 31492
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 9946 0 0 0 6971 27 0 0 25 0 1 0 966436738 32247808 6036 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7873 6036 301 301 0 7572 0
vsize: 31492
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 10387 0 0 0 7970 29 0 0 25 0 1 0 966436738 33148928 6277 4294967295 134512640 135730672 3221224592 3221223008 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8093 6277 301 301 0 7792 0
vsize: 32372
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 10664 0 0 0 8969 30 0 0 25 0 1 0 966436738 33148928 6354 4294967295 134512640 135730672 3221224592 3221222908 134732536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8093 6354 301 301 0 7792 0
vsize: 32372
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 10941 0 0 0 9967 32 0 0 25 0 1 0 966436738 33148928 6431 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8093 6431 301 301 0 7792 0
vsize: 32372
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 11205 0 0 0 10966 33 0 0 25 0 1 0 966436738 33611776 6595 4294967295 134512640 135730672 3221224592 3221223072 134748464 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8206 6595 301 301 0 7905 0
vsize: 32824
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 11539 0 0 0 11965 35 0 0 25 0 1 0 966436738 34152448 6729 4294967295 134512640 135730672 3221224592 3221222880 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8338 6729 301 301 0 8037 0
vsize: 33352
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 11835 0 0 0 12964 36 0 0 25 0 1 0 966436738 34152448 6825 4294967295 134512640 135730672 3221224592 3221222624 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8338 6825 301 301 0 8037 0
vsize: 33352
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 12008 0 0 0 13963 36 0 0 25 0 1 0 966436738 34152448 6898 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8338 6898 301 301 0 8037 0
vsize: 33352
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 12179 0 0 0 14963 37 0 0 25 0 1 0 966436738 34508800 6969 4294967295 134512640 135730672 3221224592 3221223008 134748182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8425 6969 301 301 0 8124 0
vsize: 33700
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 12420 0 0 0 15962 38 0 0 25 0 1 0 966436738 34791424 7110 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8494 7110 301 301 0 8193 0
vsize: 33976
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 12710 0 0 0 16961 40 0 0 25 0 1 0 966436738 34791424 7200 4294967295 134512640 135730672 3221224592 3221222880 134747629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8494 7200 301 301 0 8193 0
vsize: 33976
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 12919 0 0 0 17960 41 0 0 25 0 1 0 966436738 35061760 7309 4294967295 134512640 135730672 3221224592 3221222880 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8560 7309 301 301 0 8259 0
vsize: 34240
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 13233 0 0 0 18959 42 0 0 25 0 1 0 966436738 35467264 7423 4294967295 134512640 135730672 3221224592 3221223024 134765770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8659 7423 301 301 0 8358 0
vsize: 34636
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 13396 0 0 0 19958 43 0 0 25 0 1 0 966436738 35467264 7486 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8659 7486 301 301 0 8358 0
vsize: 34636
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 13582 0 0 0 20957 44 0 0 25 0 1 0 966436738 35651584 7572 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8704 7572 301 301 0 8403 0
vsize: 34816
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 13773 0 0 0 21957 44 0 0 25 0 1 0 966436738 35651584 7663 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8704 7663 301 301 0 8403 0
vsize: 34816
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 14012 0 0 0 22956 46 0 0 25 0 1 0 966436738 35790848 7702 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8738 7702 301 301 0 8437 0
vsize: 34952
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 14218 0 0 0 23954 47 0 0 25 0 1 0 966436738 44179456 7808 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10786 7808 301 301 0 10485 0
vsize: 43144
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 14544 0 0 0 24953 48 0 0 25 0 1 0 966436738 44462080 7934 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10855 7934 301 301 0 10554 0
vsize: 43420
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 14705 0 0 0 25953 49 0 0 25 0 1 0 966436738 44462080 7995 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10855 7995 301 301 0 10554 0
vsize: 43420
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 14824 0 0 0 26952 50 0 0 25 0 1 0 966436738 44462080 8014 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10855 8014 301 301 0 10554 0
vsize: 43420
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 15023 0 0 0 27951 50 0 0 25 0 1 0 966436738 44613632 8113 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10892 8113 301 301 0 10591 0
vsize: 43568
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 15204 0 0 0 28951 51 0 0 25 0 1 0 966436738 44613632 8194 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10892 8194 301 301 0 10591 0
vsize: 43568
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 15402 0 0 0 29950 52 0 0 25 0 1 0 966436738 44773376 8292 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10931 8292 301 301 0 10630 0
vsize: 43724
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 15530 0 0 0 30949 53 0 0 25 0 1 0 966436738 44773376 8320 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10931 8320 301 301 0 10630 0
vsize: 43724
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 15812 0 0 0 31949 54 0 0 25 0 1 0 966436738 44978176 8402 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10981 8402 301 301 0 10680 0
vsize: 43924
[startup+330.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 15984 0 0 0 32948 54 0 0 25 0 1 0 966436738 45113344 8474 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11014 8474 301 301 0 10713 0
vsize: 44056
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 16045 0 0 0 33947 55 0 0 25 0 1 0 966436738 45113344 8535 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11014 8535 301 301 0 10713 0
vsize: 44056
[startup+350.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 16218 0 0 0 34946 57 0 0 25 0 1 0 966436738 45596672 8708 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11132 8708 301 301 0 10831 0
vsize: 44528
[startup+360.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 16288 0 0 0 35945 57 0 0 25 0 1 0 966436738 45596672 8778 4294967295 134512640 135730672 3221224592 3221222880 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11132 8778 301 301 0 10831 0
vsize: 44528
[startup+370.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 16358 0 0 0 36945 58 0 0 25 0 1 0 966436738 45596672 8848 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11132 8848 301 301 0 10831 0
vsize: 44528
[startup+380.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 16416 0 0 0 37945 58 0 0 25 0 1 0 966436738 45596672 8906 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11132 8906 301 301 0 10831 0
vsize: 44528
[startup+390.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 16659 0 0 0 38944 59 0 0 25 0 1 0 966436738 46002176 9049 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11231 9049 301 301 0 10930 0
vsize: 44924
[startup+400.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 16805 0 0 0 39944 60 0 0 25 0 1 0 966436738 46362624 9195 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11319 9195 301 301 0 11018 0
vsize: 45276
[startup+410.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 16893 0 0 0 40943 61 0 0 25 0 1 0 966436738 46555136 9283 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11366 9283 301 301 0 11065 0
vsize: 45464
[startup+420.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 16994 0 0 0 41942 62 0 0 25 0 1 0 966436738 46555136 9384 4294967295 134512640 135730672 3221224592 3221222880 134747768 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11366 9384 301 301 0 11065 0
vsize: 45464
[startup+430.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 17074 0 0 0 42941 63 0 0 25 0 1 0 966436738 46555136 9464 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11366 9464 301 301 0 11065 0
vsize: 45464
[startup+440.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 17149 0 0 0 43941 63 0 0 25 0 1 0 966436738 46555136 9539 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11366 9539 301 301 0 11065 0
vsize: 45464
[startup+450.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 17221 0 0 0 44940 64 0 0 25 0 1 0 966436738 46555136 9611 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11366 9611 301 301 0 11065 0
vsize: 45464
[startup+460.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 17319 0 0 0 45940 65 0 0 25 0 1 0 966436738 46833664 9709 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11434 9709 301 301 0 11133 0
vsize: 45736
[startup+470.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 17488 0 0 0 46938 67 0 0 25 0 1 0 966436738 46833664 9778 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11434 9778 301 301 0 11133 0
vsize: 45736
[startup+480.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 17597 0 0 0 47937 68 0 0 25 0 1 0 966436738 46833664 9787 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11434 9787 301 301 0 11133 0
vsize: 45736
[startup+490.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 17617 0 0 0 48936 69 0 0 25 0 1 0 966436738 46833664 9807 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11434 9807 301 301 0 11133 0
vsize: 45736
[startup+500.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 17775 0 0 0 49935 70 0 0 25 0 1 0 966436738 46968832 9865 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11467 9865 301 301 0 11166 0
vsize: 45868
[startup+510.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 17981 0 0 0 50934 71 0 0 25 0 1 0 966436738 46968832 9971 4294967295 134512640 135730672 3221224592 3221222880 134747555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11467 9971 301 301 0 11166 0
vsize: 45868
[startup+520.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 18111 0 0 0 51933 72 0 0 25 0 1 0 966436738 47161344 10101 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11514 10101 301 301 0 11213 0
vsize: 46056
[startup+530.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 18217 0 0 0 52932 73 0 0 25 0 1 0 966436738 47161344 10107 4294967295 134512640 135730672 3221224592 3221222896 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11514 10107 301 301 0 11213 0
vsize: 46056
[startup+540.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 18422 0 0 0 53932 74 0 0 25 0 1 0 966436738 47161344 10112 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11514 10112 301 301 0 11213 0
vsize: 46056
[startup+550.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 18437 0 0 0 54931 74 0 0 25 0 1 0 966436738 47296512 10127 4294967295 134512640 135730672 3221224592 3221222896 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11547 10127 301 301 0 11246 0
vsize: 46188
[startup+560.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 18731 0 0 0 55931 75 0 0 25 0 1 0 966436738 47874048 10321 4294967295 134512640 135730672 3221224592 3221222520 134765489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11688 10321 301 301 0 11387 0
vsize: 46752
[startup+570.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 18974 0 0 0 56930 76 0 0 25 0 1 0 966436738 47464448 10364 4294967295 134512640 135730672 3221224592 3221222880 134747662 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11588 10364 301 301 0 11287 0
vsize: 46352
[startup+580.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 20643 0 0 0 57925 81 0 0 25 0 1 0 966436738 53755904 10496 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13124 10496 301 301 0 12823 0
vsize: 52496
[startup+590.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 20740 0 0 0 58925 81 0 0 25 0 1 0 966436738 53911552 10593 4294967295 134512640 135730672 3221224592 3221222896 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13162 10593 301 301 0 12861 0
vsize: 52648
[startup+600.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 20975 0 0 0 59924 83 0 0 25 0 1 0 966436738 70688768 10728 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17258 10728 301 301 0 16957 0
vsize: 69032
[startup+610.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 21234 0 0 0 60923 83 0 0 25 0 1 0 966436738 70823936 10887 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17291 10887 301 301 0 16990 0
vsize: 69164
[startup+620.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 21370 0 0 0 61923 84 0 0 25 0 1 0 966436738 70823936 11023 4294967295 134512640 135730672 3221224592 3221222624 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17291 11023 301 301 0 16990 0
vsize: 69164
[startup+630.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 21628 0 0 0 62922 85 0 0 25 0 1 0 966436738 71094272 11181 4294967295 134512640 135730672 3221224592 3221222880 134747788 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17357 11181 301 301 0 17056 0
vsize: 69428
[startup+640.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 21841 0 0 0 63922 86 0 0 25 0 1 0 966436738 71094272 11294 4294967295 134512640 135730672 3221224592 3221222880 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17357 11294 301 301 0 17056 0
vsize: 69428
[startup+650.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 21955 0 0 0 64921 87 0 0 25 0 1 0 966436738 71233536 11408 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17391 11408 301 301 0 17090 0
vsize: 69564
[startup+660.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 22040 0 0 0 65920 87 0 0 25 0 1 0 966436738 71233536 11493 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17391 11493 301 301 0 17090 0
vsize: 69564
[startup+670.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 22056 0 0 0 66921 87 0 0 25 0 1 0 966436738 71233536 11509 4294967295 134512640 135730672 3221224592 3221222880 134747868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17391 11509 301 301 0 17090 0
vsize: 69564
[startup+680.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 22074 0 0 0 67920 88 0 0 25 0 1 0 966436738 71372800 11527 4294967295 134512640 135730672 3221224592 3221222992 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17425 11527 301 301 0 17124 0
vsize: 69700
[startup+683.045 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 1637
Raw data (stat): 1637 (pb2sat-v2) R 1636 31399 31398 0 -1 0 22074 0 0 0 67920 88 0 0 25 0 1 0 966436738 71372800 11527 4294967295 134512640 135730672 3221224592 3221222992 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17425 11527 301 301 0 17124 0
vsize: 0

Child status: 30
Real time (s): 683.044
CPU time (s): 683.125
CPU user time (s): 682.215
CPU system time (s): 0.909861
CPU usage (%): 100.012
Max. virtual memory (Kb): 69700
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	60
#### END VERIFIER DATA ####