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-5pb.opb
MD5SUM4ca29b1bc7e76812f7871e2b937d8a23
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 720
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 720
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 720
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 benchmark112.282
Number of variables720
Total number of constraints2168
Number of constraints which are clauses2144
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 constraint30

Trace number 9718

Launcher Data

LAUNCH ON wulflinc28 THE 2005-09-23 15:03:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8444 boxname=wulflinc28 idbench=240 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4ca29b1bc7e76812f7871e2b937d8a23  /oldhome/oroussel/tmp/wulflinc28/normalized-s4-4-3-5pb.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-s4-4-3-5pb.opb
IDLAUNCH: 8444
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
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.188
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:        939448 kB
Buffers:         11324 kB
Cached:          67216 kB
SwapCached:          0 kB
Active:          43640 kB
Inactive:        37828 kB
HighTotal:      131008 kB
HighFree:        59612 kB
LowTotal:       903652 kB
LowFree:        879836 kB
SwapTotal:     2097640 kB
SwapFree:      2097640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8260 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:16:10 (client local time) WITH STATUS 30 IN 730.742 SECONDS
stats: 8444 0 730.742 30

Solver Data

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

c Decision: 658/3322	Time: 6.02908/86400
c Decision: 658/3322	Time: 6.68198/86400
c Decision: 658/3322	Time: 7.33389/86400
c Decision: 658/3322	Time: 8.11377/86400
c Decision: 658/3322	Time: 8.70868/86400
c Decision: 658/3322	Time: 9.50356/86400
c Decision: 658/3322	Time: 10.2624/86400
c Decision: 658/3322	Time: 11.0733/86400
c Decision: 658/3322	Time: 12.0002/86400
c Decision: 658/3322	Time: 12.895/86400
c Decision: 658/3322	Time: 13.8399/86400
c got solution with objective value: 70
c small objective detected
c CONFLICT during preprocess 

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

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

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

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

c Decision: 23495/51383	Time: 37.5923/86400
c Decision: 23495/51383	Time: 42.1276/86400
c Decision: 23495/51383	Time: 46.286/86400
c Decision: 23495/51383	Time: 50.5033/86400
c Decision: 23495/51383	Time: 54.6057/86400
c Decision: 23495/51383	Time: 58.5751/86400
c Decision: 23495/51383	Time: 62.9154/86400
c Decision: 23495/51383	Time: 67.1828/86400
c Decision: 23495/51383	Time: 74.2847/86400
c Decision: 23495/51383	Time: 81.2596/86400
c Decision: 23495/51383	Time: 87.5207/86400
c [startup+108.088 s]  setting bit 5 to 0

c Decision: 17125/51383	Time: 50.1804/86400
c Decision: 18267/51383	Time: 59.246/86400
c Decision: 18267/51383	Time: 64.9861/86400
c Decision: 18267/51383	Time: 71.2112/86400
c Decision: 18267/51383	Time: 76.7913/86400
c Decision: 18267/51383	Time: 81.6006/86400
c Decision: 18267/51383	Time: 85.9379/86400
c Decision: 18267/51383	Time: 90.7472/86400
c Decision: 18267/51383	Time: 96.0704/86400
c Decision: 18267/51383	Time: 100.313/86400
c Decision: 18267/51383	Time: 104.997/86400
c Decision: 18267/51383	Time: 109.61/86400
c Decision: 18267/51383	Time: 114.694/86400
c Decision: 18267/51383	Time: 120.436/86400
c Decision: 18267/51383	Time: 124.603/86400
c Decision: 18267/51383	Time: 130.559/86400
c Decision: 18267/51383	Time: 135.61/86400
c Decision: 18267/51383	Time: 141.378/86400
c Decision: 18267/51383	Time: 148.051/86400
c Decision: 18267/51383	Time: 153.623/86400
c [startup+273.343 s]  setting bit 4 to 0

c Decision: 22346/51383	Time: 10.1535/86400
c Decision: 22346/51383	Time: 16.3255/86400
c Decision: 22394/51383	Time: 25.5901/86400
c Decision: 22394/51383	Time: 30.6543/86400
c Decision: 22394/51383	Time: 36.8154/86400
c Decision: 22394/51383	Time: 42.3926/86400
c Decision: 22394/51383	Time: 49.2725/86400
c Decision: 22394/51383	Time: 54.7827/86400
c Decision: 22394/51383	Time: 59.9729/86400
c Decision: 22982/51383	Time: 71.4431/86400
c Decision: 22982/51383	Time: 77.9092/86400
c Decision: 22982/51383	Time: 83.3473/86400
c Decision: 22982/51383	Time: 90.2503/86400
c Decision: 22982/51383	Time: 95.3445/86400
c Decision: 22982/51383	Time: 100.048/86400
c Decision: 22982/51383	Time: 104.52/86400
c Decision: 22982/51383	Time: 111.524/86400
c Decision: 22982/51383	Time: 117.581/86400
c Decision: 22982/51383	Time: 125.429/86400
c Decision: 22982/51383	Time: 130.311/86400
c Decision: 22982/51383	Time: 136.62/86400
c Decision: 22982/51383	Time: 141.904/86400
c Decision: 22982/51383	Time: 147.668/86400
c Decision: 22982/51383	Time: 153.832/86400
c Decision: 22982/51383	Time: 160.145/86400
c Decision: 22982/51383	Time: 166.162/86400
c Decision: 22982/51383	Time: 171.94/86400
c Decision: 23002/51383	Time: 183.318/86400
c Decision: 23002/51383	Time: 190.579/86400
c Decision: 23002/51383	Time: 197.494/86400
c Decision: 23002/51383	Time: 204.152/86400
c Decision: 23002/51383	Time: 210.901/86400
c Decision: 23002/51383	Time: 217.468/86400
c Decision: 23002/51383	Time: 224.734/86400
c Decision: 23002/51383	Time: 231.067/86400
c Decision: 23002/51383	Time: 239.725/86400
c Decision: 23002/51383	Time: 245.887/86400
c Decision: 23003/51383	Time: 257.041/86400
c Decision: 23003/51383	Time: 264.423/86400
c Decision: 23003/51383	Time: 270.436/86400
c Decision: 23003/51383	Time: 276.787/86400
c Decision: 23835/51383	Time: 289.448/86400
c Decision: 23835/51383	Time: 296.575/86400
c Decision: 23835/51383	Time: 304.151/86400
c Decision: 23835/51383	Time: 309.971/86400
c Decision: 23835/51383	Time: 317.232/86400
c Decision: 23836/51383	Time: 328.402/86400
c Decision: 23836/51383	Time: 335.215/86400
c Decision: 23836/51383	Time: 342.5/86400
c Decision: 23854/51383	Time: 358.277/86400
c Decision: 23854/51383	Time: 364.815/86400
c Decision: 23854/51383	Time: 371.114/86400
c Decision: 23855/51383	Time: 384.522/86400
c Decision: 23855/51383	Time: 392.642/86400
c Decision: 27045/51383	Time: 404.633/86400
c Decision: 27045/51383	Time: 412.785/86400
c Decision: 27081/51383	Time: 428.572/86400
c got solution with objective value: 60
c [startup+710.451 s]  setting bit 3 to 1

c [startup+723.274 s]  setting bit 2 to 0

c [startup+725.652 s]  setting bit 1 to 0

c got solution with objective value: 60
c [startup+736.27 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 -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 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/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21084913 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 373 2 364 364 0 9 0
[pid=7795] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc28/normalized-s4-4-3-5pb.opb

[startup+10.0018 s]
Raw data (loadavg): 0.89 0.92 0.96 2/55 7795
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 1281 0 0 0 920 27 0 0 25 0 1 0 21084913 6201344 1075 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7795/statm): 1514 1076 364 364 0 1150 0
[pid=7795] vsize: 6056
Current children cumulated CPU time (s) 9.47
Current children cumulated vsize (Kb) 6056

[startup+20.0025 s]
Raw data (loadavg): 0.90 0.92 0.96 2/55 7795
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 9358 0 0 0 1858 60 0 0 25 0 1 0 21084913 32309248 6103 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 7888 6103 364 364 0 7524 0
[pid=7795] vsize: 31552
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (Kb) 31552

[startup+30.0032 s]
Raw data (loadavg): 0.92 0.92 0.96 2/55 7795
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 9702 0 0 0 2838 70 0 0 25 0 1 0 21084913 33538048 6447 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 8188 6447 364 364 0 7824 0
[pid=7795] vsize: 32752
Current children cumulated CPU time (s) 29.08
Current children cumulated vsize (Kb) 32752

[startup+40.0029 s]
Raw data (loadavg): 0.93 0.92 0.96 2/55 7795
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 9870 0 0 0 3820 77 0 0 25 0 1 0 21084913 33730560 6615 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 8235 6615 364 364 0 7871 0
[pid=7795] vsize: 32940
Current children cumulated CPU time (s) 38.97
Current children cumulated vsize (Kb) 32940

[startup+50.0036 s]
Raw data (loadavg): 0.94 0.92 0.96 2/55 7795
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 10069 0 0 0 4803 82 0 0 25 0 1 0 21084913 33927168 6814 4294967295 134512640 135987407 3221224560 3221223200 134812365 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 8283 6814 364 364 0 7919 0
[pid=7795] vsize: 33132
Current children cumulated CPU time (s) 48.85
Current children cumulated vsize (Kb) 33132

[startup+60.0043 s]
Raw data (loadavg): 0.95 0.93 0.96 2/55 7795
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 10354 0 0 0 5791 87 0 0 25 0 1 0 21084913 34451456 6998 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 8411 6998 364 364 0 8047 0
[pid=7795] vsize: 33644
Current children cumulated CPU time (s) 58.78
Current children cumulated vsize (Kb) 33644

[startup+70.0049 s]
Raw data (loadavg): 0.96 0.93 0.96 2/55 7795
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 10761 0 0 0 6776 93 0 0 25 0 1 0 21084913 34451456 7102 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 8411 7102 364 364 0 8047 0
[pid=7795] vsize: 33644
Current children cumulated CPU time (s) 68.69
Current children cumulated vsize (Kb) 33644

[startup+80.0056 s]
Raw data (loadavg): 0.96 0.93 0.96 2/55 7795
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 11129 0 0 0 7760 99 0 0 25 0 1 0 21084913 34770944 7268 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7795/statm): 8489 7268 364 364 0 8125 0
[pid=7795] vsize: 33956
Current children cumulated CPU time (s) 78.59
Current children cumulated vsize (Kb) 33956

[startup+90.0053 s]
Raw data (loadavg): 0.97 0.93 0.96 2/55 7795
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 11497 0 0 0 8745 104 0 0 25 0 1 0 21084913 35090432 7434 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7795/statm): 8567 7434 364 364 0 8203 0
[pid=7795] vsize: 34268
Current children cumulated CPU time (s) 88.49
Current children cumulated vsize (Kb) 34268

[startup+100.005 s]
Raw data (loadavg): 0.97 0.93 0.96 2/55 7795
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 11753 0 0 0 9731 108 0 0 25 0 1 0 21084913 35618816 7589 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 8696 7589 364 364 0 8332 0
[pid=7795] vsize: 34784
Current children cumulated CPU time (s) 98.39
Current children cumulated vsize (Kb) 34784

[startup+110.006 s]
Raw data (loadavg): 0.98 0.94 0.96 2/55 7795
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 12151 0 0 0 10717 113 0 0 25 0 1 0 21084913 35815424 7684 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 8744 7684 364 364 0 8380 0
[pid=7795] vsize: 34976
Current children cumulated CPU time (s) 108.3
Current children cumulated vsize (Kb) 34976

[startup+120.006 s]
Raw data (loadavg): 0.98 0.94 0.96 2/55 7795
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 12402 0 0 0 11703 119 0 0 25 0 1 0 21084913 36818944 7935 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 8989 7935 364 364 0 8625 0
[pid=7795] vsize: 35956
Current children cumulated CPU time (s) 118.22
Current children cumulated vsize (Kb) 35956

[startup+130.006 s]
Raw data (loadavg): 0.98 0.94 0.96 2/55 7795
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 12504 0 0 0 12687 124 0 0 25 0 1 0 21084913 36818944 8037 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 8989 8037 364 364 0 8625 0
[pid=7795] vsize: 35956
Current children cumulated CPU time (s) 128.11
Current children cumulated vsize (Kb) 35956

[startup+140.006 s]
Raw data (loadavg): 0.98 0.94 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 12618 0 0 0 13674 130 0 0 25 0 1 0 21084913 36818944 8151 4294967295 134512640 135987407 3221224560 3221223200 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 8989 8151 364 364 0 8625 0
[pid=7795] vsize: 35956
Current children cumulated CPU time (s) 138.04
Current children cumulated vsize (Kb) 35956

[startup+150.006 s]
Raw data (loadavg): 0.99 0.94 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 12752 0 0 0 14663 134 0 0 25 0 1 0 21084913 45477888 8285 4294967295 134512640 135987407 3221224560 3221222928 134850533 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11103 8285 364 364 0 10739 0
[pid=7795] vsize: 44412
Current children cumulated CPU time (s) 147.97
Current children cumulated vsize (Kb) 44412

[startup+160.006 s]
Raw data (loadavg): 0.99 0.94 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 12962 0 0 0 15650 139 0 0 25 0 1 0 21084913 45641728 8394 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11143 8394 364 364 0 10779 0
[pid=7795] vsize: 44572
Current children cumulated CPU time (s) 157.89
Current children cumulated vsize (Kb) 44572

[startup+170.007 s]
Raw data (loadavg): 0.99 0.94 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 13213 0 0 0 16636 144 0 0 25 0 1 0 21084913 45776896 8544 4294967295 134512640 135987407 3221224560 3221223264 134789994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11176 8544 364 364 0 10812 0
[pid=7795] vsize: 44704
Current children cumulated CPU time (s) 167.8
Current children cumulated vsize (Kb) 44704

[startup+180.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 13509 0 0 0 17625 149 0 0 25 0 1 0 21084913 45776896 8638 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11176 8638 364 364 0 10812 0
[pid=7795] vsize: 44704
Current children cumulated CPU time (s) 177.74
Current children cumulated vsize (Kb) 44704

[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 13838 0 0 0 18613 154 0 0 25 0 1 0 21084913 45924352 8765 4294967295 134512640 135987407 3221224560 3221223056 134789622 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11212 8765 364 364 0 10848 0
[pid=7795] vsize: 44848
Current children cumulated CPU time (s) 187.67
Current children cumulated vsize (Kb) 44848

[startup+200.008 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 14140 0 0 0 19602 159 0 0 25 0 1 0 21084913 45924352 8865 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11212 8865 364 364 0 10848 0
[pid=7795] vsize: 44848
Current children cumulated CPU time (s) 197.61
Current children cumulated vsize (Kb) 44848

[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 14477 0 0 0 20590 164 0 0 25 0 1 0 21084913 46059520 9000 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11245 9000 364 364 0 10881 0
[pid=7795] vsize: 44980
Current children cumulated CPU time (s) 207.54
Current children cumulated vsize (Kb) 44980

[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 14797 0 0 0 21578 169 0 0 25 0 1 0 21084913 46215168 9118 4294967295 134512640 135987407 3221224560 3221223168 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11283 9118 364 364 0 10919 0
[pid=7795] vsize: 45132
Current children cumulated CPU time (s) 217.47
Current children cumulated vsize (Kb) 45132

[startup+230.008 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 15106 0 0 0 22566 173 0 0 25 0 1 0 21084913 46215168 9225 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11283 9225 364 364 0 10919 0
[pid=7795] vsize: 45132
Current children cumulated CPU time (s) 227.39
Current children cumulated vsize (Kb) 45132

[startup+240.008 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 15450 0 0 0 23555 178 0 0 25 0 1 0 21084913 46350336 9367 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11316 9367 364 364 0 10952 0
[pid=7795] vsize: 45264
Current children cumulated CPU time (s) 237.33
Current children cumulated vsize (Kb) 45264

[startup+250.008 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 15693 0 0 0 24544 182 0 0 25 0 1 0 21084913 46784512 9509 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11422 9509 364 364 0 11058 0
[pid=7795] vsize: 45688
Current children cumulated CPU time (s) 247.26
Current children cumulated vsize (Kb) 45688

[startup+260.009 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 15982 0 0 0 25532 187 0 0 25 0 1 0 21084913 46931968 9596 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11458 9596 364 364 0 11094 0
[pid=7795] vsize: 45832
Current children cumulated CPU time (s) 257.19
Current children cumulated vsize (Kb) 45832

[startup+270.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 16186 0 0 0 26520 191 0 0 25 0 1 0 21084913 47067136 9699 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11491 9699 364 364 0 11127 0
[pid=7795] vsize: 45964
Current children cumulated CPU time (s) 267.11
Current children cumulated vsize (Kb) 45964

[startup+280.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 16394 0 0 0 27510 195 0 0 25 0 1 0 21084913 47337472 9806 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11557 9806 364 364 0 11193 0
[pid=7795] vsize: 46228
Current children cumulated CPU time (s) 277.05
Current children cumulated vsize (Kb) 46228

[startup+290.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 16646 0 0 0 28497 200 0 0 25 0 1 0 21084913 47534080 9856 4294967295 134512640 135987407 3221224560 3221222944 134850814 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11605 9856 364 364 0 11241 0
[pid=7795] vsize: 46420
Current children cumulated CPU time (s) 286.97
Current children cumulated vsize (Kb) 46420

[startup+300.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 16828 0 0 0 29485 205 0 0 25 0 1 0 21084913 47534080 9937 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11605 9937 364 364 0 11241 0
[pid=7795] vsize: 46420
Current children cumulated CPU time (s) 296.9
Current children cumulated vsize (Kb) 46420

[startup+310.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 17033 0 0 0 30473 210 0 0 25 0 1 0 21084913 47534080 10041 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11605 10041 364 364 0 11241 0
[pid=7795] vsize: 46420
Current children cumulated CPU time (s) 306.83
Current children cumulated vsize (Kb) 46420

[startup+320.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 17251 0 0 0 31461 214 0 0 25 0 1 0 21084913 47673344 10158 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11639 10158 364 364 0 11275 0
[pid=7795] vsize: 46556
Current children cumulated CPU time (s) 316.75
Current children cumulated vsize (Kb) 46556

[startup+330.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 17464 0 0 0 32451 218 0 0 25 0 1 0 21084913 47861760 10270 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11685 10270 364 364 0 11321 0
[pid=7795] vsize: 46740
Current children cumulated CPU time (s) 326.69
Current children cumulated vsize (Kb) 46740

[startup+340.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 17710 0 0 0 33438 222 0 0 25 0 1 0 21084913 48074752 10415 4294967295 134512640 135987407 3221224560 3221223280 134812674 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 11737 10415 364 364 0 11373 0
[pid=7795] vsize: 46948
Current children cumulated CPU time (s) 336.6
Current children cumulated vsize (Kb) 46948

[startup+350.011 s]
Raw data (loadavg): 0.99 0.96 0.96 1/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) T 7794 7795 4005 0 -1 0 19550 0 0 0 34420 231 0 0 25 0 1 0 21084913 54923264 10617 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7795/statm): 13409 10617 364 364 0 13045 0
[pid=7795] vsize: 53636
Current children cumulated CPU time (s) 346.51
Current children cumulated vsize (Kb) 53636

[startup+360.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 19661 0 0 0 35409 235 0 0 25 0 1 0 21084913 55070720 10728 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 13445 10728 364 364 0 13081 0
[pid=7795] vsize: 53780
Current children cumulated CPU time (s) 356.44
Current children cumulated vsize (Kb) 53780

[startup+370.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 20002 0 0 0 36395 241 0 0 25 0 1 0 21084913 55070720 10867 4294967295 134512640 135987407 3221224560 3221223236 134812452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 13445 10867 364 364 0 13081 0
[pid=7795] vsize: 53780
Current children cumulated CPU time (s) 366.36
Current children cumulated vsize (Kb) 53780

[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 20126 0 0 0 37386 244 0 0 25 0 1 0 21084913 55267328 10991 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 13493 10991 364 364 0 13129 0
[pid=7795] vsize: 53972
Current children cumulated CPU time (s) 376.3
Current children cumulated vsize (Kb) 53972

[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 20369 0 0 0 38376 248 0 0 25 0 1 0 21084913 55402496 11133 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 13526 11133 364 364 0 13162 0
[pid=7795] vsize: 54104
Current children cumulated CPU time (s) 386.24
Current children cumulated vsize (Kb) 54104

[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 20576 0 0 0 39363 253 0 0 25 0 1 0 21084913 72323072 11239 4294967295 134512640 135987407 3221224560 3221223280 134812638 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17657 11239 364 364 0 17293 0
[pid=7795] vsize: 70628
Current children cumulated CPU time (s) 396.16
Current children cumulated vsize (Kb) 70628

[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 20818 0 0 0 40352 257 0 0 25 0 1 0 21084913 72470528 11380 4294967295 134512640 135987407 3221224560 3221223104 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17693 11380 364 364 0 17329 0
[pid=7795] vsize: 70772
Current children cumulated CPU time (s) 406.09
Current children cumulated vsize (Kb) 70772

[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 21092 0 0 0 41342 261 0 0 25 0 1 0 21084913 72470528 11452 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17693 11452 364 364 0 17329 0
[pid=7795] vsize: 70772
Current children cumulated CPU time (s) 416.03
Current children cumulated vsize (Kb) 70772

[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 21407 0 0 0 42330 266 0 0 25 0 1 0 21084913 72470528 11565 4294967295 134512640 135987407 3221224560 3221222976 134788493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17693 11565 364 364 0 17329 0
[pid=7795] vsize: 70772
Current children cumulated CPU time (s) 425.96
Current children cumulated vsize (Kb) 70772

[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 21631 0 0 0 43319 271 0 0 25 0 1 0 21084913 72605696 11688 4294967295 134512640 135987407 3221224560 3221223136 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17726 11688 364 364 0 17362 0
[pid=7795] vsize: 70904
Current children cumulated CPU time (s) 435.9
Current children cumulated vsize (Kb) 70904

[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 21926 0 0 0 44309 275 0 0 25 0 1 0 21084913 72605696 11781 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17726 11781 364 364 0 17362 0
[pid=7795] vsize: 70904
Current children cumulated CPU time (s) 445.84
Current children cumulated vsize (Kb) 70904

[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 22125 0 0 0 45300 279 0 0 25 0 1 0 21084913 72753152 11879 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17762 11879 364 364 0 17398 0
[pid=7795] vsize: 71048
Current children cumulated CPU time (s) 455.79
Current children cumulated vsize (Kb) 71048

[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 22327 0 0 0 46291 282 0 0 25 0 1 0 21084913 72753152 11980 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17762 11980 364 364 0 17398 0
[pid=7795] vsize: 71048
Current children cumulated CPU time (s) 465.73
Current children cumulated vsize (Kb) 71048

[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 22628 0 0 0 47282 286 0 0 25 0 1 0 21084913 72753152 12079 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17762 12079 364 364 0 17398 0
[pid=7795] vsize: 71048
Current children cumulated CPU time (s) 475.68
Current children cumulated vsize (Kb) 71048

[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 22810 0 0 0 48272 290 0 0 25 0 1 0 21084913 72753152 12160 4294967295 134512640 135987407 3221224560 3221223104 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17762 12160 364 364 0 17398 0
[pid=7795] vsize: 71048
Current children cumulated CPU time (s) 485.62
Current children cumulated vsize (Kb) 71048

[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 23130 0 0 0 49263 293 0 0 25 0 1 0 21084913 72986624 12278 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17819 12278 364 364 0 17455 0
[pid=7795] vsize: 71276
Current children cumulated CPU time (s) 495.56
Current children cumulated vsize (Kb) 71276

[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 23357 0 0 0 50254 297 0 0 25 0 1 0 21084913 73154560 12404 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17860 12404 364 364 0 17496 0
[pid=7795] vsize: 71440
Current children cumulated CPU time (s) 505.51
Current children cumulated vsize (Kb) 71440

[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 23542 0 0 0 51246 301 0 0 25 0 1 0 21084913 73322496 12488 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17901 12488 364 364 0 17537 0
[pid=7795] vsize: 71604
Current children cumulated CPU time (s) 515.47
Current children cumulated vsize (Kb) 71604

[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 23770 0 0 0 52236 305 0 0 25 0 1 0 21084913 73322496 12615 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17901 12615 364 364 0 17537 0
[pid=7795] vsize: 71604
Current children cumulated CPU time (s) 525.41
Current children cumulated vsize (Kb) 71604

[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 24081 0 0 0 53226 309 0 0 25 0 1 0 21084913 73601024 12724 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 17969 12724 364 364 0 17605 0
[pid=7795] vsize: 71876
Current children cumulated CPU time (s) 535.35
Current children cumulated vsize (Kb) 71876

[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 24317 0 0 0 54216 313 0 0 25 0 1 0 21084913 73768960 12859 4294967295 134512640 135987407 3221224560 3221223104 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 18010 12859 364 364 0 17646 0
[pid=7795] vsize: 72040
Current children cumulated CPU time (s) 545.29
Current children cumulated vsize (Kb) 72040

[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 24452 0 0 0 55207 317 0 0 25 0 1 0 21084913 73936896 12893 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 18051 12893 364 364 0 17687 0
[pid=7795] vsize: 72204
Current children cumulated CPU time (s) 555.24
Current children cumulated vsize (Kb) 72204

[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 24618 0 0 0 56196 320 0 0 25 0 1 0 21084913 74072064 12958 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 18084 12958 364 364 0 17720 0
[pid=7795] vsize: 72336
Current children cumulated CPU time (s) 565.16
Current children cumulated vsize (Kb) 72336

[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 24830 0 0 0 57188 325 0 0 25 0 1 0 21084913 74072064 12968 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 18084 12968 364 364 0 17720 0
[pid=7795] vsize: 72336
Current children cumulated CPU time (s) 575.13
Current children cumulated vsize (Kb) 72336

[startup+590.016 s]
Raw data (loadavg): 1.07 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 24938 0 0 0 58179 328 0 0 25 0 1 0 21084913 74072064 12975 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 18084 12975 364 364 0 17720 0
[pid=7795] vsize: 72336
Current children cumulated CPU time (s) 585.07
Current children cumulated vsize (Kb) 72336

[startup+600.017 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 25049 0 0 0 59172 330 0 0 25 0 1 0 21084913 74211328 12985 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 18118 12985 364 364 0 17754 0
[pid=7795] vsize: 72472
Current children cumulated CPU time (s) 595.02
Current children cumulated vsize (Kb) 72472

[startup+610.017 s]
Raw data (loadavg): 1.05 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 25201 0 0 0 60163 333 0 0 25 0 1 0 21084913 74346496 13036 4294967295 134512640 135987407 3221224560 3221223104 134811948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 18151 13036 364 364 0 17787 0
[pid=7795] vsize: 72604
Current children cumulated CPU time (s) 604.96
Current children cumulated vsize (Kb) 72604

[startup+620.018 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 25410 0 0 0 61155 336 0 0 25 0 1 0 21084913 74346496 13043 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 18151 13043 364 364 0 17787 0
[pid=7795] vsize: 72604
Current children cumulated CPU time (s) 614.91
Current children cumulated vsize (Kb) 72604

[startup+630.018 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 25421 0 0 0 62146 339 0 0 25 0 1 0 21084913 74346496 13054 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 18151 13054 364 364 0 17787 0
[pid=7795] vsize: 72604
Current children cumulated CPU time (s) 624.85
Current children cumulated vsize (Kb) 72604

[startup+640.018 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 25681 0 0 0 63137 343 0 0 25 0 1 0 21084913 74616832 13112 4294967295 134512640 135987407 3221224560 3221223232 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 18217 13112 364 364 0 17853 0
[pid=7795] vsize: 72868
Current children cumulated CPU time (s) 634.8
Current children cumulated vsize (Kb) 72868

[startup+650.019 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 25798 0 0 0 64130 347 0 0 25 0 1 0 21084913 74616832 13128 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 18217 13128 364 364 0 17853 0
[pid=7795] vsize: 72868
Current children cumulated CPU time (s) 644.77
Current children cumulated vsize (Kb) 72868

[startup+660.019 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 25818 0 0 0 65121 349 0 0 25 0 1 0 21084913 74616832 13148 4294967295 134512640 135987407 3221224560 3221223136 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 18217 13148 364 364 0 17853 0
[pid=7795] vsize: 72868
Current children cumulated CPU time (s) 654.7
Current children cumulated vsize (Kb) 72868

[startup+670.02 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 26058 0 0 0 66112 352 0 0 25 0 1 0 21084913 74752000 13186 4294967295 134512640 135987407 3221224560 3221223104 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7795/statm): 18250 13186 364 364 0 17886 0
[pid=7795] vsize: 73000
Current children cumulated CPU time (s) 664.64
Current children cumulated vsize (Kb) 73000

[startup+680.02 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 26065 0 0 0 67103 355 0 0 25 0 1 0 21084913 74752000 13193 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7795/statm): 18250 13193 364 364 0 17886 0
[pid=7795] vsize: 73000
Current children cumulated CPU time (s) 674.58
Current children cumulated vsize (Kb) 73000

[startup+690.02 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 26310 0 0 0 68095 359 0 0 25 0 1 0 21084913 75022336 13236 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7795/statm): 18316 13236 364 364 0 17952 0
[pid=7795] vsize: 73264
Current children cumulated CPU time (s) 684.54
Current children cumulated vsize (Kb) 73264

[startup+700.02 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 26326 0 0 0 69089 361 0 0 25 0 1 0 21084913 75022336 13252 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7795/statm): 18316 13252 364 364 0 17952 0
[pid=7795] vsize: 73264
Current children cumulated CPU time (s) 694.5
Current children cumulated vsize (Kb) 73264

[startup+710.02 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 26489 0 0 0 70082 364 0 0 25 0 1 0 21084913 75157504 13314 4294967295 134512640 135987407 3221224560 3221223104 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7795/statm): 18349 13314 364 364 0 17985 0
[pid=7795] vsize: 73396
Current children cumulated CPU time (s) 704.46
Current children cumulated vsize (Kb) 73396

[startup+720.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 26601 0 0 0 71075 367 0 0 25 0 1 0 21084913 75296768 13325 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7795/statm): 18383 13325 364 364 0 18019 0
[pid=7795] vsize: 73532
Current children cumulated CPU time (s) 714.42
Current children cumulated vsize (Kb) 73532

[startup+730.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 7797
Raw data (/proc/7795/stat): 7795 (pb2sat) R 7794 7795 4005 0 -1 0 26832 0 0 0 72066 372 0 0 25 0 1 0 21084913 75296768 13354 4294967295 134512640 135987407 3221224560 3221223104 134812138 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7795/statm): 18383 13354 364 364 0 18019 0
[pid=7795] vsize: 73532
Current children cumulated CPU time (s) 724.38
Current children cumulated vsize (Kb) 73532
One traced child (pid=7795) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 736.405
CPU time (s): 730.742
CPU user time (s): 726.979
CPU system time (s): 3.76343
CPU usage (%): 99.231
Max. virtual memory (cumulated for all children) (Kb): 73532

Verifier Data

Verifier:	OK	60