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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Nameweb/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
MD5SUMa89f4ed95903fddf213992506514bcf0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
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 numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1223.74
Number of variables906
Total number of constraints1944
Number of constraints which are clauses852
Number of constraints which are cardinality constraints (but not clauses)1092
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18

Trace number 9950

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-23 15:56:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8600 boxname=wulflinc22 idbench=396 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a89f4ed95903fddf213992506514bcf0  /oldhome/oroussel/tmp/wulflinc22/normalized-10:20:4.5:0.95:98.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-10:20:4.5:0.95:98.opb
IDLAUNCH: 8600
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 450.985
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	: 3
cpu MHz		: 450.985
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        922688 kB
Buffers:         11696 kB
Cached:          83368 kB
SwapCached:          0 kB
Active:          44804 kB
Inactive:        53176 kB
HighTotal:      131008 kB
HighFree:        47292 kB
LowTotal:       903652 kB
LowFree:        875396 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8360 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:17:07 (client local time) WITH STATUS 10 IN 1205.28 SECONDS
stats: 8600 0 1205.28 10

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: 477.486/86400
c Decision: 1060/348771	Time: 528.09/86400
c Decision: 1060/348771	Time: 594.531/86400
c Decision: 1060/348771	Time: 664.993/86400
c Decision: 1060/348771	Time: 734.097/86400
c Decision: 1060/348771	Time: 805.413/86400
c Decision: 1060/348771	Time: 885.935/86400
c Decision: 1060/348771	Time: 966.191/86400
c Decision: 1060/348771	Time: 1052.07/86400
c Decision: 1060/348771	Time: 1138.8/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

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21438447 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 373 2 364 364 0 9 0
[pid=7809] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc22/normalized-10:20:4.5:0.95:98.opb

[startup+10.0019 s]
Raw data (loadavg): 0.93 0.95 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 30369 0 0 0 924 69 0 0 25 0 1 0 21438447 96280576 19244 4294967295 134512640 135987407 3221224560 3221134844 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 23506 19244 364 364 0 23142 0
[pid=7809] vsize: 94024
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 94024

[startup+20.0036 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 58276 0 0 0 1863 128 0 0 25 0 1 0 21438447 189534208 35312 4294967295 134512640 135987407 3221224560 3221223120 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 46273 35312 364 364 0 45909 0
[pid=7809] vsize: 185092
Current children cumulated CPU time (s) 19.91
Current children cumulated vsize (Kb) 185092

[startup+30.0043 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 61092 0 0 0 2840 141 0 0 25 0 1 0 21438447 201584640 37851 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 49215 37851 364 364 0 48851 0
[pid=7809] vsize: 196860
Current children cumulated CPU time (s) 29.81
Current children cumulated vsize (Kb) 196860

[startup+40.005 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 61801 0 0 0 3829 145 0 0 25 0 1 0 21438447 204656640 38445 4294967295 134512640 135987407 3221224560 3221223180 134811686 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 49965 38445 364 364 0 49601 0
[pid=7809] vsize: 199860
Current children cumulated CPU time (s) 39.74
Current children cumulated vsize (Kb) 199860

[startup+50.0057 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 62342 0 0 0 4819 149 0 0 25 0 1 0 21438447 206909440 38854 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 50515 38854 364 364 0 50151 0
[pid=7809] vsize: 202060
Current children cumulated CPU time (s) 49.68
Current children cumulated vsize (Kb) 202060

[startup+60.0054 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 62836 0 0 0 5811 152 0 0 25 0 1 0 21438447 208642048 39217 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 50938 39217 364 364 0 50574 0
[pid=7809] vsize: 203752
Current children cumulated CPU time (s) 59.63
Current children cumulated vsize (Kb) 203752

[startup+70.0061 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 63300 0 0 0 6806 155 0 0 25 0 1 0 21438447 210579456 39550 4294967295 134512640 135987407 3221224560 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 51411 39550 364 364 0 51047 0
[pid=7809] vsize: 205644
Current children cumulated CPU time (s) 69.61
Current children cumulated vsize (Kb) 205644

[startup+80.0068 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 63646 0 0 0 7801 157 0 0 25 0 1 0 21438447 211775488 39764 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 51703 39764 364 364 0 51339 0
[pid=7809] vsize: 206812
Current children cumulated CPU time (s) 79.58
Current children cumulated vsize (Kb) 206812

[startup+90.0075 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 64115 0 0 0 8795 159 0 0 25 0 1 0 21438447 213372928 40069 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 52093 40069 364 364 0 51729 0
[pid=7809] vsize: 208372
Current children cumulated CPU time (s) 89.54
Current children cumulated vsize (Kb) 208372

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 64633 0 0 0 9789 162 0 0 25 0 1 0 21438447 215228416 40325 4294967295 134512640 135987407 3221224560 3221223120 134811765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 52546 40325 364 364 0 52182 0
[pid=7809] vsize: 210184
Current children cumulated CPU time (s) 99.51
Current children cumulated vsize (Kb) 210184

[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 64874 0 0 0 10783 164 0 0 25 0 1 0 21438447 216158208 40533 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 52773 40533 364 364 0 52409 0
[pid=7809] vsize: 211092
Current children cumulated CPU time (s) 109.47
Current children cumulated vsize (Kb) 211092

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 65214 0 0 0 11775 168 0 0 25 0 1 0 21438447 217616384 40774 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 53129 40774 364 364 0 52765 0
[pid=7809] vsize: 212516
Current children cumulated CPU time (s) 119.43
Current children cumulated vsize (Kb) 212516

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 65747 0 0 0 12769 170 0 0 25 0 1 0 21438447 219074560 41076 4294967295 134512640 135987407 3221224560 3221222992 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 53485 41076 364 364 0 53121 0
[pid=7809] vsize: 213940
Current children cumulated CPU time (s) 129.39
Current children cumulated vsize (Kb) 213940

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 66072 0 0 0 13763 173 0 0 25 0 1 0 21438447 220143616 41302 4294967295 134512640 135987407 3221224560 3221223200 134812426 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 53746 41302 364 364 0 53382 0
[pid=7809] vsize: 214984
Current children cumulated CPU time (s) 139.36
Current children cumulated vsize (Kb) 214984

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 66498 0 0 0 14756 176 0 0 25 0 1 0 21438447 221999104 41598 4294967295 134512640 135987407 3221224560 3221223216 134812368 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 54199 41598 364 364 0 53835 0
[pid=7809] vsize: 216796
Current children cumulated CPU time (s) 149.32
Current children cumulated vsize (Kb) 216796

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 66813 0 0 0 15748 179 0 0 25 0 1 0 21438447 223191040 41814 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 54490 41814 364 364 0 54126 0
[pid=7809] vsize: 217960
Current children cumulated CPU time (s) 159.27
Current children cumulated vsize (Kb) 217960

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 66860 0 0 0 16745 181 0 0 25 0 1 0 21438447 223191040 41861 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 54490 41861 364 364 0 54126 0
[pid=7809] vsize: 217960
Current children cumulated CPU time (s) 169.26
Current children cumulated vsize (Kb) 217960

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7809
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 67131 0 0 0 17738 183 0 0 25 0 1 0 21438447 224120832 42001 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 54717 42001 364 364 0 54353 0
[pid=7809] vsize: 218868
Current children cumulated CPU time (s) 179.21
Current children cumulated vsize (Kb) 218868

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 7810
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 67245 0 0 0 18730 186 0 0 25 0 1 0 21438447 224661504 42115 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 54849 42115 364 364 0 54485 0
[pid=7809] vsize: 219396
Current children cumulated CPU time (s) 189.16
Current children cumulated vsize (Kb) 219396

[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7864
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 67297 0 0 0 19714 195 0 0 25 0 1 0 21438447 224796672 42167 4294967295 134512640 135987407 3221224560 3221223260 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 54882 42167 364 364 0 54518 0
[pid=7809] vsize: 219528
Current children cumulated CPU time (s) 199.09
Current children cumulated vsize (Kb) 219528

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7864
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 67504 0 0 0 20705 198 0 0 25 0 1 0 21438447 225996800 42374 4294967295 134512640 135987407 3221224560 3221223120 134811986 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 55175 42374 364 364 0 54811 0
[pid=7809] vsize: 220700
Current children cumulated CPU time (s) 209.03
Current children cumulated vsize (Kb) 220700

[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7864
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 67702 0 0 0 21698 201 0 0 25 0 1 0 21438447 226656256 42474 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 55336 42474 364 364 0 54972 0
[pid=7809] vsize: 221344
Current children cumulated CPU time (s) 218.99
Current children cumulated vsize (Kb) 221344

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7864
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 68121 0 0 0 22690 205 0 0 25 0 1 0 21438447 228794368 42827 4294967295 134512640 135987407 3221224560 3221223216 134812447 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 55858 42827 364 364 0 55494 0
[pid=7809] vsize: 223432
Current children cumulated CPU time (s) 228.95
Current children cumulated vsize (Kb) 223432

[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7864
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 68139 0 0 0 23684 206 0 0 25 0 1 0 21438447 228794368 42845 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 55858 42845 364 364 0 55494 0
[pid=7809] vsize: 223432
Current children cumulated CPU time (s) 238.9
Current children cumulated vsize (Kb) 223432

[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7866
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 68208 0 0 0 24677 210 0 0 25 0 1 0 21438447 228925440 42881 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 55890 42881 364 364 0 55526 0
[pid=7809] vsize: 223560
Current children cumulated CPU time (s) 248.87
Current children cumulated vsize (Kb) 223560

[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7866
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 68323 0 0 0 25668 213 0 0 25 0 1 0 21438447 229322752 42963 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 55987 42963 364 364 0 55623 0
[pid=7809] vsize: 223948
Current children cumulated CPU time (s) 258.81
Current children cumulated vsize (Kb) 223948

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 68581 0 0 0 26658 218 0 0 25 0 1 0 21438447 230113280 43090 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 56180 43090 364 364 0 55816 0
[pid=7809] vsize: 224720
Current children cumulated CPU time (s) 268.76
Current children cumulated vsize (Kb) 224720

[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 68922 0 0 0 27649 221 0 0 25 0 1 0 21438447 231301120 43268 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 56470 43268 364 364 0 56106 0
[pid=7809] vsize: 225880
Current children cumulated CPU time (s) 278.7
Current children cumulated vsize (Kb) 225880

[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 69077 0 0 0 28644 223 0 0 25 0 1 0 21438447 232099840 43423 4294967295 134512640 135987407 3221224560 3221222992 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 56665 43423 364 364 0 56301 0
[pid=7809] vsize: 226660
Current children cumulated CPU time (s) 288.67
Current children cumulated vsize (Kb) 226660

[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 69342 0 0 0 29637 226 0 0 25 0 1 0 21438447 233025536 43590 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 56891 43590 364 364 0 56527 0
[pid=7809] vsize: 227564
Current children cumulated CPU time (s) 298.63
Current children cumulated vsize (Kb) 227564

[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 69478 0 0 0 30630 228 0 0 25 0 1 0 21438447 233287680 43660 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 56955 43660 364 364 0 56591 0
[pid=7809] vsize: 227820
Current children cumulated CPU time (s) 308.58
Current children cumulated vsize (Kb) 227820

[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 69620 0 0 0 31624 230 0 0 25 0 1 0 21438447 233684992 43736 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 57052 43736 364 364 0 56688 0
[pid=7809] vsize: 228208
Current children cumulated CPU time (s) 318.54
Current children cumulated vsize (Kb) 228208

[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 69778 0 0 0 32616 232 0 0 25 0 1 0 21438447 234217472 43828 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 57182 43828 364 364 0 56818 0
[pid=7809] vsize: 228728
Current children cumulated CPU time (s) 328.48
Current children cumulated vsize (Kb) 228728

[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 69836 0 0 0 33606 236 0 0 25 0 1 0 21438447 234483712 43886 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 57247 43886 364 364 0 56883 0
[pid=7809] vsize: 228988
Current children cumulated CPU time (s) 338.42
Current children cumulated vsize (Kb) 228988

[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 70008 0 0 0 34596 240 0 0 25 0 1 0 21438447 234876928 43960 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 57343 43960 364 364 0 56979 0
[pid=7809] vsize: 229372
Current children cumulated CPU time (s) 348.36
Current children cumulated vsize (Kb) 229372

[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 70035 0 0 0 35587 242 0 0 25 0 1 0 21438447 234876928 43987 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 57343 43987 364 364 0 56979 0
[pid=7809] vsize: 229372
Current children cumulated CPU time (s) 358.29
Current children cumulated vsize (Kb) 229372

[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 70096 0 0 0 36580 244 0 0 25 0 1 0 21438447 235008000 44015 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 57375 44015 364 364 0 57011 0
[pid=7809] vsize: 229500
Current children cumulated CPU time (s) 368.24
Current children cumulated vsize (Kb) 229500

[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 70392 0 0 0 37574 246 0 0 25 0 1 0 21438447 236064768 44181 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 57633 44181 364 364 0 57269 0
[pid=7809] vsize: 230532
Current children cumulated CPU time (s) 378.2
Current children cumulated vsize (Kb) 230532

[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 70479 0 0 0 38566 249 0 0 25 0 1 0 21438447 236064768 44268 4294967295 134512640 135987407 3221224560 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 57633 44268 364 364 0 57269 0
[pid=7809] vsize: 230532
Current children cumulated CPU time (s) 388.15
Current children cumulated vsize (Kb) 230532

[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 70483 0 0 0 39560 251 0 0 25 0 1 0 21438447 236064768 44272 4294967295 134512640 135987407 3221224560 3221223120 134812160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 57633 44272 364 364 0 57269 0
[pid=7809] vsize: 230532
Current children cumulated CPU time (s) 398.11
Current children cumulated vsize (Kb) 230532

[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) T 7808 7809 4060 0 -1 0 71132 0 0 0 40551 254 0 0 25 0 1 0 21438447 238170112 44531 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7809/statm): 58147 44531 364 364 0 57783 0
[pid=7809] vsize: 232588
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (Kb) 232588

[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 71281 0 0 0 41542 257 0 0 25 0 1 0 21438447 238698496 44615 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 58276 44615 364 364 0 57912 0
[pid=7809] vsize: 233104
Current children cumulated CPU time (s) 417.99
Current children cumulated vsize (Kb) 233104

[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 71648 0 0 0 42533 261 0 0 25 0 1 0 21438447 239878144 44689 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 58564 44689 364 364 0 58200 0
[pid=7809] vsize: 234256
Current children cumulated CPU time (s) 427.94
Current children cumulated vsize (Kb) 234256

[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 71830 0 0 0 43525 264 0 0 25 0 1 0 21438447 240402432 44741 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 58692 44741 364 364 0 58328 0
[pid=7809] vsize: 234768
Current children cumulated CPU time (s) 437.89
Current children cumulated vsize (Kb) 234768

[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 71891 0 0 0 44516 266 0 0 25 0 1 0 21438447 240533504 44769 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 58724 44769 364 364 0 58360 0
[pid=7809] vsize: 234896
Current children cumulated CPU time (s) 447.82
Current children cumulated vsize (Kb) 234896

[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 71953 0 0 0 45506 269 0 0 25 0 1 0 21438447 240664576 44798 4294967295 134512640 135987407 3221224560 3221223120 134812043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 58756 44798 364 364 0 58392 0
[pid=7809] vsize: 235024
Current children cumulated CPU time (s) 457.75
Current children cumulated vsize (Kb) 235024

[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 72041 0 0 0 46500 271 0 0 25 0 1 0 21438447 240926720 44821 4294967295 134512640 135987407 3221224560 3221223120 134811727 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 58820 44821 364 364 0 58456 0
[pid=7809] vsize: 235280
Current children cumulated CPU time (s) 467.71
Current children cumulated vsize (Kb) 235280

[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 72090 0 0 0 47491 275 0 0 25 0 1 0 21438447 241057792 44837 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 58852 44837 364 364 0 58488 0
[pid=7809] vsize: 235408
Current children cumulated CPU time (s) 477.66
Current children cumulated vsize (Kb) 235408

[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 72124 0 0 0 48482 278 0 0 25 0 1 0 21438447 241057792 44871 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 58852 44871 364 364 0 58488 0
[pid=7809] vsize: 235408
Current children cumulated CPU time (s) 487.6
Current children cumulated vsize (Kb) 235408

[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7870
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 72897 0 0 0 49475 282 0 0 25 0 1 0 21438447 241324032 44962 4294967295 134512640 135987407 3221224560 3221223120 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 58917 44962 364 364 0 58553 0
[pid=7809] vsize: 235668
Current children cumulated CPU time (s) 497.57
Current children cumulated vsize (Kb) 235668

[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 73003 0 0 0 50468 284 0 0 25 0 1 0 21438447 241586176 45003 4294967295 134512640 135987407 3221224560 3221223264 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 58981 45003 364 364 0 58617 0
[pid=7809] vsize: 235924
Current children cumulated CPU time (s) 507.52
Current children cumulated vsize (Kb) 235924

[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 73237 0 0 0 51463 287 0 0 25 0 1 0 21438447 242372608 45042 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 59173 45042 364 364 0 58809 0
[pid=7809] vsize: 236692
Current children cumulated CPU time (s) 517.5
Current children cumulated vsize (Kb) 236692

[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 73295 0 0 0 52459 288 0 0 25 0 1 0 21438447 242638848 45100 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 59238 45100 364 364 0 58874 0
[pid=7809] vsize: 236952
Current children cumulated CPU time (s) 527.47
Current children cumulated vsize (Kb) 236952

[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 73324 0 0 0 53454 290 0 0 25 0 1 0 21438447 242638848 45129 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 59238 45129 364 364 0 58874 0
[pid=7809] vsize: 236952
Current children cumulated CPU time (s) 537.44
Current children cumulated vsize (Kb) 236952

[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 74046 0 0 0 54449 294 0 0 25 0 1 0 21438447 242905088 45169 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59303 45169 364 364 0 58939 0
[pid=7809] vsize: 237212
Current children cumulated CPU time (s) 547.43
Current children cumulated vsize (Kb) 237212

[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 74049 0 0 0 55444 296 0 0 25 0 1 0 21438447 242905088 45172 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59303 45172 364 364 0 58939 0
[pid=7809] vsize: 237212
Current children cumulated CPU time (s) 557.4
Current children cumulated vsize (Kb) 237212

[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 74079 0 0 0 56437 298 0 0 25 0 1 0 21438447 242905088 45202 4294967295 134512640 135987407 3221224560 3221223008 134801587 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59303 45202 364 364 0 58939 0
[pid=7809] vsize: 237212
Current children cumulated CPU time (s) 567.35
Current children cumulated vsize (Kb) 237212

[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 74154 0 0 0 57431 301 0 0 25 0 1 0 21438447 243167232 45212 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59367 45212 364 364 0 59003 0
[pid=7809] vsize: 237468
Current children cumulated CPU time (s) 577.32
Current children cumulated vsize (Kb) 237468

[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 74295 0 0 0 58425 303 0 0 25 0 1 0 21438447 243695616 45288 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59496 45288 364 364 0 59132 0
[pid=7809] vsize: 237984
Current children cumulated CPU time (s) 587.28
Current children cumulated vsize (Kb) 237984

[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 74299 0 0 0 59418 305 0 0 25 0 1 0 21438447 243695616 45292 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59496 45292 364 364 0 59132 0
[pid=7809] vsize: 237984
Current children cumulated CPU time (s) 597.23
Current children cumulated vsize (Kb) 237984

[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 74329 0 0 0 60409 309 0 0 25 0 1 0 21438447 243695616 45322 4294967295 134512640 135987407 3221224560 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59496 45322 364 364 0 59132 0
[pid=7809] vsize: 237984
Current children cumulated CPU time (s) 607.18
Current children cumulated vsize (Kb) 237984

[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 75022 0 0 0 61402 313 0 0 25 0 1 0 21438447 243695616 45333 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59496 45333 364 364 0 59132 0
[pid=7809] vsize: 237984
Current children cumulated CPU time (s) 617.15
Current children cumulated vsize (Kb) 237984

[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 75077 0 0 0 62395 315 0 0 25 0 1 0 21438447 243826688 45355 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59528 45355 364 364 0 59164 0
[pid=7809] vsize: 238112
Current children cumulated CPU time (s) 627.1
Current children cumulated vsize (Kb) 238112

[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 75102 0 0 0 63390 317 0 0 25 0 1 0 21438447 243826688 45380 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59528 45380 364 364 0 59164 0
[pid=7809] vsize: 238112
Current children cumulated CPU time (s) 637.07
Current children cumulated vsize (Kb) 238112

[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 75104 0 0 0 64384 319 0 0 25 0 1 0 21438447 243826688 45382 4294967295 134512640 135987407 3221224560 3221223120 134811988 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59528 45382 364 364 0 59164 0
[pid=7809] vsize: 238112
Current children cumulated CPU time (s) 647.03
Current children cumulated vsize (Kb) 238112

[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 75156 0 0 0 65376 321 0 0 25 0 1 0 21438447 243957760 45401 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59560 45401 364 364 0 59196 0
[pid=7809] vsize: 238240
Current children cumulated CPU time (s) 656.97
Current children cumulated vsize (Kb) 238240

[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 75252 0 0 0 66368 325 0 0 25 0 1 0 21438447 244219904 45432 4294967295 134512640 135987407 3221224560 3221223120 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59624 45432 364 364 0 59260 0
[pid=7809] vsize: 238496
Current children cumulated CPU time (s) 666.93
Current children cumulated vsize (Kb) 238496

[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 75261 0 0 0 67361 327 0 0 25 0 1 0 21438447 244219904 45441 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59624 45441 364 364 0 59260 0
[pid=7809] vsize: 238496
Current children cumulated CPU time (s) 676.88
Current children cumulated vsize (Kb) 238496

[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 76011 0 0 0 68354 330 0 0 25 0 1 0 21438447 244482048 45444 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59688 45444 364 364 0 59324 0
[pid=7809] vsize: 238752
Current children cumulated CPU time (s) 686.84
Current children cumulated vsize (Kb) 238752

[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 76015 0 0 0 69348 333 0 0 25 0 1 0 21438447 244482048 45448 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59688 45448 364 364 0 59324 0
[pid=7809] vsize: 238752
Current children cumulated CPU time (s) 696.81
Current children cumulated vsize (Kb) 238752

[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 76016 0 0 0 70342 335 0 0 25 0 1 0 21438447 244482048 45449 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59688 45449 364 364 0 59324 0
[pid=7809] vsize: 238752
Current children cumulated CPU time (s) 706.77
Current children cumulated vsize (Kb) 238752

[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 76104 0 0 0 71335 338 0 0 25 0 1 0 21438447 244744192 45472 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59752 45472 364 364 0 59388 0
[pid=7809] vsize: 239008
Current children cumulated CPU time (s) 716.73
Current children cumulated vsize (Kb) 239008

[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 76218 0 0 0 72328 341 0 0 25 0 1 0 21438447 245006336 45521 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59816 45521 364 364 0 59452 0
[pid=7809] vsize: 239264
Current children cumulated CPU time (s) 726.69
Current children cumulated vsize (Kb) 239264

[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 76244 0 0 0 73322 344 0 0 25 0 1 0 21438447 245006336 45547 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59816 45547 364 364 0 59452 0
[pid=7809] vsize: 239264
Current children cumulated CPU time (s) 736.66
Current children cumulated vsize (Kb) 239264

[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) T 7808 7809 4060 0 -1 0 76293 0 0 0 74314 347 0 0 25 0 1 0 21438447 245272576 45596 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59881 45596 364 364 0 59517 0
[pid=7809] vsize: 239524
Current children cumulated CPU time (s) 746.61
Current children cumulated vsize (Kb) 239524

[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 76977 0 0 0 75307 350 0 0 25 0 1 0 21438447 245272576 45598 4294967295 134512640 135987407 3221224560 3221223280 134790062 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59881 45598 364 364 0 59517 0
[pid=7809] vsize: 239524
Current children cumulated CPU time (s) 756.57
Current children cumulated vsize (Kb) 239524

[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 76988 0 0 0 76300 353 0 0 25 0 1 0 21438447 245272576 45609 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59881 45609 364 364 0 59517 0
[pid=7809] vsize: 239524
Current children cumulated CPU time (s) 766.53
Current children cumulated vsize (Kb) 239524

[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 76990 0 0 0 77294 355 0 0 25 0 1 0 21438447 245272576 45611 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59881 45611 364 364 0 59517 0
[pid=7809] vsize: 239524
Current children cumulated CPU time (s) 776.49
Current children cumulated vsize (Kb) 239524

[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 76999 0 0 0 78287 358 0 0 25 0 1 0 21438447 245272576 45620 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59881 45620 364 364 0 59517 0
[pid=7809] vsize: 239524
Current children cumulated CPU time (s) 786.45
Current children cumulated vsize (Kb) 239524

[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 77009 0 0 0 79280 361 0 0 25 0 1 0 21438447 245272576 45630 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59881 45630 364 364 0 59517 0
[pid=7809] vsize: 239524
Current children cumulated CPU time (s) 796.41
Current children cumulated vsize (Kb) 239524

[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 77013 0 0 0 80271 365 0 0 25 0 1 0 21438447 245272576 45634 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59881 45634 364 364 0 59517 0
[pid=7809] vsize: 239524
Current children cumulated CPU time (s) 806.36
Current children cumulated vsize (Kb) 239524

[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 77016 0 0 0 81264 367 0 0 25 0 1 0 21438447 245272576 45637 4294967295 134512640 135987407 3221224560 3221223296 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59881 45637 364 364 0 59517 0
[pid=7809] vsize: 239524
Current children cumulated CPU time (s) 816.31
Current children cumulated vsize (Kb) 239524

[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 77732 0 0 0 82257 371 0 0 25 0 1 0 21438447 245272576 45671 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59881 45671 364 364 0 59517 0
[pid=7809] vsize: 239524
Current children cumulated CPU time (s) 826.28
Current children cumulated vsize (Kb) 239524

[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 77854 0 0 0 83249 374 0 0 25 0 1 0 21438447 245534720 45728 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59945 45728 364 364 0 59581 0
[pid=7809] vsize: 239780
Current children cumulated CPU time (s) 836.23
Current children cumulated vsize (Kb) 239780

[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 77858 0 0 0 84241 377 0 0 25 0 1 0 21438447 245534720 45732 4294967295 134512640 135987407 3221224560 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59945 45732 364 364 0 59581 0
[pid=7809] vsize: 239780
Current children cumulated CPU time (s) 846.18
Current children cumulated vsize (Kb) 239780

[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 77858 0 0 0 85233 380 0 0 25 0 1 0 21438447 245534720 45732 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59945 45732 364 364 0 59581 0
[pid=7809] vsize: 239780
Current children cumulated CPU time (s) 856.13
Current children cumulated vsize (Kb) 239780

[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 77860 0 0 0 86228 382 0 0 25 0 1 0 21438447 245534720 45734 4294967295 134512640 135987407 3221224560 3221223120 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 59945 45734 364 364 0 59581 0
[pid=7809] vsize: 239780
Current children cumulated CPU time (s) 866.1
Current children cumulated vsize (Kb) 239780

[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 77930 0 0 0 87221 385 0 0 25 0 1 0 21438447 245800960 45804 4294967295 134512640 135987407 3221224560 3221223120 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 60010 45804 364 364 0 59646 0
[pid=7809] vsize: 240040
Current children cumulated CPU time (s) 876.06
Current children cumulated vsize (Kb) 240040

[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 77931 0 0 0 88215 387 0 0 25 0 1 0 21438447 245800960 45805 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 60010 45805 364 364 0 59646 0
[pid=7809] vsize: 240040
Current children cumulated CPU time (s) 886.02
Current children cumulated vsize (Kb) 240040

[startup+900.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 77932 0 0 0 89208 390 0 0 25 0 1 0 21438447 245800960 45806 4294967295 134512640 135987407 3221224560 3221223024 135293398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 60010 45806 364 364 0 59646 0
[pid=7809] vsize: 240040
Current children cumulated CPU time (s) 895.98
Current children cumulated vsize (Kb) 240040

[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) T 7808 7809 4060 0 -1 0 78623 0 0 0 90200 393 0 0 25 0 1 0 21438447 245800960 45815 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60010 45815 364 364 0 59646 0
[pid=7809] vsize: 240040
Current children cumulated CPU time (s) 905.93
Current children cumulated vsize (Kb) 240040

[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 78624 0 0 0 91194 394 0 0 25 0 1 0 21438447 245800960 45816 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60010 45816 364 364 0 59646 0
[pid=7809] vsize: 240040
Current children cumulated CPU time (s) 915.88
Current children cumulated vsize (Kb) 240040

[startup+930.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 78624 0 0 0 92187 396 0 0 25 0 1 0 21438447 245800960 45816 4294967295 134512640 135987407 3221224560 3221223216 134812339 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60010 45816 364 364 0 59646 0
[pid=7809] vsize: 240040
Current children cumulated CPU time (s) 925.83
Current children cumulated vsize (Kb) 240040

[startup+940.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 78808 0 0 0 93181 399 0 0 25 0 1 0 21438447 246325248 45870 4294967295 134512640 135987407 3221224560 3221223216 134812341 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60138 45870 364 364 0 59774 0
[pid=7809] vsize: 240552
Current children cumulated CPU time (s) 935.8
Current children cumulated vsize (Kb) 240552

[startup+950.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 78808 0 0 0 94172 402 0 0 25 0 1 0 21438447 246325248 45870 4294967295 134512640 135987407 3221224560 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60138 45870 364 364 0 59774 0
[pid=7809] vsize: 240552
Current children cumulated CPU time (s) 945.74
Current children cumulated vsize (Kb) 240552

[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 78817 0 0 0 95165 404 0 0 25 0 1 0 21438447 246325248 45879 4294967295 134512640 135987407 3221224560 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60138 45879 364 364 0 59774 0
[pid=7809] vsize: 240552
Current children cumulated CPU time (s) 955.69
Current children cumulated vsize (Kb) 240552

[startup+970.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 78820 0 0 0 96159 406 0 0 25 0 1 0 21438447 246325248 45882 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60138 45882 364 364 0 59774 0
[pid=7809] vsize: 240552
Current children cumulated CPU time (s) 965.65
Current children cumulated vsize (Kb) 240552

[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 78821 0 0 0 97153 408 0 0 25 0 1 0 21438447 246325248 45883 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60138 45883 364 364 0 59774 0
[pid=7809] vsize: 240552
Current children cumulated CPU time (s) 975.61
Current children cumulated vsize (Kb) 240552

[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 79583 0 0 0 98146 412 0 0 25 0 1 0 21438447 246587392 45898 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60202 45898 364 364 0 59838 0
[pid=7809] vsize: 240808
Current children cumulated CPU time (s) 985.58
Current children cumulated vsize (Kb) 240808

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 79753 0 0 0 99138 415 0 0 25 0 1 0 21438447 247111680 45938 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60330 45938 364 364 0 59966 0
[pid=7809] vsize: 241320
Current children cumulated CPU time (s) 995.53
Current children cumulated vsize (Kb) 241320

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 80006 0 0 0 100130 418 0 0 25 0 1 0 21438447 247898112 45996 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60522 45996 364 364 0 60158 0
[pid=7809] vsize: 242088
Current children cumulated CPU time (s) 1005.48
Current children cumulated vsize (Kb) 242088

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 80006 0 0 0 101124 420 0 0 25 0 1 0 21438447 247898112 45996 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60522 45996 364 364 0 60158 0
[pid=7809] vsize: 242088
Current children cumulated CPU time (s) 1015.44
Current children cumulated vsize (Kb) 242088

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 80048 0 0 0 102116 423 0 0 25 0 1 0 21438447 248164352 46038 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60587 46038 364 364 0 60223 0
[pid=7809] vsize: 242348
Current children cumulated CPU time (s) 1025.39
Current children cumulated vsize (Kb) 242348

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 80154 0 0 0 103109 426 0 0 25 0 1 0 21438447 248426496 46079 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60651 46079 364 364 0 60287 0
[pid=7809] vsize: 242604
Current children cumulated CPU time (s) 1035.35
Current children cumulated vsize (Kb) 242604

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) T 7808 7809 4060 0 -1 0 80230 0 0 0 104103 429 0 0 25 0 1 0 21438447 248688640 46090 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60715 46090 364 364 0 60351 0
[pid=7809] vsize: 242860
Current children cumulated CPU time (s) 1045.32
Current children cumulated vsize (Kb) 242860

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 80230 0 0 0 105097 430 0 0 25 0 1 0 21438447 248688640 46090 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60715 46090 364 364 0 60351 0
[pid=7809] vsize: 242860
Current children cumulated CPU time (s) 1055.27
Current children cumulated vsize (Kb) 242860

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 80240 0 0 0 106090 433 0 0 25 0 1 0 21438447 248688640 46100 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60715 46100 364 364 0 60351 0
[pid=7809] vsize: 242860
Current children cumulated CPU time (s) 1065.23
Current children cumulated vsize (Kb) 242860

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 80926 0 0 0 107082 438 0 0 25 0 1 0 21438447 248688640 46104 4294967295 134512640 135987407 3221224560 3221222992 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7809/statm): 60715 46104 364 364 0 60351 0
[pid=7809] vsize: 242860
Current children cumulated CPU time (s) 1075.2
Current children cumulated vsize (Kb) 242860

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 81193 0 0 0 108075 441 0 0 25 0 1 0 21438447 249475072 46176 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 60907 46176 364 364 0 60543 0
[pid=7809] vsize: 243628
Current children cumulated CPU time (s) 1085.16
Current children cumulated vsize (Kb) 243628

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 81205 0 0 0 109066 444 0 0 25 0 1 0 21438447 249475072 46188 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 60907 46188 364 364 0 60543 0
[pid=7809] vsize: 243628
Current children cumulated CPU time (s) 1095.1
Current children cumulated vsize (Kb) 243628

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 81340 0 0 0 110061 446 0 0 25 0 1 0 21438447 249737216 46258 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 60971 46258 364 364 0 60607 0
[pid=7809] vsize: 243884
Current children cumulated CPU time (s) 1105.07
Current children cumulated vsize (Kb) 243884

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 81344 0 0 0 111054 448 0 0 25 0 1 0 21438447 249737216 46262 4294967295 134512640 135987407 3221224560 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 60971 46262 364 364 0 60607 0
[pid=7809] vsize: 243884
Current children cumulated CPU time (s) 1115.02
Current children cumulated vsize (Kb) 243884

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 81437 0 0 0 112045 451 0 0 25 0 1 0 21438447 249999360 46290 4294967295 134512640 135987407 3221224560 3221223120 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 61035 46290 364 364 0 60671 0
[pid=7809] vsize: 244140
Current children cumulated CPU time (s) 1124.96
Current children cumulated vsize (Kb) 244140

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 81512 0 0 0 113037 455 0 0 25 0 1 0 21438447 250265600 46365 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 61100 46365 364 364 0 60736 0
[pid=7809] vsize: 244400
Current children cumulated CPU time (s) 1134.92
Current children cumulated vsize (Kb) 244400

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 81594 0 0 0 114031 457 0 0 25 0 1 0 21438447 250527744 46382 4294967295 134512640 135987407 3221224560 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 61164 46382 364 364 0 60800 0
[pid=7809] vsize: 244656
Current children cumulated CPU time (s) 1144.88
Current children cumulated vsize (Kb) 244656

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 81595 0 0 0 115023 459 0 0 25 0 1 0 21438447 250527744 46383 4294967295 134512640 135987407 3221224560 3221223312 134814759 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 61164 46383 364 364 0 60800 0
[pid=7809] vsize: 244656
Current children cumulated CPU time (s) 1154.82
Current children cumulated vsize (Kb) 244656

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 82278 0 0 0 116016 463 0 0 25 0 1 0 21438447 250527744 46384 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 61164 46384 364 364 0 60800 0
[pid=7809] vsize: 244656
Current children cumulated CPU time (s) 1164.79
Current children cumulated vsize (Kb) 244656

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 82363 0 0 0 117009 465 0 0 25 0 1 0 21438447 250789888 46404 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 61228 46404 364 364 0 60864 0
[pid=7809] vsize: 244912
Current children cumulated CPU time (s) 1174.74
Current children cumulated vsize (Kb) 244912

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 82444 0 0 0 118002 469 0 0 25 0 1 0 21438447 251052032 46420 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 61292 46420 364 364 0 60928 0
[pid=7809] vsize: 245168
Current children cumulated CPU time (s) 1184.71
Current children cumulated vsize (Kb) 245168

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 82536 0 0 0 118996 472 0 0 25 0 1 0 21438447 251314176 46447 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 61356 46447 364 364 0 60992 0
[pid=7809] vsize: 245424
Current children cumulated CPU time (s) 1194.68
Current children cumulated vsize (Kb) 245424

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 82616 0 0 0 119989 474 0 0 25 0 1 0 21438447 251576320 46462 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 61420 46462 364 364 0 61056 0
[pid=7809] vsize: 245680
Current children cumulated CPU time (s) 1204.63
Current children cumulated vsize (Kb) 245680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7872
Raw data (/proc/7809/stat): 7809 (pb2sat) R 7808 7809 4060 0 -1 0 82616 0 0 0 119989 474 0 0 25 0 1 0 21438447 251576320 46462 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7809/statm): 61420 46462 364 364 0 61056 0
[pid=7809] vsize: 245680
Current children cumulated CPU time (s) 1204.63
Current children cumulated vsize (Kb) 245680

Sending SIGTERM to -7809
Sleeping 2 seconds
One traced child (pid=7809) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.7
CPU time (s): 1205.28
CPU user time (s): 1200.43
CPU system time (s): 4.84426
CPU usage (%): 99.5517
Max. virtual memory (cumulated for all children) (Kb): 245680

Verifier Data

Verifier:	OK	573