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-5pb.opb
MD5SUM	4ca29b1bc7e76812f7871e2b937d8a23
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	720
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	720
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	720
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.04084
Number of variables	720
Total number of constraints	2168
Number of constraints which are clauses	2144
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	30
Trace number 42129

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 00:27:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25339 boxname=wulflinc3 idbench=241 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4ca29b1bc7e76812f7871e2b937d8a23  /oldhome/oroussel/tmp/wulflinc3/normalized-s4-4-3-5pb.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-s4-4-3-5pb.opb
IDLAUNCH: 25339
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        844484 kB
Buffers:         33880 kB
Cached:         134892 kB
SwapCached:        820 kB
Active:          42292 kB
Inactive:       128640 kB
HighTotal:      131008 kB
HighFree:        18032 kB
LowTotal:       903652 kB
LowFree:        826452 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13704 kB
Committed_AS:    71892 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:39:14 (client local time) WITH STATUS 30 IN 706.833 SECONDS
stats: 25339 0 706.833 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 658/3322	Time: 5.50716/86400
c Decision: 658/3322	Time: 6.12107/86400
c Decision: 658/3322	Time: 6.73698/86400
c Decision: 658/3322	Time: 7.46087/86400
c Decision: 658/3322	Time: 8.01078/86400
c Decision: 658/3322	Time: 8.77467/86400
c Decision: 658/3322	Time: 9.48656/86400
c Decision: 658/3322	Time: 10.2684/86400
c Decision: 658/3322	Time: 11.1523/86400
c Decision: 658/3322	Time: 11.9922/86400
c Decision: 658/3322	Time: 12.889/86400
c got solution with objective value: 70
c small objective detected
c CONFLICT during preprocess 

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

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

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

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

c Decision: 23495/51383	Time: 36.1485/86400
c Decision: 23495/51383	Time: 40.5258/86400
c Decision: 23495/51383	Time: 44.5372/86400
c Decision: 23495/51383	Time: 48.5686/86400
c Decision: 23495/51383	Time: 52.507/86400
c Decision: 23495/51383	Time: 56.2994/86400
c Decision: 23495/51383	Time: 60.4908/86400
c Decision: 23495/51383	Time: 64.6362/86400
c Decision: 23495/51383	Time: 71.6331/86400
c Decision: 23495/51383	Time: 78.3981/86400
c Decision: 23495/51383	Time: 84.4522/86400
c [startup+102.355 s]  setting bit 5 to 0

c Decision: 17125/51383	Time: 48.2107/86400
c Decision: 18267/51383	Time: 56.8954/86400
c Decision: 18267/51383	Time: 62.4275/86400
c Decision: 18267/51383	Time: 68.4046/86400
c Decision: 18267/51383	Time: 73.7688/86400
c Decision: 18267/51383	Time: 78.4011/86400
c Decision: 18267/51383	Time: 82.5794/86400
c Decision: 18267/51383	Time: 87.1987/86400
c Decision: 18267/51383	Time: 92.325/86400
c Decision: 18267/51383	Time: 96.4053/86400
c Decision: 18267/51383	Time: 100.888/86400
c Decision: 18267/51383	Time: 105.354/86400
c Decision: 18267/51383	Time: 110.262/86400
c Decision: 18267/51383	Time: 115.796/86400
c Decision: 18267/51383	Time: 119.812/86400
c Decision: 18267/51383	Time: 125.536/86400
c Decision: 18267/51383	Time: 130.413/86400
c Decision: 18267/51383	Time: 135.981/86400
c Decision: 18267/51383	Time: 142.446/86400
c Decision: 18267/51383	Time: 147.823/86400
c [startup+260.209 s]  setting bit 4 to 0

c Decision: 22346/51383	Time: 9.70452/86400
c Decision: 22346/51383	Time: 15.6176/86400
c Decision: 22394/51383	Time: 24.5713/86400
c Decision: 22394/51383	Time: 29.4315/86400
c Decision: 22394/51383	Time: 35.3796/86400
c Decision: 22394/51383	Time: 40.7568/86400
c Decision: 22394/51383	Time: 47.3678/86400
c Decision: 22394/51383	Time: 52.671/86400
c Decision: 22394/51383	Time: 57.6892/86400
c Decision: 22982/51383	Time: 68.7465/86400
c Decision: 22982/51383	Time: 74.9626/86400
c Decision: 22982/51383	Time: 80.2048/86400
c Decision: 22982/51383	Time: 86.8688/86400
c Decision: 22982/51383	Time: 91.792/86400
c Decision: 22982/51383	Time: 96.3214/86400
c Decision: 22982/51383	Time: 100.611/86400
c Decision: 22982/51383	Time: 107.381/86400
c Decision: 22982/51383	Time: 113.231/86400
c Decision: 22982/51383	Time: 120.824/86400
c Decision: 22982/51383	Time: 125.539/86400
c Decision: 22982/51383	Time: 131.642/86400
c Decision: 22982/51383	Time: 136.776/86400
c Decision: 22982/51383	Time: 142.367/86400
c Decision: 22982/51383	Time: 148.365/86400
c Decision: 22982/51383	Time: 154.485/86400
c Decision: 22982/51383	Time: 160.293/86400
c Decision: 22982/51383	Time: 165.937/86400
c Decision: 23002/51383	Time: 176.991/86400
c Decision: 23002/51383	Time: 184.039/86400
c Decision: 23002/51383	Time: 190.797/86400
c Decision: 23002/51383	Time: 197.257/86400
c Decision: 23002/51383	Time: 203.83/86400
c Decision: 23002/51383	Time: 210.173/86400
c Decision: 23002/51383	Time: 217.237/86400
c Decision: 23002/51383	Time: 223.392/86400
c Decision: 23002/51383	Time: 231.734/86400
c Decision: 23002/51383	Time: 237.731/86400
c Decision: 23003/51383	Time: 248.591/86400
c Decision: 23003/51383	Time: 255.709/86400
c Decision: 23003/51383	Time: 261.553/86400
c Decision: 23003/51383	Time: 267.66/86400
c Decision: 23835/51383	Time: 280/86400
c Decision: 23835/51383	Time: 286.939/86400
c Decision: 23835/51383	Time: 294.289/86400
c Decision: 23835/51383	Time: 299.943/86400
c Decision: 23835/51383	Time: 306.985/86400
c Decision: 23836/51383	Time: 317.837/86400
c Decision: 23836/51383	Time: 324.451/86400
c Decision: 23836/51383	Time: 331.537/86400
c Decision: 23854/51383	Time: 346.839/86400
c Decision: 23854/51383	Time: 353.16/86400
c Decision: 23854/51383	Time: 359.276/86400
c Decision: 23855/51383	Time: 372.283/86400
c Decision: 23855/51383	Time: 380.141/86400
c Decision: 27045/51383	Time: 391.856/86400
c Decision: 27045/51383	Time: 399.836/86400
c Decision: 27081/51383	Time: 415.345/86400
c got solution with objective value: 60
c [startup+681.218 s]  setting bit 3 to 1

c [startup+693.789 s]  setting bit 2 to 0

c [startup+696.142 s]  setting bit 1 to 0

c got solution with objective value: 60
c [startup+706.497 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 -v697 -v698 -v699 -v7 -v70 -v700 -v701 -v702 -v703 -v704 -v705 v706 -v707 -v708 -v709 -v71 -v710 -v711 -v712 -v713 -v714 -v715 -v716 -v717 -v718 -v719 -v72 -v720 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.95 0.91 2/54 13765
Raw data (stat): 13765 (runsolver) R 13764 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966429062 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.95 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 1251 0 0 0 993 5 0 0 25 0 1 0 966429062 5824512 1053 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1422 1053 301 301 0 1121 0
vsize: 5688
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 8858 0 0 0 1973 25 0 0 25 0 1 0 966429062 30064640 5611 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7340 5611 301 301 0 7039 0
vsize: 29360
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 9118 0 0 0 2971 27 0 0 25 0 1 0 966429062 30883840 5871 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7540 5871 301 301 0 7239 0
vsize: 30160
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 9330 0 0 0 3969 28 0 0 25 0 1 0 966429062 31215616 6083 4294967295 134512640 135730672 3221224592 3221222712 134814538 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7621 6083 301 301 0 7320 0
vsize: 30484
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 9518 0 0 0 4968 29 0 0 25 0 1 0 966429062 31379456 6271 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7661 6271 301 301 0 7360 0
vsize: 30644
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 9896 0 0 0 5966 31 0 0 25 0 1 0 966429062 31735808 6447 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7748 6447 301 301 0 7447 0
vsize: 30992
[startup+70.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 10363 0 0 0 6963 33 0 0 25 0 1 0 966429062 32022528 6611 4294967295 134512640 135730672 3221224592 3221222880 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7818 6611 301 301 0 7517 0
vsize: 31272
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 10713 0 0 0 7962 35 0 0 25 0 1 0 966429062 32198656 6759 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7861 6759 301 301 0 7560 0
vsize: 31444
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 11072 0 0 0 8961 36 0 0 25 0 1 0 966429062 32714752 6916 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7987 6916 301 301 0 7686 0
vsize: 31948
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 11332 0 0 0 9959 37 0 0 25 0 1 0 966429062 33243136 7075 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8116 7075 301 301 0 7815 0
vsize: 32464
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 11663 0 0 0 10958 38 0 0 25 0 1 0 966429062 33587200 7204 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8200 7204 301 301 0 7899 0
vsize: 32800
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 11859 0 0 0 11957 39 0 0 25 0 1 0 966429062 34082816 7400 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8321 7400 301 301 0 8020 0
vsize: 33284
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 11976 0 0 0 12957 40 0 0 25 0 1 0 966429062 34082816 7517 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8321 7517 301 301 0 8020 0
vsize: 33284
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 12127 0 0 0 13956 41 0 0 25 0 1 0 966429062 42758144 7668 4294967295 134512640 135730672 3221224592 3221222976 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10439 7668 301 301 0 10138 0
vsize: 41756
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 12246 0 0 0 14955 42 0 0 25 0 1 0 966429062 42954752 7787 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10487 7787 301 301 0 10186 0
vsize: 41948
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 12593 0 0 0 15954 43 0 0 25 0 1 0 966429062 43089920 7932 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10520 7932 301 301 0 10219 0
vsize: 42080
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 12802 0 0 0 16953 45 0 0 25 0 1 0 966429062 43089920 8040 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10520 8040 301 301 0 10219 0
vsize: 42080
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 13138 0 0 0 17952 46 0 0 25 0 1 0 966429062 43261952 8174 4294967295 134512640 135730672 3221224592 3221222880 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10562 8174 301 301 0 10261 0
vsize: 42248
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 13535 0 0 0 18951 47 0 0 25 0 1 0 966429062 43261952 8268 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10562 8268 301 301 0 10261 0
vsize: 42248
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 13875 0 0 0 19949 49 0 0 25 0 1 0 966429062 43261952 8406 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10562 8406 301 301 0 10261 0
vsize: 42248
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 14203 0 0 0 20948 50 0 0 25 0 1 0 966429062 43401216 8532 4294967295 134512640 135730672 3221224592 3221222880 134747840 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10596 8532 301 301 0 10295 0
vsize: 42384
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 14523 0 0 0 21948 51 0 0 25 0 1 0 966429062 43536384 8650 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10629 8650 301 301 0 10328 0
vsize: 42516
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 14842 0 0 0 22947 52 0 0 25 0 1 0 966429062 43728896 8767 4294967295 134512640 135730672 3221224592 3221222880 134747452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10676 8767 301 301 0 10375 0
vsize: 42704
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 15203 0 0 0 23945 54 0 0 25 0 1 0 966429062 43999232 8926 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10742 8926 301 301 0 10441 0
vsize: 42968
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 15395 0 0 0 24944 56 0 0 25 0 1 0 966429062 44195840 9017 4294967295 134512640 135730672 3221224592 3221222896 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10790 9017 301 301 0 10489 0
vsize: 43160
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 15602 0 0 0 25943 56 0 0 25 0 1 0 966429062 44392448 9123 4294967295 134512640 135730672 3221224592 3221222720 134739215 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10838 9123 301 301 0 10537 0
vsize: 43352
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 15918 0 0 0 26943 57 0 0 25 0 1 0 966429062 44748800 9237 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10925 9237 301 301 0 10624 0
vsize: 43700
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 16037 0 0 0 27942 58 0 0 25 0 1 0 966429062 44748800 9255 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10925 9255 301 301 0 10624 0
vsize: 43700
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 16348 0 0 0 28941 59 0 0 25 0 1 0 966429062 44748800 9364 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10925 9364 301 301 0 10624 0
vsize: 43700
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 16579 0 0 0 29940 60 0 0 25 0 1 0 966429062 44900352 9494 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10962 9494 301 301 0 10661 0
vsize: 43848
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 16781 0 0 0 30939 61 0 0 25 0 1 0 966429062 45056000 9595 4294967295 134512640 135730672 3221224592 3221222996 134748221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11000 9595 301 301 0 10699 0
vsize: 44000
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 17019 0 0 0 31939 62 0 0 25 0 1 0 966429062 45056000 9732 4294967295 134512640 135730672 3221224592 3221222880 134747957 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11000 9732 301 301 0 10699 0
vsize: 44000
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 18874 0 0 0 32934 67 0 0 25 0 1 0 966429062 52150272 9949 4294967295 134512640 135730672 3221224592 3221223040 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12732 9949 301 301 0 12431 0
vsize: 50928
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 18993 0 0 0 33933 68 0 0 25 0 1 0 966429062 52150272 10068 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12732 10068 301 301 0 12431 0
vsize: 50928
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 19230 0 0 0 34931 70 0 0 25 0 1 0 966429062 52297728 10204 4294967295 134512640 135730672 3221224592 3221223008 134748158 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12768 10204 301 301 0 12467 0
vsize: 51072
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 19472 0 0 0 35930 72 0 0 25 0 1 0 966429062 52494336 10345 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12816 10345 301 301 0 12515 0
vsize: 51264
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 19703 0 0 0 36929 73 0 0 25 0 1 0 966429062 52629504 10475 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12849 10475 301 301 0 12548 0
vsize: 51396
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 19813 0 0 0 37928 74 0 0 25 0 1 0 966429062 69406720 10585 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16945 10585 301 301 0 16644 0
vsize: 67780
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 20156 0 0 0 38927 75 0 0 25 0 1 0 966429062 69627904 10726 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16999 10726 301 301 0 16698 0
vsize: 67996
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 20436 0 0 0 39926 77 0 0 25 0 1 0 966429062 69627904 10804 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16999 10804 301 301 0 16698 0
vsize: 67996
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 20749 0 0 0 40925 78 0 0 25 0 1 0 966429062 69627904 10915 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16999 10915 301 301 0 16698 0
vsize: 67996
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 21077 0 0 0 41923 79 0 0 25 0 1 0 966429062 69763072 11041 4294967295 134512640 135730672 3221224592 3221223008 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17032 11041 301 301 0 16731 0
vsize: 68128
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 21274 0 0 0 42923 80 0 0 25 0 1 0 966429062 69763072 11137 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17032 11137 301 301 0 16731 0
vsize: 68128
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 21479 0 0 0 43922 81 0 0 25 0 1 0 966429062 69910528 11241 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17068 11241 301 301 0 16767 0
vsize: 68272
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 21684 0 0 0 44921 82 0 0 25 0 1 0 966429062 69910528 11345 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17068 11345 301 301 0 16767 0
vsize: 68272
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 21971 0 0 0 45920 83 0 0 25 0 1 0 966429062 69910528 11430 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17068 11430 301 301 0 16767 0
vsize: 68272
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 22169 0 0 0 46920 84 0 0 25 0 1 0 966429062 69910528 11527 4294967295 134512640 135730672 3221224592 3221222896 134746512 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17068 11527 301 301 0 16767 0
vsize: 68272
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 22490 0 0 0 47918 85 0 0 25 0 1 0 966429062 70115328 11646 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17118 11646 301 301 0 16817 0
vsize: 68472
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 22715 0 0 0 48917 87 0 0 25 0 1 0 966429062 70283264 11770 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17159 11770 301 301 0 16858 0
vsize: 68636
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 23014 0 0 0 49916 88 0 0 25 0 1 0 966429062 70451200 11867 4294967295 134512640 135730672 3221224592 3221222880 134747834 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17200 11867 301 301 0 16899 0
vsize: 68800
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 23236 0 0 0 50915 89 0 0 25 0 1 0 966429062 70451200 11988 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17200 11988 301 301 0 16899 0
vsize: 68800
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 23436 0 0 0 51914 91 0 0 25 0 1 0 966429062 70451200 12087 4294967295 134512640 135730672 3221224592 3221223008 134748111 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17200 12087 301 301 0 16899 0
vsize: 68800
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 23734 0 0 0 52913 92 0 0 25 0 1 0 966429062 70619136 12183 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17241 12183 301 301 0 16940 0
vsize: 68964
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 23779 0 0 0 53912 93 0 0 25 0 1 0 966429062 70922240 12228 4294967295 134512640 135730672 3221224592 3221222896 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17315 12228 301 301 0 17014 0
vsize: 69260
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 24000 0 0 0 54912 94 0 0 25 0 1 0 966429062 70922240 12247 4294967295 134512640 135730672 3221224592 3221223008 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17315 12247 301 301 0 17014 0
vsize: 69260
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 24111 0 0 0 55911 95 0 0 25 0 1 0 966429062 70922240 12257 4294967295 134512640 135730672 3221224592 3221222896 134746077 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17315 12257 301 301 0 17014 0
vsize: 69260
[startup+570.028 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 24319 0 0 0 56911 95 0 0 25 0 1 0 966429062 70922240 12263 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17315 12263 301 301 0 17014 0
vsize: 69260
[startup+580.029 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 24459 0 0 0 57910 96 0 0 25 0 1 0 966429062 71057408 12302 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17348 12302 301 301 0 17047 0
vsize: 69392
[startup+590.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 24566 0 0 0 58910 96 0 0 25 0 1 0 966429062 71057408 12308 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17348 12308 301 301 0 17047 0
vsize: 69392
[startup+600.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 24679 0 0 0 59910 97 0 0 25 0 1 0 966429062 71192576 12320 4294967295 134512640 135730672 3221224592 3221222976 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17381 12320 301 301 0 17080 0
vsize: 69524
[startup+610.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 24819 0 0 0 60909 98 0 0 25 0 1 0 966429062 71323648 12359 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17413 12359 301 301 0 17112 0
vsize: 69652
[startup+620.031 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 25032 0 0 0 61909 98 0 0 25 0 1 0 966429062 71323648 12370 4294967295 134512640 135730672 3221224592 3221222880 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17413 12370 301 301 0 17112 0
vsize: 69652
[startup+630.032 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 25041 0 0 0 62909 98 0 0 25 0 1 0 966429062 71323648 12379 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17413 12379 301 301 0 17112 0
vsize: 69652
[startup+640.033 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 25174 0 0 0 63909 99 0 0 25 0 1 0 966429062 71454720 12411 4294967295 134512640 135730672 3221224592 3221222896 134746175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17445 12411 301 301 0 17144 0
vsize: 69780
[startup+650.034 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 25285 0 0 0 64909 99 0 0 25 0 1 0 966429062 71454720 12421 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17445 12421 301 301 0 17144 0
vsize: 69780
[startup+660.033 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 25516 0 0 0 65908 100 0 0 25 0 1 0 966429062 71573504 12450 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17474 12450 301 301 0 17173 0
vsize: 69896
[startup+670.034 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 25530 0 0 0 66908 100 0 0 25 0 1 0 966429062 71573504 12464 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17474 12464 301 301 0 17173 0
vsize: 69896
[startup+680.034 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 25673 0 0 0 67907 101 0 0 25 0 1 0 966429062 71708672 12506 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17507 12506 301 301 0 17206 0
vsize: 70028
[startup+690.035 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 25784 0 0 0 68907 101 0 0 25 0 1 0 966429062 71708672 12516 4294967295 134512640 135730672 3221224592 3221222880 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17507 12516 301 301 0 17206 0
vsize: 70028
[startup+700.036 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 26016 0 0 0 69906 102 0 0 25 0 1 0 966429062 71843840 12546 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17540 12546 301 301 0 17239 0
vsize: 70160
[startup+706.772 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 13765
Raw data (stat): 13765 (pb2sat-v2) R 13764 20224 20223 0 -1 0 26016 0 0 0 69906 102 0 0 25 0 1 0 966429062 71843840 12546 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17540 12546 301 301 0 17239 0
vsize: 0

Child status: 30
Real time (s): 706.772
CPU time (s): 706.833
CPU user time (s): 705.777
CPU system time (s): 1.05584
CPU usage (%): 100.009
Max. virtual memory (Kb): 70160
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	60
#### END VERIFIER DATA ####