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.5:100.opb
MD5SUMfeaa96df552ef9989407735877840272
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of terms in the objective function 776
Biggest coefficient in the objective function 474
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 2127
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 474
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2127
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1213.45
Number of variables776
Total number of constraints1642
Number of constraints which are clauses701
Number of constraints which are cardinality constraints (but not clauses)941
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20

Trace number 9934

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-23 15:55:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8598 boxname=wulflinc12 idbench=394 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  feaa96df552ef9989407735877840272  /oldhome/oroussel/tmp/wulflinc12/normalized-10:20:4.5:0.5:100.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc12/normalized-10:20:4.5:0.5:100.opb
IDLAUNCH: 8598
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        952220 kB
Buffers:          5548 kB
Cached:          57624 kB
SwapCached:          0 kB
Active:          17804 kB
Inactive:        48272 kB
HighTotal:      131008 kB
HighFree:        91280 kB
LowTotal:       903652 kB
LowFree:        860940 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10748 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:15:15 (client local time) WITH STATUS 10 IN 1204.57 SECONDS
stats: 8598 0 1204.57 10

Solver Data

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

c Decision: 860/284315	Time: 83.1204/86400
c Decision: 860/284315	Time: 118.147/86400
c Decision: 860/284315	Time: 160.003/86400
c Decision: 860/284315	Time: 190.26/86400
c Decision: 860/284315	Time: 240.392/86400
c Decision: 860/284315	Time: 294.189/86400
c Decision: 860/284315	Time: 337.765/86400
c Decision: 860/284315	Time: 385.727/86400
c Decision: 860/284315	Time: 450.34/86400
c Decision: 860/284315	Time: 517.064/86400
c Decision: 860/284315	Time: 586.738/86400
c Decision: 860/284315	Time: 643.897/86400
c Decision: 860/284315	Time: 720.723/86400
c Decision: 860/284315	Time: 801.364/86400
c Decision: 860/284315	Time: 877.565/86400
c Decision: 860/284315	Time: 964.463/86400
c Decision: 860/284315	Time: 1034.79/86400
c Decision: 860/284315	Time: 1108.67/86400
c Decision: 860/284315	Time: 1182.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 v78 -v79 -v8 v80 v81 -v82 -v83 v84 v85 -v86 -v87 v88 v89 v9 v90 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/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21429472 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 373 2 364 364 0 9 0
[pid=8521] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-10:20:4.5:0.5:100.opb

[startup+10.0028 s]
Raw data (loadavg): 0.93 0.95 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 30634 0 0 0 928 67 0 0 25 0 1 0 21429472 96571392 19506 4294967295 134512640 135987407 3221224560 3221211416 134930946 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 23577 19506 364 364 0 23213 0
[pid=8521] vsize: 94308
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 94308

[startup+20.0036 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 54571 0 0 0 1870 119 0 0 25 0 1 0 21429472 172519424 31431 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 42119 31431 364 364 0 41755 0
[pid=8521] vsize: 168476
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (Kb) 168476

[startup+30.0045 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 55243 0 0 0 2864 121 0 0 25 0 1 0 21429472 174919680 31940 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 42705 31940 364 364 0 42341 0
[pid=8521] vsize: 170820
Current children cumulated CPU time (s) 29.85
Current children cumulated vsize (Kb) 170820

[startup+40.0053 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 56290 0 0 0 3856 126 0 0 25 0 1 0 21429472 179245056 32750 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 43761 32750 364 364 0 43397 0
[pid=8521] vsize: 175044
Current children cumulated CPU time (s) 39.82
Current children cumulated vsize (Kb) 175044

[startup+50.0052 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 57260 0 0 0 4847 131 0 0 25 0 1 0 21429472 183095296 33499 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 44701 33499 364 364 0 44337 0
[pid=8521] vsize: 178804
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (Kb) 178804

[startup+60.006 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 57755 0 0 0 5838 134 0 0 25 0 1 0 21429472 184889344 33879 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 45139 33879 364 364 0 44775 0
[pid=8521] vsize: 180556
Current children cumulated CPU time (s) 59.72
Current children cumulated vsize (Kb) 180556

[startup+70.0068 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 58590 0 0 0 6829 138 0 0 25 0 1 0 21429472 187891712 34500 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 45872 34500 364 364 0 45508 0
[pid=8521] vsize: 183488
Current children cumulated CPU time (s) 69.67
Current children cumulated vsize (Kb) 183488

[startup+80.0077 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 58931 0 0 0 7818 142 0 0 25 0 1 0 21429472 189362176 34710 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 46231 34710 364 364 0 45867 0
[pid=8521] vsize: 184924
Current children cumulated CPU time (s) 79.6
Current children cumulated vsize (Kb) 184924

[startup+90.0075 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 59381 0 0 0 8806 146 0 0 25 0 1 0 21429472 191213568 34981 4294967295 134512640 135987407 3221224560 3221223212 134812407 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 46683 34981 364 364 0 46319 0
[pid=8521] vsize: 186732
Current children cumulated CPU time (s) 89.52
Current children cumulated vsize (Kb) 186732

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 60232 0 0 0 9797 151 0 0 25 0 1 0 21429472 192147456 35177 4294967295 134512640 135987407 3221224560 3221223008 135486760 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 46911 35177 364 364 0 46547 0
[pid=8521] vsize: 187644
Current children cumulated CPU time (s) 99.48
Current children cumulated vsize (Kb) 187644

[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 60465 0 0 0 10786 155 0 0 25 0 1 0 21429472 192811008 35311 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 47073 35311 364 364 0 46709 0
[pid=8521] vsize: 188292
Current children cumulated CPU time (s) 109.41
Current children cumulated vsize (Kb) 188292

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 60602 0 0 0 11779 157 0 0 25 0 1 0 21429472 193347584 35415 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 47204 35415 364 364 0 46840 0
[pid=8521] vsize: 188816
Current children cumulated CPU time (s) 119.36
Current children cumulated vsize (Kb) 188816

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) T 8520 8521 4060 0 -1 0 61033 0 0 0 12772 160 0 0 25 0 1 0 21429472 194809856 35648 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8521/statm): 47561 35648 364 364 0 47197 0
[pid=8521] vsize: 190244
Current children cumulated CPU time (s) 129.32
Current children cumulated vsize (Kb) 190244

[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 61815 0 0 0 13762 165 0 0 25 0 1 0 21429472 195612672 35808 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 47757 35808 364 364 0 47393 0
[pid=8521] vsize: 191028
Current children cumulated CPU time (s) 139.27
Current children cumulated vsize (Kb) 191028

[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 62166 0 0 0 14751 168 0 0 25 0 1 0 21429472 196939776 36028 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 48081 36028 364 364 0 47717 0
[pid=8521] vsize: 192324
Current children cumulated CPU time (s) 149.19
Current children cumulated vsize (Kb) 192324

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 62549 0 0 0 15743 172 0 0 25 0 1 0 21429472 198266880 36280 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 48405 36280 364 364 0 48041 0
[pid=8521] vsize: 193620
Current children cumulated CPU time (s) 159.15
Current children cumulated vsize (Kb) 193620

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 62856 0 0 0 16731 176 0 0 25 0 1 0 21429472 199057408 36423 4294967295 134512640 135987407 3221224560 3221222892 135482074 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 48598 36423 364 364 0 48234 0
[pid=8521] vsize: 194392
Current children cumulated CPU time (s) 169.07
Current children cumulated vsize (Kb) 194392

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 63998 0 0 0 17721 180 0 0 25 0 1 0 21429472 200773632 36682 4294967295 134512640 135987407 3221224560 3221223216 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 49017 36682 364 364 0 48653 0
[pid=8521] vsize: 196068
Current children cumulated CPU time (s) 179.01
Current children cumulated vsize (Kb) 196068

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 64397 0 0 0 18715 183 0 0 25 0 1 0 21429472 201830400 36884 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 49275 36884 364 364 0 48911 0
[pid=8521] vsize: 197100
Current children cumulated CPU time (s) 188.98
Current children cumulated vsize (Kb) 197100

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 64534 0 0 0 19704 187 0 0 25 0 1 0 21429472 202231808 36988 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 49373 36988 364 364 0 49009 0
[pid=8521] vsize: 197492
Current children cumulated CPU time (s) 198.91
Current children cumulated vsize (Kb) 197492

[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 65282 0 0 0 20695 190 0 0 25 0 1 0 21429472 202891264 37082 4294967295 134512640 135987407 3221224560 3221223120 134812148 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 49534 37082 364 364 0 49170 0
[pid=8521] vsize: 198136
Current children cumulated CPU time (s) 208.85
Current children cumulated vsize (Kb) 198136

[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 65442 0 0 0 21687 193 0 0 25 0 1 0 21429472 203423744 37209 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 49664 37209 364 364 0 49300 0
[pid=8521] vsize: 198656
Current children cumulated CPU time (s) 218.8
Current children cumulated vsize (Kb) 198656

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 65455 0 0 0 22678 196 0 0 25 0 1 0 21429472 203423744 37222 4294967295 134512640 135987407 3221224560 3221223008 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 49664 37222 364 364 0 49300 0
[pid=8521] vsize: 198656
Current children cumulated CPU time (s) 228.74
Current children cumulated vsize (Kb) 198656

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 65570 0 0 0 23668 199 0 0 25 0 1 0 21429472 203685888 37271 4294967295 134512640 135987407 3221224560 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 49728 37271 364 364 0 49364 0
[pid=8521] vsize: 198912
Current children cumulated CPU time (s) 238.67
Current children cumulated vsize (Kb) 198912

[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 65663 0 0 0 24660 202 0 0 25 0 1 0 21429472 204218368 37364 4294967295 134512640 135987407 3221224560 3221223216 134812398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 49858 37364 364 364 0 49494 0
[pid=8521] vsize: 199432
Current children cumulated CPU time (s) 248.62
Current children cumulated vsize (Kb) 199432

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 66392 0 0 0 25652 205 0 0 25 0 1 0 21429472 204611584 37439 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 49954 37439 364 364 0 49590 0
[pid=8521] vsize: 199816
Current children cumulated CPU time (s) 258.57
Current children cumulated vsize (Kb) 199816

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 66396 0 0 0 26644 208 0 0 25 0 1 0 21429472 204611584 37443 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 49954 37443 364 364 0 49590 0
[pid=8521] vsize: 199816
Current children cumulated CPU time (s) 268.52
Current children cumulated vsize (Kb) 199816

[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 66459 0 0 0 27642 209 0 0 25 0 1 0 21429472 204611584 37506 4294967295 134512640 135987407 3221224560 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 49954 37506 364 364 0 49590 0
[pid=8521] vsize: 199816
Current children cumulated CPU time (s) 278.51
Current children cumulated vsize (Kb) 199816

[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 66561 0 0 0 28633 212 0 0 25 0 1 0 21429472 204873728 37543 4294967295 134512640 135987407 3221224560 3221222892 135481254 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 50018 37543 364 364 0 49654 0
[pid=8521] vsize: 200072
Current children cumulated CPU time (s) 288.45
Current children cumulated vsize (Kb) 200072

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8521
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 66725 0 0 0 29626 215 0 0 25 0 1 0 21429472 205537280 37674 4294967295 134512640 135987407 3221224560 3221223216 134812441 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 50180 37674 364 364 0 49816 0
[pid=8521] vsize: 200720
Current children cumulated CPU time (s) 298.41
Current children cumulated vsize (Kb) 200720

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8576
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 67290 0 0 0 30614 222 0 0 25 0 1 0 21429472 205537280 37683 4294967295 134512640 135987407 3221224560 3221223244 134876997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 50180 37683 364 364 0 49816 0
[pid=8521] vsize: 200720
Current children cumulated CPU time (s) 308.36
Current children cumulated vsize (Kb) 200720

[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8576
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 67479 0 0 0 31604 225 0 0 25 0 1 0 21429472 205930496 37774 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 50276 37774 364 364 0 49912 0
[pid=8521] vsize: 201104
Current children cumulated CPU time (s) 318.29
Current children cumulated vsize (Kb) 201104

[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8576
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 67480 0 0 0 32597 229 0 0 25 0 1 0 21429472 205930496 37775 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 50276 37775 364 364 0 49912 0
[pid=8521] vsize: 201104
Current children cumulated CPU time (s) 328.26
Current children cumulated vsize (Kb) 201104

[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8576
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 67709 0 0 0 33588 232 0 0 25 0 1 0 21429472 206721024 37874 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 50469 37874 364 364 0 50105 0
[pid=8521] vsize: 201876
Current children cumulated CPU time (s) 338.2
Current children cumulated vsize (Kb) 201876

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8576
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 67711 0 0 0 34579 236 0 0 25 0 1 0 21429472 206721024 37876 4294967295 134512640 135987407 3221224560 3221223120 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 50469 37876 364 364 0 50105 0
[pid=8521] vsize: 201876
Current children cumulated CPU time (s) 348.15
Current children cumulated vsize (Kb) 201876

[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8578
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 68361 0 0 0 35569 240 0 0 25 0 1 0 21429472 206983168 37905 4294967295 134512640 135987407 3221224560 3221223120 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 50533 37905 364 364 0 50169 0
[pid=8521] vsize: 202132
Current children cumulated CPU time (s) 358.09
Current children cumulated vsize (Kb) 202132

[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8580
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 68413 0 0 0 36562 242 0 0 25 0 1 0 21429472 206983168 37957 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 50533 37957 364 364 0 50169 0
[pid=8521] vsize: 202132
Current children cumulated CPU time (s) 368.04
Current children cumulated vsize (Kb) 202132

[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 68527 0 0 0 37556 245 0 0 25 0 1 0 21429472 207245312 38005 4294967295 134512640 135987407 3221224560 3221223120 134811715 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 50597 38005 364 364 0 50233 0
[pid=8521] vsize: 202388
Current children cumulated CPU time (s) 378.01
Current children cumulated vsize (Kb) 202388

[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 68666 0 0 0 38548 247 0 0 25 0 1 0 21429472 207773696 38078 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 50726 38078 364 364 0 50362 0
[pid=8521] vsize: 202904
Current children cumulated CPU time (s) 387.95
Current children cumulated vsize (Kb) 202904

[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 68862 0 0 0 39541 251 0 0 25 0 1 0 21429472 208433152 38176 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 50887 38176 364 364 0 50523 0
[pid=8521] vsize: 203548
Current children cumulated CPU time (s) 397.92
Current children cumulated vsize (Kb) 203548

[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 69558 0 0 0 40532 255 0 0 25 0 1 0 21429472 208961536 38251 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 51016 38251 364 364 0 50652 0
[pid=8521] vsize: 204064
Current children cumulated CPU time (s) 407.87
Current children cumulated vsize (Kb) 204064

[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 69692 0 0 0 41523 259 0 0 25 0 1 0 21429472 209354752 38287 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51112 38287 364 364 0 50748 0
[pid=8521] vsize: 204448
Current children cumulated CPU time (s) 417.82
Current children cumulated vsize (Kb) 204448

[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 69701 0 0 0 42514 262 0 0 25 0 1 0 21429472 209354752 38296 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51112 38296 364 364 0 50748 0
[pid=8521] vsize: 204448
Current children cumulated CPU time (s) 427.76
Current children cumulated vsize (Kb) 204448

[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 69778 0 0 0 43507 265 0 0 25 0 1 0 21429472 209620992 38340 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51177 38340 364 364 0 50813 0
[pid=8521] vsize: 204708
Current children cumulated CPU time (s) 437.72
Current children cumulated vsize (Kb) 204708

[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 69847 0 0 0 44501 267 0 0 25 0 1 0 21429472 209752064 38376 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51209 38376 364 364 0 50845 0
[pid=8521] vsize: 204836
Current children cumulated CPU time (s) 447.68
Current children cumulated vsize (Kb) 204836

[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 69939 0 0 0 45495 270 0 0 25 0 1 0 21429472 210018304 38468 4294967295 134512640 135987407 3221224560 3221223120 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51274 38468 364 364 0 50910 0
[pid=8521] vsize: 205096
Current children cumulated CPU time (s) 457.65
Current children cumulated vsize (Kb) 205096

[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 70545 0 0 0 46487 274 0 0 25 0 1 0 21429472 210284544 38518 4294967295 134512640 135987407 3221224560 3221223296 134812680 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 51339 38518 364 364 0 50975 0
[pid=8521] vsize: 205356
Current children cumulated CPU time (s) 467.61
Current children cumulated vsize (Kb) 205356

[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 70639 0 0 0 47479 277 0 0 25 0 1 0 21429472 210546688 38547 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 51403 38547 364 364 0 51039 0
[pid=8521] vsize: 205612
Current children cumulated CPU time (s) 477.56
Current children cumulated vsize (Kb) 205612

[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 70691 0 0 0 48470 280 0 0 25 0 1 0 21429472 210812928 38599 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 51468 38599 364 364 0 51104 0
[pid=8521] vsize: 205872
Current children cumulated CPU time (s) 487.5
Current children cumulated vsize (Kb) 205872

[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 70706 0 0 0 49460 283 0 0 25 0 1 0 21429472 210812928 38614 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51468 38614 364 364 0 51104 0
[pid=8521] vsize: 205872
Current children cumulated CPU time (s) 497.43
Current children cumulated vsize (Kb) 205872

[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 70707 0 0 0 50452 286 0 0 25 0 1 0 21429472 210812928 38615 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51468 38615 364 364 0 51104 0
[pid=8521] vsize: 205872
Current children cumulated CPU time (s) 507.38
Current children cumulated vsize (Kb) 205872

[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 70764 0 0 0 51444 289 0 0 25 0 1 0 21429472 211079168 38672 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51533 38672 364 364 0 51169 0
[pid=8521] vsize: 206132
Current children cumulated CPU time (s) 517.33
Current children cumulated vsize (Kb) 206132

[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 70887 0 0 0 52435 292 0 0 25 0 1 0 21429472 211476480 38762 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51630 38762 364 364 0 51266 0
[pid=8521] vsize: 206520
Current children cumulated CPU time (s) 527.27
Current children cumulated vsize (Kb) 206520

[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 71453 0 0 0 53427 296 0 0 25 0 1 0 21429472 211476480 38772 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51630 38772 364 364 0 51266 0
[pid=8521] vsize: 206520
Current children cumulated CPU time (s) 537.23
Current children cumulated vsize (Kb) 206520

[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 71527 0 0 0 54421 298 0 0 25 0 1 0 21429472 211738624 38781 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51694 38781 364 364 0 51330 0
[pid=8521] vsize: 206776
Current children cumulated CPU time (s) 547.19
Current children cumulated vsize (Kb) 206776

[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 71607 0 0 0 55415 301 0 0 25 0 1 0 21429472 212000768 38796 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51758 38796 364 364 0 51394 0
[pid=8521] vsize: 207032
Current children cumulated CPU time (s) 557.16
Current children cumulated vsize (Kb) 207032

[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 71623 0 0 0 56407 303 0 0 25 0 1 0 21429472 212000768 38812 4294967295 134512640 135987407 3221224560 3221223248 134812451 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51758 38812 364 364 0 51394 0
[pid=8521] vsize: 207032
Current children cumulated CPU time (s) 567.1
Current children cumulated vsize (Kb) 207032

[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 71676 0 0 0 57402 305 0 0 25 0 1 0 21429472 212267008 38865 4294967295 134512640 135987407 3221224560 3221223200 134812419 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51823 38865 364 364 0 51459 0
[pid=8521] vsize: 207292
Current children cumulated CPU time (s) 577.07
Current children cumulated vsize (Kb) 207292

[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 71683 0 0 0 58394 308 0 0 25 0 1 0 21429472 212267008 38872 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51823 38872 364 364 0 51459 0
[pid=8521] vsize: 207292
Current children cumulated CPU time (s) 587.02
Current children cumulated vsize (Kb) 207292

[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 71687 0 0 0 59389 310 0 0 25 0 1 0 21429472 212267008 38876 4294967295 134512640 135987407 3221224560 3221223296 134812620 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51823 38876 364 364 0 51459 0
[pid=8521] vsize: 207292
Current children cumulated CPU time (s) 596.99
Current children cumulated vsize (Kb) 207292

[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 72333 0 0 0 60381 314 0 0 25 0 1 0 21429472 212529152 38901 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51887 38901 364 364 0 51523 0
[pid=8521] vsize: 207548
Current children cumulated CPU time (s) 606.95
Current children cumulated vsize (Kb) 207548

[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 72338 0 0 0 61373 316 0 0 25 0 1 0 21429472 212529152 38906 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 51887 38906 364 364 0 51523 0
[pid=8521] vsize: 207548
Current children cumulated CPU time (s) 616.89
Current children cumulated vsize (Kb) 207548

[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 72524 0 0 0 62367 318 0 0 25 0 1 0 21429472 213053440 38962 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52015 38962 364 364 0 51651 0
[pid=8521] vsize: 208060
Current children cumulated CPU time (s) 626.85
Current children cumulated vsize (Kb) 208060

[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 72817 0 0 0 63360 320 0 0 25 0 1 0 21429472 214110208 39125 4294967295 134512640 135987407 3221224560 3221223008 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52273 39125 364 364 0 51909 0
[pid=8521] vsize: 209092
Current children cumulated CPU time (s) 636.8
Current children cumulated vsize (Kb) 209092

[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8582
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 72890 0 0 0 64352 323 0 0 25 0 1 0 21429472 214372352 39133 4294967295 134512640 135987407 3221224560 3221223120 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52337 39133 364 364 0 51973 0
[pid=8521] vsize: 209348
Current children cumulated CPU time (s) 646.75
Current children cumulated vsize (Kb) 209348

[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 72900 0 0 0 65344 326 0 0 25 0 1 0 21429472 214372352 39143 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52337 39143 364 364 0 51973 0
[pid=8521] vsize: 209348
Current children cumulated CPU time (s) 656.7
Current children cumulated vsize (Kb) 209348

[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 73457 0 0 0 66335 330 0 0 25 0 1 0 21429472 214372352 39144 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52337 39144 364 364 0 51973 0
[pid=8521] vsize: 209348
Current children cumulated CPU time (s) 666.65
Current children cumulated vsize (Kb) 209348

[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 73558 0 0 0 67329 333 0 0 25 0 1 0 21429472 214634496 39180 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52401 39180 364 364 0 52037 0
[pid=8521] vsize: 209604
Current children cumulated CPU time (s) 676.62
Current children cumulated vsize (Kb) 209604

[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 73561 0 0 0 68321 335 0 0 25 0 1 0 21429472 214634496 39183 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52401 39183 364 364 0 52037 0
[pid=8521] vsize: 209604
Current children cumulated CPU time (s) 686.56
Current children cumulated vsize (Kb) 209604

[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 73564 0 0 0 69313 338 0 0 25 0 1 0 21429472 214634496 39186 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52401 39186 364 364 0 52037 0
[pid=8521] vsize: 209604
Current children cumulated CPU time (s) 696.51
Current children cumulated vsize (Kb) 209604

[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 73568 0 0 0 70305 341 0 0 25 0 1 0 21429472 214634496 39190 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52401 39190 364 364 0 52037 0
[pid=8521] vsize: 209604
Current children cumulated CPU time (s) 706.46
Current children cumulated vsize (Kb) 209604

[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 73573 0 0 0 71296 344 0 0 25 0 1 0 21429472 214634496 39195 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52401 39195 364 364 0 52037 0
[pid=8521] vsize: 209604
Current children cumulated CPU time (s) 716.4
Current children cumulated vsize (Kb) 209604

[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 73575 0 0 0 72286 348 0 0 25 0 1 0 21429472 214634496 39197 4294967295 134512640 135987407 3221224560 3221223296 134812576 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52401 39197 364 364 0 52037 0
[pid=8521] vsize: 209604
Current children cumulated CPU time (s) 726.34
Current children cumulated vsize (Kb) 209604

[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74152 0 0 0 73277 352 0 0 25 0 1 0 21429472 214634496 39218 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52401 39218 364 364 0 52037 0
[pid=8521] vsize: 209604
Current children cumulated CPU time (s) 736.29
Current children cumulated vsize (Kb) 209604

[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74159 0 0 0 74271 355 0 0 25 0 1 0 21429472 214634496 39225 4294967295 134512640 135987407 3221224560 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52401 39225 364 364 0 52037 0
[pid=8521] vsize: 209604
Current children cumulated CPU time (s) 746.26
Current children cumulated vsize (Kb) 209604

[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74160 0 0 0 75264 358 0 0 25 0 1 0 21429472 214634496 39226 4294967295 134512640 135987407 3221224560 3221223120 134811995 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52401 39226 364 364 0 52037 0
[pid=8521] vsize: 209604
Current children cumulated CPU time (s) 756.22
Current children cumulated vsize (Kb) 209604

[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74242 0 0 0 76258 360 0 0 25 0 1 0 21429472 214896640 39243 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52465 39243 364 364 0 52101 0
[pid=8521] vsize: 209860
Current children cumulated CPU time (s) 766.18
Current children cumulated vsize (Kb) 209860

[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74248 0 0 0 77250 363 0 0 25 0 1 0 21429472 214896640 39249 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52465 39249 364 364 0 52101 0
[pid=8521] vsize: 209860
Current children cumulated CPU time (s) 776.13
Current children cumulated vsize (Kb) 209860

[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74256 0 0 0 78243 366 0 0 25 0 1 0 21429472 214896640 39257 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52465 39257 364 364 0 52101 0
[pid=8521] vsize: 209860
Current children cumulated CPU time (s) 786.09
Current children cumulated vsize (Kb) 209860

[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74265 0 0 0 79236 369 0 0 25 0 1 0 21429472 214896640 39266 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52465 39266 364 364 0 52101 0
[pid=8521] vsize: 209860
Current children cumulated CPU time (s) 796.05
Current children cumulated vsize (Kb) 209860

[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74268 0 0 0 80229 371 0 0 25 0 1 0 21429472 214896640 39269 4294967295 134512640 135987407 3221224560 3221223120 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52465 39269 364 364 0 52101 0
[pid=8521] vsize: 209860
Current children cumulated CPU time (s) 806
Current children cumulated vsize (Kb) 209860

[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74843 0 0 0 81221 375 0 0 25 0 1 0 21429472 217174016 39844 4294967295 134512640 135987407 3221224560 3221222816 134829261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 53021 39844 364 364 0 52657 0
[pid=8521] vsize: 212084
Current children cumulated CPU time (s) 815.96
Current children cumulated vsize (Kb) 212084

[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74846 0 0 0 82213 378 0 0 25 0 1 0 21429472 214896640 39291 4294967295 134512640 135987407 3221224560 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52465 39291 364 364 0 52101 0
[pid=8521] vsize: 209860
Current children cumulated CPU time (s) 825.91
Current children cumulated vsize (Kb) 209860

[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74847 0 0 0 83206 380 0 0 25 0 1 0 21429472 214896640 39292 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52465 39292 364 364 0 52101 0
[pid=8521] vsize: 209860
Current children cumulated CPU time (s) 835.86
Current children cumulated vsize (Kb) 209860

[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74852 0 0 0 84198 382 0 0 25 0 1 0 21429472 214896640 39297 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52465 39297 364 364 0 52101 0
[pid=8521] vsize: 209860
Current children cumulated CPU time (s) 845.8
Current children cumulated vsize (Kb) 209860

[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74854 0 0 0 85191 385 0 0 25 0 1 0 21429472 214896640 39299 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52465 39299 364 364 0 52101 0
[pid=8521] vsize: 209860
Current children cumulated CPU time (s) 855.76
Current children cumulated vsize (Kb) 209860

[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74857 0 0 0 86183 388 0 0 25 0 1 0 21429472 214896640 39302 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52465 39302 364 364 0 52101 0
[pid=8521] vsize: 209860
Current children cumulated CPU time (s) 865.71
Current children cumulated vsize (Kb) 209860

[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74958 0 0 0 87177 390 0 0 25 0 1 0 21429472 215158784 39338 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52529 39338 364 364 0 52165 0
[pid=8521] vsize: 210116
Current children cumulated CPU time (s) 875.67
Current children cumulated vsize (Kb) 210116

[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 74961 0 0 0 88168 393 0 0 25 0 1 0 21429472 215158784 39341 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52529 39341 364 364 0 52165 0
[pid=8521] vsize: 210116
Current children cumulated CPU time (s) 885.61
Current children cumulated vsize (Kb) 210116

[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 75536 0 0 0 89161 396 0 0 25 0 1 0 21429472 215158784 39360 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52529 39360 364 364 0 52165 0
[pid=8521] vsize: 210116
Current children cumulated CPU time (s) 895.57
Current children cumulated vsize (Kb) 210116

[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) T 8520 8521 4060 0 -1 0 75538 0 0 0 90154 398 0 0 25 0 1 0 21429472 215158784 39362 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52529 39362 364 364 0 52165 0
[pid=8521] vsize: 210116
Current children cumulated CPU time (s) 905.52
Current children cumulated vsize (Kb) 210116

[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 75539 0 0 0 91147 401 0 0 25 0 1 0 21429472 215158784 39363 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52529 39363 364 364 0 52165 0
[pid=8521] vsize: 210116
Current children cumulated CPU time (s) 915.48
Current children cumulated vsize (Kb) 210116

[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 75541 0 0 0 92141 404 0 0 25 0 1 0 21429472 215158784 39365 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52529 39365 364 364 0 52165 0
[pid=8521] vsize: 210116
Current children cumulated CPU time (s) 925.45
Current children cumulated vsize (Kb) 210116

[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 75543 0 0 0 93134 406 0 0 25 0 1 0 21429472 215158784 39367 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52529 39367 364 364 0 52165 0
[pid=8521] vsize: 210116
Current children cumulated CPU time (s) 935.4
Current children cumulated vsize (Kb) 210116

[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 75545 0 0 0 94127 408 0 0 25 0 1 0 21429472 215158784 39369 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52529 39369 364 364 0 52165 0
[pid=8521] vsize: 210116
Current children cumulated CPU time (s) 945.35
Current children cumulated vsize (Kb) 210116

[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 75547 0 0 0 95119 411 0 0 25 0 1 0 21429472 215158784 39371 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52529 39371 364 364 0 52165 0
[pid=8521] vsize: 210116
Current children cumulated CPU time (s) 955.3
Current children cumulated vsize (Kb) 210116

[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 75596 0 0 0 96112 413 0 0 25 0 1 0 21429472 215289856 39387 4294967295 134512640 135987407 3221224560 3221223120 134811988 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52561 39387 364 364 0 52197 0
[pid=8521] vsize: 210244
Current children cumulated CPU time (s) 965.25
Current children cumulated vsize (Kb) 210244

[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 75598 0 0 0 97106 415 0 0 25 0 1 0 21429472 215289856 39389 4294967295 134512640 135987407 3221224560 3221222892 135480705 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52561 39389 364 364 0 52197 0
[pid=8521] vsize: 210244
Current children cumulated CPU time (s) 975.21
Current children cumulated vsize (Kb) 210244

[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 76155 0 0 0 98099 418 0 0 25 0 1 0 21429472 215289856 39390 4294967295 134512640 135987407 3221224560 3221223120 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52561 39390 364 364 0 52197 0
[pid=8521] vsize: 210244
Current children cumulated CPU time (s) 985.17
Current children cumulated vsize (Kb) 210244

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 76304 0 0 0 99091 420 0 0 25 0 1 0 21429472 215683072 39441 4294967295 134512640 135987407 3221224560 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8521/statm): 52657 39441 364 364 0 52293 0
[pid=8521] vsize: 210628
Current children cumulated CPU time (s) 995.11
Current children cumulated vsize (Kb) 210628

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 76380 0 0 0 100083 423 0 0 25 0 1 0 21429472 215945216 39452 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52721 39452 364 364 0 52357 0
[pid=8521] vsize: 210884
Current children cumulated CPU time (s) 1005.06
Current children cumulated vsize (Kb) 210884

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 76380 0 0 0 101077 426 0 0 25 0 1 0 21429472 215945216 39452 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52721 39452 364 364 0 52357 0
[pid=8521] vsize: 210884
Current children cumulated CPU time (s) 1015.03
Current children cumulated vsize (Kb) 210884

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 76381 0 0 0 102070 428 0 0 25 0 1 0 21429472 215945216 39453 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52721 39453 364 364 0 52357 0
[pid=8521] vsize: 210884
Current children cumulated CPU time (s) 1024.98
Current children cumulated vsize (Kb) 210884

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 76393 0 0 0 103064 431 0 0 25 0 1 0 21429472 215945216 39465 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52721 39465 364 364 0 52357 0
[pid=8521] vsize: 210884
Current children cumulated CPU time (s) 1034.95
Current children cumulated vsize (Kb) 210884

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 76393 0 0 0 104055 434 0 0 25 0 1 0 21429472 215945216 39465 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52721 39465 364 364 0 52357 0
[pid=8521] vsize: 210884
Current children cumulated CPU time (s) 1044.89
Current children cumulated vsize (Kb) 210884

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77020 0 0 0 105047 438 0 0 25 0 1 0 21429472 216207360 39471 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52785 39471 364 364 0 52421 0
[pid=8521] vsize: 211140
Current children cumulated CPU time (s) 1054.85
Current children cumulated vsize (Kb) 211140

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77069 0 0 0 106040 440 0 0 25 0 1 0 21429472 216338432 39487 4294967295 134512640 135987407 3221224560 3221223120 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52817 39487 364 364 0 52453 0
[pid=8521] vsize: 211268
Current children cumulated CPU time (s) 1064.8
Current children cumulated vsize (Kb) 211268

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77070 0 0 0 107032 443 0 0 25 0 1 0 21429472 216338432 39488 4294967295 134512640 135987407 3221224560 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52817 39488 364 364 0 52453 0
[pid=8521] vsize: 211268
Current children cumulated CPU time (s) 1074.75
Current children cumulated vsize (Kb) 211268

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77080 0 0 0 108023 446 0 0 25 0 1 0 21429472 216338432 39498 4294967295 134512640 135987407 3221224560 3221223172 135477980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52817 39498 364 364 0 52453 0
[pid=8521] vsize: 211268
Current children cumulated CPU time (s) 1084.69
Current children cumulated vsize (Kb) 211268

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77233 0 0 0 109015 450 0 0 25 0 1 0 21429472 216862720 39521 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52945 39521 364 364 0 52581 0
[pid=8521] vsize: 211780
Current children cumulated CPU time (s) 1094.65
Current children cumulated vsize (Kb) 211780

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77234 0 0 0 110008 452 0 0 25 0 1 0 21429472 216862720 39522 4294967295 134512640 135987407 3221224560 3221223216 134812287 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52945 39522 364 364 0 52581 0
[pid=8521] vsize: 211780
Current children cumulated CPU time (s) 1104.6
Current children cumulated vsize (Kb) 211780

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77236 0 0 0 111000 455 0 0 25 0 1 0 21429472 216862720 39524 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52945 39524 364 364 0 52581 0
[pid=8521] vsize: 211780
Current children cumulated CPU time (s) 1114.55
Current children cumulated vsize (Kb) 211780

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77794 0 0 0 111990 460 0 0 25 0 1 0 21429472 216862720 39526 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52945 39526 364 364 0 52581 0
[pid=8521] vsize: 211780
Current children cumulated CPU time (s) 1124.5
Current children cumulated vsize (Kb) 211780

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77795 0 0 0 112981 462 0 0 25 0 1 0 21429472 216862720 39527 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52945 39527 364 364 0 52581 0
[pid=8521] vsize: 211780
Current children cumulated CPU time (s) 1134.43
Current children cumulated vsize (Kb) 211780

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77798 0 0 0 113974 464 0 0 25 0 1 0 21429472 216862720 39530 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52945 39530 364 364 0 52581 0
[pid=8521] vsize: 211780
Current children cumulated CPU time (s) 1144.38
Current children cumulated vsize (Kb) 211780

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77800 0 0 0 114965 468 0 0 25 0 1 0 21429472 216862720 39532 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52945 39532 364 364 0 52581 0
[pid=8521] vsize: 211780
Current children cumulated CPU time (s) 1154.33
Current children cumulated vsize (Kb) 211780

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77803 0 0 0 115955 471 0 0 25 0 1 0 21429472 216862720 39535 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52945 39535 364 364 0 52581 0
[pid=8521] vsize: 211780
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (Kb) 211780

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77804 0 0 0 116948 474 0 0 25 0 1 0 21429472 216862720 39536 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52945 39536 364 364 0 52581 0
[pid=8521] vsize: 211780
Current children cumulated CPU time (s) 1174.22
Current children cumulated vsize (Kb) 211780

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77807 0 0 0 117939 476 0 0 25 0 1 0 21429472 216862720 39539 4294967295 134512640 135987407 3221224560 3221223120 134811988 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52945 39539 364 364 0 52581 0
[pid=8521] vsize: 211780
Current children cumulated CPU time (s) 1184.15
Current children cumulated vsize (Kb) 211780

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 77811 0 0 0 118931 478 0 0 25 0 1 0 21429472 216862720 39543 4294967295 134512640 135987407 3221224560 3221223120 134811787 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52945 39543 364 364 0 52581 0
[pid=8521] vsize: 211780
Current children cumulated CPU time (s) 1194.09
Current children cumulated vsize (Kb) 211780

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 78372 0 0 0 119922 482 0 0 25 0 1 0 21429472 216862720 39548 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52945 39548 364 364 0 52581 0
[pid=8521] vsize: 211780
Current children cumulated CPU time (s) 1204.04
Current children cumulated vsize (Kb) 211780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8584
Raw data (/proc/8521/stat): 8521 (pb2sat) R 8520 8521 4060 0 -1 0 78372 0 0 0 119922 482 0 0 25 0 1 0 21429472 216862720 39548 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8521/statm): 52945 39548 364 364 0 52581 0
[pid=8521] vsize: 211780
Current children cumulated CPU time (s) 1204.04
Current children cumulated vsize (Kb) 211780

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

Child status: 10
Real time (s): 1210.58
CPU time (s): 1204.57
CPU user time (s): 1199.66
CPU system time (s): 4.90625
CPU usage (%): 99.5033
Max. virtual memory (cumulated for all children) (Kb): 212084

Verifier Data

Verifier:	OK	511