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-2pb.opb
MD5SUM55739635f7f3741bc4f78c540803ac21
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved YES
Number of terms in the objective function 648
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 648
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 648
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 benchmark120.759
Number of variables648
Total number of constraints1952
Number of constraints which are clauses1928
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 constraint27

Trace number 9717

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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:        919188 kB
Buffers:          8292 kB
Cached:          82148 kB
SwapCached:          0 kB
Active:          55168 kB
Inactive:        44856 kB
HighTotal:      131008 kB
HighFree:        46536 kB
LowTotal:       903652 kB
LowFree:        872652 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             9728 kB
Committed_AS:    63628 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:16:05 (client local time) WITH STATUS 30 IN 804.645 SECONDS
stats: 8441 0 804.645 30

Solver Data

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

c Decision: 588/2962	Time: 0.736888/86400
c Decision: 590/2962	Time: 1.06584/86400
c Decision: 590/2962	Time: 1.53577/86400
c Decision: 590/2962	Time: 1.9667/86400
c Decision: 590/2962	Time: 2.38864/86400
c Decision: 600/2962	Time: 2.86956/86400
c Decision: 604/2962	Time: 3.48347/86400
c Decision: 604/2962	Time: 3.97839/86400
c Decision: 604/2962	Time: 4.47132/86400
c Decision: 604/2962	Time: 5.05723/86400
c Decision: 606/2962	Time: 5.98409/86400
c Decision: 606/2962	Time: 6.63099/86400
c Decision: 606/2962	Time: 7.2469/86400
c Decision: 606/2962	Time: 7.9168/86400
c Decision: 606/2962	Time: 8.60869/86400
c Decision: 606/2962	Time: 9.45056/86400
c Decision: 606/2962	Time: 10.1875/86400
c Decision: 606/2962	Time: 11.0203/86400
c got solution with objective value: 72
c small objective detected
c CONFLICT during preprocess 

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

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

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

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

c Decision: 20703/47139	Time: 31.1563/86400
c Decision: 20703/47139	Time: 34.5408/86400
c Decision: 20703/47139	Time: 38.0782/86400
c Decision: 20703/47139	Time: 41.9006/86400
c Decision: 20703/47139	Time: 45.784/86400
c Decision: 20703/47139	Time: 49.3885/86400
c Decision: 20703/47139	Time: 52.9609/86400
c Decision: 20703/47139	Time: 57.0183/86400
c Decision: 20703/47139	Time: 61.6086/86400
c Decision: 20703/47139	Time: 68.1806/86400
c Decision: 20703/47139	Time: 72.335/86400
c Decision: 20703/47139	Time: 76.1244/86400
c Decision: 20703/47139	Time: 80.8047/86400
c Decision: 20703/47139	Time: 84.2572/86400
c Decision: 20703/47139	Time: 89.0045/86400
c Decision: 20703/47139	Time: 95.4735/86400
c Decision: 21475/47139	Time: 101.767/86400
c Decision: 21475/47139	Time: 106.802/86400
c Decision: 25154/47139	Time: 111.632/86400
c [startup+130.599 s]  setting bit 5 to 0

c Decision: 11838/47139	Time: 16.7425/86400
c Decision: 11838/47139	Time: 20.8558/86400
c Decision: 12940/47139	Time: 30.9663/86400
c Decision: 12942/47139	Time: 37.9312/86400
c Decision: 12942/47139	Time: 45.2041/86400
c Decision: 12942/47139	Time: 50.0164/86400
c Decision: 12942/47139	Time: 55.7195/86400
c Decision: 15405/47139	Time: 64.5832/86400
c Decision: 15405/47139	Time: 69.1045/86400
c [startup+210.829 s]  setting bit 4 to 0

c Decision: 16345/47139	Time: 47.8847/86400
c Decision: 16345/47139	Time: 52.711/86400
c Decision: 16345/47139	Time: 57.8442/86400
c Decision: 16345/47139	Time: 62.8964/86400
c Decision: 16345/47139	Time: 67.3108/86400
c Decision: 16910/47139	Time: 82.6344/86400
c Decision: 16910/47139	Time: 89.6744/86400
c Decision: 16910/47139	Time: 95.2895/86400
c Decision: 16910/47139	Time: 102.158/86400
c Decision: 16910/47139	Time: 106.61/86400
c Decision: 16910/47139	Time: 113.045/86400
c Decision: 16910/47139	Time: 118.333/86400
c Decision: 16910/47139	Time: 123.651/86400
c Decision: 16910/47139	Time: 129.967/86400
c Decision: 16910/47139	Time: 136.925/86400
c Decision: 16910/47139	Time: 142.794/86400
c Decision: 16910/47139	Time: 148.49/86400
c Decision: 16910/47139	Time: 153.782/86400
c Decision: 17924/47139	Time: 163.53/86400
c Decision: 17924/47139	Time: 170.01/86400
c Decision: 17924/47139	Time: 176.181/86400
c Decision: 17924/47139	Time: 182.804/86400
c Decision: 17924/47139	Time: 190.007/86400
c Decision: 17928/47139	Time: 197.27/86400
c Decision: 17928/47139	Time: 203.354/86400
c Decision: 17928/47139	Time: 209.77/86400
c Decision: 17928/47139	Time: 216.724/86400
c Decision: 17928/47139	Time: 222.498/86400
c Decision: 17928/47139	Time: 230.061/86400
c Decision: 17928/47139	Time: 236.619/86400
c Decision: 17928/47139	Time: 242.586/86400
c Decision: 17929/47139	Time: 251.648/86400
c Decision: 17929/47139	Time: 258.283/86400
c Decision: 17971/47139	Time: 271.985/86400
c Decision: 17971/47139	Time: 278.361/86400
c Decision: 17971/47139	Time: 285.941/86400
c Decision: 17971/47139	Time: 293.275/86400
c Decision: 17971/47139	Time: 301.381/86400
c Decision: 17979/47139	Time: 320.177/86400
c Decision: 17979/47139	Time: 327.62/86400
c Decision: 18081/47139	Time: 344.609/86400
c Decision: 18081/47139	Time: 352.766/86400
c Decision: 18262/47139	Time: 363.055/86400
c Decision: 18262/47139	Time: 370.042/86400
c Decision: 18264/47139	Time: 383.312/86400
c Decision: 18264/47139	Time: 392.044/86400
c Decision: 18264/47139	Time: 399.992/86400
c Decision: 20697/47139	Time: 414.954/86400
c Decision: 21656/47139	Time: 426.331/86400
c Decision: 21656/47139	Time: 434.805/86400
c Decision: 21656/47139	Time: 443.832/86400
c Decision: 23662/47139	Time: 461.684/86400
c [startup+692.416 s]  setting bit 3 to 0

c Decision: 19009/47139	Time: 11.8602/86400
c got solution with objective value: 66
c [startup+709.302 s]  setting bit 2 to 1

c Decision: 20178/47139	Time: 22.3016/86400
c Decision: 20178/47139	Time: 27.5608/86400
c Decision: 20715/47139	Time: 39.666/86400
c Decision: 20715/47139	Time: 46.205/86400
c Decision: 20715/47139	Time: 51.6481/86400
c Decision: 20715/47139	Time: 58.7911/86400
c Decision: 20715/47139	Time: 67.3918/86400
c Decision: 20715/47139	Time: 74.8026/86400
c Decision: 20715/47139	Time: 83.0054/86400
c got solution with objective value: 64
c [startup+795.686 s]  setting bit 1 to 1

c got solution with objective value: 64
c [startup+810.613 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 -v65 -v66 -v67 -v68 v69 -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/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21114488 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 373 2 364 364 0 9 0
[pid=7975] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-s4-4-3-2pb.opb

[startup+10.0013 s]
Raw data (loadavg): 0.74 0.86 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 1304 0 0 0 908 32 0 0 25 0 1 0 21114488 6270976 1098 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 1531 1098 364 364 0 1167 0
[pid=7975] vsize: 6124
Current children cumulated CPU time (s) 9.4
Current children cumulated vsize (Kb) 6124

[startup+20.0021 s]
Raw data (loadavg): 0.78 0.86 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 9191 0 0 0 1867 58 0 0 25 0 1 0 21114488 32448512 5980 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 7922 5980 364 364 0 7558 0
[pid=7975] vsize: 31688
Current children cumulated CPU time (s) 19.25
Current children cumulated vsize (Kb) 31688

[startup+30.0029 s]
Raw data (loadavg): 0.81 0.87 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 9426 0 0 0 2846 65 0 0 25 0 1 0 21114488 32899072 6215 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 8032 6215 364 364 0 7668 0
[pid=7975] vsize: 32128
Current children cumulated CPU time (s) 29.11
Current children cumulated vsize (Kb) 32128

[startup+40.0027 s]
Raw data (loadavg): 0.84 0.87 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 9615 0 0 0 3828 71 0 0 25 0 1 0 21114488 33034240 6404 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7975/statm): 8065 6404 364 364 0 7701 0
[pid=7975] vsize: 32260
Current children cumulated CPU time (s) 38.99
Current children cumulated vsize (Kb) 32260

[startup+50.0035 s]
Raw data (loadavg): 0.87 0.88 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 9906 0 0 0 4811 77 0 0 25 0 1 0 21114488 33484800 6602 4294967295 134512640 135987407 3221224560 3221223136 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 8175 6602 364 364 0 7811 0
[pid=7975] vsize: 32700
Current children cumulated CPU time (s) 48.88
Current children cumulated vsize (Kb) 32700

[startup+60.0043 s]
Raw data (loadavg): 0.89 0.88 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 10347 0 0 0 5796 83 0 0 25 0 1 0 21114488 33783808 6764 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 8248 6764 364 364 0 7884 0
[pid=7975] vsize: 32992
Current children cumulated CPU time (s) 58.79
Current children cumulated vsize (Kb) 32992

[startup+70.0041 s]
Raw data (loadavg): 0.90 0.88 0.92 1/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) T 7974 7975 4060 0 -1 0 10761 0 0 0 6780 88 0 0 25 0 1 0 21114488 34140160 6899 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7975/statm): 8335 6899 364 364 0 7971 0
[pid=7975] vsize: 33340
Current children cumulated CPU time (s) 68.68
Current children cumulated vsize (Kb) 33340

[startup+80.0049 s]
Raw data (loadavg): 0.92 0.89 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 11032 0 0 0 7767 93 0 0 25 0 1 0 21114488 34476032 7077 4294967295 134512640 135987407 3221224560 3221223104 134812138 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 8417 7077 364 364 0 8053 0
[pid=7975] vsize: 33668
Current children cumulated CPU time (s) 78.6
Current children cumulated vsize (Kb) 33668

[startup+90.0046 s]
Raw data (loadavg): 0.93 0.89 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 11323 0 0 0 8754 98 0 0 25 0 1 0 21114488 34791424 7182 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 8494 7182 364 364 0 8130 0
[pid=7975] vsize: 33976
Current children cumulated CPU time (s) 88.52
Current children cumulated vsize (Kb) 33976

[startup+100.005 s]
Raw data (loadavg): 0.94 0.89 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 11612 0 0 0 9738 105 0 0 25 0 1 0 21114488 34791424 7285 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7975/statm): 8494 7285 364 364 0 8130 0
[pid=7975] vsize: 33976
Current children cumulated CPU time (s) 98.43
Current children cumulated vsize (Kb) 33976

[startup+110.006 s]
Raw data (loadavg): 0.95 0.90 0.92 1/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) T 7974 7975 4060 0 -1 0 11884 0 0 0 10726 109 0 0 25 0 1 0 21114488 34791424 7371 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7975/statm): 8494 7371 364 364 0 8130 0
[pid=7975] vsize: 33976
Current children cumulated CPU time (s) 108.35
Current children cumulated vsize (Kb) 33976

[startup+120.006 s]
Raw data (loadavg): 0.96 0.90 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 12145 0 0 0 11715 113 0 0 25 0 1 0 21114488 34930688 7446 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7975/statm): 8528 7446 364 364 0 8164 0
[pid=7975] vsize: 34112
Current children cumulated CPU time (s) 118.28
Current children cumulated vsize (Kb) 34112

[startup+130.006 s]
Raw data (loadavg): 0.96 0.90 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 12492 0 0 0 12702 118 0 0 25 0 1 0 21114488 35303424 7607 4294967295 134512640 135987407 3221224560 3221222976 134788462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 8619 7607 364 364 0 8255 0
[pid=7975] vsize: 34476
Current children cumulated CPU time (s) 128.2
Current children cumulated vsize (Kb) 34476

[startup+140.006 s]
Raw data (loadavg): 0.97 0.90 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 12712 0 0 0 13690 123 0 0 25 0 1 0 21114488 35500032 7734 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 8667 7734 364 364 0 8303 0
[pid=7975] vsize: 34668
Current children cumulated CPU time (s) 138.13
Current children cumulated vsize (Kb) 34668

[startup+150.006 s]
Raw data (loadavg): 0.97 0.91 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 12950 0 0 0 14673 130 0 0 25 0 1 0 21114488 44380160 7879 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 10835 7879 364 364 0 10471 0
[pid=7975] vsize: 43340
Current children cumulated CPU time (s) 148.03
Current children cumulated vsize (Kb) 43340

[startup+160.006 s]
Raw data (loadavg): 0.98 0.91 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 13081 0 0 0 15658 136 0 0 25 0 1 0 21114488 44666880 8010 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 10905 8010 364 364 0 10541 0
[pid=7975] vsize: 43620
Current children cumulated CPU time (s) 157.94
Current children cumulated vsize (Kb) 43620

[startup+170.006 s]
Raw data (loadavg): 0.98 0.91 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 13380 0 0 0 16644 141 0 0 25 0 1 0 21114488 44802048 8123 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 10938 8123 364 364 0 10574 0
[pid=7975] vsize: 43752
Current children cumulated CPU time (s) 167.85
Current children cumulated vsize (Kb) 43752

[startup+180.007 s]
Raw data (loadavg): 0.98 0.91 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 13508 0 0 0 17632 145 0 0 25 0 1 0 21114488 45072384 8251 4294967295 134512640 135987407 3221224560 3221223200 134812278 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11004 8251 364 364 0 10640 0
[pid=7975] vsize: 44016
Current children cumulated CPU time (s) 177.77
Current children cumulated vsize (Kb) 44016

[startup+190.008 s]
Raw data (loadavg): 0.98 0.92 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 13671 0 0 0 18619 149 0 0 25 0 1 0 21114488 45072384 8321 4294967295 134512640 135987407 3221224560 3221223168 134812116 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11004 8321 364 364 0 10640 0
[pid=7975] vsize: 44016
Current children cumulated CPU time (s) 187.68
Current children cumulated vsize (Kb) 44016

[startup+200.008 s]
Raw data (loadavg): 0.99 0.92 0.92 2/55 7975
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 13893 0 0 0 19607 154 0 0 25 0 1 0 21114488 45219840 8450 4294967295 134512640 135987407 3221224560 3221223104 134811986 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11040 8450 364 364 0 10676 0
[pid=7975] vsize: 44160
Current children cumulated CPU time (s) 197.61
Current children cumulated vsize (Kb) 44160

[startup+210.008 s]
Raw data (loadavg): 0.99 0.92 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 14096 0 0 0 20593 159 0 0 25 0 1 0 21114488 45359104 8560 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11074 8560 364 364 0 10710 0
[pid=7975] vsize: 44296
Current children cumulated CPU time (s) 207.52
Current children cumulated vsize (Kb) 44296

[startup+220.008 s]
Raw data (loadavg): 0.99 0.92 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 14292 0 0 0 21580 165 0 0 25 0 1 0 21114488 45514752 8663 4294967295 134512640 135987407 3221224560 3221223104 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11112 8663 364 364 0 10748 0
[pid=7975] vsize: 44448
Current children cumulated CPU time (s) 217.45
Current children cumulated vsize (Kb) 44448

[startup+230.009 s]
Raw data (loadavg): 0.99 0.92 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 14419 0 0 0 22568 170 0 0 25 0 1 0 21114488 45514752 8790 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11112 8790 364 364 0 10748 0
[pid=7975] vsize: 44448
Current children cumulated CPU time (s) 227.38
Current children cumulated vsize (Kb) 44448

[startup+240.009 s]
Raw data (loadavg): 0.99 0.93 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 14541 0 0 0 23555 175 0 0 25 0 1 0 21114488 45514752 8912 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7975/statm): 11112 8912 364 364 0 10748 0
[pid=7975] vsize: 44448
Current children cumulated CPU time (s) 237.3
Current children cumulated vsize (Kb) 44448

[startup+250.01 s]
Raw data (loadavg): 0.99 0.93 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 14661 0 0 0 24542 181 0 0 25 0 1 0 21114488 45514752 9032 4294967295 134512640 135987407 3221224560 3221222976 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11112 9032 364 364 0 10748 0
[pid=7975] vsize: 44448
Current children cumulated CPU time (s) 247.23
Current children cumulated vsize (Kb) 44448

[startup+260.011 s]
Raw data (loadavg): 0.99 0.93 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 14901 0 0 0 25530 186 0 0 25 0 1 0 21114488 45973504 9179 4294967295 134512640 135987407 3221224560 3221223104 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11224 9179 364 364 0 10860 0
[pid=7975] vsize: 44896
Current children cumulated CPU time (s) 257.16
Current children cumulated vsize (Kb) 44896

[startup+270.011 s]
Raw data (loadavg): 0.99 0.93 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 15116 0 0 0 26519 190 0 0 25 0 1 0 21114488 45973504 9208 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11224 9208 364 364 0 10860 0
[pid=7975] vsize: 44896
Current children cumulated CPU time (s) 267.09
Current children cumulated vsize (Kb) 44896

[startup+280.012 s]
Raw data (loadavg): 0.99 0.93 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 15333 0 0 0 27510 194 0 0 25 0 1 0 21114488 46194688 9239 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11278 9239 364 364 0 10914 0
[pid=7975] vsize: 45112
Current children cumulated CPU time (s) 277.04
Current children cumulated vsize (Kb) 45112

[startup+290.012 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 15439 0 0 0 28497 198 0 0 25 0 1 0 21114488 46383104 9345 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11324 9345 364 364 0 10960 0
[pid=7975] vsize: 45296
Current children cumulated CPU time (s) 286.95
Current children cumulated vsize (Kb) 45296

[startup+300.013 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 15597 0 0 0 29484 202 0 0 25 0 1 0 21114488 46383104 9410 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11324 9410 364 364 0 10960 0
[pid=7975] vsize: 45296
Current children cumulated CPU time (s) 296.86
Current children cumulated vsize (Kb) 45296

[startup+310.013 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 15923 0 0 0 30472 206 0 0 25 0 1 0 21114488 46698496 9550 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11401 9550 364 364 0 11037 0
[pid=7975] vsize: 45604
Current children cumulated CPU time (s) 306.78
Current children cumulated vsize (Kb) 45604

[startup+320.014 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 16211 0 0 0 31460 211 0 0 25 0 1 0 21114488 46833664 9652 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11434 9652 364 364 0 11070 0
[pid=7975] vsize: 45736
Current children cumulated CPU time (s) 316.71
Current children cumulated vsize (Kb) 45736

[startup+330.015 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 16503 0 0 0 32450 214 0 0 25 0 1 0 21114488 47349760 9851 4294967295 134512640 135987407 3221224560 3221222788 134829288 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11560 9851 364 364 0 11196 0
[pid=7975] vsize: 46240
Current children cumulated CPU time (s) 326.64
Current children cumulated vsize (Kb) 46240

[startup+340.014 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 16730 0 0 0 33438 218 0 0 25 0 1 0 21114488 47120384 9892 4294967295 134512640 135987407 3221224560 3221222980 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11504 9892 364 364 0 11140 0
[pid=7975] vsize: 46016
Current children cumulated CPU time (s) 336.56
Current children cumulated vsize (Kb) 46016

[startup+350.015 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 17019 0 0 0 34429 221 0 0 25 0 1 0 21114488 47349760 9995 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11560 9995 364 364 0 11196 0
[pid=7975] vsize: 46240
Current children cumulated CPU time (s) 346.5
Current children cumulated vsize (Kb) 46240

[startup+360.016 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 17194 0 0 0 35417 226 0 0 25 0 1 0 21114488 47349760 10077 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11560 10077 364 364 0 11196 0
[pid=7975] vsize: 46240
Current children cumulated CPU time (s) 356.43
Current children cumulated vsize (Kb) 46240

[startup+370.016 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 17465 0 0 0 36406 230 0 0 25 0 1 0 21114488 47349760 10162 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11560 10162 364 364 0 11196 0
[pid=7975] vsize: 46240
Current children cumulated CPU time (s) 366.36
Current children cumulated vsize (Kb) 46240

[startup+380.017 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 17688 0 0 0 37395 234 0 0 25 0 1 0 21114488 47513600 10292 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11600 10292 364 364 0 11236 0
[pid=7975] vsize: 46400
Current children cumulated CPU time (s) 376.29
Current children cumulated vsize (Kb) 46400

[startup+390.016 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 18048 0 0 0 38384 237 0 0 25 0 1 0 21114488 47845376 10466 4294967295 134512640 135987407 3221224560 3221223264 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11681 10466 364 364 0 11317 0
[pid=7975] vsize: 46724
Current children cumulated CPU time (s) 386.21
Current children cumulated vsize (Kb) 46724

[startup+400.017 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 18227 0 0 0 39376 241 0 0 25 0 1 0 21114488 47845376 10552 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11681 10552 364 364 0 11317 0
[pid=7975] vsize: 46724
Current children cumulated CPU time (s) 396.17
Current children cumulated vsize (Kb) 46724

[startup+410.018 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 18489 0 0 0 40367 245 0 0 25 0 1 0 21114488 47845376 10628 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11681 10628 364 364 0 11317 0
[pid=7975] vsize: 46724
Current children cumulated CPU time (s) 406.12
Current children cumulated vsize (Kb) 46724

[startup+420.018 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 18699 0 0 0 41356 249 0 0 25 0 1 0 21114488 48074752 10745 4294967295 134512640 135987407 3221224560 3221223104 134812138 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11737 10745 364 364 0 11373 0
[pid=7975] vsize: 46948
Current children cumulated CPU time (s) 416.05
Current children cumulated vsize (Kb) 46948

[startup+430.018 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 18905 0 0 0 42347 253 0 0 25 0 1 0 21114488 48074752 10765 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11737 10765 364 364 0 11373 0
[pid=7975] vsize: 46948
Current children cumulated CPU time (s) 426
Current children cumulated vsize (Kb) 46948

[startup+440.019 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 19005 0 0 0 43337 257 0 0 25 0 1 0 21114488 48074752 10772 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11737 10772 364 364 0 11373 0
[pid=7975] vsize: 46948
Current children cumulated CPU time (s) 435.94
Current children cumulated vsize (Kb) 46948

[startup+450.02 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 19225 0 0 0 44328 261 0 0 25 0 1 0 21114488 48238592 10806 4294967295 134512640 135987407 3221224560 3221223104 134811901 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11777 10806 364 364 0 11413 0
[pid=7975] vsize: 47108
Current children cumulated CPU time (s) 445.89
Current children cumulated vsize (Kb) 47108

[startup+460.02 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 19343 0 0 0 45318 265 0 0 25 0 1 0 21114488 48238592 10831 4294967295 134512640 135987407 3221224560 3221223104 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 11777 10831 364 364 0 11413 0
[pid=7975] vsize: 47108
Current children cumulated CPU time (s) 455.83
Current children cumulated vsize (Kb) 47108

[startup+470.02 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 21072 0 0 0 46306 273 0 0 25 0 1 0 21114488 71581696 10930 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17476 10930 364 364 0 17112 0
[pid=7975] vsize: 69904
Current children cumulated CPU time (s) 465.79
Current children cumulated vsize (Kb) 69904

[startup+480.021 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 21253 0 0 0 47296 276 0 0 25 0 1 0 21114488 71749632 11018 4294967295 134512640 135987407 3221224560 3221223104 134812166 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17517 11018 364 364 0 17153 0
[pid=7975] vsize: 70068
Current children cumulated CPU time (s) 475.72
Current children cumulated vsize (Kb) 70068

[startup+490.021 s]
Raw data (loadavg): 1.07 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 21447 0 0 0 48287 279 0 0 25 0 1 0 21114488 71749632 11119 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17517 11119 364 364 0 17153 0
[pid=7975] vsize: 70068
Current children cumulated CPU time (s) 485.66
Current children cumulated vsize (Kb) 70068

[startup+500.022 s]
Raw data (loadavg): 1.06 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 21698 0 0 0 49278 283 0 0 25 0 1 0 21114488 71749632 11184 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17517 11184 364 364 0 17153 0
[pid=7975] vsize: 70068
Current children cumulated CPU time (s) 495.61
Current children cumulated vsize (Kb) 70068

[startup+510.023 s]
Raw data (loadavg): 1.05 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 21825 0 0 0 50270 285 0 0 25 0 1 0 21114488 71942144 11218 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17564 11218 364 364 0 17200 0
[pid=7975] vsize: 70256
Current children cumulated CPU time (s) 505.55
Current children cumulated vsize (Kb) 70256

[startup+520.023 s]
Raw data (loadavg): 1.04 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 21999 0 0 0 51260 289 0 0 25 0 1 0 21114488 72392704 11299 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17674 11299 364 364 0 17310 0
[pid=7975] vsize: 70696
Current children cumulated CPU time (s) 515.49
Current children cumulated vsize (Kb) 70696

[startup+530.023 s]
Raw data (loadavg): 1.03 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 22037 0 0 0 52252 291 0 0 25 0 1 0 21114488 72392704 11337 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17674 11337 364 364 0 17310 0
[pid=7975] vsize: 70696
Current children cumulated CPU time (s) 525.43
Current children cumulated vsize (Kb) 70696

[startup+540.024 s]
Raw data (loadavg): 1.03 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) T 7974 7975 4060 0 -1 0 22242 0 0 0 53245 295 0 0 25 0 1 0 21114488 72527872 11449 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7975/statm): 17707 11449 364 364 0 17343 0
[pid=7975] vsize: 70828
Current children cumulated CPU time (s) 535.4
Current children cumulated vsize (Kb) 70828

[startup+550.025 s]
Raw data (loadavg): 1.02 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 22459 0 0 0 54234 299 0 0 25 0 1 0 21114488 72675328 11573 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7975/statm): 17743 11573 364 364 0 17379 0
[pid=7975] vsize: 70972
Current children cumulated CPU time (s) 545.33
Current children cumulated vsize (Kb) 70972

[startup+560.025 s]
Raw data (loadavg): 1.02 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 22697 0 0 0 55226 302 0 0 25 0 1 0 21114488 73216000 11718 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17875 11718 364 364 0 17511 0
[pid=7975] vsize: 71500
Current children cumulated CPU time (s) 555.28
Current children cumulated vsize (Kb) 71500

[startup+570.024 s]
Raw data (loadavg): 1.02 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 22803 0 0 0 56219 305 0 0 25 0 1 0 21114488 73216000 11731 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17875 11731 364 364 0 17511 0
[pid=7975] vsize: 71500
Current children cumulated CPU time (s) 565.24
Current children cumulated vsize (Kb) 71500

[startup+580.025 s]
Raw data (loadavg): 1.01 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 22973 0 0 0 57211 307 0 0 25 0 1 0 21114488 73543680 11808 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17955 11808 364 364 0 17591 0
[pid=7975] vsize: 71820
Current children cumulated CPU time (s) 575.18
Current children cumulated vsize (Kb) 71820

[startup+590.025 s]
Raw data (loadavg): 1.01 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 23072 0 0 0 58202 311 0 0 25 0 1 0 21114488 73543680 11814 4294967295 134512640 135987407 3221224560 3221223256 135288061 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17955 11814 364 364 0 17591 0
[pid=7975] vsize: 71820
Current children cumulated CPU time (s) 585.13
Current children cumulated vsize (Kb) 71820

[startup+600.026 s]
Raw data (loadavg): 1.01 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 23201 0 0 0 59194 314 0 0 25 0 1 0 21114488 73678848 11850 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17988 11850 364 364 0 17624 0
[pid=7975] vsize: 71952
Current children cumulated CPU time (s) 595.08
Current children cumulated vsize (Kb) 71952

[startup+610.027 s]
Raw data (loadavg): 1.01 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 23299 0 0 0 60186 316 0 0 25 0 1 0 21114488 73678848 11855 4294967295 134512640 135987407 3221224560 3221223200 134812363 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17988 11855 364 364 0 17624 0
[pid=7975] vsize: 71952
Current children cumulated CPU time (s) 605.02
Current children cumulated vsize (Kb) 71952

[startup+620.026 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 23401 0 0 0 61180 319 0 0 25 0 1 0 21114488 73678848 11864 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 17988 11864 364 364 0 17624 0
[pid=7975] vsize: 71952
Current children cumulated CPU time (s) 614.99
Current children cumulated vsize (Kb) 71952

[startup+630.027 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 23511 0 0 0 62172 321 0 0 25 0 1 0 21114488 73818112 11881 4294967295 134512640 135987407 3221224560 3221223200 134812363 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18022 11881 364 364 0 17658 0
[pid=7975] vsize: 72088
Current children cumulated CPU time (s) 624.93
Current children cumulated vsize (Kb) 72088

[startup+640.028 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 23625 0 0 0 63163 325 0 0 25 0 1 0 21114488 73818112 11902 4294967295 134512640 135987407 3221224560 3221223344 134825600 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18022 11902 364 364 0 17658 0
[pid=7975] vsize: 72088
Current children cumulated CPU time (s) 634.88
Current children cumulated vsize (Kb) 72088

[startup+650.029 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 23728 0 0 0 64157 327 0 0 25 0 1 0 21114488 73818112 11912 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18022 11912 364 364 0 17658 0
[pid=7975] vsize: 72088
Current children cumulated CPU time (s) 644.84
Current children cumulated vsize (Kb) 72088

[startup+660.03 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 23825 0 0 0 65149 329 0 0 25 0 1 0 21114488 73818112 11916 4294967295 134512640 135987407 3221224560 3221223164 134812115 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18022 11916 364 364 0 17658 0
[pid=7975] vsize: 72088
Current children cumulated CPU time (s) 654.78
Current children cumulated vsize (Kb) 72088

[startup+670.029 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 23838 0 0 0 66143 331 0 0 25 0 1 0 21114488 73818112 11929 4294967295 134512640 135987407 3221224560 3221223104 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18022 11929 364 364 0 17658 0
[pid=7975] vsize: 72088
Current children cumulated CPU time (s) 664.74
Current children cumulated vsize (Kb) 72088

[startup+680.03 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 24000 0 0 0 67137 333 0 0 25 0 1 0 21114488 74108928 11998 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18093 11998 364 364 0 17729 0
[pid=7975] vsize: 72372
Current children cumulated CPU time (s) 674.7
Current children cumulated vsize (Kb) 72372

[startup+690.03 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 24008 0 0 0 68130 336 0 0 25 0 1 0 21114488 74108928 12006 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18093 12006 364 364 0 17729 0
[pid=7975] vsize: 72372
Current children cumulated CPU time (s) 684.66
Current children cumulated vsize (Kb) 72372

[startup+700.031 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 24110 0 0 0 69119 340 0 0 25 0 1 0 21114488 74108928 12015 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18093 12015 364 364 0 17729 0
[pid=7975] vsize: 72372
Current children cumulated CPU time (s) 694.59
Current children cumulated vsize (Kb) 72372

[startup+710.032 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 24308 0 0 0 70109 344 0 0 25 0 1 0 21114488 74244096 12027 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18126 12027 364 364 0 17762 0
[pid=7975] vsize: 72504
Current children cumulated CPU time (s) 704.53
Current children cumulated vsize (Kb) 72504

[startup+720.031 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 24318 0 0 0 71099 347 0 0 25 0 1 0 21114488 74244096 12037 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18126 12037 364 364 0 17762 0
[pid=7975] vsize: 72504
Current children cumulated CPU time (s) 714.46
Current children cumulated vsize (Kb) 72504

[startup+730.032 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 24334 0 0 0 72087 351 0 0 25 0 1 0 21114488 74244096 12053 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18126 12053 364 364 0 17762 0
[pid=7975] vsize: 72504
Current children cumulated CPU time (s) 724.38
Current children cumulated vsize (Kb) 72504

[startup+740.033 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 24540 0 0 0 73079 354 0 0 25 0 1 0 21114488 74244096 12073 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18126 12073 364 364 0 17762 0
[pid=7975] vsize: 72504
Current children cumulated CPU time (s) 734.33
Current children cumulated vsize (Kb) 72504

[startup+750.034 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 24647 0 0 0 74070 358 0 0 25 0 1 0 21114488 74387456 12087 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18161 12087 364 364 0 17797 0
[pid=7975] vsize: 72644
Current children cumulated CPU time (s) 744.28
Current children cumulated vsize (Kb) 72644

[startup+760.034 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 24748 0 0 0 75061 361 0 0 25 0 1 0 21114488 74387456 12095 4294967295 134512640 135987407 3221224560 3221223104 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18161 12095 364 364 0 17797 0
[pid=7975] vsize: 72644
Current children cumulated CPU time (s) 754.22
Current children cumulated vsize (Kb) 72644

[startup+770.033 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 24882 0 0 0 76053 364 0 0 25 0 1 0 21114488 74551296 12136 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18201 12136 364 364 0 17837 0
[pid=7975] vsize: 72804
Current children cumulated CPU time (s) 764.17
Current children cumulated vsize (Kb) 72804

[startup+780.034 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 24966 0 0 0 77042 369 0 0 25 0 1 0 21114488 74944512 12220 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18297 12220 364 364 0 17933 0
[pid=7975] vsize: 73188
Current children cumulated CPU time (s) 774.11
Current children cumulated vsize (Kb) 73188

[startup+790.034 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 25002 0 0 0 78035 372 0 0 25 0 1 0 21114488 74944512 12256 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18297 12256 364 364 0 17933 0
[pid=7975] vsize: 73188
Current children cumulated CPU time (s) 784.07
Current children cumulated vsize (Kb) 73188

[startup+800.035 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 25119 0 0 0 79025 375 0 0 25 0 1 0 21114488 75182080 12280 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18355 12280 364 364 0 17991 0
[pid=7975] vsize: 73420
Current children cumulated CPU time (s) 794
Current children cumulated vsize (Kb) 73420

[startup+810.035 s]
Raw data (loadavg): 1.00 0.97 0.93 2/55 7977
Raw data (/proc/7975/stat): 7975 (pb2sat) R 7974 7975 4060 0 -1 0 25129 0 0 0 80016 378 0 0 25 0 1 0 21114488 75182080 12290 4294967295 134512640 135987407 3221224560 3221223104 134811899 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7975/statm): 18355 12290 364 364 0 17991 0
[pid=7975] vsize: 73420
Current children cumulated CPU time (s) 803.94
Current children cumulated vsize (Kb) 73420
One traced child (pid=7975) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 810.738
CPU time (s): 804.645
CPU user time (s): 800.836
CPU system time (s): 3.80842
CPU usage (%): 99.2484
Max. virtual memory (cumulated for all children) (Kb): 73420

Verifier Data

Verifier:	OK	64