Name | submitted/manquinho/routing/normalized-s4-4-3-4pb.opb |
MD5SUM | c1a86b94297136b91215b2ae8a8f5643 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 60 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 696 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 696 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 696 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 157.286 |
Number of variables | 696 |
Total number of constraints | 2096 |
Number of constraints which are clauses | 2072 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 29 |
LAUNCH ON wulflinc31 THE 2005-09-23 15:02:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8443 boxname=wulflinc31 idbench=239 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: c1a86b94297136b91215b2ae8a8f5643 /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-4pb.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-4pb.opb IDLAUNCH: 8443 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.047 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.047 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 928020 kB Buffers: 18400 kB Cached: 69660 kB SwapCached: 0 kB Active: 41344 kB Inactive: 49620 kB HighTotal: 131008 kB HighFree: 57512 kB LowTotal: 903652 kB LowFree: 870508 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 10076 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 15:14:49 (client local time) WITH STATUS 30 IN 715.659 SECONDS stats: 8443 0 715.659 30
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 644/3202 Time: 0.45993/86400 c Decision: 644/3202 Time: 0.792879/86400 c Decision: 648/3202 Time: 1.34279/86400 c Decision: 652/3202 Time: 1.89571/86400 c got solution with objective value: 72 c small objective detected c CONFLICT during preprocess c [startup+5.24792 s] setting bit 9 to 0 c CONFLICT during preprocess c [startup+5.40348 s] setting bit 8 to 0 c CONFLICT during preprocess c [startup+5.56021 s] setting bit 7 to 0 c [startup+5.93815 s] setting bit 6 to 0 c Decision: 23867/50835 Time: 7.74782/86400 c Decision: 23877/50835 Time: 13.7429/86400 c Decision: 23877/50835 Time: 21.1268/86400 c [startup+47.5148 s] setting bit 5 to 0 c Decision: 20401/50835 Time: 14.8857/86400 c Decision: 20401/50835 Time: 21.3078/86400 c Decision: 20401/50835 Time: 26.8239/86400 c Decision: 20403/50835 Time: 31.4462/86400 c Decision: 20403/50835 Time: 37.5353/86400 c Decision: 20403/50835 Time: 42.0846/86400 c Decision: 20403/50835 Time: 47.3018/86400 c Decision: 20403/50835 Time: 53.1359/86400 c Decision: 20403/50835 Time: 56.8194/86400 c Decision: 20403/50835 Time: 63.5813/86400 c Decision: 20403/50835 Time: 70.6813/86400 c Decision: 20403/50835 Time: 75.3215/86400 c Decision: 20403/50835 Time: 80.9957/86400 c Decision: 20403/50835 Time: 85.713/86400 c Decision: 20403/50835 Time: 90.9702/86400 c Decision: 20405/50835 Time: 103.916/86400 c Decision: 20407/50835 Time: 116.366/86400 c Decision: 20410/50835 Time: 124.023/86400 c Decision: 20410/50835 Time: 129.482/86400 c Decision: 20410/50835 Time: 136.148/86400 c Decision: 20410/50835 Time: 143.874/86400 c Decision: 20410/50835 Time: 150.151/86400 c Decision: 20608/50835 Time: 162.924/86400 c Decision: 20608/50835 Time: 171.173/86400 c Decision: 20608/50835 Time: 178.623/86400 c Decision: 20608/50835 Time: 186.638/86400 c Decision: 20608/50835 Time: 194.339/86400 c Decision: 20608/50835 Time: 201.389/86400 c Decision: 20608/50835 Time: 209.401/86400 c Decision: 20608/50835 Time: 215.633/86400 c Decision: 20608/50835 Time: 224.005/86400 c Decision: 20610/50835 Time: 235.162/86400 c Decision: 20610/50835 Time: 243.791/86400 c Decision: 20610/50835 Time: 251.776/86400 c Decision: 20610/50835 Time: 259.685/86400 c Decision: 20610/50835 Time: 270.519/86400 c Decision: 20610/50835 Time: 279.509/86400 c Decision: 20610/50835 Time: 288.576/86400 c [startup+341.614 s] setting bit 4 to 0 c got solution with objective value: 62 c [startup+411.14 s] setting bit 3 to 1 c Decision: 18881/50835 Time: 84.3212/86400 c Decision: 18881/50835 Time: 94.9636/86400 c Decision: 18881/50835 Time: 104.051/86400 c Decision: 18881/50835 Time: 113.359/86400 c Decision: 18881/50835 Time: 124.26/86400 c Decision: 18882/50835 Time: 139.257/86400 c Decision: 18882/50835 Time: 148.969/86400 c Decision: 18882/50835 Time: 157.303/86400 c Decision: 18882/50835 Time: 169.76/86400 c Decision: 18882/50835 Time: 179.933/86400 c Decision: 18882/50835 Time: 189.989/86400 c Decision: 18882/50835 Time: 198.995/86400 c Decision: 18882/50835 Time: 211.164/86400 c Decision: 18882/50835 Time: 222.168/86400 c Decision: 25640/50835 Time: 244.921/86400 c [startup+673.016 s] setting bit 2 to 0 c Decision: 18195/50835 Time: 25.3032/86400 c got solution with objective value: 60 c [startup+718.972 s] setting bit 1 to 1 c got solution with objective value: 60 c [startup+720.042 s] setting bit 0 to 1 s OPTIMUM FOUND v -v1 -v10 -v100 -v101 -v102 -v103 -v104 -v105 v106 v107 -v108 -v109 -v11 -v110 -v111 -v112 v113 -v114 -v115 -v116 v117 -v118 -v119 v12 -v120 -v121 -v122 -v123 -v124 v125 v126 -v127 -v128 -v129 -v13 -v130 -v131 -v132 -v133 -v134 -v135 -v136 -v137 v138 -v139 -v14 -v140 -v141 -v142 -v143 -v144 -v145 -v146 -v147 -v148 -v149 -v15 -v150 -v151 -v152 -v153 -v154 -v155 v156 -v157 -v158 -v159 -v16 -v160 -v161 -v162 -v163 -v164 -v165 -v166 -v167 -v168 -v169 -v17 -v170 -v171 -v172 -v173 -v174 -v175 v176 -v177 -v178 -v179 -v18 -v180 -v181 -v182 -v183 -v184 -v185 -v186 -v187 -v188 -v189 -v19 -v190 -v191 -v192 -v193 -v194 -v195 v196 v197 -v198 -v199 -v2 -v20 -v200 -v201 -v202 -v203 -v204 v205 -v206 -v207 -v208 -v209 -v21 -v210 -v211 -v212 -v213 -v214 -v215 -v216 -v217 v218 -v219 -v22 -v220 -v221 -v222 -v223 -v224 v225 -v226 -v227 -v228 -v229 -v23 -v230 v231 -v232 -v233 -v234 v235 -v236 -v237 -v238 -v239 -v24 -v240 -v241 v242 v243 -v244 -v245 -v246 -v247 -v248 -v249 -v25 -v250 -v251 -v252 -v253 v254 -v255 -v256 -v257 v258 -v259 -v26 -v260 -v261 -v262 -v263 -v264 -v265 -v266 -v267 -v268 -v269 -v27 -v270 -v271 -v272 -v273 -v274 v275 -v276 -v277 -v278 -v279 -v28 -v280 -v281 -v282 -v283 -v284 -v285 -v286 -v287 -v288 -v289 -v29 -v290 -v291 -v292 -v293 -v294 -v295 -v296 -v297 -v298 -v299 -v3 -v30 -v300 v301 -v302 -v303 -v304 v305 -v306 -v307 -v308 v309 -v31 -v310 -v311 -v312 -v313 -v314 v315 -v316 v317 -v318 -v319 -v32 -v320 -v321 -v322 -v323 -v324 -v325 -v326 v327 -v328 -v329 -v33 -v330 -v331 -v332 -v333 -v334 -v335 -v336 -v337 v338 v339 -v34 -v340 -v341 -v342 -v343 -v344 -v345 -v346 -v347 -v348 -v349 -v35 v350 -v351 -v352 -v353 v354 -v355 -v356 -v357 -v358 -v359 -v36 -v360 -v361 -v362 -v363 -v364 -v365 -v366 -v367 v368 -v369 -v37 -v370 -v371 -v372 -v373 -v374 -v375 -v376 -v377 -v378 -v379 -v38 -v380 -v381 -v382 -v383 -v384 -v385 -v386 -v387 -v388 -v389 -v39 -v390 -v391 -v392 -v393 -v394 -v395 v396 -v397 -v398 -v399 -v4 -v40 -v400 -v401 -v402 -v403 -v404 -v405 -v406 -v407 -v408 -v409 -v41 -v410 -v411 -v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419 -v42 -v420 -v421 -v422 -v423 -v424 -v425 -v426 -v427 -v428 -v429 -v43 -v430 -v431 v432 -v433 -v434 -v435 -v436 -v437 v438 -v439 -v44 -v440 -v441 -v442 -v443 -v444 -v445 -v446 -v447 v448 -v449 -v45 -v450 -v451 -v452 -v453 -v454 -v455 -v456 -v457 -v458 -v459 -v46 -v460 -v461 -v462 -v463 -v464 -v465 -v466 -v467 -v468 -v469 -v47 -v470 -v471 -v472 -v473 -v474 -v475 -v476 -v477 -v478 -v479 v48 v480 -v481 -v482 -v483 -v484 -v485 -v486 v487 -v488 -v489 -v49 -v490 -v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 -v499 -v5 -v50 -v500 -v501 -v502 -v503 -v504 -v505 -v506 -v507 -v508 -v509 -v51 -v510 -v511 -v512 v513 v514 v515 -v516 -v517 -v518 -v519 -v52 -v520 -v521 -v522 -v523 -v524 -v525 -v526 v527 -v528 v529 -v53 -v530 -v531 -v532 -v533 -v534 -v535 -v536 -v537 -v538 -v539 -v54 -v540 v541 -v542 -v543 -v544 -v545 -v546 -v547 -v548 -v549 -v55 -v550 -v551 -v552 -v553 -v554 -v555 -v556 -v557 -v558 v559 -v56 -v560 -v561 -v562 -v563 -v564 -v565 -v566 -v567 -v568 -v569 -v57 -v570 -v571 -v572 -v573 -v574 -v575 -v576 -v577 -v578 -v579 -v58 v580 -v581 -v582 -v583 -v584 -v585 -v586 -v587 -v588 -v589 -v59 v590 -v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v6 -v60 -v600 -v601 -v602 -v603 v604 -v605 -v606 -v607 -v608 -v609 -v61 -v610 -v611 -v612 -v613 -v614 -v615 -v616 -v617 -v618 -v619 -v62 -v620 -v621 -v622 -v623 -v624 -v625 -v626 -v627 -v628 -v629 -v63 -v630 -v631 -v632 -v633 v634 -v635 -v636 -v637 -v638 -v639 -v64 -v640 -v641 -v642 -v643 -v644 -v645 v646 -v647 -v648 -v649 v65 -v650 -v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 -v659 -v66 -v660 -v661 -v662 -v663 -v664 -v665 -v666 -v667 -v668 -v669 -v67 v670 -v671 -v672 -v673 -v674 -v675 -v676 -v677 -v678 -v679 -v68 -v680 -v681 -v682 -v683 -v684 -v685 -v686 -v687 -v688 -v689 v69 -v690 -v691 -v692 -v693 v694 -v695 -v696 -v7 -v70 -v71 -v72 -v73 -v74 -v75 -v76 -v77 -v78 v79 -v8 v80 -v81 -v82 -v83 -v84 -v85 -v86 v87 -v88 -v89 -v9 -v90 v91 -v92 -v93 -v94 -v95 -v96 -v97 -v98 -v99
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21073725 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 373 2 364 364 0 9 0 [pid=7295] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-4pb.opb [startup+10.0021 s] Raw data (loadavg): 0.93 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 8962 0 0 0 946 31 0 0 25 0 1 0 21073725 27897856 5712 4294967295 134512640 135987407 3221224560 3221223216 134824317 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 6811 5712 364 364 0 6447 0 [pid=7295] vsize: 27244 Current children cumulated CPU time (s) 9.77 Current children cumulated vsize (Kb) 27244 [startup+20.003 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 9260 0 0 0 1929 37 0 0 25 0 1 0 21073725 28094464 5810 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 6859 5810 364 364 0 6495 0 [pid=7295] vsize: 27436 Current children cumulated CPU time (s) 19.66 Current children cumulated vsize (Kb) 27436 [startup+30.0039 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 9484 0 0 0 2918 41 0 0 25 0 1 0 21073725 28499968 5934 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 6958 5934 364 364 0 6594 0 [pid=7295] vsize: 27832 Current children cumulated CPU time (s) 29.59 Current children cumulated vsize (Kb) 27832 [startup+40.0039 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 9711 0 0 0 3908 45 0 0 25 0 1 0 21073725 29351936 6161 4294967295 134512640 135987407 3221224560 3221223104 134811706 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 7166 6161 364 364 0 6802 0 [pid=7295] vsize: 28664 Current children cumulated CPU time (s) 39.53 Current children cumulated vsize (Kb) 28664 [startup+50.0048 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 9911 0 0 0 4897 49 0 0 25 0 1 0 21073725 29683712 6261 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 7247 6261 364 364 0 6883 0 [pid=7295] vsize: 28988 Current children cumulated CPU time (s) 49.46 Current children cumulated vsize (Kb) 28988 [startup+60.0057 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 10149 0 0 0 5880 56 0 0 25 0 1 0 21073725 30584832 6499 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 7467 6499 364 364 0 7103 0 [pid=7295] vsize: 29868 Current children cumulated CPU time (s) 59.36 Current children cumulated vsize (Kb) 29868 [startup+70.0067 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 10407 0 0 0 6867 61 0 0 25 0 1 0 21073725 34779136 6557 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 8491 6557 364 364 0 8127 0 [pid=7295] vsize: 33964 Current children cumulated CPU time (s) 69.28 Current children cumulated vsize (Kb) 33964 [startup+80.0076 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 10717 0 0 0 7855 65 0 0 25 0 1 0 21073725 34942976 6667 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 8531 6667 364 364 0 8167 0 [pid=7295] vsize: 34124 Current children cumulated CPU time (s) 79.2 Current children cumulated vsize (Kb) 34124 [startup+90.0085 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 11112 0 0 0 8840 72 0 0 25 0 1 0 21073725 35680256 6862 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 8711 6862 364 364 0 8347 0 [pid=7295] vsize: 34844 Current children cumulated CPU time (s) 89.12 Current children cumulated vsize (Kb) 34844 [startup+100.008 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 11277 0 0 0 9828 75 0 0 25 0 1 0 21073725 35680256 6927 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 8711 6927 364 364 0 8347 0 [pid=7295] vsize: 34844 Current children cumulated CPU time (s) 99.03 Current children cumulated vsize (Kb) 34844 [startup+110.009 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 11553 0 0 0 10818 80 0 0 25 0 1 0 21073725 35680256 7003 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 8711 7003 364 364 0 8347 0 [pid=7295] vsize: 34844 Current children cumulated CPU time (s) 108.98 Current children cumulated vsize (Kb) 34844 [startup+120.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 11926 0 0 0 11806 84 0 0 25 0 1 0 21073725 36282368 7176 4294967295 134512640 135987407 3221224560 3221223164 134812115 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 8858 7176 364 364 0 8494 0 [pid=7295] vsize: 35432 Current children cumulated CPU time (s) 118.9 Current children cumulated vsize (Kb) 35432 [startup+130.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 12248 0 0 0 12791 90 0 0 25 0 1 0 21073725 36687872 7298 4294967295 134512640 135987407 3221224560 3221223104 134811896 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 8957 7298 364 364 0 8593 0 [pid=7295] vsize: 35828 Current children cumulated CPU time (s) 128.81 Current children cumulated vsize (Kb) 35828 [startup+140.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 12557 0 0 0 13781 94 0 0 25 0 1 0 21073725 36823040 7407 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 8990 7407 364 364 0 8626 0 [pid=7295] vsize: 35960 Current children cumulated CPU time (s) 138.75 Current children cumulated vsize (Kb) 35960 [startup+150.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 12629 0 0 0 14771 98 0 0 25 0 1 0 21073725 36823040 7479 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 8990 7479 364 364 0 8626 0 [pid=7295] vsize: 35960 Current children cumulated CPU time (s) 148.69 Current children cumulated vsize (Kb) 35960 [startup+160.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7295 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 12778 0 0 0 15761 102 0 0 25 0 1 0 21073725 37019648 7528 4294967295 134512640 135987407 3221224560 3221222984 134801607 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 9038 7528 364 364 0 8674 0 [pid=7295] vsize: 36152 Current children cumulated CPU time (s) 158.63 Current children cumulated vsize (Kb) 36152 [startup+170.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 13021 0 0 0 16748 107 0 0 25 0 1 0 21073725 37306368 7671 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 9108 7671 364 364 0 8744 0 [pid=7295] vsize: 36432 Current children cumulated CPU time (s) 168.55 Current children cumulated vsize (Kb) 36432 [startup+180.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 13297 0 0 0 17738 111 0 0 25 0 1 0 21073725 37441536 7747 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 9141 7747 364 364 0 8777 0 [pid=7295] vsize: 36564 Current children cumulated CPU time (s) 178.49 Current children cumulated vsize (Kb) 36564 [startup+190.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 13493 0 0 0 18728 115 0 0 25 0 1 0 21073725 37576704 7843 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 9174 7843 364 364 0 8810 0 [pid=7295] vsize: 36696 Current children cumulated CPU time (s) 188.43 Current children cumulated vsize (Kb) 36696 [startup+200.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 13824 0 0 0 19717 120 0 0 25 0 1 0 21073725 38117376 7974 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 9306 7974 364 364 0 8942 0 [pid=7295] vsize: 37224 Current children cumulated CPU time (s) 198.37 Current children cumulated vsize (Kb) 37224 [startup+210.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 13893 0 0 0 20707 124 0 0 25 0 1 0 21073725 38117376 8043 4294967295 134512640 135987407 3221224560 3221223188 134812413 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 9306 8043 364 364 0 8942 0 [pid=7295] vsize: 37224 Current children cumulated CPU time (s) 208.31 Current children cumulated vsize (Kb) 37224 [startup+220.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 14161 0 0 0 21698 128 0 0 25 0 1 0 21073725 38117376 8111 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 9306 8111 364 364 0 8942 0 [pid=7295] vsize: 37224 Current children cumulated CPU time (s) 218.26 Current children cumulated vsize (Kb) 37224 [startup+230.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 14345 0 0 0 22689 132 0 0 25 0 1 0 21073725 38305792 8195 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 9352 8195 364 364 0 8988 0 [pid=7295] vsize: 37408 Current children cumulated CPU time (s) 228.21 Current children cumulated vsize (Kb) 37408 [startup+240.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 14503 0 0 0 23678 135 0 0 25 0 1 0 21073725 38440960 8253 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 9385 8253 364 364 0 9021 0 [pid=7295] vsize: 37540 Current children cumulated CPU time (s) 238.13 Current children cumulated vsize (Kb) 37540 [startup+250.019 s] Raw data (loadavg): 0.99 0.98 0.99 1/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) T 7294 7295 4005 0 -1 0 14689 0 0 0 24664 140 0 0 25 0 1 0 21073725 46829568 8339 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11433 8339 364 364 0 11069 0 [pid=7295] vsize: 45732 Current children cumulated CPU time (s) 248.04 Current children cumulated vsize (Kb) 45732 [startup+260.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 14995 0 0 0 25654 145 0 0 25 0 1 0 21073725 46993408 8445 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11473 8445 364 364 0 11109 0 [pid=7295] vsize: 45892 Current children cumulated CPU time (s) 257.99 Current children cumulated vsize (Kb) 45892 [startup+270.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 15202 0 0 0 26646 148 0 0 25 0 1 0 21073725 47140864 8552 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11509 8552 364 364 0 11145 0 [pid=7295] vsize: 46036 Current children cumulated CPU time (s) 267.94 Current children cumulated vsize (Kb) 46036 [startup+280.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 15346 0 0 0 27638 151 0 0 25 0 1 0 21073725 47140864 8596 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11509 8596 364 364 0 11145 0 [pid=7295] vsize: 46036 Current children cumulated CPU time (s) 277.89 Current children cumulated vsize (Kb) 46036 [startup+290.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 15485 0 0 0 28631 153 0 0 25 0 1 0 21073725 47288320 8635 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11545 8635 364 364 0 11181 0 [pid=7295] vsize: 46180 Current children cumulated CPU time (s) 287.84 Current children cumulated vsize (Kb) 46180 [startup+300.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 15678 0 0 0 29620 157 0 0 25 0 1 0 21073725 47288320 8728 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11545 8728 364 364 0 11181 0 [pid=7295] vsize: 46180 Current children cumulated CPU time (s) 297.77 Current children cumulated vsize (Kb) 46180 [startup+310.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 15951 0 0 0 30611 161 0 0 25 0 1 0 21073725 47288320 8801 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11545 8801 364 364 0 11181 0 [pid=7295] vsize: 46180 Current children cumulated CPU time (s) 307.72 Current children cumulated vsize (Kb) 46180 [startup+320.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 16140 0 0 0 31601 165 0 0 25 0 1 0 21073725 47558656 8890 4294967295 134512640 135987407 3221224560 3221223104 134812035 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11611 8890 364 364 0 11247 0 [pid=7295] vsize: 46444 Current children cumulated CPU time (s) 317.66 Current children cumulated vsize (Kb) 46444 [startup+330.025 s] Raw data (loadavg): 0.99 0.98 0.99 1/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) T 7294 7295 4005 0 -1 0 16270 0 0 0 32592 168 0 0 25 0 1 0 21073725 47558656 8920 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11611 8920 364 364 0 11247 0 [pid=7295] vsize: 46444 Current children cumulated CPU time (s) 327.6 Current children cumulated vsize (Kb) 46444 [startup+340.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 16468 0 0 0 33584 169 0 0 25 0 1 0 21073725 47833088 9018 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11678 9018 364 364 0 11314 0 [pid=7295] vsize: 46712 Current children cumulated CPU time (s) 337.53 Current children cumulated vsize (Kb) 46712 [startup+350.025 s] Raw data (loadavg): 0.99 0.98 0.99 1/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) T 7294 7295 4005 0 -1 0 16615 0 0 0 34573 174 0 0 25 0 1 0 21073725 47833088 9065 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11678 9065 364 364 0 11314 0 [pid=7295] vsize: 46712 Current children cumulated CPU time (s) 347.47 Current children cumulated vsize (Kb) 46712 [startup+360.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 16675 0 0 0 35561 178 0 0 25 0 1 0 21073725 47833088 9125 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11678 9125 364 364 0 11314 0 [pid=7295] vsize: 46712 Current children cumulated CPU time (s) 357.39 Current children cumulated vsize (Kb) 46712 [startup+370.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 16839 0 0 0 36548 183 0 0 25 0 1 0 21073725 48316416 9289 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11796 9289 364 364 0 11432 0 [pid=7295] vsize: 47184 Current children cumulated CPU time (s) 367.31 Current children cumulated vsize (Kb) 47184 [startup+380.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 16909 0 0 0 37539 186 0 0 25 0 1 0 21073725 48316416 9359 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7295/statm): 11796 9359 364 364 0 11432 0 [pid=7295] vsize: 47184 Current children cumulated CPU time (s) 377.25 Current children cumulated vsize (Kb) 47184 [startup+390.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 16979 0 0 0 38530 191 0 0 25 0 1 0 21073725 48316416 9429 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7295/statm): 11796 9429 364 364 0 11432 0 [pid=7295] vsize: 47184 Current children cumulated CPU time (s) 387.21 Current children cumulated vsize (Kb) 47184 [startup+400.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17031 0 0 0 39519 194 0 0 25 0 1 0 21073725 48316416 9481 4294967295 134512640 135987407 3221224560 3221223104 134811850 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11796 9481 364 364 0 11432 0 [pid=7295] vsize: 47184 Current children cumulated CPU time (s) 397.13 Current children cumulated vsize (Kb) 47184 [startup+410.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17170 0 0 0 40507 198 0 0 25 0 1 0 21073725 48721920 9620 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 11895 9620 364 364 0 11531 0 [pid=7295] vsize: 47580 Current children cumulated CPU time (s) 407.05 Current children cumulated vsize (Kb) 47580 [startup+420.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17431 0 0 0 41495 201 0 0 25 0 1 0 21073725 49278976 9781 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12031 9781 364 364 0 11667 0 [pid=7295] vsize: 48124 Current children cumulated CPU time (s) 416.96 Current children cumulated vsize (Kb) 48124 [startup+430.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17491 0 0 0 42487 204 0 0 25 0 1 0 21073725 49278976 9841 4294967295 134512640 135987407 3221224560 3221223104 134811855 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12031 9841 364 364 0 11667 0 [pid=7295] vsize: 48124 Current children cumulated CPU time (s) 426.91 Current children cumulated vsize (Kb) 48124 [startup+440.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17587 0 0 0 43478 208 0 0 25 0 1 0 21073725 49278976 9937 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12031 9937 364 364 0 11667 0 [pid=7295] vsize: 48124 Current children cumulated CPU time (s) 436.86 Current children cumulated vsize (Kb) 48124 [startup+450.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17668 0 0 0 44470 212 0 0 25 0 1 0 21073725 49278976 10018 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12031 10018 364 364 0 11667 0 [pid=7295] vsize: 48124 Current children cumulated CPU time (s) 446.82 Current children cumulated vsize (Kb) 48124 [startup+460.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17747 0 0 0 45460 215 0 0 25 0 1 0 21073725 49278976 10097 4294967295 134512640 135987407 3221224560 3221223104 134811822 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12031 10097 364 364 0 11667 0 [pid=7295] vsize: 48124 Current children cumulated CPU time (s) 456.75 Current children cumulated vsize (Kb) 48124 [startup+470.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17812 0 0 0 46453 218 0 0 25 0 1 0 21073725 49278976 10162 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12031 10162 364 364 0 11667 0 [pid=7295] vsize: 48124 Current children cumulated CPU time (s) 466.71 Current children cumulated vsize (Kb) 48124 [startup+480.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17876 0 0 0 47444 221 0 0 25 0 1 0 21073725 49278976 10226 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12031 10226 364 364 0 11667 0 [pid=7295] vsize: 48124 Current children cumulated CPU time (s) 476.65 Current children cumulated vsize (Kb) 48124 [startup+490.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 17980 0 0 0 48438 223 0 0 25 0 1 0 21073725 49557504 10330 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12099 10330 364 364 0 11735 0 [pid=7295] vsize: 48396 Current children cumulated CPU time (s) 486.61 Current children cumulated vsize (Kb) 48396 [startup+500.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18142 0 0 0 49430 226 0 0 25 0 1 0 21073725 49557504 10392 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12099 10392 364 364 0 11735 0 [pid=7295] vsize: 48396 Current children cumulated CPU time (s) 496.56 Current children cumulated vsize (Kb) 48396 [startup+510.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18249 0 0 0 50422 230 0 0 25 0 1 0 21073725 49557504 10399 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12099 10399 364 364 0 11735 0 [pid=7295] vsize: 48396 Current children cumulated CPU time (s) 506.52 Current children cumulated vsize (Kb) 48396 [startup+520.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18268 0 0 0 51415 232 0 0 25 0 1 0 21073725 49692672 10418 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12132 10418 364 364 0 11768 0 [pid=7295] vsize: 48528 Current children cumulated CPU time (s) 516.47 Current children cumulated vsize (Kb) 48528 [startup+530.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18434 0 0 0 52409 235 0 0 25 0 1 0 21073725 49692672 10484 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12132 10484 364 364 0 11768 0 [pid=7295] vsize: 48528 Current children cumulated CPU time (s) 526.44 Current children cumulated vsize (Kb) 48528 [startup+540.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18636 0 0 0 53400 239 0 0 25 0 1 0 21073725 49872896 10586 4294967295 134512640 135987407 3221224560 3221223104 134811784 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12176 10586 364 364 0 11812 0 [pid=7295] vsize: 48704 Current children cumulated CPU time (s) 536.39 Current children cumulated vsize (Kb) 48704 [startup+550.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18758 0 0 0 54392 242 0 0 25 0 1 0 21073725 50008064 10708 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12209 10708 364 364 0 11845 0 [pid=7295] vsize: 48836 Current children cumulated CPU time (s) 546.34 Current children cumulated vsize (Kb) 48836 [startup+560.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 18879 0 0 0 55385 245 0 0 25 0 1 0 21073725 50008064 10729 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12209 10729 364 364 0 11845 0 [pid=7295] vsize: 48836 Current children cumulated CPU time (s) 556.3 Current children cumulated vsize (Kb) 48836 [startup+570.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 19086 0 0 0 56381 247 0 0 25 0 1 0 21073725 50008064 10736 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12209 10736 364 364 0 11845 0 [pid=7295] vsize: 48836 Current children cumulated CPU time (s) 566.28 Current children cumulated vsize (Kb) 48836 [startup+580.041 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 19102 0 0 0 57372 250 0 0 25 0 1 0 21073725 50147328 10752 4294967295 134512640 135987407 3221224560 3221223104 134811907 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12243 10752 364 364 0 11879 0 [pid=7295] vsize: 48972 Current children cumulated CPU time (s) 576.22 Current children cumulated vsize (Kb) 48972 [startup+590.042 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 19280 0 0 0 58365 252 0 0 25 0 1 0 21073725 50315264 10830 4294967295 134512640 135987407 3221224560 3221222912 134878078 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12284 10830 364 364 0 11920 0 [pid=7295] vsize: 49136 Current children cumulated CPU time (s) 586.17 Current children cumulated vsize (Kb) 49136 [startup+600.042 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 19507 0 0 0 59359 255 0 0 25 0 1 0 21073725 50315264 10957 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 12284 10957 364 364 0 11920 0 [pid=7295] vsize: 49136 Current children cumulated CPU time (s) 596.14 Current children cumulated vsize (Kb) 49136 [startup+610.043 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 21277 0 0 0 60348 262 0 0 25 0 1 0 21073725 56606720 11090 4294967295 134512640 135987407 3221224560 3221223232 134824250 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 13820 11090 364 364 0 13456 0 [pid=7295] vsize: 55280 Current children cumulated CPU time (s) 606.1 Current children cumulated vsize (Kb) 55280 [startup+620.043 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 21386 0 0 0 61337 266 0 0 25 0 1 0 21073725 56762368 11199 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 13858 11199 364 364 0 13494 0 [pid=7295] vsize: 55432 Current children cumulated CPU time (s) 616.03 Current children cumulated vsize (Kb) 55432 [startup+630.044 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 21609 0 0 0 62330 269 0 0 25 0 1 0 21073725 73539584 11322 4294967295 134512640 135987407 3221224560 3221223104 134811722 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 17954 11322 364 364 0 17590 0 [pid=7295] vsize: 71816 Current children cumulated CPU time (s) 625.99 Current children cumulated vsize (Kb) 71816 [startup+640.045 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 21855 0 0 0 63321 272 0 0 25 0 1 0 21073725 73674752 11468 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 17987 11468 364 364 0 17623 0 [pid=7295] vsize: 71948 Current children cumulated CPU time (s) 635.93 Current children cumulated vsize (Kb) 71948 [startup+650.045 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 21981 0 0 0 64314 275 0 0 25 0 1 0 21073725 73674752 11594 4294967295 134512640 135987407 3221224560 3221223104 134811915 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 17987 11594 364 364 0 17623 0 [pid=7295] vsize: 71948 Current children cumulated CPU time (s) 645.89 Current children cumulated vsize (Kb) 71948 [startup+660.046 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22247 0 0 0 65307 277 0 0 25 0 1 0 21073725 73945088 11760 4294967295 134512640 135987407 3221224560 3221223104 134812025 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 18053 11760 364 364 0 17689 0 [pid=7295] vsize: 72212 Current children cumulated CPU time (s) 655.84 Current children cumulated vsize (Kb) 72212 [startup+670.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22383 0 0 0 66298 281 0 0 25 0 1 0 21073725 73945088 11896 4294967295 134512640 135987407 3221224560 3221223104 134811942 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 18053 11896 364 364 0 17689 0 [pid=7295] vsize: 72212 Current children cumulated CPU time (s) 665.79 Current children cumulated vsize (Kb) 72212 [startup+680.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22582 0 0 0 67290 284 0 0 25 0 1 0 21073725 74084352 11995 4294967295 134512640 135987407 3221224560 3221223184 134812414 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 18087 11995 364 364 0 17723 0 [pid=7295] vsize: 72348 Current children cumulated CPU time (s) 675.74 Current children cumulated vsize (Kb) 72348 [startup+690.048 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22675 0 0 0 68284 286 0 0 25 0 1 0 21073725 74084352 12088 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 18087 12088 364 364 0 17723 0 [pid=7295] vsize: 72348 Current children cumulated CPU time (s) 685.7 Current children cumulated vsize (Kb) 72348 [startup+700.048 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22742 0 0 0 69276 288 0 0 25 0 1 0 21073725 74248192 12155 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 18127 12155 364 364 0 17763 0 [pid=7295] vsize: 72508 Current children cumulated CPU time (s) 695.64 Current children cumulated vsize (Kb) 72508 [startup+710.049 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22757 0 0 0 70268 292 0 0 25 0 1 0 21073725 74248192 12170 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 18127 12170 364 364 0 17763 0 [pid=7295] vsize: 72508 Current children cumulated CPU time (s) 705.6 Current children cumulated vsize (Kb) 72508 [startup+720.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 7297 Raw data (/proc/7295/stat): 7295 (pb2sat) R 7294 7295 4005 0 -1 0 22863 0 0 0 71259 295 0 0 25 0 1 0 21073725 74248192 12176 4294967295 134512640 135987407 3221224560 3221223008 134892734 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7295/statm): 18127 12176 364 364 0 17763 0 [pid=7295] vsize: 72508 Current children cumulated CPU time (s) 715.54 Current children cumulated vsize (Kb) 72508 One traced child (pid=7295) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 720.169 CPU time (s): 715.659 CPU user time (s): 712.679 CPU system time (s): 2.98055 CPU usage (%): 99.3737 Max. virtual memory (cumulated for all children) (Kb): 72508
Verifier: OK 60