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.95:100.opb
MD5SUM	f82b685b64af240616b701a750c82883
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10
Optimality of the best value was proved	NO
Number of terms in the objective function	934
Biggest coefficient in the objective function	546
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	2594
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	546
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2594
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.03784
Number of variables	934
Total number of constraints	1996
Number of constraints which are clauses	879
Number of constraints which are cardinality constraints (but not clauses)	1117
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 42259

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 04:23:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25465 boxname=wulflinc4 idbench=367 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f82b685b64af240616b701a750c82883  /oldhome/oroussel/tmp/wulflinc4/normalized-10:20:4.5:0.95:100.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-10:20:4.5:0.95:100.opb
IDLAUNCH: 25465
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        736976 kB
Buffers:         34016 kB
Cached:         241596 kB
SwapCached:        944 kB
Active:          29820 kB
Inactive:       247900 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        736724 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14192 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 04:43:52 (client local time) WITH STATUS 10 IN 1201.95 SECONDS
stats: 25465 0 1201.95 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: 1198
c big objective detected
c trying from 0 to 511

c Decision: 1076/363576	Time: 431.736/86400
c Decision: 1076/363576	Time: 496.02/86400
c Decision: 1076/363576	Time: 569.365/86400
c Decision: 1076/363576	Time: 639.179/86400
c Decision: 1076/363576	Time: 714.176/86400
c Decision: 1076/363576	Time: 812.73/86400
c Decision: 1076/363576	Time: 896.713/86400
c Decision: 1076/363576	Time: 980.634/86400
c Decision: 1076/363576	Time: 1064.49/86400
c Decision: 1076/363576	Time: 1139.14/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 v776 v777 -v778 -v779 v78 v780 v781 v782 v783 v784 -v785 -v786 v787 v788 v789 v79 -v790 v791 v792 v793 -v794 v795 v796 v797 -v798 v799 v8 -v80 v800 v801 -v802 v803 v804 v805 -v806 -v807 -v808 v809 v81 v810 -v811 v812 v813 v814 -v815 v816 v817 v818 -v819 v82 v820 v821 v822 -v823 v824 v825 -v826 -v827 -v828 -v829 -v83 v830 -v831 -v832 -v833 -v834 -v835 -v836 v837 v838 v839 v84 -v840 v841 v842 v843 v844 v845 v846 -v847 -v848 -v849 v85 v850 v851 -v852 -v853 v854 v855 v856 v857 v858 -v859 v86 -v860 -v861 v862 -v863 -v864 -v865 v866 v867 v868 v869 -v87 v870 v871 -v872 v873 v874 v875 v876 -v877 v878 v879 v88 v880 v881 v882 v883 v884 v885 v886 -v887 -v888 -v889 v89 v890 v891 -v892 v893 v894 -v895 -v896 v897 v898 -v899 -v9 -v90 -v900 -v901 -v902 -v903 -v904 -v905 v906 v907 -v908 v909 -v91 v910 v911 -v912 -v913 -v914 -v915 -v916 -v917 -v918 -v919 v92 -v920 -v921 v922 v923 -v924 -v925 -v926 -v927 -v928 -v929 v93 -v930 -v931 v932 v933 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.94 2/54 20734
Raw data (stat): 20734 (runsolver) R 20733 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967846320 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+9.99997 s]
Raw data (loadavg): 0.93 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 27880 0 0 0 940 59 0 0 25 0 1 0 967846320 86585344 16991 4294967295 134512640 135730672 3221224576 3221156700 135301642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21139 16993 301 301 0 20838 0
vsize: 84556
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 54148 0 0 0 1884 115 0 0 25 0 1 0 967846320 170217472 31634 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41557 31634 301 301 0 41256 0
vsize: 166228
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 57451 0 0 0 2878 121 0 0 25 0 1 0 967846320 184397824 34609 4294967295 134512640 135730672 3221224576 3221222800 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45019 34609 301 301 0 44718 0
vsize: 180076
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 58387 0 0 0 3877 123 0 0 25 0 1 0 967846320 187711488 35300 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45828 35300 301 301 0 45527 0
vsize: 183312
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 59489 0 0 0 4875 125 0 0 25 0 1 0 967846320 191344640 35881 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46715 35881 301 301 0 46414 0
vsize: 186860
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 60444 0 0 0 5873 126 0 0 25 0 1 0 967846320 194949120 36526 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47595 36526 301 301 0 47294 0
vsize: 190380
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 61389 0 0 0 6872 128 0 0 25 0 1 0 967846320 197709824 36952 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48269 36952 301 301 0 47968 0
vsize: 193076
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 62336 0 0 0 7870 130 0 0 25 0 1 0 967846320 201228288 37556 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49128 37556 301 301 0 48827 0
vsize: 196512
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 63170 0 0 0 8868 132 0 0 25 0 1 0 967846320 203730944 37937 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49739 37937 301 301 0 49438 0
vsize: 198956
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 63775 0 0 0 9867 134 0 0 25 0 1 0 967846320 205852672 38346 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50257 38346 301 301 0 49956 0
vsize: 201028
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 64613 0 0 0 10865 135 0 0 25 0 1 0 967846320 208359424 38697 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50869 38697 301 301 0 50568 0
vsize: 203476
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 64910 0 0 0 11865 136 0 0 25 0 1 0 967846320 209563648 38928 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51163 38928 301 301 0 50862 0
vsize: 204652
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 65345 0 0 0 12864 137 0 0 25 0 1 0 967846320 210890752 39167 4294967295 134512640 135730672 3221224576 3221222784 134732736 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51487 39167 301 301 0 51186 0
vsize: 205948
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 65672 0 0 0 13863 138 0 0 25 0 1 0 967846320 211820544 39363 4294967295 134512640 135730672 3221224576 3221222800 134747874 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51714 39363 301 301 0 51413 0
vsize: 206856
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 65996 0 0 0 14862 139 0 0 25 0 1 0 967846320 213299200 39621 4294967295 134512640 135730672 3221224576 3221222992 134748464 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52075 39621 301 301 0 51774 0
vsize: 208300
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 66617 0 0 0 15861 141 0 0 25 0 1 0 967846320 215166976 40045 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52531 40045 301 301 0 52230 0
vsize: 210124
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 67218 0 0 0 16861 141 0 0 25 0 1 0 967846320 217022464 40417 4294967295 134512640 135730672 3221224576 3221222800 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52984 40417 301 301 0 52683 0
vsize: 211936
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 67894 0 0 0 17859 143 0 0 25 0 1 0 967846320 219275264 40799 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53534 40799 301 301 0 53233 0
vsize: 214136
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 68188 0 0 0 18858 144 0 0 25 0 1 0 967846320 220209152 41027 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53762 41027 301 301 0 53461 0
vsize: 215048
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 68474 0 0 0 19858 145 0 0 25 0 1 0 967846320 221396992 41215 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54052 41215 301 301 0 53751 0
vsize: 216208
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 68694 0 0 0 20857 146 0 0 25 0 1 0 967846320 222318592 41402 4294967295 134512640 135730672 3221224576 3221222800 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54277 41403 301 301 0 53976 0
vsize: 217108
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 69197 0 0 0 21856 147 0 0 25 0 1 0 967846320 224292864 41742 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54759 41742 301 301 0 54458 0
vsize: 219036
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 69387 0 0 0 22855 148 0 0 25 0 1 0 967846320 224686080 41834 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54855 41834 301 301 0 54554 0
vsize: 219420
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 69540 0 0 0 23855 148 0 0 25 0 1 0 967846320 224948224 41922 4294967295 134512640 135730672 3221224576 3221222960 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54919 41922 301 301 0 54618 0
vsize: 219676
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 69921 0 0 0 24855 149 0 0 25 0 1 0 967846320 225738752 42173 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55112 42173 301 301 0 54811 0
vsize: 220448
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70084 0 0 0 25854 149 0 0 25 0 1 0 967846320 226267136 42271 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55241 42271 301 301 0 54940 0
vsize: 220964
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70110 0 0 0 26854 150 0 0 25 0 1 0 967846320 226267136 42297 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55241 42297 301 301 0 54940 0
vsize: 220964
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70293 0 0 0 27853 151 0 0 25 0 1 0 967846320 226795520 42415 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55370 42415 301 301 0 55069 0
vsize: 221480
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70483 0 0 0 28852 152 0 0 25 0 1 0 967846320 227188736 42507 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55466 42507 301 301 0 55165 0
vsize: 221864
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70628 0 0 0 29852 152 0 0 25 0 1 0 967846320 227450880 42587 4294967295 134512640 135730672 3221224576 3221222992 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55530 42587 301 301 0 55229 0
vsize: 222120
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70920 0 0 0 30852 153 0 0 25 0 1 0 967846320 228241408 42748 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55723 42748 301 301 0 55422 0
vsize: 222892
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70941 0 0 0 31852 153 0 0 25 0 1 0 967846320 228241408 42769 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55723 42769 301 301 0 55422 0
vsize: 222892
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 71162 0 0 0 32851 154 0 0 25 0 1 0 967846320 228769792 42925 4294967295 134512640 135730672 3221224576 3221222800 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55852 42925 301 301 0 55551 0
vsize: 223408
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 71313 0 0 0 33851 154 0 0 25 0 1 0 967846320 229031936 43011 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55916 43011 301 301 0 55615 0
vsize: 223664
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 71440 0 0 0 34850 155 0 0 25 0 1 0 967846320 229429248 43105 4294967295 134512640 135730672 3221224576 3221222904 134747441 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56013 43105 301 301 0 55712 0
vsize: 224052
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 71699 0 0 0 35850 156 0 0 25 0 1 0 967846320 230219776 43234 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56206 43234 301 301 0 55905 0
vsize: 224824
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 71879 0 0 0 36849 156 0 0 25 0 1 0 967846320 230748160 43349 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56335 43349 301 301 0 56034 0
vsize: 225340
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 71967 0 0 0 37849 157 0 0 25 0 1 0 967846320 231010304 43372 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56399 43372 301 301 0 56098 0
vsize: 225596
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 72335 0 0 0 38848 158 0 0 25 0 1 0 967846320 232198144 43577 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56689 43577 301 301 0 56388 0
vsize: 226756
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 72517 0 0 0 39848 159 0 0 25 0 1 0 967846320 232726528 43694 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56818 43694 301 301 0 56517 0
vsize: 227272
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 72626 0 0 0 40847 159 0 0 25 0 1 0 967846320 233123840 43770 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56915 43770 301 301 0 56614 0
vsize: 227660
[startup+420.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 72732 0 0 0 41847 159 0 0 25 0 1 0 967846320 233521152 43843 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57012 43843 301 301 0 56711 0
vsize: 228048
[startup+430.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 72874 0 0 0 42847 160 0 0 25 0 1 0 967846320 233783296 43919 4294967295 134512640 135730672 3221224576 3221222800 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57076 43919 301 301 0 56775 0
vsize: 228304
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 73103 0 0 0 43846 161 0 0 25 0 1 0 967846320 234840064 44148 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57334 44148 301 301 0 57033 0
vsize: 229336
[startup+450.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 73832 0 0 0 44844 163 0 0 25 0 1 0 967846320 234840064 44166 4294967295 134512640 135730672 3221224576 3221222928 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57334 44166 301 301 0 57033 0
vsize: 229336
[startup+460.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 74230 0 0 0 45843 164 0 0 25 0 1 0 967846320 236154880 44369 4294967295 134512640 135730672 3221224576 3221222928 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57655 44369 301 301 0 57354 0
vsize: 230620
[startup+470.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 74320 0 0 0 46843 165 0 0 25 0 1 0 967846320 236548096 44426 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57751 44426 301 301 0 57450 0
vsize: 231004
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 74475 0 0 0 47842 166 0 0 25 0 1 0 967846320 236675072 44483 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57782 44483 301 301 0 57481 0
vsize: 231128
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 74479 0 0 0 48842 166 0 0 25 0 1 0 967846320 236675072 44487 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57782 44487 301 301 0 57481 0
vsize: 231128
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 74507 0 0 0 49841 167 0 0 25 0 1 0 967846320 236675072 44515 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57782 44515 301 301 0 57481 0
vsize: 231128
[startup+510.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 74542 0 0 0 50841 167 0 0 25 0 1 0 967846320 236675072 44550 4294967295 134512640 135730672 3221224576 3221222800 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57782 44550 301 301 0 57481 0
vsize: 231128
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75269 0 0 0 51839 169 0 0 25 0 1 0 967846320 236675072 44566 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57782 44566 301 301 0 57481 0
vsize: 231128
[startup+530.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75499 0 0 0 52837 171 0 0 25 0 1 0 967846320 237469696 44731 4294967295 134512640 135730672 3221224576 3221222992 134748480 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57976 44731 301 301 0 57675 0
vsize: 231904
[startup+540.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75500 0 0 0 53837 171 0 0 25 0 1 0 967846320 237469696 44732 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57976 44732 301 301 0 57675 0
vsize: 231904
[startup+550.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75768 0 0 0 54837 172 0 0 25 0 1 0 967846320 238260224 44870 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58169 44870 301 301 0 57868 0
vsize: 232676
[startup+560.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75807 0 0 0 55836 172 0 0 25 0 1 0 967846320 238260224 44909 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58169 44909 301 301 0 57868 0
vsize: 232676
[startup+570.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75810 0 0 0 56836 173 0 0 25 0 1 0 967846320 238260224 44912 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58169 44912 301 301 0 57868 0
vsize: 232676
[startup+580.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75814 0 0 0 57836 173 0 0 25 0 1 0 967846320 238260224 44916 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58169 44916 301 301 0 57868 0
vsize: 232676
[startup+590.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 76535 0 0 0 58834 175 0 0 25 0 1 0 967846320 238194688 44910 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58153 44910 301 301 0 57852 0
vsize: 232612
[startup+600.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 76554 0 0 0 59834 175 0 0 25 0 1 0 967846320 238059520 44896 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58120 44896 301 301 0 57819 0
vsize: 232480
[startup+610.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 76721 0 0 0 60833 176 0 0 25 0 1 0 967846320 238587904 44998 4294967295 134512640 135730672 3221224576 3221222992 134748549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58249 44998 301 301 0 57948 0
vsize: 232996
[startup+620.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 77018 0 0 0 61832 177 0 0 25 0 1 0 967846320 239247360 45133 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58410 45133 301 301 0 58109 0
vsize: 233640
[startup+630.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 77181 0 0 0 62832 178 0 0 25 0 1 0 967846320 240037888 45231 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58603 45231 301 301 0 58302 0
vsize: 234412
[startup+640.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 77277 0 0 0 63831 178 0 0 25 0 1 0 967846320 240300032 45262 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58667 45262 301 301 0 58366 0
vsize: 234668
[startup+650.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 77361 0 0 0 64831 178 0 0 25 0 1 0 967846320 240562176 45281 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58731 45281 301 301 0 58430 0
vsize: 234924
[startup+660.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78074 0 0 0 65830 180 0 0 25 0 1 0 967846320 240562176 45283 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58731 45283 301 301 0 58430 0
vsize: 234924
[startup+670.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78087 0 0 0 66830 181 0 0 25 0 1 0 967846320 240562176 45296 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58731 45296 301 301 0 58430 0
vsize: 234924
[startup+680.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78141 0 0 0 67830 181 0 0 25 0 1 0 967846320 240693248 45317 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58763 45317 301 301 0 58462 0
vsize: 235052
[startup+690.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78143 0 0 0 68829 181 0 0 25 0 1 0 967846320 240693248 45319 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58763 45319 301 301 0 58462 0
vsize: 235052
[startup+700.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78145 0 0 0 69829 181 0 0 25 0 1 0 967846320 240693248 45321 4294967295 134512640 135730672 3221224576 3221222992 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58763 45321 301 301 0 58462 0
vsize: 235052
[startup+710.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78148 0 0 0 70829 182 0 0 25 0 1 0 967846320 240693248 45324 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58763 45324 301 301 0 58462 0
vsize: 235052
[startup+720.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78262 0 0 0 71829 182 0 0 25 0 1 0 967846320 241221632 45438 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58892 45438 301 301 0 58591 0
vsize: 235568
[startup+730.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78263 0 0 0 72829 183 0 0 25 0 1 0 967846320 241221632 45439 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58892 45439 301 301 0 58591 0
vsize: 235568
[startup+740.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78976 0 0 0 73827 185 0 0 25 0 1 0 967846320 241221632 45441 4294967295 134512640 135730672 3221224576 3221222800 134747711 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58892 45441 301 301 0 58591 0
vsize: 235568
[startup+750.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78977 0 0 0 74827 185 0 0 25 0 1 0 967846320 241221632 45442 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58892 45442 301 301 0 58591 0
vsize: 235568
[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78985 0 0 0 75827 185 0 0 25 0 1 0 967846320 241221632 45450 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58892 45450 301 301 0 58591 0
vsize: 235568
[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78985 0 0 0 76827 186 0 0 25 0 1 0 967846320 241221632 45450 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58892 45450 301 301 0 58591 0
vsize: 235568
[startup+780.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78986 0 0 0 77827 186 0 0 25 0 1 0 967846320 241221632 45451 4294967295 134512640 135730672 3221224576 3221222800 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58892 45451 301 301 0 58591 0
vsize: 235568
[startup+790.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78989 0 0 0 78827 186 0 0 25 0 1 0 967846320 241221632 45454 4294967295 134512640 135730672 3221224576 3221222800 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58892 45454 301 301 0 58591 0
vsize: 235568
[startup+800.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78990 0 0 0 79827 186 0 0 25 0 1 0 967846320 241221632 45455 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58892 45455 301 301 0 58591 0
vsize: 235568
[startup+810.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78992 0 0 0 80827 187 0 0 25 0 1 0 967846320 241221632 45457 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58892 45457 301 301 0 58591 0
vsize: 235568
[startup+820.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78993 0 0 0 81827 187 0 0 25 0 1 0 967846320 241221632 45458 4294967295 134512640 135730672 3221224576 3221222640 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58892 45458 301 301 0 58591 0
vsize: 235568
[startup+830.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79707 0 0 0 82825 189 0 0 25 0 1 0 967846320 241221632 45461 4294967295 134512640 135730672 3221224576 3221222928 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58892 45461 301 301 0 58591 0
vsize: 235568
[startup+840.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79749 0 0 0 83825 189 0 0 25 0 1 0 967846320 241352704 45470 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58924 45470 301 301 0 58623 0
vsize: 235696
[startup+850.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79812 0 0 0 84825 189 0 0 25 0 1 0 967846320 241483776 45500 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58956 45500 301 301 0 58655 0
vsize: 235824
[startup+860.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79854 0 0 0 85825 189 0 0 25 0 1 0 967846320 241614848 45509 4294967295 134512640 135730672 3221224576 3221222928 134748255 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58988 45509 301 301 0 58687 0
vsize: 235952
[startup+870.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79854 0 0 0 86824 190 0 0 25 0 1 0 967846320 241614848 45509 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58988 45509 301 301 0 58687 0
vsize: 235952
[startup+880.038 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79855 0 0 0 87824 190 0 0 25 0 1 0 967846320 241614848 45510 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58988 45510 301 301 0 58687 0
vsize: 235952
[startup+890.038 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79855 0 0 0 88824 191 0 0 25 0 1 0 967846320 241614848 45510 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58988 45510 301 301 0 58687 0
vsize: 235952
[startup+900.038 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79856 0 0 0 89824 191 0 0 25 0 1 0 967846320 241614848 45511 4294967295 134512640 135730672 3221224576 3221222800 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58988 45511 301 301 0 58687 0
vsize: 235952
[startup+910.039 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79857 0 0 0 90823 192 0 0 25 0 1 0 967846320 241614848 45512 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58988 45512 301 301 0 58687 0
vsize: 235952
[startup+920.039 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80569 0 0 0 91822 193 0 0 25 0 1 0 967846320 241614848 45513 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58988 45513 301 301 0 58687 0
vsize: 235952
[startup+930.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80569 0 0 0 92822 194 0 0 25 0 1 0 967846320 241614848 45513 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58988 45513 301 301 0 58687 0
vsize: 235952
[startup+940.039 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80626 0 0 0 93822 194 0 0 25 0 1 0 967846320 241881088 45570 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45570 301 301 0 58752 0
vsize: 236212
[startup+950.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80629 0 0 0 94822 194 0 0 25 0 1 0 967846320 241881088 45573 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45573 301 301 0 58752 0
vsize: 236212
[startup+960.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80638 0 0 0 95822 194 0 0 25 0 1 0 967846320 241881088 45582 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45582 301 301 0 58752 0
vsize: 236212
[startup+970.041 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80638 0 0 0 96822 194 0 0 25 0 1 0 967846320 241881088 45582 4294967295 134512640 135730672 3221224576 3221222800 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45582 301 301 0 58752 0
vsize: 236212
[startup+980.042 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80650 0 0 0 97822 195 0 0 25 0 1 0 967846320 241881088 45594 4294967295 134512640 135730672 3221224576 3221222900 134747725 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45594 301 301 0 58752 0
vsize: 236212
[startup+990.042 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80650 0 0 0 98821 195 0 0 25 0 1 0 967846320 241881088 45594 4294967295 134512640 135730672 3221224576 3221222960 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45594 301 301 0 58752 0
vsize: 236212
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81362 0 0 0 99820 197 0 0 25 0 1 0 967846320 241881088 45595 4294967295 134512640 135730672 3221224576 3221222800 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45595 301 301 0 58752 0
vsize: 236212
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81362 0 0 0 100820 197 0 0 25 0 1 0 967846320 241881088 45595 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45595 301 301 0 58752 0
vsize: 236212
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81363 0 0 0 101820 197 0 0 25 0 1 0 967846320 241881088 45596 4294967295 134512640 135730672 3221224576 3221222800 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45596 301 301 0 58752 0
vsize: 236212
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81365 0 0 0 102820 197 0 0 25 0 1 0 967846320 241881088 45598 4294967295 134512640 135730672 3221224576 3221222896 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45598 301 301 0 58752 0
vsize: 236212
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81366 0 0 0 103820 198 0 0 25 0 1 0 967846320 241881088 45599 4294967295 134512640 135730672 3221224576 3221222632 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45599 301 301 0 58752 0
vsize: 236212
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81366 0 0 0 104820 198 0 0 25 0 1 0 967846320 241881088 45599 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45599 301 301 0 58752 0
vsize: 236212
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81367 0 0 0 105820 198 0 0 25 0 1 0 967846320 241881088 45600 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45600 301 301 0 58752 0
vsize: 236212
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81367 0 0 0 106820 198 0 0 25 0 1 0 967846320 241881088 45600 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45600 301 301 0 58752 0
vsize: 236212
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81368 0 0 0 107820 199 0 0 25 0 1 0 967846320 241881088 45601 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45601 301 301 0 58752 0
vsize: 236212
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82079 0 0 0 108818 200 0 0 25 0 1 0 967846320 241881088 45601 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45601 301 301 0 58752 0
vsize: 236212
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82080 0 0 0 109818 201 0 0 25 0 1 0 967846320 241881088 45602 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45602 301 301 0 58752 0
vsize: 236212
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82080 0 0 0 110818 201 0 0 25 0 1 0 967846320 241881088 45602 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45602 301 301 0 58752 0
vsize: 236212
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82081 0 0 0 111818 201 0 0 25 0 1 0 967846320 241881088 45603 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45603 301 301 0 58752 0
vsize: 236212
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82081 0 0 0 112818 201 0 0 25 0 1 0 967846320 241881088 45603 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59053 45603 301 301 0 58752 0
vsize: 236212
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82158 0 0 0 113818 202 0 0 25 0 1 0 967846320 242143232 45615 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59117 45615 301 301 0 58816 0
vsize: 236468
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82159 0 0 0 114818 202 0 0 25 0 1 0 967846320 242143232 45616 4294967295 134512640 135730672 3221224576 3221222960 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59117 45616 301 301 0 58816 0
vsize: 236468
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82870 0 0 0 115816 204 0 0 25 0 1 0 967846320 242143232 45616 4294967295 134512640 135730672 3221224576 3221222800 134747536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59117 45616 301 301 0 58816 0
vsize: 236468
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82967 0 0 0 116816 204 0 0 25 0 1 0 967846320 242536448 45680 4294967295 134512640 135730672 3221224576 3221222908 134747440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59213 45680 301 301 0 58912 0
vsize: 236852
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82967 0 0 0 117816 205 0 0 25 0 1 0 967846320 242405376 45648 4294967295 134512640 135730672 3221224576 3221222640 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59181 45648 301 301 0 58880 0
vsize: 236724
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82968 0 0 0 118816 205 0 0 25 0 1 0 967846320 242405376 45649 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59181 45649 301 301 0 58880 0
vsize: 236724
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 20734
Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 83055 0 0 0 119816 205 0 0 25 0 1 0 967846320 242667520 45671 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59245 45671 301 301 0 58944 0
vsize: 236980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.78 s]
Raw data (loadavg): 0.99 0.98 0.94 1/54 20734
Raw data (stat): 20734 (pb2sat-v2) Z 20733 21152 21151 0 -1 12 83057 0 0 0 119979 214 0 0 25 0 1 0 967846320 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 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.78
CPU time (s): 1201.95
CPU user time (s): 1199.8
CPU system time (s): 2.14967
CPU usage (%): 100.014
Max. virtual memory (Kb): 236980
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	652
#### END VERIFIER DATA ####