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/course-ass/normalized-ws97-5.opb
MD5SUM6049145b9f1adfd7114adf044503d587
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2642
Optimality of the best value was proved YES
Number of terms in the objective function 748
Biggest coefficient in the objective function 240
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 33855
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 240
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 33855
Number of bits of the biggest sum of numbers16
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark965.053
Number of variables907
Total number of constraints1309
Number of constraints which are clauses126
Number of constraints which are cardinality constraints (but not clauses)1183
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134

Trace number 9890

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-23 15:48:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8588 boxname=wulflinc27 idbench=384 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6049145b9f1adfd7114adf044503d587  /oldhome/oroussel/tmp/wulflinc27/normalized-ws97-5.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-ws97-5.opb
IDLAUNCH: 8588
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.039
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		: 451.039
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:        943856 kB
Buffers:         11224 kB
Cached:          62896 kB
SwapCached:          0 kB
Active:          44876 kB
Inactive:        32136 kB
HighTotal:      131008 kB
HighFree:        63700 kB
LowTotal:       903652 kB
LowFree:        880156 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8244 kB
Committed_AS:    63652 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:08:47 (client local time) WITH STATUS 0 IN 1210.93 SECONDS
stats: 8588 0 1210.93 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 10537
c big objective detected
c trying from 0 to 511
c trying from 512 to 1023

c Decision: 309910/732254	Time: 191.164/86400
c Decision: 309910/732254	Time: 248.046/86400
c Decision: 309910/732254	Time: 293.6/86400
c Decision: 309910/732254	Time: 341.334/86400
c Decision: 309910/732254	Time: 398.097/86400
c Decision: 309910/732254	Time: 434.844/86400
c Decision: 309910/732254	Time: 484.927/86400
c Decision: 309910/732254	Time: 532.932/86400
c Decision: 309910/732254	Time: 583.846/86400
c Decision: 309910/732254	Time: 628.465/86400
c Decision: 309910/732254	Time: 677.913/86400
c Decision: 309910/732254	Time: 706.238/86400
c Decision: 309910/732254	Time: 751.811/86400
c Decision: 310558/732254	Time: 868.443/86400
c trying from 1024 to 1535
s SATISFIABLE
v one -v1 -v10 -v100 -v101 -v102 -v103 -v104 -v105 -v106 -v107 -v108 -v109 -v11 -v110 -v111 -v112 -v113 -v114 -v115 -v116 -v117 -v118 -v119 -v12 -v120 -v121 -v122 -v123 -v124 -v125 -v126 v127 -v128 -v129 -v13 v130 -v131 -v132 -v133 -v134 -v135 v136 v137 -v138 -v139 -v14 -v140 -v141 v142 -v143 -v144 v145 v146 -v147 -v148 v149 -v15 v150 v151 v152 v153 -v154 -v155 v156 v157 -v158 -v159 -v16 -v160 -v161 -v162 -v163 -v164 -v165 -v166 -v167 -v168 -v169 -v17 -v170 -v171 -v172 -v173 -v174 -v175 -v176 -v177 -v178 -v179 -v18 -v180 -v181 -v182 -v183 -v184 -v185 -v186 v187 v188 v189 -v19 v190 v191 -v192 -v193 -v194 -v195 -v196 -v197 -v198 -v199 -v2 -v20 -v200 -v201 -v202 -v203 -v204 -v205 -v206 -v207 -v208 -v209 -v21 -v210 -v211 -v212 -v213 -v214 -v215 -v216 -v217 -v218 -v219 -v22 -v220 v221 v222 -v223 v224 -v225 v226 v227 -v228 -v229 -v23 -v230 -v231 -v232 v233 v234 v235 -v236 -v237 -v238 -v239 -v24 v240 v241 v242 -v243 -v244 -v245 v246 -v247 -v248 v249 -v25 v250 -v251 v252 -v253 v254 v255 -v256 v257 v258 v259 -v26 v260 v261 -v262 -v263 v264 v265 v266 v267 -v268 v269 -v27 v270 -v271 -v272 v273 v274 -v275 -v276 -v277 -v278 -v279 -v28 v280 v281 -v282 -v283 -v284 -v285 -v286 -v287 -v288 -v289 -v29 -v290 -v291 -v292 -v293 -v294 -v295 -v296 -v297 -v298 -v299 -v3 -v30 -v300 -v301 -v302 -v303 -v304 -v305 -v306 -v307 -v308 -v309 -v31 -v310 -v311 -v312 -v313 -v314 -v315 -v316 -v317 -v318 -v319 v32 -v320 -v321 -v322 -v323 -v324 -v325 -v326 -v327 -v328 -v329 v33 -v330 -v331 -v332 -v333 -v334 -v335 -v336 -v337 -v338 -v339 -v34 -v340 -v341 -v342 -v343 -v344 -v345 -v346 -v347 -v348 v349 -v35 -v350 v351 -v352 -v353 v354 v355 v356 v357 v358 -v359 v36 -v360 -v361 v362 v363 v364 v365 -v366 -v367 -v368 v369 -v37 v370 v371 -v372 v373 v374 -v375 -v376 v377 -v378 -v379 -v38 -v380 -v381 -v382 -v383 -v384 -v385 -v386 -v387 -v388 -v389 -v39 -v390 -v391 -v392 -v393 -v394 -v395 -v396 -v397 -v398 -v399 -v4 -v40 -v400 -v401 -v402 -v403 -v404 -v405 -v406 -v407 -v408 -v409 v41 -v410 -v411 v412 v413 -v414 v415 v416 v417 v418 -v419 v42 -v420 -v421 -v422 -v423 v424 v425 -v426 -v427 -v428 v429 v43 v430 v431 v432 v433 v434 v435 v436 v437 v438 -v439 v44 -v440 -v441 -v442 -v443 v444 v445 v446 v447 v448 v449 v45 v450 v451 v452 v453 v454 v455 -v456 -v457 v458 v459 -v46 v460 -v461 -v462 -v463 -v464 -v465 -v466 -v467 -v468 -v469 -v47 -v470 -v471 v472 -v473 -v474 -v475 -v476 -v477 -v478 -v479 v48 -v480 -v481 -v482 -v483 -v484 -v485 -v486 -v487 -v488 -v489 v49 -v490 -v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 -v499 -v5 v50 -v500 -v501 -v502 -v503 -v504 -v505 v506 -v507 v508 v509 -v51 v510 v511 v512 -v513 -v514 -v515 -v516 -v517 -v518 -v519 -v52 -v520 -v521 -v522 -v523 -v524 v525 -v526 -v527 v528 -v529 -v53 -v530 -v531 -v532 -v533 -v534 -v535 -v536 -v537 -v538 -v539 -v54 v540 v541 -v542 v543 v544 v545 v546 -v547 -v548 -v549 -v55 -v550 v551 -v552 v553 v554 -v555 -v556 -v557 -v558 -v559 -v56 v560 -v561 -v562 -v563 -v564 v565 -v566 -v567 -v568 -v569 -v57 -v570 -v571 v572 v573 -v574 -v575 -v576 -v577 -v578 -v579 -v58 v580 v581 v582 -v583 -v584 -v585 v586 -v587 -v588 v589 -v59 v590 v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v6 -v60 v600 -v601 -v602 -v603 v604 -v605 -v606 v607 -v608 v609 -v61 v610 -v611 -v612 -v613 -v614 -v615 -v616 -v617 -v618 -v619 -v62 -v620 -v621 v622 -v623 -v624 -v625 -v626 -v627 -v628 -v629 -v63 -v630 -v631 -v632 v633 v634 v635 v636 -v637 -v638 v639 -v64 -v640 v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 -v649 -v65 -v650 -v651 -v652 -v653 -v654 -v655 v656 v657 v658 -v659 -v66 v660 v661 -v662 v663 v664 v665 v666 v667 v668 v669 -v67 v670 v671 v672 -v673 -v674 -v675 -v676 -v677 -v678 -v679 -v68 -v680 v681 v682 v683 v684 -v685 v686 -v687 -v688 -v689 -v69 -v690 -v691 -v692 -v693 -v694 -v695 -v696 -v697 -v698 -v699 -v7 -v70 -v700 -v701 -v702 -v703 -v704 -v705 -v706 -v707 -v708 -v709 -v71 -v710 -v711 -v712 -v713 -v714 -v715 -v716 -v717 -v718 -v719 -v72 -v720 -v721 -v722 -v723 -v724 -v725 v726 -v727 v728 v729 -v73 v730 v731 v732 v733 -v734 v735 v736 v737 -v738 v739 -v74 v740 -v741 v742 -v743 -v744 v745 v746 v747 v748 v749 -v75 v750 v751 v752 v753 v754 v755 -v756 -v757 -v758 -v759 -v76 -v760 -v761 -v762 -v763 -v764 -v765 -v766 -v767 -v768 -v769 -v77 -v770 v771 v772 -v773 -v774 -v775 -v776 -v777 -v778 -v779 v78 -v780 v781 v782 v783 v784 v785 v786 v787 v788 v789 v79 -v790 -v791 -v792 -v793 -v794 -v795 -v796 -v797 -v798 -v799 -v8 -v80 -v800 -v801 -v802 -v803 -v804 -v805 -v806 v807 -v808 -v809 -v81 v810 -v811 -v812 -v813 -v814 -v815 -v816 -v817 -v818 -v819 -v82 -v820 -v821 -v822 v823 v824 v825 v826 v827 -v828 v829 v83 v830 v831 v832 -v833 v834 v835 v836 v837 v838 v839 v84 -v840 -v841 v842 v843 v844 v845 v846 v847 -v848 -v849 v85 -v850 v851 v852 v853 -v854 v855 v856 -v857 -v858 -v859 v86 -v860 v861 -v862 -v863 -v864 -v865 -v866 -v867 -v868 -v869 v87 -v870 -v871 -v872 -v873 -v874 -v875 -v876 -v877 -v878 -v879 v88 -v880 -v881 -v882 -v883 -v884 -v885 -v886 -v887 -v888 -v889 v89 -v890 v891 v892 v893 v894 v895 v896 v897 v898 v899 -v9 v90 v900 -v901 -v902 -v903 -v904 -v905 -v906 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/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21352704 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 373 2 364 364 0 9 0
[pid=8380] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-ws97-5.opb

[startup+10.0019 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 27486 0 0 0 918 70 0 0 25 0 1 0 21352704 91295744 16292 4294967295 134512640 135987407 3221224576 3221055052 135485001 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 22289 16292 364 364 0 21925 0
[pid=8380] vsize: 89156
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 89156

[startup+20.0027 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 54512 0 0 0 1858 128 0 0 25 0 1 0 21352704 167960576 31421 4294967295 134512640 135987407 3221224576 3221223136 134788835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 41006 31421 364 364 0 40642 0
[pid=8380] vsize: 164024
Current children cumulated CPU time (s) 19.86
Current children cumulated vsize (Kb) 164024

[startup+30.0036 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 54827 0 0 0 2856 130 0 0 25 0 1 0 21352704 169025536 31606 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 41266 31606 364 364 0 40902 0
[pid=8380] vsize: 165064
Current children cumulated CPU time (s) 29.86
Current children cumulated vsize (Kb) 165064

[startup+40.0034 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 71963 0 0 0 3809 174 0 0 25 0 1 0 21352704 210657280 48576 4294967295 134512640 135987407 3221224576 3221141328 134558658 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 51430 48576 364 364 0 51066 0
[pid=8380] vsize: 205720
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 205720

[startup+50.0042 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 108395 0 0 0 4729 251 0 0 25 0 1 0 21352704 343629824 62835 4294967295 134512640 135987407 3221224576 3221151532 135480747 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 83894 62835 364 364 0 83530 0
[pid=8380] vsize: 335576
Current children cumulated CPU time (s) 49.8
Current children cumulated vsize (Kb) 335576

[startup+60.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 120991 0 0 0 5699 279 0 0 25 0 1 0 21352704 361549824 72567 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 88269 72567 364 364 0 87905 0
[pid=8380] vsize: 353076
Current children cumulated CPU time (s) 59.78
Current children cumulated vsize (Kb) 353076

[startup+70.0049 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 121127 0 0 0 6698 280 0 0 25 0 1 0 21352704 361959424 72703 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 88369 72703 364 364 0 88005 0
[pid=8380] vsize: 353476
Current children cumulated CPU time (s) 69.78
Current children cumulated vsize (Kb) 353476

[startup+80.0057 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 121626 0 0 0 7697 281 0 0 25 0 1 0 21352704 363565056 73008 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 88761 73008 364 364 0 88397 0
[pid=8380] vsize: 355044
Current children cumulated CPU time (s) 79.78
Current children cumulated vsize (Kb) 355044

[startup+90.0055 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 122522 0 0 0 8694 284 0 0 25 0 1 0 21352704 365940736 73450 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 89341 73450 364 364 0 88977 0
[pid=8380] vsize: 357364
Current children cumulated CPU time (s) 89.78
Current children cumulated vsize (Kb) 357364

[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 122560 0 0 0 9694 284 0 0 25 0 1 0 21352704 365940736 73488 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 89341 73488 364 364 0 88977 0
[pid=8380] vsize: 357364
Current children cumulated CPU time (s) 99.78
Current children cumulated vsize (Kb) 357364

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 122812 0 0 0 10693 285 0 0 25 0 1 0 21352704 366567424 73642 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 89494 73642 364 364 0 89130 0
[pid=8380] vsize: 357976
Current children cumulated CPU time (s) 109.78
Current children cumulated vsize (Kb) 357976

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 123172 0 0 0 11691 286 0 0 25 0 1 0 21352704 367570944 73873 4294967295 134512640 135987407 3221224576 3221223136 134811966 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 89739 73873 364 364 0 89375 0
[pid=8380] vsize: 358956
Current children cumulated CPU time (s) 119.77
Current children cumulated vsize (Kb) 358956

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 123533 0 0 0 12688 288 0 0 25 0 1 0 21352704 368476160 74067 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 89960 74067 364 364 0 89596 0
[pid=8380] vsize: 359840
Current children cumulated CPU time (s) 129.76
Current children cumulated vsize (Kb) 359840

[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 123618 0 0 0 13687 289 0 0 25 0 1 0 21352704 368787456 74152 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 90036 74152 364 364 0 89672 0
[pid=8380] vsize: 360144
Current children cumulated CPU time (s) 139.76
Current children cumulated vsize (Kb) 360144

[startup+150.011 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 123986 0 0 0 14685 290 0 0 25 0 1 0 21352704 369971200 74262 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 90325 74262 364 364 0 89961 0
[pid=8380] vsize: 361300
Current children cumulated CPU time (s) 149.75
Current children cumulated vsize (Kb) 361300

[startup+160.011 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 125704 0 0 0 15677 294 0 0 25 0 1 0 21352704 375857152 75119 4294967295 134512640 135987407 3221224576 3221223264 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 91762 75119 364 364 0 91398 0
[pid=8380] vsize: 367048
Current children cumulated CPU time (s) 159.71
Current children cumulated vsize (Kb) 367048

[startup+170.012 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 126630 0 0 0 16671 298 0 0 25 0 1 0 21352704 378875904 75728 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 92499 75728 364 364 0 92135 0
[pid=8380] vsize: 369996
Current children cumulated CPU time (s) 169.69
Current children cumulated vsize (Kb) 369996

[startup+180.013 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 127562 0 0 0 17665 302 0 0 25 0 1 0 21352704 381509632 76156 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 93142 76156 364 364 0 92778 0
[pid=8380] vsize: 372568
Current children cumulated CPU time (s) 179.67
Current children cumulated vsize (Kb) 372568

[startup+190.014 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 128549 0 0 0 18660 305 0 0 25 0 1 0 21352704 384000000 76528 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 93750 76528 364 364 0 93386 0
[pid=8380] vsize: 375000
Current children cumulated CPU time (s) 189.65
Current children cumulated vsize (Kb) 375000

[startup+200.015 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 128809 0 0 0 19655 307 0 0 25 0 1 0 21352704 384659456 76658 4294967295 134512640 135987407 3221224576 3221223136 134811790 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 93911 76658 364 364 0 93547 0
[pid=8380] vsize: 375644
Current children cumulated CPU time (s) 199.62
Current children cumulated vsize (Kb) 375644

[startup+210.014 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 128816 0 0 0 20653 308 0 0 25 0 1 0 21352704 384659456 76665 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 93911 76665 364 364 0 93547 0
[pid=8380] vsize: 375644
Current children cumulated CPU time (s) 209.61
Current children cumulated vsize (Kb) 375644

[startup+220.015 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 128851 0 0 0 21650 310 0 0 25 0 1 0 21352704 384659456 76700 4294967295 134512640 135987407 3221224576 3221223136 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 93911 76700 364 364 0 93547 0
[pid=8380] vsize: 375644
Current children cumulated CPU time (s) 219.6
Current children cumulated vsize (Kb) 375644

[startup+230.016 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 130401 0 0 0 22645 313 0 0 25 0 1 0 21352704 388722688 77248 4294967295 134512640 135987407 3221224576 3221223136 134812135 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 94903 77248 364 364 0 94539 0
[pid=8380] vsize: 379612
Current children cumulated CPU time (s) 229.58
Current children cumulated vsize (Kb) 379612

[startup+240.017 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 131014 0 0 0 23642 316 0 0 25 0 1 0 21352704 390295552 77474 4294967295 134512640 135987407 3221224576 3221223296 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77474 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 239.58
Current children cumulated vsize (Kb) 381148

[startup+250.018 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 132519 0 0 0 24637 320 0 0 25 0 1 0 21352704 390295552 77548 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77548 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 249.57
Current children cumulated vsize (Kb) 381148

[startup+260.019 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 132520 0 0 0 25636 320 0 0 25 0 1 0 21352704 390295552 77549 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77549 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 259.56
Current children cumulated vsize (Kb) 381148

[startup+270.019 s]
Raw data (loadavg): 1.01 0.99 0.99 1/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) T 8379 8380 4005 0 -1 0 132539 0 0 0 26635 321 0 0 25 0 1 0 21352704 390295552 77568 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77568 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 269.56
Current children cumulated vsize (Kb) 381148

[startup+280.02 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 132546 0 0 0 27633 322 0 0 25 0 1 0 21352704 390295552 77575 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77575 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 279.55
Current children cumulated vsize (Kb) 381148

[startup+290.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 132572 0 0 0 28632 323 0 0 25 0 1 0 21352704 390295552 77601 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77601 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 289.55
Current children cumulated vsize (Kb) 381148

[startup+300.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 132580 0 0 0 29631 323 0 0 25 0 1 0 21352704 390295552 77609 4294967295 134512640 135987407 3221224576 3221223312 134812644 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77609 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 299.54
Current children cumulated vsize (Kb) 381148

[startup+310.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 134014 0 0 0 30625 328 0 0 25 0 1 0 21352704 390295552 77612 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77612 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 309.53
Current children cumulated vsize (Kb) 381148

[startup+320.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 134022 0 0 0 31623 328 0 0 25 0 1 0 21352704 390295552 77620 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77620 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 319.51
Current children cumulated vsize (Kb) 381148

[startup+330.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 134032 0 0 0 32622 329 0 0 25 0 1 0 21352704 390295552 77630 4294967295 134512640 135987407 3221224576 3221223136 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77630 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 329.51
Current children cumulated vsize (Kb) 381148

[startup+340.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 134044 0 0 0 33621 329 0 0 25 0 1 0 21352704 390295552 77642 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77642 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 339.5
Current children cumulated vsize (Kb) 381148

[startup+350.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 135485 0 0 0 34616 334 0 0 25 0 1 0 21352704 390295552 77652 4294967295 134512640 135987407 3221224576 3221223296 134790066 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77652 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 349.5
Current children cumulated vsize (Kb) 381148

[startup+360.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 135538 0 0 0 35614 334 0 0 25 0 1 0 21352704 390295552 77705 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77705 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 359.48
Current children cumulated vsize (Kb) 381148

[startup+370.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 135546 0 0 0 36613 335 0 0 25 0 1 0 21352704 390295552 77713 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77713 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 369.48
Current children cumulated vsize (Kb) 381148

[startup+380.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 135559 0 0 0 37611 335 0 0 25 0 1 0 21352704 390295552 77726 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77726 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 379.46
Current children cumulated vsize (Kb) 381148

[startup+390.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 135571 0 0 0 38609 336 0 0 25 0 1 0 21352704 390295552 77738 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77738 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 389.45
Current children cumulated vsize (Kb) 381148

[startup+400.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 137011 0 0 0 39604 341 0 0 25 0 1 0 21352704 390295552 77747 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77747 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 399.45
Current children cumulated vsize (Kb) 381148

[startup+410.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 137022 0 0 0 40603 341 0 0 25 0 1 0 21352704 390295552 77758 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77758 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 409.44
Current children cumulated vsize (Kb) 381148

[startup+420.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 137029 0 0 0 41603 341 0 0 25 0 1 0 21352704 390295552 77765 4294967295 134512640 135987407 3221224576 3221223312 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77765 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 419.44
Current children cumulated vsize (Kb) 381148

[startup+430.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 137038 0 0 0 42602 342 0 0 25 0 1 0 21352704 390295552 77774 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77774 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 429.44
Current children cumulated vsize (Kb) 381148

[startup+440.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 137047 0 0 0 43601 342 0 0 25 0 1 0 21352704 390295552 77783 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77783 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 439.43
Current children cumulated vsize (Kb) 381148

[startup+450.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 137058 0 0 0 44599 343 0 0 25 0 1 0 21352704 390295552 77794 4294967295 134512640 135987407 3221224576 3221223136 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77794 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 449.42
Current children cumulated vsize (Kb) 381148

[startup+460.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 138497 0 0 0 45594 347 0 0 25 0 1 0 21352704 390295552 77802 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77802 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 459.41
Current children cumulated vsize (Kb) 381148

[startup+470.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 138506 0 0 0 46593 348 0 0 25 0 1 0 21352704 390295552 77811 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77811 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 469.41
Current children cumulated vsize (Kb) 381148

[startup+480.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 138523 0 0 0 47591 349 0 0 25 0 1 0 21352704 390295552 77828 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77828 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 479.4
Current children cumulated vsize (Kb) 381148

[startup+490.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 139961 0 0 0 48585 353 0 0 25 0 1 0 21352704 390295552 77835 4294967295 134512640 135987407 3221224576 3221223264 134876808 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77835 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 489.38
Current children cumulated vsize (Kb) 381148

[startup+500.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 139962 0 0 0 49584 353 0 0 25 0 1 0 21352704 390295552 77836 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77836 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 499.37
Current children cumulated vsize (Kb) 381148

[startup+510.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 139963 0 0 0 50583 354 0 0 25 0 1 0 21352704 390295552 77837 4294967295 134512640 135987407 3221224576 3221223296 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77837 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 509.37
Current children cumulated vsize (Kb) 381148

[startup+520.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 139973 0 0 0 51582 354 0 0 25 0 1 0 21352704 390295552 77847 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77847 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 519.36
Current children cumulated vsize (Kb) 381148

[startup+530.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 139986 0 0 0 52581 355 0 0 25 0 1 0 21352704 390295552 77860 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95287 77860 364 364 0 94923 0
[pid=8380] vsize: 381148
Current children cumulated CPU time (s) 529.36
Current children cumulated vsize (Kb) 381148

[startup+540.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 141425 0 0 0 53576 359 0 0 25 0 1 0 21352704 396156928 79299 4294967295 134512640 135987407 3221224576 3221222832 134829272 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96718 79299 364 364 0 96354 0
[pid=8380] vsize: 386872
Current children cumulated CPU time (s) 539.35
Current children cumulated vsize (Kb) 386872

[startup+550.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 141448 0 0 0 54573 360 0 0 25 0 1 0 21352704 390438912 77891 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95322 77891 364 364 0 94958 0
[pid=8380] vsize: 381288
Current children cumulated CPU time (s) 549.33
Current children cumulated vsize (Kb) 381288

[startup+560.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 141605 0 0 0 55570 362 0 0 25 0 1 0 21352704 390701056 77983 4294967295 134512640 135987407 3221224576 3221223016 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95386 77983 364 364 0 95022 0
[pid=8380] vsize: 381544
Current children cumulated CPU time (s) 559.32
Current children cumulated vsize (Kb) 381544

[startup+570.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 141615 0 0 0 56569 362 0 0 25 0 1 0 21352704 390701056 77993 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95386 77993 364 364 0 95022 0
[pid=8380] vsize: 381544
Current children cumulated CPU time (s) 569.31
Current children cumulated vsize (Kb) 381544

[startup+580.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 141632 0 0 0 57568 363 0 0 25 0 1 0 21352704 390701056 78010 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95386 78010 364 364 0 95022 0
[pid=8380] vsize: 381544
Current children cumulated CPU time (s) 579.31
Current children cumulated vsize (Kb) 381544

[startup+590.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 143077 0 0 0 58563 367 0 0 25 0 1 0 21352704 390701056 78024 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95386 78024 364 364 0 95022 0
[pid=8380] vsize: 381544
Current children cumulated CPU time (s) 589.3
Current children cumulated vsize (Kb) 381544

[startup+600.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 143101 0 0 0 59562 367 0 0 25 0 1 0 21352704 390701056 78048 4294967295 134512640 135987407 3221224576 3221223136 134811756 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95386 78048 364 364 0 95022 0
[pid=8380] vsize: 381544
Current children cumulated CPU time (s) 599.29
Current children cumulated vsize (Kb) 381544

[startup+610.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 143442 0 0 0 60560 369 0 0 25 0 1 0 21352704 391487488 78195 4294967295 134512640 135987407 3221224576 3221223264 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95578 78195 364 364 0 95214 0
[pid=8380] vsize: 382312
Current children cumulated CPU time (s) 609.29
Current children cumulated vsize (Kb) 382312

[startup+620.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 143596 0 0 0 61559 370 0 0 25 0 1 0 21352704 391880704 78251 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 95674 78251 364 364 0 95310 0
[pid=8380] vsize: 382696
Current children cumulated CPU time (s) 619.29
Current children cumulated vsize (Kb) 382696

[startup+630.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 144395 0 0 0 62555 372 0 0 25 0 1 0 21352704 394113024 78564 4294967295 134512640 135987407 3221224576 3221223232 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78564 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 629.27
Current children cumulated vsize (Kb) 384876

[startup+640.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 145837 0 0 0 63549 377 0 0 25 0 1 0 21352704 394113024 78575 4294967295 134512640 135987407 3221224576 3221223264 134824740 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78575 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 639.26
Current children cumulated vsize (Kb) 384876

[startup+650.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 145859 0 0 0 64548 377 0 0 25 0 1 0 21352704 394113024 78597 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78597 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 649.25
Current children cumulated vsize (Kb) 384876

[startup+660.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 145875 0 0 0 65546 378 0 0 25 0 1 0 21352704 394113024 78613 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78613 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 659.24
Current children cumulated vsize (Kb) 384876

[startup+670.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 145883 0 0 0 66545 379 0 0 25 0 1 0 21352704 394113024 78621 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78621 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 669.24
Current children cumulated vsize (Kb) 384876

[startup+680.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 145902 0 0 0 67543 379 0 0 25 0 1 0 21352704 394113024 78640 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78640 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 679.22
Current children cumulated vsize (Kb) 384876

[startup+690.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8380
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 147343 0 0 0 68539 383 0 0 25 0 1 0 21352704 394113024 78650 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78650 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 689.22
Current children cumulated vsize (Kb) 384876

[startup+700.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8435
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 147358 0 0 0 69537 384 0 0 25 0 1 0 21352704 394113024 78665 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8380/statm): 96219 78665 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 699.21
Current children cumulated vsize (Kb) 384876

[startup+710.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8435
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 147375 0 0 0 70536 384 0 0 25 0 1 0 21352704 394113024 78682 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8380/statm): 96219 78682 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 709.2
Current children cumulated vsize (Kb) 384876

[startup+720.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8435
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 147390 0 0 0 71535 385 0 0 25 0 1 0 21352704 394113024 78697 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8380/statm): 96219 78697 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 719.2
Current children cumulated vsize (Kb) 384876

[startup+730.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8435
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 147412 0 0 0 72534 385 0 0 25 0 1 0 21352704 394113024 78719 4294967295 134512640 135987407 3221224576 3221223088 134789464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78719 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 729.19
Current children cumulated vsize (Kb) 384876

[startup+740.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8435
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 148843 0 0 0 73529 390 0 0 25 0 1 0 21352704 394113024 78719 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78719 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 739.19
Current children cumulated vsize (Kb) 384876

[startup+750.051 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8437
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 148845 0 0 0 74524 392 0 0 25 0 1 0 21352704 394113024 78721 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78721 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 749.16
Current children cumulated vsize (Kb) 384876

[startup+760.051 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8439
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 148857 0 0 0 75520 394 0 0 25 0 1 0 21352704 394113024 78733 4294967295 134512640 135987407 3221224576 3221223168 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78733 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 759.14
Current children cumulated vsize (Kb) 384876

[startup+770.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 150314 0 0 0 76516 398 0 0 25 0 1 0 21352704 394113024 78759 4294967295 134512640 135987407 3221224576 3221223296 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78759 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 769.14
Current children cumulated vsize (Kb) 384876

[startup+780.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 150341 0 0 0 77514 398 0 0 25 0 1 0 21352704 394113024 78786 4294967295 134512640 135987407 3221224576 3221223232 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78786 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 779.12
Current children cumulated vsize (Kb) 384876

[startup+790.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 150360 0 0 0 78512 399 0 0 25 0 1 0 21352704 394113024 78805 4294967295 134512640 135987407 3221224576 3221223136 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78805 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 789.11
Current children cumulated vsize (Kb) 384876

[startup+800.053 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 150378 0 0 0 79511 400 0 0 25 0 1 0 21352704 394113024 78823 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78823 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 799.11
Current children cumulated vsize (Kb) 384876

[startup+810.053 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 151828 0 0 0 80506 404 0 0 25 0 1 0 21352704 394113024 78842 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96219 78842 364 364 0 95855 0
[pid=8380] vsize: 384876
Current children cumulated CPU time (s) 809.1
Current children cumulated vsize (Kb) 384876

[startup+820.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 151847 0 0 0 81505 405 0 0 25 0 1 0 21352704 394244096 78861 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96251 78861 364 364 0 95887 0
[pid=8380] vsize: 385004
Current children cumulated CPU time (s) 819.1
Current children cumulated vsize (Kb) 385004

[startup+830.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 151868 0 0 0 82504 405 0 0 25 0 1 0 21352704 394244096 78882 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96251 78882 364 364 0 95887 0
[pid=8380] vsize: 385004
Current children cumulated CPU time (s) 829.09
Current children cumulated vsize (Kb) 385004

[startup+840.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 151884 0 0 0 83502 406 0 0 25 0 1 0 21352704 394244096 78898 4294967295 134512640 135987407 3221224576 3221223136 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96251 78898 364 364 0 95887 0
[pid=8380] vsize: 385004
Current children cumulated CPU time (s) 839.08
Current children cumulated vsize (Kb) 385004

[startup+850.056 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 151912 0 0 0 84500 407 0 0 25 0 1 0 21352704 394244096 78926 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96251 78926 364 364 0 95887 0
[pid=8380] vsize: 385004
Current children cumulated CPU time (s) 849.07
Current children cumulated vsize (Kb) 385004

[startup+860.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 151936 0 0 0 85499 407 0 0 25 0 1 0 21352704 394244096 78950 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96251 78950 364 364 0 95887 0
[pid=8380] vsize: 385004
Current children cumulated CPU time (s) 859.06
Current children cumulated vsize (Kb) 385004

[startup+870.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 151962 0 0 0 86496 408 0 0 25 0 1 0 21352704 394244096 78976 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96251 78976 364 364 0 95887 0
[pid=8380] vsize: 385004
Current children cumulated CPU time (s) 869.04
Current children cumulated vsize (Kb) 385004

[startup+880.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 151990 0 0 0 87495 409 0 0 25 0 1 0 21352704 394244096 79004 4294967295 134512640 135987407 3221224576 3221223136 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96251 79004 364 364 0 95887 0
[pid=8380] vsize: 385004
Current children cumulated CPU time (s) 879.04
Current children cumulated vsize (Kb) 385004

[startup+890.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 152017 0 0 0 88492 410 0 0 25 0 1 0 21352704 394244096 79031 4294967295 134512640 135987407 3221224576 3221223296 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96251 79031 364 364 0 95887 0
[pid=8380] vsize: 385004
Current children cumulated CPU time (s) 889.02
Current children cumulated vsize (Kb) 385004

[startup+900.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 152065 0 0 0 89490 411 0 0 25 0 1 0 21352704 394379264 79079 4294967295 134512640 135987407 3221224576 3221223112 134778245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96284 79079 364 364 0 95920 0
[pid=8380] vsize: 385136
Current children cumulated CPU time (s) 899.01
Current children cumulated vsize (Kb) 385136

[startup+910.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 152096 0 0 0 90488 412 0 0 25 0 1 0 21352704 394379264 79110 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96284 79110 364 364 0 95920 0
[pid=8380] vsize: 385136
Current children cumulated CPU time (s) 909
Current children cumulated vsize (Kb) 385136

[startup+920.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 152131 0 0 0 91486 413 0 0 25 0 1 0 21352704 394379264 79145 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96284 79145 364 364 0 95920 0
[pid=8380] vsize: 385136
Current children cumulated CPU time (s) 918.99
Current children cumulated vsize (Kb) 385136

[startup+930.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 153608 0 0 0 92480 418 0 0 25 0 1 0 21352704 394514432 79191 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96317 79191 364 364 0 95953 0
[pid=8380] vsize: 385268
Current children cumulated CPU time (s) 928.98
Current children cumulated vsize (Kb) 385268

[startup+940.061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 153640 0 0 0 93479 419 0 0 25 0 1 0 21352704 394514432 79223 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96317 79223 364 364 0 95953 0
[pid=8380] vsize: 385268
Current children cumulated CPU time (s) 938.98
Current children cumulated vsize (Kb) 385268

[startup+950.061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 153662 0 0 0 94477 419 0 0 25 0 1 0 21352704 394514432 79245 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96317 79245 364 364 0 95953 0
[pid=8380] vsize: 385268
Current children cumulated CPU time (s) 948.96
Current children cumulated vsize (Kb) 385268

[startup+960.061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 153694 0 0 0 95475 420 0 0 25 0 1 0 21352704 394514432 79277 4294967295 134512640 135987407 3221224576 3221223296 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96317 79277 364 364 0 95953 0
[pid=8380] vsize: 385268
Current children cumulated CPU time (s) 958.95
Current children cumulated vsize (Kb) 385268

[startup+970.061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 153716 0 0 0 96474 420 0 0 25 0 1 0 21352704 394514432 79299 4294967295 134512640 135987407 3221224576 3221223136 134811765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96317 79299 364 364 0 95953 0
[pid=8380] vsize: 385268
Current children cumulated CPU time (s) 968.94
Current children cumulated vsize (Kb) 385268

[startup+980.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 153738 0 0 0 97472 421 0 0 25 0 1 0 21352704 394514432 79321 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96317 79321 364 364 0 95953 0
[pid=8380] vsize: 385268
Current children cumulated CPU time (s) 978.93
Current children cumulated vsize (Kb) 385268

[startup+990.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 153758 0 0 0 98470 422 0 0 25 0 1 0 21352704 394514432 79341 4294967295 134512640 135987407 3221224576 3221223232 134812368 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96317 79341 364 364 0 95953 0
[pid=8380] vsize: 385268
Current children cumulated CPU time (s) 988.92
Current children cumulated vsize (Kb) 385268

[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 153781 0 0 0 99468 423 0 0 25 0 1 0 21352704 394514432 79364 4294967295 134512640 135987407 3221224576 3221223296 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96317 79364 364 364 0 95953 0
[pid=8380] vsize: 385268
Current children cumulated CPU time (s) 998.91
Current children cumulated vsize (Kb) 385268

[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 153819 0 0 0 100465 424 0 0 25 0 1 0 21352704 394514432 79402 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96317 79402 364 364 0 95953 0
[pid=8380] vsize: 385268
Current children cumulated CPU time (s) 1008.89
Current children cumulated vsize (Kb) 385268

[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 153842 0 0 0 101464 424 0 0 25 0 1 0 21352704 394514432 79425 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96317 79425 364 364 0 95953 0
[pid=8380] vsize: 385268
Current children cumulated CPU time (s) 1018.88
Current children cumulated vsize (Kb) 385268

[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 153919 0 0 0 102463 425 0 0 25 0 1 0 21352704 394514432 79502 4294967295 134512640 135987407 3221224576 3221223072 134778301 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 96317 79502 364 364 0 95953 0
[pid=8380] vsize: 385268
Current children cumulated CPU time (s) 1028.88
Current children cumulated vsize (Kb) 385268

[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8441
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 155597 0 0 0 103456 430 0 0 25 0 1 0 21352704 401272832 81180 4294967295 134512640 135987407 3221224576 3221223264 134886403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 97967 81180 364 364 0 97603 0
[pid=8380] vsize: 391868
Current children cumulated CPU time (s) 1038.86
Current children cumulated vsize (Kb) 391868

[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 176151 0 0 0 104402 481 0 0 25 0 1 0 21352704 462774272 101619 4294967295 134512640 135987407 3221224576 3221191828 135499908 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 112982 101619 364 364 0 112618 0
[pid=8380] vsize: 451928
Current children cumulated CPU time (s) 1048.83
Current children cumulated vsize (Kb) 451928

[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 197320 0 0 0 105363 518 0 0 25 0 1 0 21352704 624443392 122139 4294967295 134512640 135987407 3221224576 3221177712 134854917 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 152452 122139 364 364 0 152088 0
[pid=8380] vsize: 609808
Current children cumulated CPU time (s) 1058.81
Current children cumulated vsize (Kb) 609808

[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 244824 0 0 0 106264 616 0 0 25 0 1 0 21352704 682459136 125931 4294967295 134512640 135987407 3221224576 3221188000 134636919 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 166616 125931 364 364 0 166252 0
[pid=8380] vsize: 666464
Current children cumulated CPU time (s) 1068.8
Current children cumulated vsize (Kb) 666464

[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 260021 0 0 0 107228 650 0 0 25 0 1 0 21352704 730705920 139558 4294967295 134512640 135987407 3221224576 3221223008 134829342 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 178395 139558 364 364 0 178031 0
[pid=8380] vsize: 713580
Current children cumulated CPU time (s) 1078.78
Current children cumulated vsize (Kb) 713580

[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 264609 0 0 0 108218 660 0 0 25 0 1 0 21352704 729378816 138864 4294967295 134512640 135987407 3221224576 3221223136 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 178071 138864 364 364 0 177707 0
[pid=8380] vsize: 712284
Current children cumulated CPU time (s) 1088.78
Current children cumulated vsize (Kb) 712284

[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 264612 0 0 0 109217 660 0 0 25 0 1 0 21352704 729378816 138867 4294967295 134512640 135987407 3221224576 3221223136 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 178071 138867 364 364 0 177707 0
[pid=8380] vsize: 712284
Current children cumulated CPU time (s) 1098.77
Current children cumulated vsize (Kb) 712284

[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 264670 0 0 0 110217 661 0 0 25 0 1 0 21352704 729378816 138925 4294967295 134512640 135987407 3221224576 3221223136 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 178071 138925 364 364 0 177707 0
[pid=8380] vsize: 712284
Current children cumulated CPU time (s) 1108.78
Current children cumulated vsize (Kb) 712284

[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 264727 0 0 0 111217 661 0 0 25 0 1 0 21352704 729653248 138982 4294967295 134512640 135987407 3221224576 3221223212 134811680 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 178138 138982 364 364 0 177774 0
[pid=8380] vsize: 712552
Current children cumulated CPU time (s) 1118.78
Current children cumulated vsize (Kb) 712552

[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 264733 0 0 0 112217 661 0 0 25 0 1 0 21352704 729653248 138988 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 178138 138988 364 364 0 177774 0
[pid=8380] vsize: 712552
Current children cumulated CPU time (s) 1128.78
Current children cumulated vsize (Kb) 712552

[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 264742 0 0 0 113217 661 0 0 25 0 1 0 21352704 729653248 138997 4294967295 134512640 135987407 3221224576 3221223264 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 178138 138997 364 364 0 177774 0
[pid=8380] vsize: 712552
Current children cumulated CPU time (s) 1138.78
Current children cumulated vsize (Kb) 712552

[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 264750 0 0 0 114216 661 0 0 25 0 1 0 21352704 729653248 139005 4294967295 134512640 135987407 3221224576 3221223232 134812346 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 178138 139005 364 364 0 177774 0
[pid=8380] vsize: 712552
Current children cumulated CPU time (s) 1148.77
Current children cumulated vsize (Kb) 712552

[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 265144 0 0 0 115216 662 0 0 25 0 1 0 21352704 730980352 139142 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 178462 139142 364 364 0 178098 0
[pid=8380] vsize: 713848
Current children cumulated CPU time (s) 1158.78
Current children cumulated vsize (Kb) 713848

[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 265197 0 0 0 116216 662 0 0 25 0 1 0 21352704 731115520 139195 4294967295 134512640 135987407 3221224576 3221223264 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 178495 139195 364 364 0 178131 0
[pid=8380] vsize: 713980
Current children cumulated CPU time (s) 1168.78
Current children cumulated vsize (Kb) 713980

[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 266687 0 0 0 117211 665 0 0 25 0 1 0 21352704 735903744 140133 4294967295 134512640 135987407 3221224576 3221223008 134788502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 179664 140133 364 364 0 179300 0
[pid=8380] vsize: 718656
Current children cumulated CPU time (s) 1178.76
Current children cumulated vsize (Kb) 718656

[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 267008 0 0 0 118207 667 0 0 25 0 1 0 21352704 737521664 140389 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 180059 140389 364 364 0 179695 0
[pid=8380] vsize: 720236
Current children cumulated CPU time (s) 1188.74
Current children cumulated vsize (Kb) 720236

[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 267286 0 0 0 119201 669 0 0 25 0 1 0 21352704 738590720 140601 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 180320 140601 364 364 0 179956 0
[pid=8380] vsize: 721280
Current children cumulated CPU time (s) 1198.7
Current children cumulated vsize (Kb) 721280

[startup+1210.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 267292 0 0 0 120198 670 0 0 25 0 1 0 21352704 738590720 140607 4294967295 134512640 135987407 3221224576 3221223296 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 180320 140607 364 364 0 179956 0
[pid=8380] vsize: 721280
Current children cumulated CPU time (s) 1208.68
Current children cumulated vsize (Kb) 721280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8443
Raw data (/proc/8380/stat): 8380 (pb2sat) R 8379 8380 4005 0 -1 0 267292 0 0 0 120198 670 0 0 25 0 1 0 21352704 738590720 140607 4294967295 134512640 135987407 3221224576 3221223296 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8380/statm): 180320 140607 364 364 0 179956 0
[pid=8380] vsize: 721280
Current children cumulated CPU time (s) 1208.68
Current children cumulated vsize (Kb) 721280

Sending SIGTERM to -8380
Sleeping 2 seconds
Sending SIGKILL to -8380
One traced child (pid=8380) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.32
CPU time (s): 1210.93
CPU user time (s): 1203.94
CPU system time (s): 6.98794
CPU usage (%): 99.8854
Max. virtual memory (cumulated for all children) (Kb): 721280

Verifier Data

Verifier:	OK	10122