PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM	feaa96df552ef9989407735877840272
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13
Optimality of the best value was proved	NO
Number of terms in the objective function	776
Biggest coefficient in the objective function	474
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	2127
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	474
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	2127
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04084
Number of variables	776
Total number of constraints	1642
Number of constraints which are clauses	701
Number of constraints which are cardinality constraints (but not clauses)	941
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	20
Trace number 42264

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 04:28:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25467 boxname=wulflinc3 idbench=369 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  feaa96df552ef9989407735877840272  /oldhome/oroussel/tmp/wulflinc3/normalized-10:20:4.5:0.5:100.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-10:20:4.5:0.5:100.opb
IDLAUNCH: 25467
/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:        802040 kB
Buffers:         34200 kB
Cached:         176800 kB
SwapCached:        820 kB
Active:          53836 kB
Inactive:       159288 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        801788 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13776 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 04:48:48 (client local time) WITH STATUS 10 IN 1201.53 SECONDS
stats: 25467 0 1201.53 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 985
c big objective detected
c trying from 0 to 511

c Decision: 860/284315	Time: 82.0735/86400
c Decision: 860/284315	Time: 116.898/86400
c Decision: 860/284315	Time: 158.159/86400
c Decision: 860/284315	Time: 188.272/86400
c Decision: 860/284315	Time: 237.889/86400
c Decision: 860/284315	Time: 290.94/86400
c Decision: 860/284315	Time: 334.309/86400
c Decision: 860/284315	Time: 381.718/86400
c Decision: 860/284315	Time: 445.881/86400
c Decision: 860/284315	Time: 512.104/86400
c Decision: 860/284315	Time: 581.239/86400
c Decision: 860/284315	Time: 637.783/86400
c Decision: 860/284315	Time: 713.462/86400
c Decision: 860/284315	Time: 793.075/86400
c Decision: 860/284315	Time: 868.709/86400
c Decision: 860/284315	Time: 955.494/86400
c Decision: 860/284315	Time: 1025.27/86400
c Decision: 860/284315	Time: 1098.24/86400
c Decision: 860/284315	Time: 1171.5/86400s SATISFIABLE
v one -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 -v721 -v722 v723 v724 v725 -v726 v727 -v728 -v729 v73 -v730 -v731 v732 -v733 -v734 -v735 -v736 -v737 -v738 -v739 -v74 v740 -v741 v742 v743 -v744 -v745 -v746 -v747 v748 -v749 -v75 v750 v751 -v752 -v753 v754 v755 -v756 -v757 -v758 v759 -v76 v760 v761 v762 v763 -v764 v765 v766 v767 v768 v769 -v77 v770 v771 v772 v773 v774 v775 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.85 0.97 0.92 2/54 15658
Raw data (stat): 15658 (runsolver) R 15657 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967876981 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+10.0007 s]
Raw data (loadavg): 0.87 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 28035 0 0 0 938 60 0 0 25 0 1 0 967876981 86757376 17144 4294967295 134512640 135730672 3221224576 3221001320 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21181 17144 301 301 0 20880 0
vsize: 84724
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 49124 0 0 0 1895 104 0 0 25 0 1 0 967876981 151863296 26777 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37076 26777 301 301 0 36775 0
vsize: 148304
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 49754 0 0 0 2893 106 0 0 25 0 1 0 967876981 154238976 27227 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37656 27227 301 301 0 37355 0
vsize: 150624
[startup+40.0012 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 50706 0 0 0 3891 108 0 0 25 0 1 0 967876981 158232576 27949 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38631 27949 301 301 0 38330 0
vsize: 154524
[startup+50.0018 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 51631 0 0 0 4888 111 0 0 25 0 1 0 967876981 161918976 28653 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39531 28653 301 301 0 39230 0
vsize: 158124
[startup+60.0016 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 52259 0 0 0 5887 113 0 0 25 0 1 0 967876981 164311040 29133 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40115 29133 301 301 0 39814 0
vsize: 160460
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 53030 0 0 0 6885 114 0 0 25 0 1 0 967876981 167038976 29658 4294967295 134512640 135730672 3221224576 3221222552 135285390 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40781 29658 301 301 0 40480 0
vsize: 163124
[startup+80.0033 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 53458 0 0 0 7885 115 0 0 25 0 1 0 967876981 168775680 29922 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41205 29922 301 301 0 40904 0
vsize: 164820
[startup+90.0031 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 53720 0 0 0 8883 117 0 0 25 0 1 0 967876981 169963520 30103 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41495 30103 301 301 0 41194 0
vsize: 165980
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 54583 0 0 0 9881 119 0 0 25 0 1 0 967876981 171028480 30328 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41755 30328 301 301 0 41454 0
vsize: 167020
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 54813 0 0 0 10880 120 0 0 25 0 1 0 967876981 171692032 30459 4294967295 134512640 135730672 3221224576 3221222992 134748420 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41917 30459 301 301 0 41616 0
vsize: 167668
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 54950 0 0 0 11879 120 0 0 25 0 1 0 967876981 172228608 30563 4294967295 134512640 135730672 3221224576 3221222800 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42048 30563 301 301 0 41747 0
vsize: 168192
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 55381 0 0 0 12879 121 0 0 25 0 1 0 967876981 173690880 30796 4294967295 134512640 135730672 3221224576 3221222800 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42405 30796 301 301 0 42104 0
vsize: 169620
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 56255 0 0 0 13876 124 0 0 25 0 1 0 967876981 174759936 31015 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42666 31015 301 301 0 42365 0
vsize: 170664
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 56577 0 0 0 14876 125 0 0 25 0 1 0 967876981 175951872 31206 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42957 31206 301 301 0 42656 0
vsize: 171828
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 56950 0 0 0 15875 126 0 0 25 0 1 0 967876981 177410048 31449 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43313 31449 301 301 0 43012 0
vsize: 173252
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 57251 0 0 0 16874 127 0 0 25 0 1 0 967876981 178335744 31651 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43539 31651 301 301 0 43238 0
vsize: 174156
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 58197 0 0 0 17871 129 0 0 25 0 1 0 967876981 179654656 31846 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43861 31846 301 301 0 43560 0
vsize: 175444
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 58527 0 0 0 18870 131 0 0 25 0 1 0 967876981 180711424 32045 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44119 32045 301 301 0 43818 0
vsize: 176476
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 58636 0 0 0 19870 131 0 0 25 0 1 0 967876981 181243904 32154 4294967295 134512640 135730672 3221224576 3221222960 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44249 32154 301 301 0 43948 0
vsize: 176996
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 59358 0 0 0 20868 133 0 0 25 0 1 0 967876981 181637120 32222 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44345 32222 301 301 0 44044 0
vsize: 177380
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 59480 0 0 0 21868 134 0 0 25 0 1 0 967876981 182169600 32344 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44475 32344 301 301 0 44174 0
vsize: 177900
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 59501 0 0 0 22867 135 0 0 25 0 1 0 967876981 182169600 32365 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44475 32365 301 301 0 44174 0
vsize: 177900
[startup+240.008 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 59618 0 0 0 23867 135 0 0 25 0 1 0 967876981 182566912 32449 4294967295 134512640 135730672 3221224576 3221222896 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44572 32449 301 301 0 44271 0
vsize: 178288
[startup+250.009 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 59772 0 0 0 24866 136 0 0 25 0 1 0 967876981 183230464 32570 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44734 32570 301 301 0 44433 0
vsize: 178936
[startup+260.008 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 60427 0 0 0 25863 138 0 0 25 0 1 0 967876981 183492608 32604 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44798 32604 301 301 0 44497 0
vsize: 179192
[startup+270.008 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 60445 0 0 0 26863 139 0 0 25 0 1 0 967876981 183492608 32622 4294967295 134512640 135730672 3221224576 3221222960 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44798 32622 301 301 0 44497 0
vsize: 179192
[startup+280.008 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 60590 0 0 0 27862 140 0 0 25 0 1 0 967876981 183754752 32702 4294967295 134512640 135730672 3221224576 3221222992 134748466 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44862 32702 301 301 0 44561 0
vsize: 179448
[startup+290.009 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 60603 0 0 0 28862 140 0 0 25 0 1 0 967876981 183619584 32682 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44829 32682 301 301 0 44528 0
vsize: 179316
[startup+300.01 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 60666 0 0 0 29862 141 0 0 25 0 1 0 967876981 183885824 32745 4294967295 134512640 135730672 3221224576 3221222960 134734837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44894 32745 301 301 0 44593 0
vsize: 179576
[startup+310.01 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 61262 0 0 0 30860 142 0 0 25 0 1 0 967876981 183885824 32785 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44894 32785 301 301 0 44593 0
vsize: 179576
[startup+320.011 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 61414 0 0 0 31859 143 0 0 25 0 1 0 967876981 184279040 32839 4294967295 134512640 135730672 3221224576 3221222800 134747634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44990 32839 301 301 0 44689 0
vsize: 179960
[startup+330.011 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 61590 0 0 0 32859 144 0 0 25 0 1 0 967876981 184803328 32885 4294967295 134512640 135730672 3221224576 3221222640 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45118 32885 301 301 0 44817 0
vsize: 180472
[startup+340.011 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 61677 0 0 0 33859 144 0 0 25 0 1 0 967876981 185069568 32939 4294967295 134512640 135730672 3221224576 3221222800 134747525 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45183 32939 301 301 0 44882 0
vsize: 180732
[startup+350.011 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 62358 0 0 0 34857 146 0 0 25 0 1 0 967876981 185466880 32999 4294967295 134512640 135730672 3221224576 3221222960 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45280 32999 301 301 0 44979 0
vsize: 181120
[startup+360.012 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 62386 0 0 0 35857 146 0 0 25 0 1 0 967876981 185466880 33027 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45280 33027 301 301 0 44979 0
vsize: 181120
[startup+370.012 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 62483 0 0 0 36857 146 0 0 25 0 1 0 967876981 185597952 33091 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45312 33091 301 301 0 45011 0
vsize: 181248
[startup+380.011 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 62522 0 0 0 37856 147 0 0 25 0 1 0 967876981 185729024 33097 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45344 33097 301 301 0 45043 0
vsize: 181376
[startup+390.012 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 62863 0 0 0 38856 148 0 0 25 0 1 0 967876981 186785792 33241 4294967295 134512640 135730672 3221224576 3221222960 134734790 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45602 33241 301 301 0 45301 0
vsize: 182408
[startup+400.012 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 63652 0 0 0 39854 150 0 0 25 0 1 0 967876981 187445248 33343 4294967295 134512640 135730672 3221224576 3221222624 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45763 33343 301 301 0 45462 0
vsize: 183052
[startup+410.012 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 63735 0 0 0 40854 150 0 0 25 0 1 0 967876981 187707392 33361 4294967295 134512640 135730672 3221224576 3221222928 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45827 33361 301 301 0 45526 0
vsize: 183308
[startup+420.013 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 63810 0 0 0 41854 150 0 0 25 0 1 0 967876981 187973632 33403 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45892 33403 301 301 0 45591 0
vsize: 183568
[startup+430.013 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 63814 0 0 0 42854 150 0 0 25 0 1 0 967876981 187973632 33407 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45892 33407 301 301 0 45591 0
vsize: 183568
[startup+440.013 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 63977 0 0 0 43853 151 0 0 25 0 1 0 967876981 188506112 33504 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46022 33504 301 301 0 45721 0
vsize: 184088
[startup+450.013 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 64064 0 0 0 44853 151 0 0 25 0 1 0 967876981 188772352 33591 4294967295 134512640 135730672 3221224576 3221222940 134748066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46087 33591 301 301 0 45786 0
vsize: 184348
[startup+460.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 64066 0 0 0 45853 151 0 0 25 0 1 0 967876981 188772352 33593 4294967295 134512640 135730672 3221224576 3221222816 134745982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46087 33593 301 301 0 45786 0
vsize: 184348
[startup+470.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 64674 0 0 0 46852 153 0 0 25 0 1 0 967876981 189038592 33645 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46152 33645 301 301 0 45851 0
vsize: 184608
[startup+480.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 64767 0 0 0 47851 154 0 0 25 0 1 0 967876981 189300736 33673 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46216 33673 301 301 0 45915 0
vsize: 184864
[startup+490.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 64822 0 0 0 48851 155 0 0 25 0 1 0 967876981 189566976 33728 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46281 33728 301 301 0 45980 0
vsize: 185124
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 64832 0 0 0 49850 155 0 0 25 0 1 0 967876981 189566976 33738 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46281 33738 301 301 0 45980 0
vsize: 185124
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 64886 0 0 0 50850 156 0 0 25 0 1 0 967876981 189833216 33792 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46346 33792 301 301 0 46045 0
vsize: 185384
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 65009 0 0 0 51849 157 0 0 25 0 1 0 967876981 190230528 33882 4294967295 134512640 135730672 3221224576 3221222800 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46443 33882 301 301 0 46142 0
vsize: 185772
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 65575 0 0 0 52847 159 0 0 25 0 1 0 967876981 190230528 33892 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46443 33892 301 301 0 46142 0
vsize: 185772
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 65649 0 0 0 53847 160 0 0 25 0 1 0 967876981 190492672 33901 4294967295 134512640 135730672 3221224576 3221222800 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46507 33901 301 301 0 46206 0
vsize: 186028
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 65652 0 0 0 54847 160 0 0 25 0 1 0 967876981 190492672 33904 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46507 33904 301 301 0 46206 0
vsize: 186028
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 65794 0 0 0 55846 161 0 0 25 0 1 0 967876981 191021056 33981 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46636 33981 301 301 0 46335 0
vsize: 186544
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 65853 0 0 0 56846 161 0 0 25 0 1 0 967876981 191287296 34040 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46701 34040 301 301 0 46400 0
vsize: 186804
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 65855 0 0 0 57846 161 0 0 25 0 1 0 967876981 191287296 34042 4294967295 134512640 135730672 3221224576 3221222928 134748101 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46701 34042 301 301 0 46400 0
vsize: 186804
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 65864 0 0 0 58846 162 0 0 25 0 1 0 967876981 191287296 34051 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46701 34051 301 301 0 46400 0
vsize: 186804
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 66510 0 0 0 59844 163 0 0 25 0 1 0 967876981 191549440 34076 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46765 34076 301 301 0 46464 0
vsize: 187060
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 66515 0 0 0 60844 164 0 0 25 0 1 0 967876981 191549440 34081 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46765 34081 301 301 0 46464 0
vsize: 187060
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 66701 0 0 0 61843 165 0 0 25 0 1 0 967876981 192073728 34137 4294967295 134512640 135730672 3221224576 3221222800 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46893 34137 301 301 0 46592 0
vsize: 187572
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 66994 0 0 0 62843 165 0 0 25 0 1 0 967876981 193130496 34300 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47151 34300 301 301 0 46850 0
vsize: 188604
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 67071 0 0 0 63843 166 0 0 25 0 1 0 967876981 193392640 34312 4294967295 134512640 135730672 3221224576 3221222800 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47215 34312 301 301 0 46914 0
vsize: 188860
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 67081 0 0 0 64842 166 0 0 25 0 1 0 967876981 193392640 34322 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47215 34322 301 301 0 46914 0
vsize: 188860
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 67638 0 0 0 65841 168 0 0 25 0 1 0 967876981 193392640 34323 4294967295 134512640 135730672 3221224576 3221222800 134747486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47215 34323 301 301 0 46914 0
vsize: 188860
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 67739 0 0 0 66840 169 0 0 25 0 1 0 967876981 193654784 34359 4294967295 134512640 135730672 3221224576 3221222800 134747477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 34359 301 301 0 46978 0
vsize: 189116
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 67742 0 0 0 67840 169 0 0 25 0 1 0 967876981 193654784 34362 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 34362 301 301 0 46978 0
vsize: 189116
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 67747 0 0 0 68840 169 0 0 25 0 1 0 967876981 193654784 34367 4294967295 134512640 135730672 3221224576 3221222800 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 34367 301 301 0 46978 0
vsize: 189116
[startup+700.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 67750 0 0 0 69839 170 0 0 25 0 1 0 967876981 193654784 34370 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 34370 301 301 0 46978 0
vsize: 189116
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 67754 0 0 0 70839 171 0 0 25 0 1 0 967876981 193654784 34374 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 34374 301 301 0 46978 0
vsize: 189116
[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 67756 0 0 0 71839 171 0 0 25 0 1 0 967876981 193654784 34376 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 34376 301 301 0 46978 0
vsize: 189116
[startup+730.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 68334 0 0 0 72837 173 0 0 25 0 1 0 967876981 193654784 34398 4294967295 134512640 135730672 3221224576 3221222800 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 34398 301 301 0 46978 0
vsize: 189116
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 68340 0 0 0 73837 173 0 0 25 0 1 0 967876981 193654784 34404 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 34404 301 301 0 46978 0
vsize: 189116
[startup+750.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 68342 0 0 0 74837 173 0 0 25 0 1 0 967876981 193654784 34406 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 34406 301 301 0 46978 0
vsize: 189116
[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 68423 0 0 0 75837 174 0 0 25 0 1 0 967876981 193916928 34422 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47343 34422 301 301 0 47042 0
vsize: 189372
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 68429 0 0 0 76836 174 0 0 25 0 1 0 967876981 193916928 34428 4294967295 134512640 135730672 3221224576 3221222800 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47343 34428 301 301 0 47042 0
vsize: 189372
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 68437 0 0 0 77836 175 0 0 25 0 1 0 967876981 193916928 34436 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47343 34436 301 301 0 47042 0
vsize: 189372
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 68445 0 0 0 78836 175 0 0 25 0 1 0 967876981 193916928 34444 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47343 34444 301 301 0 47042 0
vsize: 189372
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 68455 0 0 0 79835 176 0 0 25 0 1 0 967876981 193916928 34454 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47343 34454 301 301 0 47042 0
vsize: 189372
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69017 0 0 0 80834 177 0 0 25 0 1 0 967876981 193916928 34460 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47343 34460 301 301 0 47042 0
vsize: 189372
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69020 0 0 0 81834 177 0 0 25 0 1 0 967876981 193916928 34463 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47343 34463 301 301 0 47042 0
vsize: 189372
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69024 0 0 0 82834 178 0 0 25 0 1 0 967876981 193916928 34467 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47343 34467 301 301 0 47042 0
vsize: 189372
[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69026 0 0 0 83834 178 0 0 25 0 1 0 967876981 193916928 34469 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47343 34469 301 301 0 47042 0
vsize: 189372
[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69029 0 0 0 84834 179 0 0 25 0 1 0 967876981 193916928 34472 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47343 34472 301 301 0 47042 0
vsize: 189372
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69031 0 0 0 85833 179 0 0 25 0 1 0 967876981 193916928 34474 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47343 34474 301 301 0 47042 0
vsize: 189372
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69134 0 0 0 86833 180 0 0 25 0 1 0 967876981 194179072 34512 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47407 34512 301 301 0 47106 0
vsize: 189628
[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69136 0 0 0 87833 180 0 0 25 0 1 0 967876981 194179072 34514 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47407 34514 301 301 0 47106 0
vsize: 189628
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69711 0 0 0 88832 182 0 0 25 0 1 0 967876981 194179072 34533 4294967295 134512640 135730672 3221224576 3221222800 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47407 34533 301 301 0 47106 0
vsize: 189628
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69712 0 0 0 89831 182 0 0 25 0 1 0 967876981 194179072 34534 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47407 34534 301 301 0 47106 0
vsize: 189628
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69715 0 0 0 90831 182 0 0 25 0 1 0 967876981 194179072 34537 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47407 34537 301 301 0 47106 0
vsize: 189628
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69716 0 0 0 91831 183 0 0 25 0 1 0 967876981 194179072 34538 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47407 34538 301 301 0 47106 0
vsize: 189628
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69717 0 0 0 92831 183 0 0 25 0 1 0 967876981 194179072 34539 4294967295 134512640 135730672 3221224576 3221222800 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47407 34539 301 301 0 47106 0
vsize: 189628
[startup+940.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69720 0 0 0 93831 183 0 0 25 0 1 0 967876981 194179072 34542 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47407 34542 301 301 0 47106 0
vsize: 189628
[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69768 0 0 0 94830 184 0 0 25 0 1 0 967876981 194310144 34557 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47439 34557 301 301 0 47138 0
vsize: 189756
[startup+960.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 69770 0 0 0 95831 184 0 0 25 0 1 0 967876981 194310144 34559 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47439 34559 301 301 0 47138 0
vsize: 189756
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 70328 0 0 0 96829 186 0 0 25 0 1 0 967876981 194310144 34561 4294967295 134512640 135730672 3221224576 3221222928 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47439 34561 301 301 0 47138 0
vsize: 189756
[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 70329 0 0 0 97829 186 0 0 25 0 1 0 967876981 194310144 34562 4294967295 134512640 135730672 3221224576 3221222960 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47439 34562 301 301 0 47138 0
vsize: 189756
[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 70474 0 0 0 98829 186 0 0 25 0 1 0 967876981 194838528 34642 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47568 34642 301 301 0 47267 0
vsize: 190272
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 70550 0 0 0 99829 187 0 0 25 0 1 0 967876981 195100672 34653 4294967295 134512640 135730672 3221224576 3221222624 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47632 34653 301 301 0 47331 0
vsize: 190528
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 70551 0 0 0 100829 187 0 0 25 0 1 0 967876981 195100672 34654 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47632 34654 301 301 0 47331 0
vsize: 190528
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 70551 0 0 0 101829 187 0 0 25 0 1 0 967876981 195100672 34654 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47632 34654 301 301 0 47331 0
vsize: 190528
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 70563 0 0 0 102829 187 0 0 25 0 1 0 967876981 195100672 34666 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47632 34666 301 301 0 47331 0
vsize: 190528
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71190 0 0 0 103827 189 0 0 25 0 1 0 967876981 195362816 34672 4294967295 134512640 135730672 3221224576 3221222928 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47696 34672 301 301 0 47395 0
vsize: 190784
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71239 0 0 0 104827 190 0 0 25 0 1 0 967876981 195493888 34688 4294967295 134512640 135730672 3221224576 3221222800 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47728 34688 301 301 0 47427 0
vsize: 190912
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71240 0 0 0 105827 190 0 0 25 0 1 0 967876981 195493888 34689 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47728 34689 301 301 0 47427 0
vsize: 190912
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71250 0 0 0 106827 190 0 0 25 0 1 0 967876981 195493888 34699 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47728 34699 301 301 0 47427 0
vsize: 190912
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71394 0 0 0 107826 191 0 0 25 0 1 0 967876981 196284416 34778 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47921 34778 301 301 0 47620 0
vsize: 191684
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71395 0 0 0 108825 192 0 0 25 0 1 0 967876981 196284416 34779 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47921 34779 301 301 0 47620 0
vsize: 191684
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71396 0 0 0 109825 192 0 0 25 0 1 0 967876981 196284416 34780 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47921 34780 301 301 0 47620 0
vsize: 191684
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71397 0 0 0 110825 193 0 0 25 0 1 0 967876981 196284416 34781 4294967295 134512640 135730672 3221224576 3221222912 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47921 34781 301 301 0 47620 0
vsize: 191684
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71956 0 0 0 111824 194 0 0 25 0 1 0 967876981 196284416 34784 4294967295 134512640 135730672 3221224576 3221222800 134747539 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47921 34784 301 301 0 47620 0
vsize: 191684
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71957 0 0 0 112823 195 0 0 25 0 1 0 967876981 196284416 34785 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47921 34785 301 301 0 47620 0
vsize: 191684
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71960 0 0 0 113823 195 0 0 25 0 1 0 967876981 196284416 34788 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47921 34788 301 301 0 47620 0
vsize: 191684
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71962 0 0 0 114823 196 0 0 25 0 1 0 967876981 196284416 34790 4294967295 134512640 135730672 3221224576 3221222800 134747495 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47921 34790 301 301 0 47620 0
vsize: 191684
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71965 0 0 0 115823 196 0 0 25 0 1 0 967876981 196284416 34793 4294967295 134512640 135730672 3221224576 3221222928 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47921 34793 301 301 0 47620 0
vsize: 191684
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71966 0 0 0 116823 196 0 0 25 0 1 0 967876981 196284416 34794 4294967295 134512640 135730672 3221224576 3221222928 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47921 34794 301 301 0 47620 0
vsize: 191684
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 71970 0 0 0 117822 196 0 0 25 0 1 0 967876981 196284416 34798 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47921 34798 301 301 0 47620 0
vsize: 191684
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 72532 0 0 0 118821 198 0 0 25 0 1 0 967876981 196284416 34804 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47921 34804 301 301 0 47620 0
vsize: 191684
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15658
Raw data (stat): 15658 (pb2sat-v2) R 15657 20224 20223 0 -1 0 72717 0 0 0 119821 198 0 0 25 0 1 0 967876981 196808704 34859 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48049 34859 301 301 0 47748 0
vsize: 192196
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.37 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 15658
Raw data (stat): 15658 (pb2sat-v2) Z 15657 20224 20223 0 -1 12 72719 0 0 0 119946 205 0 0 25 0 1 0 967876981 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1201.37
CPU time (s): 1201.53
CPU user time (s): 1199.47
CPU system time (s): 2.05769
CPU usage (%): 100.013
Max. virtual memory (Kb): 192196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	511
#### END VERIFIER DATA ####