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

Namesubmitted/manquinho/routing/normalized-s4-4-3-4pb.opb
MD5SUMc1a86b94297136b91215b2ae8a8f5643
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 60
Optimality of the best value was proved YES
Number of terms in the objective function 696
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 696
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 696
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark157.286
Number of variables696
Total number of constraints2096
Number of constraints which are clauses2072
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint29

Trace number 9711

Launcher Data

LAUNCH ON wulflinc31 THE 2005-09-23 15:02:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8443 boxname=wulflinc31 idbench=239 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c1a86b94297136b91215b2ae8a8f5643  /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-4pb.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-4pb.opb
IDLAUNCH: 8443
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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.047
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        928020 kB
Buffers:         18400 kB
Cached:          69660 kB
SwapCached:          0 kB
Active:          41344 kB
Inactive:        49620 kB
HighTotal:      131008 kB
HighFree:        57512 kB
LowTotal:       903652 kB
LowFree:        870508 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10076 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:14:49 (client local time) WITH STATUS 30 IN 715.659 SECONDS
stats: 8443 0 715.659 30

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 644/3202	Time: 0.45993/86400
c Decision: 644/3202	Time: 0.792879/86400
c Decision: 648/3202	Time: 1.34279/86400
c Decision: 652/3202	Time: 1.89571/86400
c got solution with objective value: 72
c small objective detected
c CONFLICT during preprocess 

c [startup+5.24792 s]  setting bit 9 to 0
c CONFLICT during preprocess 

c [startup+5.40348 s]  setting bit 8 to 0
c CONFLICT during preprocess 

c [startup+5.56021 s]  setting bit 7 to 0

c [startup+5.93815 s]  setting bit 6 to 0

c Decision: 23867/50835	Time: 7.74782/86400
c Decision: 23877/50835	Time: 13.7429/86400
c Decision: 23877/50835	Time: 21.1268/86400
c [startup+47.5148 s]  setting bit 5 to 0

c Decision: 20401/50835	Time: 14.8857/86400
c Decision: 20401/50835	Time: 21.3078/86400
c Decision: 20401/50835	Time: 26.8239/86400
c Decision: 20403/50835	Time: 31.4462/86400
c Decision: 20403/50835	Time: 37.5353/86400
c Decision: 20403/50835	Time: 42.0846/86400
c Decision: 20403/50835	Time: 47.3018/86400
c Decision: 20403/50835	Time: 53.1359/86400
c Decision: 20403/50835	Time: 56.8194/86400
c Decision: 20403/50835	Time: 63.5813/86400
c Decision: 20403/50835	Time: 70.6813/86400
c Decision: 20403/50835	Time: 75.3215/86400
c Decision: 20403/50835	Time: 80.9957/86400
c Decision: 20403/50835	Time: 85.713/86400
c Decision: 20403/50835	Time: 90.9702/86400
c Decision: 20405/50835	Time: 103.916/86400
c Decision: 20407/50835	Time: 116.366/86400
c Decision: 20410/50835	Time: 124.023/86400
c Decision: 20410/50835	Time: 129.482/86400
c Decision: 20410/50835	Time: 136.148/86400
c Decision: 20410/50835	Time: 143.874/86400
c Decision: 20410/50835	Time: 150.151/86400
c Decision: 20608/50835	Time: 162.924/86400
c Decision: 20608/50835	Time: 171.173/86400
c Decision: 20608/50835	Time: 178.623/86400
c Decision: 20608/50835	Time: 186.638/86400
c Decision: 20608/50835	Time: 194.339/86400
c Decision: 20608/50835	Time: 201.389/86400
c Decision: 20608/50835	Time: 209.401/86400
c Decision: 20608/50835	Time: 215.633/86400
c Decision: 20608/50835	Time: 224.005/86400
c Decision: 20610/50835	Time: 235.162/86400
c Decision: 20610/50835	Time: 243.791/86400
c Decision: 20610/50835	Time: 251.776/86400
c Decision: 20610/50835	Time: 259.685/86400
c Decision: 20610/50835	Time: 270.519/86400
c Decision: 20610/50835	Time: 279.509/86400
c Decision: 20610/50835	Time: 288.576/86400
c [startup+341.614 s]  setting bit 4 to 0

c got solution with objective value: 62
c [startup+411.14 s]  setting bit 3 to 1

c Decision: 18881/50835	Time: 84.3212/86400
c Decision: 18881/50835	Time: 94.9636/86400
c Decision: 18881/50835	Time: 104.051/86400
c Decision: 18881/50835	Time: 113.359/86400
c Decision: 18881/50835	Time: 124.26/86400
c Decision: 18882/50835	Time: 139.257/86400
c Decision: 18882/50835	Time: 148.969/86400
c Decision: 18882/50835	Time: 157.303/86400
c Decision: 18882/50835	Time: 169.76/86400
c Decision: 18882/50835	Time: 179.933/86400
c Decision: 18882/50835	Time: 189.989/86400
c Decision: 18882/50835	Time: 198.995/86400
c Decision: 18882/50835	Time: 211.164/86400
c Decision: 18882/50835	Time: 222.168/86400
c Decision: 25640/50835	Time: 244.921/86400
c [startup+673.016 s]  setting bit 2 to 0

c Decision: 18195/50835	Time: 25.3032/86400
c got solution with objective value: 60
c [startup+718.972 s]  setting bit 1 to 1

c got solution with objective value: 60
c [startup+720.042 s]  setting bit 0 to 1
s OPTIMUM FOUND
v -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 -v7 -v70 -v71 -v72 -v73 -v74 -v75 -v76 -v77 -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/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21073725 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 373 2 364 364 0 9 0
[pid=7295] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-4pb.opb

[startup+10.0021 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 8962 0 0 0 946 31 0 0 25 0 1 0 21073725 27897856 5712 4294967295 134512640 135987407 3221224560 3221223216 134824317 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 6811 5712 364 364 0 6447 0
[pid=7295] vsize: 27244
Current children cumulated CPU time (s) 9.77
Current children cumulated vsize (Kb) 27244

[startup+20.003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 9260 0 0 0 1929 37 0 0 25 0 1 0 21073725 28094464 5810 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 6859 5810 364 364 0 6495 0
[pid=7295] vsize: 27436
Current children cumulated CPU time (s) 19.66
Current children cumulated vsize (Kb) 27436

[startup+30.0039 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 9484 0 0 0 2918 41 0 0 25 0 1 0 21073725 28499968 5934 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 6958 5934 364 364 0 6594 0
[pid=7295] vsize: 27832
Current children cumulated CPU time (s) 29.59
Current children cumulated vsize (Kb) 27832

[startup+40.0039 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 9711 0 0 0 3908 45 0 0 25 0 1 0 21073725 29351936 6161 4294967295 134512640 135987407 3221224560 3221223104 134811706 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 7166 6161 364 364 0 6802 0
[pid=7295] vsize: 28664
Current children cumulated CPU time (s) 39.53
Current children cumulated vsize (Kb) 28664

[startup+50.0048 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 9911 0 0 0 4897 49 0 0 25 0 1 0 21073725 29683712 6261 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 7247 6261 364 364 0 6883 0
[pid=7295] vsize: 28988
Current children cumulated CPU time (s) 49.46
Current children cumulated vsize (Kb) 28988

[startup+60.0057 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 10149 0 0 0 5880 56 0 0 25 0 1 0 21073725 30584832 6499 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 7467 6499 364 364 0 7103 0
[pid=7295] vsize: 29868
Current children cumulated CPU time (s) 59.36
Current children cumulated vsize (Kb) 29868

[startup+70.0067 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 10407 0 0 0 6867 61 0 0 25 0 1 0 21073725 34779136 6557 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 8491 6557 364 364 0 8127 0
[pid=7295] vsize: 33964
Current children cumulated CPU time (s) 69.28
Current children cumulated vsize (Kb) 33964

[startup+80.0076 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 10717 0 0 0 7855 65 0 0 25 0 1 0 21073725 34942976 6667 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 8531 6667 364 364 0 8167 0
[pid=7295] vsize: 34124
Current children cumulated CPU time (s) 79.2
Current children cumulated vsize (Kb) 34124

[startup+90.0085 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 11112 0 0 0 8840 72 0 0 25 0 1 0 21073725 35680256 6862 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 8711 6862 364 364 0 8347 0
[pid=7295] vsize: 34844
Current children cumulated CPU time (s) 89.12
Current children cumulated vsize (Kb) 34844

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 11277 0 0 0 9828 75 0 0 25 0 1 0 21073725 35680256 6927 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 8711 6927 364 364 0 8347 0
[pid=7295] vsize: 34844
Current children cumulated CPU time (s) 99.03
Current children cumulated vsize (Kb) 34844

[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 11553 0 0 0 10818 80 0 0 25 0 1 0 21073725 35680256 7003 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 8711 7003 364 364 0 8347 0
[pid=7295] vsize: 34844
Current children cumulated CPU time (s) 108.98
Current children cumulated vsize (Kb) 34844

[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 11926 0 0 0 11806 84 0 0 25 0 1 0 21073725 36282368 7176 4294967295 134512640 135987407 3221224560 3221223164 134812115 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 8858 7176 364 364 0 8494 0
[pid=7295] vsize: 35432
Current children cumulated CPU time (s) 118.9
Current children cumulated vsize (Kb) 35432

[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 12248 0 0 0 12791 90 0 0 25 0 1 0 21073725 36687872 7298 4294967295 134512640 135987407 3221224560 3221223104 134811896 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 8957 7298 364 364 0 8593 0
[pid=7295] vsize: 35828
Current children cumulated CPU time (s) 128.81
Current children cumulated vsize (Kb) 35828

[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 12557 0 0 0 13781 94 0 0 25 0 1 0 21073725 36823040 7407 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 8990 7407 364 364 0 8626 0
[pid=7295] vsize: 35960
Current children cumulated CPU time (s) 138.75
Current children cumulated vsize (Kb) 35960

[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 12629 0 0 0 14771 98 0 0 25 0 1 0 21073725 36823040 7479 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 8990 7479 364 364 0 8626 0
[pid=7295] vsize: 35960
Current children cumulated CPU time (s) 148.69
Current children cumulated vsize (Kb) 35960

[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7295
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 12778 0 0 0 15761 102 0 0 25 0 1 0 21073725 37019648 7528 4294967295 134512640 135987407 3221224560 3221222984 134801607 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 9038 7528 364 364 0 8674 0
[pid=7295] vsize: 36152
Current children cumulated CPU time (s) 158.63
Current children cumulated vsize (Kb) 36152

[startup+170.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 13021 0 0 0 16748 107 0 0 25 0 1 0 21073725 37306368 7671 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 9108 7671 364 364 0 8744 0
[pid=7295] vsize: 36432
Current children cumulated CPU time (s) 168.55
Current children cumulated vsize (Kb) 36432

[startup+180.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 13297 0 0 0 17738 111 0 0 25 0 1 0 21073725 37441536 7747 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 9141 7747 364 364 0 8777 0
[pid=7295] vsize: 36564
Current children cumulated CPU time (s) 178.49
Current children cumulated vsize (Kb) 36564

[startup+190.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 13493 0 0 0 18728 115 0 0 25 0 1 0 21073725 37576704 7843 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 9174 7843 364 364 0 8810 0
[pid=7295] vsize: 36696
Current children cumulated CPU time (s) 188.43
Current children cumulated vsize (Kb) 36696

[startup+200.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 13824 0 0 0 19717 120 0 0 25 0 1 0 21073725 38117376 7974 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 9306 7974 364 364 0 8942 0
[pid=7295] vsize: 37224
Current children cumulated CPU time (s) 198.37
Current children cumulated vsize (Kb) 37224

[startup+210.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 13893 0 0 0 20707 124 0 0 25 0 1 0 21073725 38117376 8043 4294967295 134512640 135987407 3221224560 3221223188 134812413 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 9306 8043 364 364 0 8942 0
[pid=7295] vsize: 37224
Current children cumulated CPU time (s) 208.31
Current children cumulated vsize (Kb) 37224

[startup+220.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 14161 0 0 0 21698 128 0 0 25 0 1 0 21073725 38117376 8111 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 9306 8111 364 364 0 8942 0
[pid=7295] vsize: 37224
Current children cumulated CPU time (s) 218.26
Current children cumulated vsize (Kb) 37224

[startup+230.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 14345 0 0 0 22689 132 0 0 25 0 1 0 21073725 38305792 8195 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 9352 8195 364 364 0 8988 0
[pid=7295] vsize: 37408
Current children cumulated CPU time (s) 228.21
Current children cumulated vsize (Kb) 37408

[startup+240.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 14503 0 0 0 23678 135 0 0 25 0 1 0 21073725 38440960 8253 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 9385 8253 364 364 0 9021 0
[pid=7295] vsize: 37540
Current children cumulated CPU time (s) 238.13
Current children cumulated vsize (Kb) 37540

[startup+250.019 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) T 7294 7295 4005 0 -1 0 14689 0 0 0 24664 140 0 0 25 0 1 0 21073725 46829568 8339 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11433 8339 364 364 0 11069 0
[pid=7295] vsize: 45732
Current children cumulated CPU time (s) 248.04
Current children cumulated vsize (Kb) 45732

[startup+260.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 14995 0 0 0 25654 145 0 0 25 0 1 0 21073725 46993408 8445 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11473 8445 364 364 0 11109 0
[pid=7295] vsize: 45892
Current children cumulated CPU time (s) 257.99
Current children cumulated vsize (Kb) 45892

[startup+270.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 15202 0 0 0 26646 148 0 0 25 0 1 0 21073725 47140864 8552 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11509 8552 364 364 0 11145 0
[pid=7295] vsize: 46036
Current children cumulated CPU time (s) 267.94
Current children cumulated vsize (Kb) 46036

[startup+280.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 15346 0 0 0 27638 151 0 0 25 0 1 0 21073725 47140864 8596 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11509 8596 364 364 0 11145 0
[pid=7295] vsize: 46036
Current children cumulated CPU time (s) 277.89
Current children cumulated vsize (Kb) 46036

[startup+290.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 15485 0 0 0 28631 153 0 0 25 0 1 0 21073725 47288320 8635 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11545 8635 364 364 0 11181 0
[pid=7295] vsize: 46180
Current children cumulated CPU time (s) 287.84
Current children cumulated vsize (Kb) 46180

[startup+300.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 15678 0 0 0 29620 157 0 0 25 0 1 0 21073725 47288320 8728 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11545 8728 364 364 0 11181 0
[pid=7295] vsize: 46180
Current children cumulated CPU time (s) 297.77
Current children cumulated vsize (Kb) 46180

[startup+310.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 15951 0 0 0 30611 161 0 0 25 0 1 0 21073725 47288320 8801 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11545 8801 364 364 0 11181 0
[pid=7295] vsize: 46180
Current children cumulated CPU time (s) 307.72
Current children cumulated vsize (Kb) 46180

[startup+320.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 16140 0 0 0 31601 165 0 0 25 0 1 0 21073725 47558656 8890 4294967295 134512640 135987407 3221224560 3221223104 134812035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11611 8890 364 364 0 11247 0
[pid=7295] vsize: 46444
Current children cumulated CPU time (s) 317.66
Current children cumulated vsize (Kb) 46444

[startup+330.025 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) T 7294 7295 4005 0 -1 0 16270 0 0 0 32592 168 0 0 25 0 1 0 21073725 47558656 8920 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11611 8920 364 364 0 11247 0
[pid=7295] vsize: 46444
Current children cumulated CPU time (s) 327.6
Current children cumulated vsize (Kb) 46444

[startup+340.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 16468 0 0 0 33584 169 0 0 25 0 1 0 21073725 47833088 9018 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11678 9018 364 364 0 11314 0
[pid=7295] vsize: 46712
Current children cumulated CPU time (s) 337.53
Current children cumulated vsize (Kb) 46712

[startup+350.025 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) T 7294 7295 4005 0 -1 0 16615 0 0 0 34573 174 0 0 25 0 1 0 21073725 47833088 9065 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11678 9065 364 364 0 11314 0
[pid=7295] vsize: 46712
Current children cumulated CPU time (s) 347.47
Current children cumulated vsize (Kb) 46712

[startup+360.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 16675 0 0 0 35561 178 0 0 25 0 1 0 21073725 47833088 9125 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11678 9125 364 364 0 11314 0
[pid=7295] vsize: 46712
Current children cumulated CPU time (s) 357.39
Current children cumulated vsize (Kb) 46712

[startup+370.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 16839 0 0 0 36548 183 0 0 25 0 1 0 21073725 48316416 9289 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11796 9289 364 364 0 11432 0
[pid=7295] vsize: 47184
Current children cumulated CPU time (s) 367.31
Current children cumulated vsize (Kb) 47184

[startup+380.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 16909 0 0 0 37539 186 0 0 25 0 1 0 21073725 48316416 9359 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7295/statm): 11796 9359 364 364 0 11432 0
[pid=7295] vsize: 47184
Current children cumulated CPU time (s) 377.25
Current children cumulated vsize (Kb) 47184

[startup+390.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 16979 0 0 0 38530 191 0 0 25 0 1 0 21073725 48316416 9429 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7295/statm): 11796 9429 364 364 0 11432 0
[pid=7295] vsize: 47184
Current children cumulated CPU time (s) 387.21
Current children cumulated vsize (Kb) 47184

[startup+400.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17031 0 0 0 39519 194 0 0 25 0 1 0 21073725 48316416 9481 4294967295 134512640 135987407 3221224560 3221223104 134811850 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11796 9481 364 364 0 11432 0
[pid=7295] vsize: 47184
Current children cumulated CPU time (s) 397.13
Current children cumulated vsize (Kb) 47184

[startup+410.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17170 0 0 0 40507 198 0 0 25 0 1 0 21073725 48721920 9620 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 11895 9620 364 364 0 11531 0
[pid=7295] vsize: 47580
Current children cumulated CPU time (s) 407.05
Current children cumulated vsize (Kb) 47580

[startup+420.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17431 0 0 0 41495 201 0 0 25 0 1 0 21073725 49278976 9781 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12031 9781 364 364 0 11667 0
[pid=7295] vsize: 48124
Current children cumulated CPU time (s) 416.96
Current children cumulated vsize (Kb) 48124

[startup+430.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17491 0 0 0 42487 204 0 0 25 0 1 0 21073725 49278976 9841 4294967295 134512640 135987407 3221224560 3221223104 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12031 9841 364 364 0 11667 0
[pid=7295] vsize: 48124
Current children cumulated CPU time (s) 426.91
Current children cumulated vsize (Kb) 48124

[startup+440.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17587 0 0 0 43478 208 0 0 25 0 1 0 21073725 49278976 9937 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12031 9937 364 364 0 11667 0
[pid=7295] vsize: 48124
Current children cumulated CPU time (s) 436.86
Current children cumulated vsize (Kb) 48124

[startup+450.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17668 0 0 0 44470 212 0 0 25 0 1 0 21073725 49278976 10018 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12031 10018 364 364 0 11667 0
[pid=7295] vsize: 48124
Current children cumulated CPU time (s) 446.82
Current children cumulated vsize (Kb) 48124

[startup+460.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17747 0 0 0 45460 215 0 0 25 0 1 0 21073725 49278976 10097 4294967295 134512640 135987407 3221224560 3221223104 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12031 10097 364 364 0 11667 0
[pid=7295] vsize: 48124
Current children cumulated CPU time (s) 456.75
Current children cumulated vsize (Kb) 48124

[startup+470.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17812 0 0 0 46453 218 0 0 25 0 1 0 21073725 49278976 10162 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12031 10162 364 364 0 11667 0
[pid=7295] vsize: 48124
Current children cumulated CPU time (s) 466.71
Current children cumulated vsize (Kb) 48124

[startup+480.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17876 0 0 0 47444 221 0 0 25 0 1 0 21073725 49278976 10226 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12031 10226 364 364 0 11667 0
[pid=7295] vsize: 48124
Current children cumulated CPU time (s) 476.65
Current children cumulated vsize (Kb) 48124

[startup+490.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17980 0 0 0 48438 223 0 0 25 0 1 0 21073725 49557504 10330 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12099 10330 364 364 0 11735 0
[pid=7295] vsize: 48396
Current children cumulated CPU time (s) 486.61
Current children cumulated vsize (Kb) 48396

[startup+500.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18142 0 0 0 49430 226 0 0 25 0 1 0 21073725 49557504 10392 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12099 10392 364 364 0 11735 0
[pid=7295] vsize: 48396
Current children cumulated CPU time (s) 496.56
Current children cumulated vsize (Kb) 48396

[startup+510.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18249 0 0 0 50422 230 0 0 25 0 1 0 21073725 49557504 10399 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12099 10399 364 364 0 11735 0
[pid=7295] vsize: 48396
Current children cumulated CPU time (s) 506.52
Current children cumulated vsize (Kb) 48396

[startup+520.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18268 0 0 0 51415 232 0 0 25 0 1 0 21073725 49692672 10418 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12132 10418 364 364 0 11768 0
[pid=7295] vsize: 48528
Current children cumulated CPU time (s) 516.47
Current children cumulated vsize (Kb) 48528

[startup+530.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18434 0 0 0 52409 235 0 0 25 0 1 0 21073725 49692672 10484 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12132 10484 364 364 0 11768 0
[pid=7295] vsize: 48528
Current children cumulated CPU time (s) 526.44
Current children cumulated vsize (Kb) 48528

[startup+540.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18636 0 0 0 53400 239 0 0 25 0 1 0 21073725 49872896 10586 4294967295 134512640 135987407 3221224560 3221223104 134811784 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12176 10586 364 364 0 11812 0
[pid=7295] vsize: 48704
Current children cumulated CPU time (s) 536.39
Current children cumulated vsize (Kb) 48704

[startup+550.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18758 0 0 0 54392 242 0 0 25 0 1 0 21073725 50008064 10708 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12209 10708 364 364 0 11845 0
[pid=7295] vsize: 48836
Current children cumulated CPU time (s) 546.34
Current children cumulated vsize (Kb) 48836

[startup+560.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18879 0 0 0 55385 245 0 0 25 0 1 0 21073725 50008064 10729 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12209 10729 364 364 0 11845 0
[pid=7295] vsize: 48836
Current children cumulated CPU time (s) 556.3
Current children cumulated vsize (Kb) 48836

[startup+570.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 19086 0 0 0 56381 247 0 0 25 0 1 0 21073725 50008064 10736 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12209 10736 364 364 0 11845 0
[pid=7295] vsize: 48836
Current children cumulated CPU time (s) 566.28
Current children cumulated vsize (Kb) 48836

[startup+580.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 19102 0 0 0 57372 250 0 0 25 0 1 0 21073725 50147328 10752 4294967295 134512640 135987407 3221224560 3221223104 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12243 10752 364 364 0 11879 0
[pid=7295] vsize: 48972
Current children cumulated CPU time (s) 576.22
Current children cumulated vsize (Kb) 48972

[startup+590.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 19280 0 0 0 58365 252 0 0 25 0 1 0 21073725 50315264 10830 4294967295 134512640 135987407 3221224560 3221222912 134878078 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12284 10830 364 364 0 11920 0
[pid=7295] vsize: 49136
Current children cumulated CPU time (s) 586.17
Current children cumulated vsize (Kb) 49136

[startup+600.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 19507 0 0 0 59359 255 0 0 25 0 1 0 21073725 50315264 10957 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 12284 10957 364 364 0 11920 0
[pid=7295] vsize: 49136
Current children cumulated CPU time (s) 596.14
Current children cumulated vsize (Kb) 49136

[startup+610.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 21277 0 0 0 60348 262 0 0 25 0 1 0 21073725 56606720 11090 4294967295 134512640 135987407 3221224560 3221223232 134824250 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 13820 11090 364 364 0 13456 0
[pid=7295] vsize: 55280
Current children cumulated CPU time (s) 606.1
Current children cumulated vsize (Kb) 55280

[startup+620.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 21386 0 0 0 61337 266 0 0 25 0 1 0 21073725 56762368 11199 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 13858 11199 364 364 0 13494 0
[pid=7295] vsize: 55432
Current children cumulated CPU time (s) 616.03
Current children cumulated vsize (Kb) 55432

[startup+630.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 21609 0 0 0 62330 269 0 0 25 0 1 0 21073725 73539584 11322 4294967295 134512640 135987407 3221224560 3221223104 134811722 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 17954 11322 364 364 0 17590 0
[pid=7295] vsize: 71816
Current children cumulated CPU time (s) 625.99
Current children cumulated vsize (Kb) 71816

[startup+640.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 21855 0 0 0 63321 272 0 0 25 0 1 0 21073725 73674752 11468 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 17987 11468 364 364 0 17623 0
[pid=7295] vsize: 71948
Current children cumulated CPU time (s) 635.93
Current children cumulated vsize (Kb) 71948

[startup+650.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 21981 0 0 0 64314 275 0 0 25 0 1 0 21073725 73674752 11594 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 17987 11594 364 364 0 17623 0
[pid=7295] vsize: 71948
Current children cumulated CPU time (s) 645.89
Current children cumulated vsize (Kb) 71948

[startup+660.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22247 0 0 0 65307 277 0 0 25 0 1 0 21073725 73945088 11760 4294967295 134512640 135987407 3221224560 3221223104 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 18053 11760 364 364 0 17689 0
[pid=7295] vsize: 72212
Current children cumulated CPU time (s) 655.84
Current children cumulated vsize (Kb) 72212

[startup+670.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22383 0 0 0 66298 281 0 0 25 0 1 0 21073725 73945088 11896 4294967295 134512640 135987407 3221224560 3221223104 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 18053 11896 364 364 0 17689 0
[pid=7295] vsize: 72212
Current children cumulated CPU time (s) 665.79
Current children cumulated vsize (Kb) 72212

[startup+680.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22582 0 0 0 67290 284 0 0 25 0 1 0 21073725 74084352 11995 4294967295 134512640 135987407 3221224560 3221223184 134812414 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 18087 11995 364 364 0 17723 0
[pid=7295] vsize: 72348
Current children cumulated CPU time (s) 675.74
Current children cumulated vsize (Kb) 72348

[startup+690.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22675 0 0 0 68284 286 0 0 25 0 1 0 21073725 74084352 12088 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 18087 12088 364 364 0 17723 0
[pid=7295] vsize: 72348
Current children cumulated CPU time (s) 685.7
Current children cumulated vsize (Kb) 72348

[startup+700.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22742 0 0 0 69276 288 0 0 25 0 1 0 21073725 74248192 12155 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 18127 12155 364 364 0 17763 0
[pid=7295] vsize: 72508
Current children cumulated CPU time (s) 695.64
Current children cumulated vsize (Kb) 72508

[startup+710.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22757 0 0 0 70268 292 0 0 25 0 1 0 21073725 74248192 12170 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 18127 12170 364 364 0 17763 0
[pid=7295] vsize: 72508
Current children cumulated CPU time (s) 705.6
Current children cumulated vsize (Kb) 72508

[startup+720.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7297
Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22863 0 0 0 71259 295 0 0 25 0 1 0 21073725 74248192 12176 4294967295 134512640 135987407 3221224560 3221223008 134892734 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7295/statm): 18127 12176 364 364 0 17763 0
[pid=7295] vsize: 72508
Current children cumulated CPU time (s) 715.54
Current children cumulated vsize (Kb) 72508
One traced child (pid=7295) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 720.169
CPU time (s): 715.659
CPU user time (s): 712.679
CPU system time (s): 2.98055
CPU usage (%): 99.3737
Max. virtual memory (cumulated for all children) (Kb): 72508

Verifier Data

Verifier:	OK	60