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:98.opb
MD5SUM	a89f4ed95903fddf213992506514bcf0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	16
Optimality of the best value was proved	NO
Number of terms in the objective function	906
Biggest coefficient in the objective function	553
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	2526
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	553
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2526
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.04184
Number of variables	906
Total number of constraints	1944
Number of constraints which are clauses	852
Number of constraints which are cardinality constraints (but not clauses)	1092
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	18
Trace number 42269

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 04:31:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25469 boxname=wulflinc5 idbench=371 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a89f4ed95903fddf213992506514bcf0  /oldhome/oroussel/tmp/wulflinc5/normalized-10:20:4.5:0.95:98.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-10:20:4.5:0.95:98.opb
IDLAUNCH: 25469
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        799912 kB
Buffers:         34488 kB
Cached:         177720 kB
SwapCached:        700 kB
Active:          72936 kB
Inactive:       141400 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        799660 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            14860 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 04:52:01 (client local time) WITH STATUS 10 IN 1201.74 SECONDS
stats: 25469 0 1201.74 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: 1126
c big objective detected
c trying from 0 to 511

c Decision: 1060/348771	Time: 466.592/86400
c Decision: 1060/348771	Time: 516.783/86400
c Decision: 1060/348771	Time: 582.043/86400
c Decision: 1060/348771	Time: 651.144/86400
c Decision: 1060/348771	Time: 719.109/86400
c Decision: 1060/348771	Time: 789.257/86400
c Decision: 1060/348771	Time: 868.596/86400
c Decision: 1060/348771	Time: 948.574/86400
c Decision: 1060/348771	Time: 1034.04/86400
c Decision: 1060/348771	Time: 1119.19/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 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.84 0.95 0.92 1/54 8427
Raw data (stat): 8427 (runsolver) R 8426 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967905444 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.95 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 27979 0 0 0 942 56 0 0 25 0 1 0 967905444 86691840 17088 4294967295 134512640 135730672 3221224576 3221131276 134608058 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21165 17089 301 301 0 20864 0
vsize: 84660
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.95 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 53956 0 0 0 1887 111 0 0 25 0 1 0 967905444 173342720 31484 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42320 31484 301 301 0 42019 0
vsize: 169280
[startup+30.0019 s]
Raw data (loadavg): 0.90 0.96 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 55956 0 0 0 2883 116 0 0 25 0 1 0 967905444 181821440 33199 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44390 33199 301 301 0 44089 0
vsize: 177560
[startup+40.002 s]
Raw data (loadavg): 0.92 0.96 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 56795 0 0 0 3882 117 0 0 25 0 1 0 967905444 185065472 33890 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45182 33890 301 301 0 44881 0
vsize: 180728
[startup+50.0014 s]
Raw data (loadavg): 0.93 0.96 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 57240 0 0 0 4881 118 0 0 25 0 1 0 967905444 187019264 34236 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45659 34236 301 301 0 45358 0
vsize: 182636
[startup+60.0011 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 57878 0 0 0 5880 120 0 0 25 0 1 0 967905444 189349888 34678 4294967295 134512640 135730672 3221224576 3221222800 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46228 34678 301 301 0 45927 0
vsize: 184912
[startup+70.0012 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 58285 0 0 0 6879 121 0 0 25 0 1 0 967905444 190820352 34953 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46587 34953 301 301 0 46286 0
vsize: 186348
[startup+80.0017 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 58580 0 0 0 7878 122 0 0 25 0 1 0 967905444 192020480 35149 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46880 35149 301 301 0 46579 0
vsize: 187520
[startup+90.0014 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 59138 0 0 0 8877 123 0 0 25 0 1 0 967905444 194015232 35478 4294967295 134512640 135730672 3221224576 3221222992 134748577 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47367 35478 301 301 0 47066 0
vsize: 189468
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 59508 0 0 0 9875 125 0 0 25 0 1 0 967905444 195203072 35651 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47657 35651 301 301 0 47356 0
vsize: 190628
[startup+110.002 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 59845 0 0 0 10875 125 0 0 25 0 1 0 967905444 196800512 35988 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48047 35988 301 301 0 47746 0
vsize: 192188
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 60166 0 0 0 11874 126 0 0 25 0 1 0 967905444 197996544 36177 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48339 36177 301 301 0 48038 0
vsize: 193356
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 60707 0 0 0 12873 127 0 0 25 0 1 0 967905444 199319552 36487 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48662 36487 301 301 0 48361 0
vsize: 194648
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 60998 0 0 0 13873 128 0 0 25 0 1 0 967905444 200654848 36712 4294967295 134512640 135730672 3221224576 3221222800 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48988 36712 301 301 0 48687 0
vsize: 195952
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 61443 0 0 0 14872 129 0 0 25 0 1 0 967905444 202510336 37027 4294967295 134512640 135730672 3221224576 3221222800 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49441 37027 301 301 0 49140 0
vsize: 197764
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 61682 0 0 0 15872 130 0 0 25 0 1 0 967905444 203169792 37167 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49602 37167 301 301 0 49301 0
vsize: 198408
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 61866 0 0 0 16871 130 0 0 25 0 1 0 967905444 203837440 37285 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49765 37285 301 301 0 49464 0
vsize: 199060
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 62055 0 0 0 17870 131 0 0 25 0 1 0 967905444 204505088 37409 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49928 37409 301 301 0 49627 0
vsize: 199712
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 62138 0 0 0 18870 132 0 0 25 0 1 0 967905444 204775424 37492 4294967295 134512640 135730672 3221224576 3221222976 134748647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49994 37492 301 301 0 49693 0
vsize: 199976
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 62284 0 0 0 19870 132 0 0 25 0 1 0 967905444 205574144 37605 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50189 37605 301 301 0 49888 0
vsize: 200756
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 62558 0 0 0 20869 133 0 0 25 0 1 0 967905444 206635008 37781 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50448 37781 301 301 0 50147 0
vsize: 201792
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 62783 0 0 0 21868 134 0 0 25 0 1 0 967905444 207704064 37973 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50709 37973 301 301 0 50408 0
vsize: 202836
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 63013 0 0 0 22868 135 0 0 25 0 1 0 967905444 208773120 38170 4294967295 134512640 135730672 3221224576 3221222800 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50970 38170 301 301 0 50669 0
vsize: 203880
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 63075 0 0 0 23868 135 0 0 25 0 1 0 967905444 209039360 38232 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51035 38232 301 301 0 50734 0
vsize: 204140
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 63144 0 0 0 24867 136 0 0 25 0 1 0 967905444 209305600 38301 4294967295 134512640 135730672 3221224576 3221222960 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51100 38301 301 301 0 50799 0
vsize: 204400
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 63202 0 0 0 25867 136 0 0 25 0 1 0 967905444 209436672 38326 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51132 38326 301 301 0 50831 0
vsize: 204528
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 63656 0 0 0 26866 137 0 0 25 0 1 0 967905444 211021824 38584 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51519 38584 301 301 0 51218 0
vsize: 206076
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 63943 0 0 0 27866 138 0 0 25 0 1 0 967905444 212213760 38773 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51810 38773 301 301 0 51509 0
vsize: 207240
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 64215 0 0 0 28865 139 0 0 25 0 1 0 967905444 213139456 38947 4294967295 134512640 135730672 3221224576 3221222992 134748575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52036 38947 301 301 0 51735 0
vsize: 208144
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 64328 0 0 0 29864 140 0 0 25 0 1 0 967905444 213401600 38994 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52100 38994 301 301 0 51799 0
vsize: 208400
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 64423 0 0 0 30864 140 0 0 25 0 1 0 967905444 213667840 39089 4294967295 134512640 135730672 3221224576 3221222960 134734774 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52165 39089 301 301 0 51864 0
vsize: 208660
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 64560 0 0 0 31864 141 0 0 25 0 1 0 967905444 214196224 39160 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52294 39160 301 301 0 51993 0
vsize: 209176
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 64603 0 0 0 32863 142 0 0 25 0 1 0 967905444 214462464 39203 4294967295 134512640 135730672 3221224576 3221222848 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52359 39203 301 301 0 52058 0
vsize: 209436
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 64774 0 0 0 33863 142 0 0 25 0 1 0 967905444 214855680 39276 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52455 39276 301 301 0 52154 0
vsize: 209820
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 64818 0 0 0 34863 142 0 0 25 0 1 0 967905444 214855680 39320 4294967295 134512640 135730672 3221224576 3221222948 134748260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52455 39320 301 301 0 52154 0
vsize: 209820
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 64879 0 0 0 35863 142 0 0 25 0 1 0 967905444 214986752 39348 4294967295 134512640 135730672 3221224576 3221222800 134747960 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52487 39348 301 301 0 52186 0
vsize: 209948
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 65175 0 0 0 36862 143 0 0 25 0 1 0 967905444 216043520 39514 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52745 39514 301 301 0 52444 0
vsize: 210980
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 65262 0 0 0 37862 143 0 0 25 0 1 0 967905444 216043520 39601 4294967295 134512640 135730672 3221224576 3221222624 134732500 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52745 39601 301 301 0 52444 0
vsize: 210980
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 65343 0 0 0 38862 144 0 0 25 0 1 0 967905444 216305664 39617 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52809 39617 301 301 0 52508 0
vsize: 211236
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 65915 0 0 0 39861 145 0 0 25 0 1 0 967905444 218148864 39864 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53259 39864 301 301 0 52958 0
vsize: 213036
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 66064 0 0 0 40861 146 0 0 25 0 1 0 967905444 218677248 39948 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53388 39948 301 301 0 53087 0
vsize: 213552
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 66521 0 0 0 41860 147 0 0 25 0 1 0 967905444 220119040 40047 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53740 40047 301 301 0 53439 0
vsize: 214960
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 66615 0 0 0 42859 148 0 0 25 0 1 0 967905444 220381184 40076 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53804 40076 301 301 0 53503 0
vsize: 215216
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 66681 0 0 0 43859 148 0 0 25 0 1 0 967905444 220647424 40142 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53869 40142 301 301 0 53568 0
vsize: 215476
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 66741 0 0 0 44859 148 0 0 25 0 1 0 967905444 220778496 40169 4294967295 134512640 135730672 3221224576 3221222992 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53901 40169 301 301 0 53600 0
vsize: 215604
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 66817 0 0 0 45858 149 0 0 25 0 1 0 967905444 221040640 40180 4294967295 134512640 135730672 3221224576 3221222992 134748420 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53965 40180 301 301 0 53664 0
vsize: 215860
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 66867 0 0 0 46857 150 0 0 25 0 1 0 967905444 221171712 40197 4294967295 134512640 135730672 3221224576 3221222800 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53997 40197 301 301 0 53696 0
vsize: 215988
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 66902 0 0 0 47857 150 0 0 25 0 1 0 967905444 221171712 40232 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53997 40232 301 301 0 53696 0
vsize: 215988
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 67677 0 0 0 48855 152 0 0 25 0 1 0 967905444 221437952 40325 4294967295 134512640 135730672 3221224576 3221222952 134748061 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54062 40325 301 301 0 53761 0
vsize: 216248
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 67932 0 0 0 49855 153 0 0 25 0 1 0 967905444 222224384 40385 4294967295 134512640 135730672 3221224576 3221222800 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54254 40385 301 301 0 53953 0
vsize: 217016
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 68065 0 0 0 50854 154 0 0 25 0 1 0 967905444 222752768 40453 4294967295 134512640 135730672 3221224576 3221222800 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54383 40453 301 301 0 54082 0
vsize: 217532
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 68072 0 0 0 51854 154 0 0 25 0 1 0 967905444 222752768 40460 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54383 40460 301 301 0 54082 0
vsize: 217532
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 68106 0 0 0 52854 154 0 0 25 0 1 0 967905444 222752768 40494 4294967295 134512640 135730672 3221224576 3221222800 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54383 40494 301 301 0 54082 0
vsize: 217532
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 68823 0 0 0 53852 156 0 0 25 0 1 0 967905444 223019008 40529 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54448 40529 301 301 0 54147 0
vsize: 217792
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 68835 0 0 0 54851 157 0 0 25 0 1 0 967905444 223019008 40541 4294967295 134512640 135730672 3221224576 3221222928 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54448 40541 301 301 0 54147 0
vsize: 217792
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 68929 0 0 0 55851 157 0 0 25 0 1 0 967905444 223281152 40570 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54512 40570 301 301 0 54211 0
vsize: 218048
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 68978 0 0 0 56851 158 0 0 25 0 1 0 967905444 223547392 40619 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54577 40619 301 301 0 54276 0
vsize: 218308
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 69074 0 0 0 57851 158 0 0 25 0 1 0 967905444 223809536 40650 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54641 40650 301 301 0 54340 0
vsize: 218564
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 69080 0 0 0 58851 158 0 0 25 0 1 0 967905444 223809536 40656 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54641 40656 301 301 0 54340 0
vsize: 218564
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 69797 0 0 0 59849 160 0 0 25 0 1 0 967905444 223809536 40691 4294967295 134512640 135730672 3221224576 3221222928 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54641 40691 301 301 0 54340 0
vsize: 218564
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 69853 0 0 0 60849 160 0 0 25 0 1 0 967905444 223940608 40714 4294967295 134512640 135730672 3221224576 3221222800 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54673 40714 301 301 0 54372 0
vsize: 218692
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 69869 0 0 0 61847 161 0 0 25 0 1 0 967905444 223940608 40730 4294967295 134512640 135730672 3221224576 3221222800 134747631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54673 40730 301 301 0 54372 0
vsize: 218692
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 69880 0 0 0 62847 162 0 0 25 0 1 0 967905444 223940608 40741 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54673 40741 301 301 0 54372 0
vsize: 218692
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 69887 0 0 0 63847 162 0 0 25 0 1 0 967905444 223940608 40748 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54673 40748 301 301 0 54372 0
vsize: 218692
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 69952 0 0 0 64847 162 0 0 25 0 1 0 967905444 224071680 40780 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54705 40780 301 301 0 54404 0
vsize: 218820
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 70038 0 0 0 65846 163 0 0 25 0 1 0 967905444 224333824 40801 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54769 40801 301 301 0 54468 0
vsize: 219076
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 70788 0 0 0 66845 165 0 0 25 0 1 0 967905444 224595968 40804 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54833 40804 301 301 0 54532 0
vsize: 219332
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 70790 0 0 0 67845 165 0 0 25 0 1 0 967905444 224595968 40806 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54833 40806 301 301 0 54532 0
vsize: 219332
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 70793 0 0 0 68845 165 0 0 25 0 1 0 967905444 224595968 40809 4294967295 134512640 135730672 3221224576 3221222956 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54833 40809 301 301 0 54532 0
vsize: 219332
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 70797 0 0 0 69844 166 0 0 25 0 1 0 967905444 224595968 40813 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54833 40813 301 301 0 54532 0
vsize: 219332
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 70983 0 0 0 70844 166 0 0 25 0 1 0 967905444 225120256 40869 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54961 40869 301 301 0 54660 0
vsize: 219844
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 71015 0 0 0 71844 166 0 0 25 0 1 0 967905444 225120256 40901 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54961 40901 301 301 0 54660 0
vsize: 219844
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 71069 0 0 0 72844 167 0 0 25 0 1 0 967905444 225386496 40955 4294967295 134512640 135730672 3221224576 3221222624 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55026 40955 301 301 0 54725 0
vsize: 220104
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 71753 0 0 0 73842 169 0 0 25 0 1 0 967905444 225386496 40957 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55026 40957 301 301 0 54725 0
vsize: 220104
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 71765 0 0 0 74842 169 0 0 25 0 1 0 967905444 225386496 40969 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55026 40969 301 301 0 54725 0
vsize: 220104
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 71767 0 0 0 75841 170 0 0 25 0 1 0 967905444 225386496 40971 4294967295 134512640 135730672 3221224576 3221222624 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55026 40971 301 301 0 54725 0
vsize: 220104
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 71776 0 0 0 76842 170 0 0 25 0 1 0 967905444 225386496 40980 4294967295 134512640 135730672 3221224576 3221222800 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55026 40980 301 301 0 54725 0
vsize: 220104
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 71786 0 0 0 77841 170 0 0 25 0 1 0 967905444 225386496 40990 4294967295 134512640 135730672 3221224576 3221222640 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55026 40990 301 301 0 54725 0
vsize: 220104
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 71790 0 0 0 78841 170 0 0 25 0 1 0 967905444 225386496 40994 4294967295 134512640 135730672 3221224576 3221222800 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55026 40994 301 301 0 54725 0
vsize: 220104
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 71793 0 0 0 79841 171 0 0 25 0 1 0 967905444 225386496 40997 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55026 40997 301 301 0 54725 0
vsize: 220104
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 72509 0 0 0 80839 173 0 0 25 0 1 0 967905444 225386496 41031 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55026 41031 301 301 0 54725 0
vsize: 220104
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 72631 0 0 0 81838 174 0 0 25 0 1 0 967905444 225648640 41088 4294967295 134512640 135730672 3221224576 3221222800 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55090 41088 301 301 0 54789 0
vsize: 220360
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 72635 0 0 0 82839 174 0 0 25 0 1 0 967905444 225648640 41092 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55090 41092 301 301 0 54789 0
vsize: 220360
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 72635 0 0 0 83838 174 0 0 25 0 1 0 967905444 225648640 41092 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55090 41092 301 301 0 54789 0
vsize: 220360
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 72637 0 0 0 84838 175 0 0 25 0 1 0 967905444 225648640 41094 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55090 41094 301 301 0 54789 0
vsize: 220360
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 72707 0 0 0 85838 175 0 0 25 0 1 0 967905444 225914880 41164 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55155 41164 301 301 0 54854 0
vsize: 220620
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 72708 0 0 0 86837 176 0 0 25 0 1 0 967905444 225914880 41165 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55155 41165 301 301 0 54854 0
vsize: 220620
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 72718 0 0 0 87838 176 0 0 25 0 1 0 967905444 225914880 41175 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55155 41175 301 301 0 54854 0
vsize: 220620
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 73400 0 0 0 88836 178 0 0 25 0 1 0 967905444 225914880 41175 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55155 41175 301 301 0 54854 0
vsize: 220620
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 73401 0 0 0 89836 178 0 0 25 0 1 0 967905444 225914880 41176 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55155 41176 301 301 0 54854 0
vsize: 220620
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 73401 0 0 0 90836 178 0 0 25 0 1 0 967905444 225914880 41176 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55155 41176 301 301 0 54854 0
vsize: 220620
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 73585 0 0 0 91835 179 0 0 25 0 1 0 967905444 226439168 41230 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55283 41230 301 301 0 54982 0
vsize: 221132
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 73585 0 0 0 92835 179 0 0 25 0 1 0 967905444 226439168 41230 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55283 41230 301 301 0 54982 0
vsize: 221132
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 73594 0 0 0 93835 180 0 0 25 0 1 0 967905444 226439168 41239 4294967295 134512640 135730672 3221224576 3221222928 134748158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55283 41239 301 301 0 54982 0
vsize: 221132
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 73597 0 0 0 94835 180 0 0 25 0 1 0 967905444 226439168 41242 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55283 41242 301 301 0 54982 0
vsize: 221132
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 73678 0 0 0 95835 180 0 0 25 0 1 0 967905444 226701312 41258 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55347 41258 301 301 0 55046 0
vsize: 221388
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 74360 0 0 0 96834 182 0 0 25 0 1 0 967905444 226701312 41258 4294967295 134512640 135730672 3221224576 3221222800 134747590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55347 41258 301 301 0 55046 0
vsize: 221388
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 74530 0 0 0 97833 182 0 0 25 0 1 0 967905444 227225600 41298 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55475 41298 301 301 0 55174 0
vsize: 221900
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 74783 0 0 0 98833 183 0 0 25 0 1 0 967905444 228012032 41356 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55667 41356 301 301 0 55366 0
vsize: 222668
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 74824 0 0 0 99833 183 0 0 25 0 1 0 967905444 228278272 41397 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55732 41397 301 301 0 55431 0
vsize: 222928
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 74825 0 0 0 100833 183 0 0 25 0 1 0 967905444 228278272 41398 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55732 41398 301 301 0 55431 0
vsize: 222928
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 74931 0 0 0 101833 184 0 0 25 0 1 0 967905444 228540416 41439 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55796 41439 301 301 0 55495 0
vsize: 223184
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 75007 0 0 0 102833 184 0 0 25 0 1 0 967905444 228802560 41450 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55860 41450 301 301 0 55559 0
vsize: 223440
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 75008 0 0 0 103833 184 0 0 25 0 1 0 967905444 228802560 41451 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55860 41451 301 301 0 55559 0
vsize: 223440
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 75017 0 0 0 104832 185 0 0 25 0 1 0 967905444 228802560 41460 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55860 41460 301 301 0 55559 0
vsize: 223440
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 75790 0 0 0 105830 187 0 0 25 0 1 0 967905444 229064704 41486 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55924 41486 301 301 0 55623 0
vsize: 223696
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 75970 0 0 0 106828 188 0 0 25 0 1 0 967905444 229588992 41536 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56052 41536 301 301 0 55751 0
vsize: 224208
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 76099 0 0 0 107827 189 0 0 25 0 1 0 967905444 229851136 41600 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56116 41600 301 301 0 55815 0
vsize: 224464
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 76117 0 0 0 108826 189 0 0 25 0 1 0 967905444 229851136 41618 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56116 41618 301 301 0 55815 0
vsize: 224464
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 76121 0 0 0 109826 189 0 0 25 0 1 0 967905444 229851136 41622 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56116 41622 301 301 0 55815 0
vsize: 224464
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 76280 0 0 0 110826 190 0 0 25 0 1 0 967905444 230379520 41716 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56245 41716 301 301 0 55944 0
vsize: 224980
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 76370 0 0 0 111825 191 0 0 25 0 1 0 967905444 230641664 41741 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56309 41741 301 301 0 56008 0
vsize: 225236
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 76372 0 0 0 112825 191 0 0 25 0 1 0 967905444 230641664 41743 4294967295 134512640 135730672 3221224576 3221222800 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56309 41743 301 301 0 56008 0
vsize: 225236
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 77054 0 0 0 113823 193 0 0 25 0 1 0 967905444 230641664 41743 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56309 41743 301 301 0 56008 0
vsize: 225236
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 77055 0 0 0 114823 193 0 0 25 0 1 0 967905444 230641664 41744 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56309 41744 301 301 0 56008 0
vsize: 225236
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 77220 0 0 0 115823 194 0 0 25 0 1 0 967905444 231165952 41779 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56437 41779 301 301 0 56136 0
vsize: 225748
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 77312 0 0 0 116823 194 0 0 25 0 1 0 967905444 231428096 41806 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56501 41806 301 301 0 56200 0
vsize: 226004
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 77391 0 0 0 117822 195 0 0 25 0 1 0 967905444 231690240 41820 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56565 41820 301 301 0 56264 0
vsize: 226260
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 77394 0 0 0 118822 195 0 0 25 0 1 0 967905444 231690240 41823 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56565 41823 301 301 0 56264 0
vsize: 226260
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8427
Raw data (stat): 8427 (pb2sat-v2) R 8426 7266 7265 0 -1 0 77471 0 0 0 119821 196 0 0 25 0 1 0 967905444 231952384 41835 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56629 41835 301 301 0 56328 0
vsize: 226516
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.6 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 8427
Raw data (stat): 8427 (pb2sat-v2) Z 8426 7266 7265 0 -1 12 77473 0 0 0 119969 205 0 0 25 0 1 0 967905444 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.6
CPU time (s): 1201.74
CPU user time (s): 1199.69
CPU system time (s): 2.05369
CPU usage (%): 100.012
Max. virtual memory (Kb): 226516
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	573
#### END VERIFIER DATA ####