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-3pb.opb
MD5SUMc267b57d74142f6538ad16680277f9bf
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 62
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 benchmark24.9102
Number of variables648
Total number of constraints1954
Number of constraints which are clauses1930
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 9712

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-23 15:02:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8442 boxname=wulflinc8 idbench=238 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c267b57d74142f6538ad16680277f9bf  /oldhome/oroussel/tmp/wulflinc8/normalized-s4-4-3-3pb.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-s4-4-3-3pb.opb
IDLAUNCH: 8442
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.023
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.023
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:        940128 kB
Buffers:         12336 kB
Cached:          65252 kB
SwapCached:          0 kB
Active:          44936 kB
Inactive:        35536 kB
HighTotal:      131008 kB
HighFree:        61852 kB
LowTotal:       903652 kB
LowFree:        878276 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8468 kB
Committed_AS:    63628 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:15:08 (client local time) WITH STATUS 30 IN 738.197 SECONDS
stats: 8442 0 738.197 30

Solver Data

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

c Decision: 586/2962	Time: 4.89526/86400
c Decision: 586/2962	Time: 5.35519/86400
c Decision: 586/2962	Time: 5.97409/86400
c Decision: 593/2962	Time: 6.86696/86400
c Decision: 593/2962	Time: 7.58085/86400
c Decision: 593/2962	Time: 8.27174/86400
c Decision: 593/2962	Time: 8.96464/86400
c Decision: 593/2962	Time: 9.73052/86400
c Decision: 593/2962	Time: 10.6124/86400
c Decision: 593/2962	Time: 11.4373/86400
c Decision: 593/2962	Time: 12.3161/86400
c Decision: 593/2962	Time: 13.145/86400
c Decision: 593/2962	Time: 14.0449/86400
c Decision: 593/2962	Time: 14.8827/86400
c Decision: 593/2962	Time: 15.6326/86400
c Decision: 593/2962	Time: 16.8304/86400
c Decision: 593/2962	Time: 17.7063/86400
c Decision: 593/2962	Time: 18.6982/86400
c got solution with objective value: 72
c small objective detected
c CONFLICT during preprocess 

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

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

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

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

c Decision: 22261/47139	Time: 18.2562/86400
c Decision: 22261/47139	Time: 22.5826/86400
c Decision: 22261/47139	Time: 27.4958/86400
c Decision: 22848/47139	Time: 33.4369/86400
c Decision: 22848/47139	Time: 38.6341/86400
c Decision: 23894/47139	Time: 44.5352/86400
c [startup+72.9839 s]  setting bit 5 to 0

c Decision: 12846/47139	Time: 10.8254/86400
c Decision: 12846/47139	Time: 16.4165/86400
c Decision: 12846/47139	Time: 22.6676/86400
c Decision: 12846/47139	Time: 29.2586/86400
c Decision: 12846/47139	Time: 36.4645/86400
c Decision: 12846/47139	Time: 43.9473/86400
c Decision: 12846/47139	Time: 49.7084/86400
c Decision: 12846/47139	Time: 57.2863/86400
c Decision: 12846/47139	Time: 65.1461/86400
c Decision: 12846/47139	Time: 73.0009/86400
c Decision: 12846/47139	Time: 80.8607/86400
c Decision: 12846/47139	Time: 87.1478/86400
c Decision: 12846/47139	Time: 93.0069/86400
c Decision: 12846/47139	Time: 100.039/86400
c Decision: 12846/47139	Time: 108.067/86400
c Decision: 12846/47139	Time: 115.508/86400
c Decision: 12846/47139	Time: 122.696/86400
c Decision: 12846/47139	Time: 129.462/86400
c Decision: 12846/47139	Time: 135.793/86400
c Decision: 12846/47139	Time: 144.351/86400
c Decision: 12846/47139	Time: 151.992/86400
c Decision: 12846/47139	Time: 158.252/86400
c Decision: 12892/47139	Time: 171.991/86400
c Decision: 12892/47139	Time: 179.726/86400
c Decision: 12892/47139	Time: 187.264/86400
c Decision: 12892/47139	Time: 195.137/86400
c Decision: 12892/47139	Time: 203.762/86400
c Decision: 12892/47139	Time: 212.111/86400
c Decision: 12892/47139	Time: 219.89/86400
c Decision: 12892/47139	Time: 229.893/86400
c [startup+333.538 s]  setting bit 4 to 0

c Decision: 13024/47139	Time: 46.6199/86400
c Decision: 14571/47139	Time: 60.3298/86400
c Decision: 14571/47139	Time: 68.8235/86400
c Decision: 14571/47139	Time: 77.6542/86400
c got solution with objective value: 62
c [startup+422.703 s]  setting bit 3 to 1

c Decision: 15319/47139	Time: 36.2905/86400
c Decision: 15319/47139	Time: 44.7412/86400
c Decision: 15319/47139	Time: 52.833/86400
c Decision: 15319/47139	Time: 61.3307/86400
c Decision: 15319/47139	Time: 69.1975/86400
c Decision: 15319/47139	Time: 78.1121/86400
c Decision: 15319/47139	Time: 85.9239/86400
c Decision: 15319/47139	Time: 94.4176/86400
c Decision: 15323/47139	Time: 110.974/86400
c Decision: 15329/47139	Time: 126.741/86400
c [startup+568.51 s]  setting bit 2 to 0

c Decision: 16878/47139	Time: 7.75982/86400
c Decision: 16878/47139	Time: 14.2238/86400
c Decision: 16878/47139	Time: 22.5956/86400
c Decision: 16878/47139	Time: 29.0496/86400
c Decision: 16878/47139	Time: 37.4153/86400
c Decision: 16878/47139	Time: 46.8109/86400
c Decision: 16878/47139	Time: 53.9288/86400
c Decision: 16878/47139	Time: 63.7403/86400
c Decision: 16878/47139	Time: 72.376/86400
c Decision: 16878/47139	Time: 81.9735/86400
c Decision: 16880/47139	Time: 91.5851/86400
c Decision: 16881/47139	Time: 102.432/86400
c Decision: 16887/47139	Time: 126.167/86400
c [startup+705.493 s]  setting bit 1 to 0

c got solution with objective value: 62
c [startup+743.086 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/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21129015 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 373 2 364 364 0 9 0
[pid=7352] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc8/normalized-s4-4-3-3pb.opb

[startup+10.0022 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 1316 0 0 0 919 30 0 0 25 0 1 0 21129015 6402048 1110 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 1563 1110 364 364 0 1199 0
[pid=7352] vsize: 6252
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (Kb) 6252

[startup+20.0029 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 1712 0 0 0 1854 54 0 0 25 0 1 0 21129015 9121792 1506 4294967295 134512640 135987407 3221224576 3221223264 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 2227 1506 364 364 0 1863 0
[pid=7352] vsize: 8908
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (Kb) 8908

[startup+30.0037 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 9349 0 0 0 2823 75 0 0 25 0 1 0 21129015 32251904 6138 4294967295 134512640 135987407 3221224576 3221223296 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 7874 6138 364 364 0 7510 0
[pid=7352] vsize: 31496
Current children cumulated CPU time (s) 28.98
Current children cumulated vsize (Kb) 31496

[startup+40.0035 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 9689 0 0 0 3801 83 0 0 25 0 1 0 21129015 33325056 6478 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 8136 6478 364 364 0 7772 0
[pid=7352] vsize: 32544
Current children cumulated CPU time (s) 38.84
Current children cumulated vsize (Kb) 32544

[startup+50.0043 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 9898 0 0 0 4780 91 0 0 25 0 1 0 21129015 33521664 6594 4294967295 134512640 135987407 3221224576 3221223184 134801180 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 8184 6594 364 364 0 7820 0
[pid=7352] vsize: 32736
Current children cumulated CPU time (s) 48.71
Current children cumulated vsize (Kb) 32736

[startup+60.0051 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 10202 0 0 0 5768 96 0 0 25 0 1 0 21129015 33837056 6712 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 8261 6712 364 364 0 7897 0
[pid=7352] vsize: 33044
Current children cumulated CPU time (s) 58.64
Current children cumulated vsize (Kb) 33044

[startup+70.0059 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 10614 0 0 0 6752 103 0 0 25 0 1 0 21129015 34525184 6938 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 8429 6938 364 364 0 8065 0
[pid=7352] vsize: 33716
Current children cumulated CPU time (s) 68.55
Current children cumulated vsize (Kb) 33716

[startup+80.0067 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 10822 0 0 0 7738 109 0 0 25 0 1 0 21129015 34689024 7053 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 8469 7053 364 364 0 8105 0
[pid=7352] vsize: 33876
Current children cumulated CPU time (s) 78.47
Current children cumulated vsize (Kb) 33876

[startup+90.0065 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 11068 0 0 0 8724 115 0 0 25 0 1 0 21129015 34689024 7113 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 8469 7113 364 364 0 8105 0
[pid=7352] vsize: 33876
Current children cumulated CPU time (s) 88.39
Current children cumulated vsize (Kb) 33876

[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 11339 0 0 0 9710 121 0 0 25 0 1 0 21129015 35217408 7291 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 8598 7291 364 364 0 8234 0
[pid=7352] vsize: 34392
Current children cumulated CPU time (s) 98.31
Current children cumulated vsize (Kb) 34392

[startup+110.007 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 11461 0 0 0 10698 125 0 0 25 0 1 0 21129015 35622912 7413 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 8697 7413 364 364 0 8333 0
[pid=7352] vsize: 34788
Current children cumulated CPU time (s) 108.23
Current children cumulated vsize (Kb) 34788

[startup+120.007 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 11632 0 0 0 11687 130 0 0 25 0 1 0 21129015 35622912 7491 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 8697 7491 364 364 0 8333 0
[pid=7352] vsize: 34788
Current children cumulated CPU time (s) 118.17
Current children cumulated vsize (Kb) 34788

[startup+130.008 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 11707 0 0 0 12680 133 0 0 25 0 1 0 21129015 35622912 7566 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 8697 7566 364 364 0 8333 0
[pid=7352] vsize: 34788
Current children cumulated CPU time (s) 128.13
Current children cumulated vsize (Kb) 34788

[startup+140.008 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 11863 0 0 0 13669 138 0 0 25 0 1 0 21129015 35622912 7629 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 8697 7629 364 364 0 8333 0
[pid=7352] vsize: 34788
Current children cumulated CPU time (s) 138.07
Current children cumulated vsize (Kb) 34788

[startup+150.008 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 11948 0 0 0 14660 141 0 0 25 0 1 0 21129015 35803136 7714 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 8741 7714 364 364 0 8377 0
[pid=7352] vsize: 34964
Current children cumulated CPU time (s) 148.01
Current children cumulated vsize (Kb) 34964

[startup+160.009 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 12117 0 0 0 15652 144 0 0 25 0 1 0 21129015 35803136 7790 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 8741 7790 364 364 0 8377 0
[pid=7352] vsize: 34964
Current children cumulated CPU time (s) 157.96
Current children cumulated vsize (Kb) 34964

[startup+170.01 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 12398 0 0 0 16640 149 0 0 25 0 1 0 21129015 44331008 7885 4294967295 134512640 135987407 3221224576 3221223120 134811706 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 10823 7885 364 364 0 10459 0
[pid=7352] vsize: 43292
Current children cumulated CPU time (s) 167.89
Current children cumulated vsize (Kb) 43292

[startup+180.011 s]
Raw data (loadavg): 1.02 0.99 0.99 1/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) T 7351 7352 4060 0 -1 0 12674 0 0 0 17630 153 0 0 25 0 1 0 21129015 44859392 8068 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7352/statm): 10952 8068 364 364 0 10588 0
[pid=7352] vsize: 43808
Current children cumulated CPU time (s) 177.83
Current children cumulated vsize (Kb) 43808

[startup+190.01 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 13035 0 0 0 18620 156 0 0 25 0 1 0 21129015 45600768 8243 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11133 8243 364 364 0 10769 0
[pid=7352] vsize: 44532
Current children cumulated CPU time (s) 187.76
Current children cumulated vsize (Kb) 44532

[startup+200.01 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 13210 0 0 0 19612 159 0 0 25 0 1 0 21129015 45600768 8325 4294967295 134512640 135987407 3221224576 3221222992 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11133 8325 364 364 0 10769 0
[pid=7352] vsize: 44532
Current children cumulated CPU time (s) 197.71
Current children cumulated vsize (Kb) 44532

[startup+210.01 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7352
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 13485 0 0 0 20603 162 0 0 25 0 1 0 21129015 45600768 8414 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11133 8414 364 364 0 10769 0
[pid=7352] vsize: 44532
Current children cumulated CPU time (s) 207.65
Current children cumulated vsize (Kb) 44532

[startup+220.01 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 13646 0 0 0 21595 166 0 0 25 0 1 0 21129015 45600768 8482 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11133 8482 364 364 0 10769 0
[pid=7352] vsize: 44532
Current children cumulated CPU time (s) 217.61
Current children cumulated vsize (Kb) 44532

[startup+230.01 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 13784 0 0 0 22587 169 0 0 25 0 1 0 21129015 45600768 8527 4294967295 134512640 135987407 3221224576 3221223216 134812400 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11133 8527 364 364 0 10769 0
[pid=7352] vsize: 44532
Current children cumulated CPU time (s) 227.56
Current children cumulated vsize (Kb) 44532

[startup+240.01 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 13962 0 0 0 23580 172 0 0 25 0 1 0 21129015 45780992 8612 4294967295 134512640 135987407 3221224576 3221223216 134812319 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11177 8612 364 364 0 10813 0
[pid=7352] vsize: 44708
Current children cumulated CPU time (s) 237.52
Current children cumulated vsize (Kb) 44708

[startup+250.01 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 14260 0 0 0 24572 176 0 0 25 0 1 0 21129015 46366720 8817 4294967295 134512640 135987407 3221224576 3221223296 134812660 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11320 8817 364 364 0 10956 0
[pid=7352] vsize: 45280
Current children cumulated CPU time (s) 247.48
Current children cumulated vsize (Kb) 45280

[startup+260.011 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 14536 0 0 0 25564 178 0 0 25 0 1 0 21129015 46907392 9000 4294967295 134512640 135987407 3221224576 3221223120 134812194 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11452 9000 364 364 0 11088 0
[pid=7352] vsize: 45808
Current children cumulated CPU time (s) 257.42
Current children cumulated vsize (Kb) 45808

[startup+270.011 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 14788 0 0 0 26556 181 0 0 25 0 1 0 21129015 46907392 9066 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11452 9066 364 364 0 11088 0
[pid=7352] vsize: 45808
Current children cumulated CPU time (s) 267.37
Current children cumulated vsize (Kb) 45808

[startup+280.011 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 14928 0 0 0 27549 184 0 0 25 0 1 0 21129015 47177728 9113 4294967295 134512640 135987407 3221224576 3221223120 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11518 9113 364 364 0 11154 0
[pid=7352] vsize: 46072
Current children cumulated CPU time (s) 277.33
Current children cumulated vsize (Kb) 46072

[startup+290.012 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 15031 0 0 0 28540 187 0 0 25 0 1 0 21129015 47177728 9123 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11518 9123 364 364 0 11154 0
[pid=7352] vsize: 46072
Current children cumulated CPU time (s) 287.27
Current children cumulated vsize (Kb) 46072

[startup+300.012 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 15132 0 0 0 29534 190 0 0 25 0 1 0 21129015 47177728 9131 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11518 9131 364 364 0 11154 0
[pid=7352] vsize: 46072
Current children cumulated CPU time (s) 297.24
Current children cumulated vsize (Kb) 46072

[startup+310.012 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 15351 0 0 0 30527 192 0 0 25 0 1 0 21129015 47583232 9257 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11617 9257 364 364 0 11253 0
[pid=7352] vsize: 46468
Current children cumulated CPU time (s) 307.19
Current children cumulated vsize (Kb) 46468

[startup+320.011 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 15502 0 0 0 31520 194 0 0 25 0 1 0 21129015 47988736 9408 4294967295 134512640 135987407 3221224576 3221223120 134788602 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11716 9408 364 364 0 11352 0
[pid=7352] vsize: 46864
Current children cumulated CPU time (s) 317.14
Current children cumulated vsize (Kb) 46864

[startup+330.012 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 15614 0 0 0 32512 198 0 0 25 0 1 0 21129015 47988736 9520 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11716 9520 364 364 0 11352 0
[pid=7352] vsize: 46864
Current children cumulated CPU time (s) 327.1
Current children cumulated vsize (Kb) 46864

[startup+340.012 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 15782 0 0 0 33502 201 0 0 25 0 1 0 21129015 47988736 9595 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11716 9595 364 364 0 11352 0
[pid=7352] vsize: 46864
Current children cumulated CPU time (s) 337.03
Current children cumulated vsize (Kb) 46864

[startup+350.012 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 15867 0 0 0 34493 204 0 0 25 0 1 0 21129015 47988736 9680 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11716 9680 364 364 0 11352 0
[pid=7352] vsize: 46864
Current children cumulated CPU time (s) 346.97
Current children cumulated vsize (Kb) 46864

[startup+360.013 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 15931 0 0 0 35484 207 0 0 25 0 1 0 21129015 47988736 9744 4294967295 134512640 135987407 3221224576 3221223184 134811685 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11716 9744 364 364 0 11352 0
[pid=7352] vsize: 46864
Current children cumulated CPU time (s) 356.91
Current children cumulated vsize (Kb) 46864

[startup+370.012 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 16001 0 0 0 36473 212 0 0 25 0 1 0 21129015 47988736 9814 4294967295 134512640 135987407 3221224576 3221223248 134824696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11716 9814 364 364 0 11352 0
[pid=7352] vsize: 46864
Current children cumulated CPU time (s) 366.85
Current children cumulated vsize (Kb) 46864

[startup+380.013 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 16057 0 0 0 37461 216 0 0 25 0 1 0 21129015 47988736 9870 4294967295 134512640 135987407 3221224576 3221223072 134789452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11716 9870 364 364 0 11352 0
[pid=7352] vsize: 46864
Current children cumulated CPU time (s) 376.77
Current children cumulated vsize (Kb) 46864

[startup+390.014 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 16246 0 0 0 38450 220 0 0 25 0 1 0 21129015 48455680 9966 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11830 9966 364 364 0 11466 0
[pid=7352] vsize: 47320
Current children cumulated CPU time (s) 386.7
Current children cumulated vsize (Kb) 47320

[startup+400.014 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 16357 0 0 0 39444 223 0 0 25 0 1 0 21129015 48455680 9984 4294967295 134512640 135987407 3221224576 3221223280 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11830 9984 364 364 0 11466 0
[pid=7352] vsize: 47320
Current children cumulated CPU time (s) 396.67
Current children cumulated vsize (Kb) 47320

[startup+410.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 16517 0 0 0 40435 225 0 0 25 0 1 0 21129015 48455680 10051 4294967295 134512640 135987407 3221224576 3221223296 134812752 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 11830 10051 364 364 0 11466 0
[pid=7352] vsize: 47320
Current children cumulated CPU time (s) 406.6
Current children cumulated vsize (Kb) 47320

[startup+420.014 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 16708 0 0 0 41425 229 0 0 25 0 1 0 21129015 48652288 10149 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 11878 10149 364 364 0 11514 0
[pid=7352] vsize: 47512
Current children cumulated CPU time (s) 416.54
Current children cumulated vsize (Kb) 47512

[startup+430.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 16937 0 0 0 42414 233 0 0 25 0 1 0 21129015 49057792 10285 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 11977 10285 364 364 0 11613 0
[pid=7352] vsize: 47908
Current children cumulated CPU time (s) 426.47
Current children cumulated vsize (Kb) 47908

[startup+440.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 17029 0 0 0 43401 237 0 0 25 0 1 0 21129015 49057792 10377 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 11977 10377 364 364 0 11613 0
[pid=7352] vsize: 47908
Current children cumulated CPU time (s) 436.38
Current children cumulated vsize (Kb) 47908

[startup+450.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 17113 0 0 0 44392 241 0 0 25 0 1 0 21129015 49057792 10461 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 11977 10461 364 364 0 11613 0
[pid=7352] vsize: 47908
Current children cumulated CPU time (s) 446.33
Current children cumulated vsize (Kb) 47908

[startup+460.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 17295 0 0 0 45383 244 0 0 25 0 1 0 21129015 49192960 10550 4294967295 134512640 135987407 3221224576 3221223120 134811912 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 12010 10550 364 364 0 11646 0
[pid=7352] vsize: 48040
Current children cumulated CPU time (s) 456.27
Current children cumulated vsize (Kb) 48040

[startup+470.016 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 17426 0 0 0 46374 248 0 0 25 0 1 0 21129015 49549312 10588 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 12097 10588 364 364 0 11733 0
[pid=7352] vsize: 48388
Current children cumulated CPU time (s) 466.22
Current children cumulated vsize (Kb) 48388

[startup+480.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 17435 0 0 0 47367 251 0 0 25 0 1 0 21129015 49549312 10597 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 12097 10597 364 364 0 11733 0
[pid=7352] vsize: 48388
Current children cumulated CPU time (s) 476.18
Current children cumulated vsize (Kb) 48388

[startup+490.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 17440 0 0 0 48359 254 0 0 25 0 1 0 21129015 49549312 10602 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 12097 10602 364 364 0 11733 0
[pid=7352] vsize: 48388
Current children cumulated CPU time (s) 486.13
Current children cumulated vsize (Kb) 48388

[startup+500.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 17557 0 0 0 49353 256 0 0 25 0 1 0 21129015 49549312 10626 4294967295 134512640 135987407 3221224576 3221223208 134812410 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7352/statm): 12097 10626 364 364 0 11733 0
[pid=7352] vsize: 48388
Current children cumulated CPU time (s) 496.09
Current children cumulated vsize (Kb) 48388

[startup+510.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 17623 0 0 0 50345 260 0 0 25 0 1 0 21129015 49696768 10692 4294967295 134512640 135987407 3221224576 3221223248 134824696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 12133 10692 364 364 0 11769 0
[pid=7352] vsize: 48532
Current children cumulated CPU time (s) 506.05
Current children cumulated vsize (Kb) 48532

[startup+520.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 17715 0 0 0 51340 262 0 0 25 0 1 0 21129015 49889280 10784 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 12180 10784 364 364 0 11816 0
[pid=7352] vsize: 48720
Current children cumulated CPU time (s) 516.02
Current children cumulated vsize (Kb) 48720

[startup+530.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 17824 0 0 0 52332 265 0 0 25 0 1 0 21129015 50024448 10893 4294967295 134512640 135987407 3221224576 3221223296 134812591 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 12213 10893 364 364 0 11849 0
[pid=7352] vsize: 48852
Current children cumulated CPU time (s) 525.97
Current children cumulated vsize (Kb) 48852

[startup+540.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) T 7351 7352 4060 0 -1 0 18119 0 0 0 53324 268 0 0 25 0 1 0 21129015 50462720 11095 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7352/statm): 12320 11095 364 364 0 11956 0
[pid=7352] vsize: 49280
Current children cumulated CPU time (s) 535.92
Current children cumulated vsize (Kb) 49280

[startup+550.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 18265 0 0 0 54317 271 0 0 25 0 1 0 21129015 50868224 11241 4294967295 134512640 135987407 3221224576 3221223152 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 12419 11241 364 364 0 12055 0
[pid=7352] vsize: 49676
Current children cumulated CPU time (s) 545.88
Current children cumulated vsize (Kb) 49676

[startup+560.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 18452 0 0 0 55310 274 0 0 25 0 1 0 21129015 50868224 11335 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 12419 11335 364 364 0 12055 0
[pid=7352] vsize: 49676
Current children cumulated CPU time (s) 555.84
Current children cumulated vsize (Kb) 49676

[startup+570.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 18553 0 0 0 56304 275 0 0 25 0 1 0 21129015 50868224 11343 4294967295 134512640 135987407 3221224576 3221223120 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 12419 11343 364 364 0 12055 0
[pid=7352] vsize: 49676
Current children cumulated CPU time (s) 565.79
Current children cumulated vsize (Kb) 49676

[startup+580.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 18652 0 0 0 57295 280 0 0 25 0 1 0 21129015 50868224 11349 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 12419 11349 364 364 0 12055 0
[pid=7352] vsize: 49676
Current children cumulated CPU time (s) 575.75
Current children cumulated vsize (Kb) 49676

[startup+590.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20194 0 0 0 58283 286 0 0 25 0 1 0 21129015 57159680 11354 4294967295 134512640 135987407 3221224576 3221223296 134812666 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 13955 11354 364 364 0 13591 0
[pid=7352] vsize: 55820
Current children cumulated CPU time (s) 585.69
Current children cumulated vsize (Kb) 55820

[startup+600.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20313 0 0 0 59275 289 0 0 25 0 1 0 21129015 57294848 11380 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 13988 11380 364 364 0 13624 0
[pid=7352] vsize: 55952
Current children cumulated CPU time (s) 595.64
Current children cumulated vsize (Kb) 55952

[startup+610.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20466 0 0 0 60269 292 0 0 25 0 1 0 21129015 57700352 11440 4294967295 134512640 135987407 3221224576 3221222992 134788462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14087 11440 364 364 0 13723 0
[pid=7352] vsize: 56348
Current children cumulated CPU time (s) 605.61
Current children cumulated vsize (Kb) 56348

[startup+620.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20476 0 0 0 61263 294 0 0 25 0 1 0 21129015 57700352 11450 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14087 11450 364 364 0 13723 0
[pid=7352] vsize: 56348
Current children cumulated CPU time (s) 615.57
Current children cumulated vsize (Kb) 56348

[startup+630.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20480 0 0 0 62255 296 0 0 25 0 1 0 21129015 57700352 11454 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14087 11454 364 364 0 13723 0
[pid=7352] vsize: 56348
Current children cumulated CPU time (s) 625.51
Current children cumulated vsize (Kb) 56348

[startup+640.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20491 0 0 0 63249 299 0 0 25 0 1 0 21129015 57700352 11465 4294967295 134512640 135987407 3221224576 3221223248 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14087 11465 364 364 0 13723 0
[pid=7352] vsize: 56348
Current children cumulated CPU time (s) 635.48
Current children cumulated vsize (Kb) 56348

[startup+650.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20498 0 0 0 64243 300 0 0 25 0 1 0 21129015 57700352 11472 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14087 11472 364 364 0 13723 0
[pid=7352] vsize: 56348
Current children cumulated CPU time (s) 645.43
Current children cumulated vsize (Kb) 56348

[startup+660.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20503 0 0 0 65237 302 0 0 25 0 1 0 21129015 57700352 11477 4294967295 134512640 135987407 3221224576 3221223152 134813818 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14087 11477 364 364 0 13723 0
[pid=7352] vsize: 56348
Current children cumulated CPU time (s) 655.39
Current children cumulated vsize (Kb) 56348

[startup+670.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20601 0 0 0 66231 305 0 0 25 0 1 0 21129015 57700352 11482 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14087 11482 364 364 0 13723 0
[pid=7352] vsize: 56348
Current children cumulated CPU time (s) 665.36
Current children cumulated vsize (Kb) 56348

[startup+680.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20699 0 0 0 67226 307 0 0 25 0 1 0 21129015 57700352 11487 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14087 11487 364 364 0 13723 0
[pid=7352] vsize: 56348
Current children cumulated CPU time (s) 675.33
Current children cumulated vsize (Kb) 56348

[startup+690.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20703 0 0 0 68222 309 0 0 25 0 1 0 21129015 57700352 11491 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14087 11491 364 364 0 13723 0
[pid=7352] vsize: 56348
Current children cumulated CPU time (s) 685.31
Current children cumulated vsize (Kb) 56348

[startup+700.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20826 0 0 0 69215 311 0 0 25 0 1 0 21129015 57835520 11521 4294967295 134512640 135987407 3221224576 3221223120 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14120 11521 364 364 0 13756 0
[pid=7352] vsize: 56480
Current children cumulated CPU time (s) 695.26
Current children cumulated vsize (Kb) 56480

[startup+710.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20961 0 0 0 70206 315 0 0 25 0 1 0 21129015 58134528 11563 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14193 11563 364 364 0 13829 0
[pid=7352] vsize: 56772
Current children cumulated CPU time (s) 705.21
Current children cumulated vsize (Kb) 56772

[startup+720.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 20989 0 0 0 71196 319 0 0 25 0 1 0 21129015 58134528 11591 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14193 11591 364 364 0 13829 0
[pid=7352] vsize: 56772
Current children cumulated CPU time (s) 715.15
Current children cumulated vsize (Kb) 56772

[startup+730.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 21009 0 0 0 72187 322 0 0 25 0 1 0 21129015 58363904 11611 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14249 11611 364 364 0 13885 0
[pid=7352] vsize: 56996
Current children cumulated CPU time (s) 725.09
Current children cumulated vsize (Kb) 56996

[startup+740.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7354
Raw data (/proc/7352/stat): 7352 (pb2sat) R 7351 7352 4060 0 -1 0 21023 0 0 0 73177 325 0 0 25 0 1 0 21129015 58363904 11625 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7352/statm): 14249 11625 364 364 0 13885 0
[pid=7352] vsize: 56996
Current children cumulated CPU time (s) 735.02
Current children cumulated vsize (Kb) 56996
One traced child (pid=7352) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 743.209
CPU time (s): 738.197
CPU user time (s): 734.91
CPU system time (s): 3.2865
CPU usage (%): 99.3256
Max. virtual memory (cumulated for all children) (Kb): 56996

Verifier Data

Verifier:	OK	62