Name | web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb |
MD5SUM | ac510382bae6003fe0373ad32fd0064f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 411 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 1129 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1129 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1205.78 |
Number of variables | 411 |
Total number of constraints | 887 |
Number of constraints which are clauses | 387 |
Number of constraints which are cardinality constraints (but not clauses) | 500 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
LAUNCH ON wulflinc26 THE 2005-09-23 15:54:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8597 boxname=wulflinc26 idbench=393 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: ac510382bae6003fe0373ad32fd0064f /oldhome/oroussel/tmp/wulflinc26/normalized-10:10:4.5:0.95:98.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-10:10:4.5:0.95:98.opb IDLAUNCH: 8597 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.055 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.055 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: 926240 kB Buffers: 11076 kB Cached: 80520 kB SwapCached: 0 kB Active: 44184 kB Inactive: 50292 kB HighTotal: 131008 kB HighFree: 47516 kB LowTotal: 903652 kB LowFree: 878724 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6976 kB Slab: 8404 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 16:15:18 (client local time) WITH STATUS 10 IN 1207.69 SECONDS stats: 8597 0 1207.69 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 530 c small objective detected c CONFLICT during preprocess c [startup+4.9313 s] setting bit 10 to 0 c [startup+6.71507 s] setting bit 9 to 0 c Decision: 25893/95118 Time: 77.3322/86400 c Decision: 25893/95118 Time: 92.9129/86400 c Decision: 25893/95118 Time: 108.047/86400 c Decision: 25893/95118 Time: 126.896/86400 c Decision: 25893/95118 Time: 146.584/86400 c Decision: 25893/95118 Time: 169.056/86400 c Decision: 25893/95118 Time: 191.058/86400 c Decision: 25893/95118 Time: 209.76/86400 c Decision: 25893/95118 Time: 231.74/86400 c Decision: 25893/95118 Time: 252.313/86400 c Decision: 25893/95118 Time: 274.977/86400 c Decision: 25893/95118 Time: 298.719/86400 c Decision: 25893/95118 Time: 320.994/86400 c Decision: 25893/95118 Time: 342.766/86400 c Decision: 25893/95118 Time: 360.011/86400 c Decision: 25893/95118 Time: 378.402/86400 c Decision: 25893/95118 Time: 395.674/86400 c Decision: 25893/95118 Time: 415.521/86400 c Decision: 25893/95118 Time: 434.415/86400 c Decision: 25893/95118 Time: 456.819/86400 c Decision: 25893/95118 Time: 474.962/86400 c Decision: 25893/95118 Time: 492.112/86400 c Decision: 25893/95118 Time: 510.613/86400 c Decision: 25893/95118 Time: 532.05/86400 c Decision: 25893/95118 Time: 557.858/86400 c Decision: 25893/95118 Time: 578.981/86400 c Decision: 25893/95118 Time: 604.295/86400 c Decision: 25893/95118 Time: 626.252/86400 c Decision: 25893/95118 Time: 644.295/86400 c Decision: 25893/95118 Time: 665.122/86400 c Decision: 25893/95118 Time: 688.125/86400 c Decision: 25893/95118 Time: 706.776/86400 c Decision: 25893/95118 Time: 729.804/86400 c Decision: 25893/95118 Time: 752.693/86400 c Decision: 25893/95118 Time: 771.506/86400 c Decision: 25893/95118 Time: 794.936/86400 c Decision: 25893/95118 Time: 818.668/86400 c Decision: 25893/95118 Time: 840.395/86400 c Decision: 25893/95118 Time: 863.941/86400 c Decision: 25893/95118 Time: 885.49/86400 c Decision: 25893/95118 Time: 908.372/86400 c Decision: 25893/95118 Time: 929.302/86400 c Decision: 25893/95118 Time: 950.15/86400 c Decision: 25893/95118 Time: 970.623/86400 c Decision: 25893/95118 Time: 991.261/86400 c Decision: 25893/95118 Time: 1018.24/86400 c Decision: 25893/95118 Time: 1043.14/86400 c Decision: 25893/95118 Time: 1065.67/86400 c Decision: 25893/95118 Time: 1093.86/86400 c Decision: 25893/95118 Time: 1118.43/86400 c Decision: 25894/95118 Time: 1163.17/86400 c Decision: 25894/95118 Time: 1190.89/86400s SATISFIABLE v one 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 v42 v43 -v44 v45 v46 v47 v48 v49 v5 v50 v51 v52 -v53 v54 v55 -v56 v57 v58 v59 v6 -v60 v61 v62 -v63 v64 -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
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/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21392774 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 373 2 364 364 0 9 0 [pid=7716] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-10:10:4.5:0.95:98.opb [startup+10.0021 s] Raw data (loadavg): 0.94 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 16453 0 0 0 951 40 0 0 25 0 1 0 21392774 52510720 10262 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 12820 10262 364 364 0 12456 0 [pid=7716] vsize: 51280 Current children cumulated CPU time (s) 9.91 Current children cumulated vsize (Kb) 51280 [startup+20.0028 s] Raw data (loadavg): 0.95 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 16681 0 0 0 1942 44 0 0 25 0 1 0 21392774 53379072 10490 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 13032 10490 364 364 0 12668 0 [pid=7716] vsize: 52128 Current children cumulated CPU time (s) 19.86 Current children cumulated vsize (Kb) 52128 [startup+30.0034 s] Raw data (loadavg): 0.95 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 16819 0 0 0 2934 47 0 0 25 0 1 0 21392774 54034432 10628 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 13192 10628 364 364 0 12828 0 [pid=7716] vsize: 52768 Current children cumulated CPU time (s) 29.81 Current children cumulated vsize (Kb) 52768 [startup+40.0041 s] Raw data (loadavg): 0.96 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 17202 0 0 0 3921 51 0 0 25 0 1 0 21392774 56033280 11011 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 13680 11011 364 364 0 13316 0 [pid=7716] vsize: 54720 Current children cumulated CPU time (s) 39.72 Current children cumulated vsize (Kb) 54720 [startup+50.0048 s] Raw data (loadavg): 0.97 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 17310 0 0 0 4907 56 0 0 25 0 1 0 21392774 56561664 11119 4294967295 134512640 135987407 3221224560 3221223184 134812414 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 13809 11119 364 364 0 13445 0 [pid=7716] vsize: 55236 Current children cumulated CPU time (s) 49.63 Current children cumulated vsize (Kb) 55236 [startup+60.0045 s] Raw data (loadavg): 0.97 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 17416 0 0 0 5894 59 0 0 25 0 1 0 21392774 57090048 11225 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 13938 11225 364 364 0 13574 0 [pid=7716] vsize: 55752 Current children cumulated CPU time (s) 59.53 Current children cumulated vsize (Kb) 55752 [startup+70.0052 s] Raw data (loadavg): 0.98 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 17510 0 0 0 6878 65 0 0 25 0 1 0 21392774 57483264 11319 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14034 11319 364 364 0 13670 0 [pid=7716] vsize: 56136 Current children cumulated CPU time (s) 69.43 Current children cumulated vsize (Kb) 56136 [startup+80.0059 s] Raw data (loadavg): 0.98 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 17596 0 0 0 7861 70 0 0 25 0 1 0 21392774 57876480 11405 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14130 11405 364 364 0 13766 0 [pid=7716] vsize: 56520 Current children cumulated CPU time (s) 79.31 Current children cumulated vsize (Kb) 56520 [startup+90.0056 s] Raw data (loadavg): 0.98 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 17819 0 0 0 8848 75 0 0 25 0 1 0 21392774 57876480 11442 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14130 11442 364 364 0 13766 0 [pid=7716] vsize: 56520 Current children cumulated CPU time (s) 89.23 Current children cumulated vsize (Kb) 56520 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 17915 0 0 0 9830 80 0 0 25 0 1 0 21392774 58466304 11538 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14274 11538 364 364 0 13910 0 [pid=7716] vsize: 57096 Current children cumulated CPU time (s) 99.1 Current children cumulated vsize (Kb) 57096 [startup+110.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 18156 0 0 0 10817 84 0 0 25 0 1 0 21392774 58601472 11593 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14307 11593 364 364 0 13943 0 [pid=7716] vsize: 57228 Current children cumulated CPU time (s) 109.01 Current children cumulated vsize (Kb) 57228 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 18419 0 0 0 11803 89 0 0 25 0 1 0 21392774 58933248 11670 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14388 11670 364 364 0 14024 0 [pid=7716] vsize: 57552 Current children cumulated CPU time (s) 118.92 Current children cumulated vsize (Kb) 57552 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 18488 0 0 0 12783 95 0 0 25 0 1 0 21392774 59326464 11739 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14484 11739 364 364 0 14120 0 [pid=7716] vsize: 57936 Current children cumulated CPU time (s) 128.78 Current children cumulated vsize (Kb) 57936 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.95 1/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) T 7715 7716 4005 0 -1 0 18777 0 0 0 13772 98 0 0 25 0 1 0 21392774 59731968 11842 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14583 11842 364 364 0 14219 0 [pid=7716] vsize: 58332 Current children cumulated CPU time (s) 138.7 Current children cumulated vsize (Kb) 58332 [startup+150.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 18816 0 0 0 14754 104 0 0 25 0 1 0 21392774 59867136 11881 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14616 11881 364 364 0 14252 0 [pid=7716] vsize: 58464 Current children cumulated CPU time (s) 148.58 Current children cumulated vsize (Kb) 58464 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 19042 0 0 0 15736 110 0 0 25 0 1 0 21392774 60002304 11921 4294967295 134512640 135987407 3221224560 3221223104 134812046 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14649 11921 364 364 0 14285 0 [pid=7716] vsize: 58596 Current children cumulated CPU time (s) 158.46 Current children cumulated vsize (Kb) 58596 [startup+170.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 19099 0 0 0 16720 116 0 0 25 0 1 0 21392774 60272640 11978 4294967295 134512640 135987407 3221224560 3221223104 134811701 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14715 11978 364 364 0 14351 0 [pid=7716] vsize: 58860 Current children cumulated CPU time (s) 168.36 Current children cumulated vsize (Kb) 58860 [startup+180.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 19293 0 0 0 17703 121 0 0 25 0 1 0 21392774 60272640 11986 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14715 11986 364 364 0 14351 0 [pid=7716] vsize: 58860 Current children cumulated CPU time (s) 178.24 Current children cumulated vsize (Kb) 58860 [startup+190.009 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 19309 0 0 0 18686 128 0 0 25 0 1 0 21392774 60469248 12002 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14763 12002 364 364 0 14399 0 [pid=7716] vsize: 59052 Current children cumulated CPU time (s) 188.14 Current children cumulated vsize (Kb) 59052 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 19506 0 0 0 19670 133 0 0 25 0 1 0 21392774 60469248 12013 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 14763 12013 364 364 0 14399 0 [pid=7716] vsize: 59052 Current children cumulated CPU time (s) 198.03 Current children cumulated vsize (Kb) 59052 [startup+210.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 19509 0 0 0 20653 139 0 0 25 0 1 0 21392774 60469248 12016 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 14763 12016 364 364 0 14399 0 [pid=7716] vsize: 59052 Current children cumulated CPU time (s) 207.92 Current children cumulated vsize (Kb) 59052 [startup+220.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 19727 0 0 0 21632 147 0 0 25 0 1 0 21392774 60604416 12048 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 14796 12048 364 364 0 14432 0 [pid=7716] vsize: 59184 Current children cumulated CPU time (s) 217.79 Current children cumulated vsize (Kb) 59184 [startup+230.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 19792 0 0 0 22615 153 0 0 25 0 1 0 21392774 61009920 12113 4294967295 134512640 135987407 3221224560 3221223200 134812334 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 14895 12113 364 364 0 14531 0 [pid=7716] vsize: 59580 Current children cumulated CPU time (s) 227.68 Current children cumulated vsize (Kb) 59580 [startup+240.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 19893 0 0 0 23595 160 0 0 25 0 1 0 21392774 61685760 12214 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15060 12214 364 364 0 14696 0 [pid=7716] vsize: 60240 Current children cumulated CPU time (s) 237.55 Current children cumulated vsize (Kb) 60240 [startup+250.012 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 20102 0 0 0 24578 166 0 0 25 0 1 0 21392774 61820928 12237 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15093 12237 364 364 0 14729 0 [pid=7716] vsize: 60372 Current children cumulated CPU time (s) 247.44 Current children cumulated vsize (Kb) 60372 [startup+260.011 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 20110 0 0 0 25563 171 0 0 25 0 1 0 21392774 61820928 12245 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15093 12245 364 364 0 14729 0 [pid=7716] vsize: 60372 Current children cumulated CPU time (s) 257.34 Current children cumulated vsize (Kb) 60372 [startup+270.012 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 20319 0 0 0 26543 178 0 0 25 0 1 0 21392774 61956096 12268 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15126 12268 364 364 0 14762 0 [pid=7716] vsize: 60504 Current children cumulated CPU time (s) 267.21 Current children cumulated vsize (Kb) 60504 [startup+280.013 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 20322 0 0 0 27527 184 0 0 25 0 1 0 21392774 61956096 12271 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15126 12271 364 364 0 14762 0 [pid=7716] vsize: 60504 Current children cumulated CPU time (s) 277.11 Current children cumulated vsize (Kb) 60504 [startup+290.012 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 20548 0 0 0 28511 190 0 0 25 0 1 0 21392774 62226432 12311 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15192 12311 364 364 0 14828 0 [pid=7716] vsize: 60768 Current children cumulated CPU time (s) 287.01 Current children cumulated vsize (Kb) 60768 [startup+300.012 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7716 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 20567 0 0 0 29493 196 0 0 25 0 1 0 21392774 62361600 12330 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15225 12330 364 364 0 14861 0 [pid=7716] vsize: 60900 Current children cumulated CPU time (s) 296.89 Current children cumulated vsize (Kb) 60900 [startup+310.012 s] Raw data (loadavg): 0.99 0.98 0.95 2/56 7717 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 20772 0 0 0 30476 202 0 0 25 0 1 0 21392774 62496768 12349 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15258 12349 364 364 0 14894 0 [pid=7716] vsize: 61032 Current children cumulated CPU time (s) 306.78 Current children cumulated vsize (Kb) 61032 [startup+320.012 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7771 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 20774 0 0 0 31454 211 0 0 25 0 1 0 21392774 62496768 12351 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15258 12351 364 364 0 14894 0 [pid=7716] vsize: 61032 Current children cumulated CPU time (s) 316.65 Current children cumulated vsize (Kb) 61032 [startup+330.013 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7771 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 20784 0 0 0 32440 216 0 0 25 0 1 0 21392774 62496768 12361 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15258 12361 364 364 0 14894 0 [pid=7716] vsize: 61032 Current children cumulated CPU time (s) 326.56 Current children cumulated vsize (Kb) 61032 [startup+340.013 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7771 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 21013 0 0 0 33426 222 0 0 25 0 1 0 21392774 62767104 12404 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15324 12404 364 364 0 14960 0 [pid=7716] vsize: 61296 Current children cumulated CPU time (s) 336.48 Current children cumulated vsize (Kb) 61296 [startup+350.013 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7771 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 21017 0 0 0 34411 226 0 0 25 0 1 0 21392774 62767104 12408 4294967295 134512640 135987407 3221224560 3221223104 134812010 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15324 12408 364 364 0 14960 0 [pid=7716] vsize: 61296 Current children cumulated CPU time (s) 346.37 Current children cumulated vsize (Kb) 61296 [startup+360.013 s] Raw data (loadavg): 0.99 0.98 0.95 2/55 7771 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 21233 0 0 0 35398 231 0 0 25 0 1 0 21392774 62902272 12438 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15357 12438 364 364 0 14993 0 [pid=7716] vsize: 61428 Current children cumulated CPU time (s) 356.29 Current children cumulated vsize (Kb) 61428 [startup+370.014 s] Raw data (loadavg): 1.07 1.00 0.95 2/55 7773 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 21263 0 0 0 36385 235 0 0 25 0 1 0 21392774 62902272 12468 4294967295 134512640 135987407 3221224560 3221222992 134788824 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15357 12468 364 364 0 14993 0 [pid=7716] vsize: 61428 Current children cumulated CPU time (s) 366.2 Current children cumulated vsize (Kb) 61428 [startup+380.014 s] Raw data (loadavg): 1.06 1.00 0.95 2/55 7775 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 21459 0 0 0 37372 240 0 0 25 0 1 0 21392774 62902272 12478 4294967295 134512640 135987407 3221224560 3221223104 134812038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15357 12478 364 364 0 14993 0 [pid=7716] vsize: 61428 Current children cumulated CPU time (s) 376.12 Current children cumulated vsize (Kb) 61428 [startup+390.015 s] Raw data (loadavg): 1.05 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 21654 0 0 0 38359 245 0 0 25 0 1 0 21392774 62902272 12487 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15357 12487 364 364 0 14993 0 [pid=7716] vsize: 61428 Current children cumulated CPU time (s) 386.04 Current children cumulated vsize (Kb) 61428 [startup+400.016 s] Raw data (loadavg): 1.04 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 21676 0 0 0 39345 249 0 0 25 0 1 0 21392774 63037440 12509 4294967295 134512640 135987407 3221224560 3221223104 134811829 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15390 12509 364 364 0 15026 0 [pid=7716] vsize: 61560 Current children cumulated CPU time (s) 395.94 Current children cumulated vsize (Kb) 61560 [startup+410.015 s] Raw data (loadavg): 1.03 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 21865 0 0 0 40334 253 0 0 25 0 1 0 21392774 63037440 12512 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15390 12512 364 364 0 15026 0 [pid=7716] vsize: 61560 Current children cumulated CPU time (s) 405.87 Current children cumulated vsize (Kb) 61560 [startup+420.016 s] Raw data (loadavg): 1.03 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 21870 0 0 0 41316 259 0 0 25 0 1 0 21392774 63037440 12517 4294967295 134512640 135987407 3221224560 3221223104 134811741 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15390 12517 364 364 0 15026 0 [pid=7716] vsize: 61560 Current children cumulated CPU time (s) 415.75 Current children cumulated vsize (Kb) 61560 [startup+430.017 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 22066 0 0 0 42299 265 0 0 25 0 1 0 21392774 63037440 12527 4294967295 134512640 135987407 3221224560 3221223104 134811940 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15390 12527 364 364 0 15026 0 [pid=7716] vsize: 61560 Current children cumulated CPU time (s) 425.64 Current children cumulated vsize (Kb) 61560 [startup+440.017 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 22075 0 0 0 43284 270 0 0 25 0 1 0 21392774 63037440 12536 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15390 12536 364 364 0 15026 0 [pid=7716] vsize: 61560 Current children cumulated CPU time (s) 435.54 Current children cumulated vsize (Kb) 61560 [startup+450.017 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 22270 0 0 0 44271 274 0 0 25 0 1 0 21392774 63037440 12545 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15390 12545 364 364 0 15026 0 [pid=7716] vsize: 61560 Current children cumulated CPU time (s) 445.45 Current children cumulated vsize (Kb) 61560 [startup+460.018 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 22298 0 0 0 45253 281 0 0 25 0 1 0 21392774 63172608 12573 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15423 12573 364 364 0 15059 0 [pid=7716] vsize: 61692 Current children cumulated CPU time (s) 455.34 Current children cumulated vsize (Kb) 61692 [startup+470.019 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 22497 0 0 0 46235 288 0 0 25 0 1 0 21392774 63172608 12586 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15423 12586 364 364 0 15059 0 [pid=7716] vsize: 61692 Current children cumulated CPU time (s) 465.23 Current children cumulated vsize (Kb) 61692 [startup+480.018 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 22509 0 0 0 47220 293 0 0 25 0 1 0 21392774 63172608 12598 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15423 12598 364 364 0 15059 0 [pid=7716] vsize: 61692 Current children cumulated CPU time (s) 475.13 Current children cumulated vsize (Kb) 61692 [startup+490.019 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 22705 0 0 0 48209 297 0 0 25 0 1 0 21392774 63172608 12608 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15423 12608 364 364 0 15059 0 [pid=7716] vsize: 61692 Current children cumulated CPU time (s) 485.06 Current children cumulated vsize (Kb) 61692 [startup+500.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 22707 0 0 0 49195 301 0 0 25 0 1 0 21392774 63172608 12610 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15423 12610 364 364 0 15059 0 [pid=7716] vsize: 61692 Current children cumulated CPU time (s) 494.96 Current children cumulated vsize (Kb) 61692 [startup+510.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 22920 0 0 0 50178 306 0 0 25 0 1 0 21392774 63307776 12637 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15456 12637 364 364 0 15092 0 [pid=7716] vsize: 61824 Current children cumulated CPU time (s) 504.84 Current children cumulated vsize (Kb) 61824 [startup+520.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 22923 0 0 0 51161 313 0 0 25 0 1 0 21392774 63307776 12640 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15456 12640 364 364 0 15092 0 [pid=7716] vsize: 61824 Current children cumulated CPU time (s) 514.74 Current children cumulated vsize (Kb) 61824 [startup+530.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 23124 0 0 0 52145 318 0 0 25 0 1 0 21392774 63307776 12655 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15456 12655 364 364 0 15092 0 [pid=7716] vsize: 61824 Current children cumulated CPU time (s) 524.63 Current children cumulated vsize (Kb) 61824 [startup+540.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 23134 0 0 0 53128 324 0 0 25 0 1 0 21392774 63307776 12665 4294967295 134512640 135987407 3221224560 3221223104 134811962 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15456 12665 364 364 0 15092 0 [pid=7716] vsize: 61824 Current children cumulated CPU time (s) 534.52 Current children cumulated vsize (Kb) 61824 [startup+550.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 23345 0 0 0 54111 331 0 0 25 0 1 0 21392774 63307776 12690 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15456 12690 364 364 0 15092 0 [pid=7716] vsize: 61824 Current children cumulated CPU time (s) 544.42 Current children cumulated vsize (Kb) 61824 [startup+560.023 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) T 7715 7716 4005 0 -1 0 23370 0 0 0 55094 336 0 0 25 0 1 0 21392774 63442944 12715 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15489 12715 364 364 0 15125 0 [pid=7716] vsize: 61956 Current children cumulated CPU time (s) 554.3 Current children cumulated vsize (Kb) 61956 [startup+570.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 23377 0 0 0 56078 341 0 0 25 0 1 0 21392774 63442944 12722 4294967295 134512640 135987407 3221224560 3221223136 134814131 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15489 12722 364 364 0 15125 0 [pid=7716] vsize: 61956 Current children cumulated CPU time (s) 564.19 Current children cumulated vsize (Kb) 61956 [startup+580.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 23573 0 0 0 57062 346 0 0 25 0 1 0 21392774 63442944 12732 4294967295 134512640 135987407 3221224560 3221223104 134812063 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15489 12732 364 364 0 15125 0 [pid=7716] vsize: 61956 Current children cumulated CPU time (s) 574.08 Current children cumulated vsize (Kb) 61956 [startup+590.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 23583 0 0 0 58045 350 0 0 25 0 1 0 21392774 63442944 12742 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15489 12742 364 364 0 15125 0 [pid=7716] vsize: 61956 Current children cumulated CPU time (s) 583.95 Current children cumulated vsize (Kb) 61956 [startup+600.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 23771 0 0 0 59030 355 0 0 25 0 1 0 21392774 63442944 12744 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15489 12744 364 364 0 15125 0 [pid=7716] vsize: 61956 Current children cumulated CPU time (s) 593.85 Current children cumulated vsize (Kb) 61956 [startup+610.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 23772 0 0 0 60011 361 0 0 25 0 1 0 21392774 63442944 12745 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15489 12745 364 364 0 15125 0 [pid=7716] vsize: 61956 Current children cumulated CPU time (s) 603.72 Current children cumulated vsize (Kb) 61956 [startup+620.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 23980 0 0 0 60998 365 0 0 25 0 1 0 21392774 63578112 12767 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15522 12767 364 364 0 15158 0 [pid=7716] vsize: 62088 Current children cumulated CPU time (s) 613.63 Current children cumulated vsize (Kb) 62088 [startup+630.025 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 24005 0 0 0 61983 370 0 0 25 0 1 0 21392774 63713280 12792 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15555 12792 364 364 0 15191 0 [pid=7716] vsize: 62220 Current children cumulated CPU time (s) 623.53 Current children cumulated vsize (Kb) 62220 [startup+640.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7777 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 24202 0 0 0 62968 376 0 0 25 0 1 0 21392774 63713280 12803 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15555 12803 364 364 0 15191 0 [pid=7716] vsize: 62220 Current children cumulated CPU time (s) 633.44 Current children cumulated vsize (Kb) 62220 [startup+650.025 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 24212 0 0 0 63952 380 0 0 25 0 1 0 21392774 63713280 12813 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15555 12813 364 364 0 15191 0 [pid=7716] vsize: 62220 Current children cumulated CPU time (s) 643.32 Current children cumulated vsize (Kb) 62220 [startup+660.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 24410 0 0 0 64937 385 0 0 25 0 1 0 21392774 63713280 12825 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15555 12825 364 364 0 15191 0 [pid=7716] vsize: 62220 Current children cumulated CPU time (s) 653.22 Current children cumulated vsize (Kb) 62220 [startup+670.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 24420 0 0 0 65920 392 0 0 25 0 1 0 21392774 63713280 12835 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15555 12835 364 364 0 15191 0 [pid=7716] vsize: 62220 Current children cumulated CPU time (s) 663.12 Current children cumulated vsize (Kb) 62220 [startup+680.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 24615 0 0 0 66902 398 0 0 25 0 1 0 21392774 63713280 12844 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15555 12844 364 364 0 15191 0 [pid=7716] vsize: 62220 Current children cumulated CPU time (s) 673 Current children cumulated vsize (Kb) 62220 [startup+690.028 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 24623 0 0 0 67887 403 0 0 25 0 1 0 21392774 63713280 12852 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15555 12852 364 364 0 15191 0 [pid=7716] vsize: 62220 Current children cumulated CPU time (s) 682.9 Current children cumulated vsize (Kb) 62220 [startup+700.028 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 24631 0 0 0 68870 408 0 0 25 0 1 0 21392774 63713280 12860 4294967295 134512640 135987407 3221224560 3221223104 134812005 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15555 12860 364 364 0 15191 0 [pid=7716] vsize: 62220 Current children cumulated CPU time (s) 692.78 Current children cumulated vsize (Kb) 62220 [startup+710.028 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 24820 0 0 0 69854 413 0 0 25 0 1 0 21392774 63713280 12863 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15555 12863 364 364 0 15191 0 [pid=7716] vsize: 62220 Current children cumulated CPU time (s) 702.67 Current children cumulated vsize (Kb) 62220 [startup+720.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 24845 0 0 0 70840 419 0 0 25 0 1 0 21392774 63848448 12888 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15588 12888 364 364 0 15224 0 [pid=7716] vsize: 62352 Current children cumulated CPU time (s) 712.59 Current children cumulated vsize (Kb) 62352 [startup+730.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 25042 0 0 0 71824 424 0 0 25 0 1 0 21392774 63848448 12899 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15588 12899 364 364 0 15224 0 [pid=7716] vsize: 62352 Current children cumulated CPU time (s) 722.48 Current children cumulated vsize (Kb) 62352 [startup+740.029 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) T 7715 7716 4005 0 -1 0 25053 0 0 0 72811 429 0 0 25 0 1 0 21392774 63848448 12910 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15588 12910 364 364 0 15224 0 [pid=7716] vsize: 62352 Current children cumulated CPU time (s) 732.4 Current children cumulated vsize (Kb) 62352 [startup+750.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 25247 0 0 0 73796 433 0 0 25 0 1 0 21392774 63848448 12918 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15588 12918 364 364 0 15224 0 [pid=7716] vsize: 62352 Current children cumulated CPU time (s) 742.29 Current children cumulated vsize (Kb) 62352 [startup+760.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 25277 0 0 0 74781 439 0 0 25 0 1 0 21392774 63983616 12948 4294967295 134512640 135987407 3221224560 3221223280 134812635 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15621 12948 364 364 0 15257 0 [pid=7716] vsize: 62484 Current children cumulated CPU time (s) 752.2 Current children cumulated vsize (Kb) 62484 [startup+770.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 25473 0 0 0 75768 444 0 0 25 0 1 0 21392774 63983616 12958 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15621 12958 364 364 0 15257 0 [pid=7716] vsize: 62484 Current children cumulated CPU time (s) 762.12 Current children cumulated vsize (Kb) 62484 [startup+780.03 s] Raw data (loadavg): 1.07 1.01 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 25484 0 0 0 76751 451 0 0 25 0 1 0 21392774 63983616 12969 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15621 12969 364 364 0 15257 0 [pid=7716] vsize: 62484 Current children cumulated CPU time (s) 772.02 Current children cumulated vsize (Kb) 62484 [startup+790.029 s] Raw data (loadavg): 1.06 1.01 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 25679 0 0 0 77735 457 0 0 25 0 1 0 21392774 63983616 12978 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15621 12978 364 364 0 15257 0 [pid=7716] vsize: 62484 Current children cumulated CPU time (s) 781.92 Current children cumulated vsize (Kb) 62484 [startup+800.03 s] Raw data (loadavg): 1.05 1.01 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 25689 0 0 0 78721 461 0 0 25 0 1 0 21392774 63983616 12988 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15621 12988 364 364 0 15257 0 [pid=7716] vsize: 62484 Current children cumulated CPU time (s) 791.82 Current children cumulated vsize (Kb) 62484 [startup+810.031 s] Raw data (loadavg): 1.04 1.01 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 25883 0 0 0 79704 467 0 0 25 0 1 0 21392774 63983616 12996 4294967295 134512640 135987407 3221224560 3221223180 134811680 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15621 12996 364 364 0 15257 0 [pid=7716] vsize: 62484 Current children cumulated CPU time (s) 801.71 Current children cumulated vsize (Kb) 62484 [startup+820.032 s] Raw data (loadavg): 1.04 1.01 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 25903 0 0 0 80689 473 0 0 25 0 1 0 21392774 64118784 13016 4294967295 134512640 135987407 3221224560 3221223104 134812010 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15654 13016 364 364 0 15290 0 [pid=7716] vsize: 62616 Current children cumulated CPU time (s) 811.62 Current children cumulated vsize (Kb) 62616 [startup+830.031 s] Raw data (loadavg): 1.03 1.01 0.96 1/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) T 7715 7716 4005 0 -1 0 25922 0 0 0 81676 478 0 0 25 0 1 0 21392774 64253952 13035 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15687 13035 364 364 0 15323 0 [pid=7716] vsize: 62748 Current children cumulated CPU time (s) 821.54 Current children cumulated vsize (Kb) 62748 [startup+840.031 s] Raw data (loadavg): 1.02 1.01 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 26109 0 0 0 82660 483 0 0 25 0 1 0 21392774 64253952 13036 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15687 13036 364 364 0 15323 0 [pid=7716] vsize: 62748 Current children cumulated CPU time (s) 831.43 Current children cumulated vsize (Kb) 62748 [startup+850.032 s] Raw data (loadavg): 1.02 1.01 0.96 1/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) T 7715 7716 4005 0 -1 0 26113 0 0 0 83648 487 0 0 25 0 1 0 21392774 64253952 13040 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15687 13040 364 364 0 15323 0 [pid=7716] vsize: 62748 Current children cumulated CPU time (s) 841.35 Current children cumulated vsize (Kb) 62748 [startup+860.031 s] Raw data (loadavg): 1.02 1.01 0.96 1/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) T 7715 7716 4005 0 -1 0 26301 0 0 0 84637 490 0 0 25 0 1 0 21392774 64253952 13042 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15687 13042 364 364 0 15323 0 [pid=7716] vsize: 62748 Current children cumulated CPU time (s) 851.27 Current children cumulated vsize (Kb) 62748 [startup+870.033 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 26310 0 0 0 85622 495 0 0 25 0 1 0 21392774 64253952 13051 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15687 13051 364 364 0 15323 0 [pid=7716] vsize: 62748 Current children cumulated CPU time (s) 861.17 Current children cumulated vsize (Kb) 62748 [startup+880.033 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 26524 0 0 0 86605 501 0 0 25 0 1 0 21392774 64389120 13079 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13079 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 871.06 Current children cumulated vsize (Kb) 62880 [startup+890.032 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 26534 0 0 0 87589 508 0 0 25 0 1 0 21392774 64389120 13089 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13089 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 880.97 Current children cumulated vsize (Kb) 62880 [startup+900.033 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 26549 0 0 0 88573 514 0 0 25 0 1 0 21392774 64389120 13104 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13104 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 890.87 Current children cumulated vsize (Kb) 62880 [startup+910.034 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 26742 0 0 0 89558 519 0 0 25 0 1 0 21392774 64389120 13111 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13111 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 900.77 Current children cumulated vsize (Kb) 62880 [startup+920.033 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 26754 0 0 0 90544 524 0 0 25 0 1 0 21392774 64389120 13123 4294967295 134512640 135987407 3221224560 3221223280 134812585 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13123 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 910.68 Current children cumulated vsize (Kb) 62880 [startup+930.034 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 26944 0 0 0 91530 529 0 0 25 0 1 0 21392774 64389120 13127 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13127 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 920.59 Current children cumulated vsize (Kb) 62880 [startup+940.034 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 26946 0 0 0 92517 533 0 0 25 0 1 0 21392774 64389120 13129 4294967295 134512640 135987407 3221224560 3221222976 134788476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13129 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 930.5 Current children cumulated vsize (Kb) 62880 [startup+950.034 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 27137 0 0 0 93501 539 0 0 25 0 1 0 21392774 64389120 13134 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13134 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 940.4 Current children cumulated vsize (Kb) 62880 [startup+960.034 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 27149 0 0 0 94486 544 0 0 25 0 1 0 21392774 64389120 13146 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13146 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 950.3 Current children cumulated vsize (Kb) 62880 [startup+970.034 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 27344 0 0 0 95471 549 0 0 25 0 1 0 21392774 64389120 13155 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13155 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 960.2 Current children cumulated vsize (Kb) 62880 [startup+980.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 27354 0 0 0 96455 554 0 0 25 0 1 0 21392774 64389120 13165 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13165 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 970.09 Current children cumulated vsize (Kb) 62880 [startup+990.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 27550 0 0 0 97441 559 0 0 25 0 1 0 21392774 64389120 13175 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13175 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 980 Current children cumulated vsize (Kb) 62880 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 27562 0 0 0 98428 564 0 0 25 0 1 0 21392774 64389120 13187 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15720 13187 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 989.92 Current children cumulated vsize (Kb) 62880 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 27757 0 0 0 99413 569 0 0 25 0 1 0 21392774 64389120 13196 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13196 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 999.82 Current children cumulated vsize (Kb) 62880 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 27764 0 0 0 100397 573 0 0 25 0 1 0 21392774 64389120 13203 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13203 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 1009.7 Current children cumulated vsize (Kb) 62880 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 27771 0 0 0 101379 579 0 0 25 0 1 0 21392774 64389120 13210 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13210 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 1019.58 Current children cumulated vsize (Kb) 62880 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 27964 0 0 0 102363 584 0 0 25 0 1 0 21392774 64389120 13217 4294967295 134512640 135987407 3221224560 3221223104 134811983 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15720 13217 364 364 0 15356 0 [pid=7716] vsize: 62880 Current children cumulated CPU time (s) 1029.47 Current children cumulated vsize (Kb) 62880 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 27983 0 0 0 103345 590 0 0 25 0 1 0 21392774 64524288 13236 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15753 13236 364 364 0 15389 0 [pid=7716] vsize: 63012 Current children cumulated CPU time (s) 1039.35 Current children cumulated vsize (Kb) 63012 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 27985 0 0 0 104327 597 0 0 25 0 1 0 21392774 64524288 13238 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15753 13238 364 364 0 15389 0 [pid=7716] vsize: 63012 Current children cumulated CPU time (s) 1049.24 Current children cumulated vsize (Kb) 63012 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 28200 0 0 0 105310 603 0 0 25 0 1 0 21392774 64659456 13267 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15786 13267 364 364 0 15422 0 [pid=7716] vsize: 63144 Current children cumulated CPU time (s) 1059.13 Current children cumulated vsize (Kb) 63144 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 28202 0 0 0 106294 609 0 0 25 0 1 0 21392774 64659456 13269 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15786 13269 364 364 0 15422 0 [pid=7716] vsize: 63144 Current children cumulated CPU time (s) 1069.03 Current children cumulated vsize (Kb) 63144 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) T 7715 7716 4005 0 -1 0 28393 0 0 0 107277 615 0 0 24 0 1 0 21392774 64659456 13274 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15786 13274 364 364 0 15422 0 [pid=7716] vsize: 63144 Current children cumulated CPU time (s) 1078.92 Current children cumulated vsize (Kb) 63144 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 28397 0 0 0 108260 621 0 0 25 0 1 0 21392774 64659456 13278 4294967295 134512640 135987407 3221224560 3221223104 134811790 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15786 13278 364 364 0 15422 0 [pid=7716] vsize: 63144 Current children cumulated CPU time (s) 1088.81 Current children cumulated vsize (Kb) 63144 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 28400 0 0 0 109244 625 0 0 25 0 1 0 21392774 64659456 13281 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15786 13281 364 364 0 15422 0 [pid=7716] vsize: 63144 Current children cumulated CPU time (s) 1098.69 Current children cumulated vsize (Kb) 63144 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 28594 0 0 0 110232 629 0 0 25 0 1 0 21392774 64659456 13289 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15786 13289 364 364 0 15422 0 [pid=7716] vsize: 63144 Current children cumulated CPU time (s) 1108.61 Current children cumulated vsize (Kb) 63144 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 28602 0 0 0 111216 634 0 0 25 0 1 0 21392774 64659456 13297 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15786 13297 364 364 0 15422 0 [pid=7716] vsize: 63144 Current children cumulated CPU time (s) 1118.5 Current children cumulated vsize (Kb) 63144 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 28796 0 0 0 112197 640 0 0 25 0 1 0 21392774 64659456 13305 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15786 13305 364 364 0 15422 0 [pid=7716] vsize: 63144 Current children cumulated CPU time (s) 1128.37 Current children cumulated vsize (Kb) 63144 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 28805 0 0 0 113179 646 0 0 25 0 1 0 21392774 64659456 13314 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15786 13314 364 364 0 15422 0 [pid=7716] vsize: 63144 Current children cumulated CPU time (s) 1138.25 Current children cumulated vsize (Kb) 63144 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) T 7715 7716 4005 0 -1 0 28814 0 0 0 114161 652 0 0 25 0 1 0 21392774 64659456 13323 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15786 13323 364 364 0 15422 0 [pid=7716] vsize: 63144 Current children cumulated CPU time (s) 1148.13 Current children cumulated vsize (Kb) 63144 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 28823 0 0 0 115146 658 0 0 25 0 1 0 21392774 64659456 13332 4294967295 134512640 135987407 3221224560 3221223104 134811983 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15786 13332 364 364 0 15422 0 [pid=7716] vsize: 63144 Current children cumulated CPU time (s) 1158.04 Current children cumulated vsize (Kb) 63144 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) T 7715 7716 4005 0 -1 0 28851 0 0 0 116131 663 0 0 25 0 1 0 21392774 64794624 13360 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15819 13360 364 364 0 15455 0 [pid=7716] vsize: 63276 Current children cumulated CPU time (s) 1167.94 Current children cumulated vsize (Kb) 63276 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 29038 0 0 0 117114 669 0 0 25 0 1 0 21392774 64794624 13361 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7716/statm): 15819 13361 364 364 0 15455 0 [pid=7716] vsize: 63276 Current children cumulated CPU time (s) 1177.83 Current children cumulated vsize (Kb) 63276 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 29039 0 0 0 118096 674 0 0 25 0 1 0 21392774 64794624 13362 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15819 13362 364 364 0 15455 0 [pid=7716] vsize: 63276 Current children cumulated CPU time (s) 1187.7 Current children cumulated vsize (Kb) 63276 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) T 7715 7716 4005 0 -1 0 29229 0 0 0 119079 681 0 0 25 0 1 0 21392774 64794624 13366 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15819 13366 364 364 0 15455 0 [pid=7716] vsize: 63276 Current children cumulated CPU time (s) 1197.6 Current children cumulated vsize (Kb) 63276 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 29242 0 0 0 120064 687 0 0 25 0 1 0 21392774 64958464 13379 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15859 13379 364 364 0 15495 0 [pid=7716] vsize: 63436 Current children cumulated CPU time (s) 1207.51 Current children cumulated vsize (Kb) 63436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 7779 Raw data (/proc/7716/stat): 7716 (pb2sat) R 7715 7716 4005 0 -1 0 29242 0 0 0 120064 687 0 0 25 0 1 0 21392774 64958464 13379 4294967295 134512640 135987407 3221224560 3221223104 134812033 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7716/statm): 15859 13379 364 364 0 15495 0 [pid=7716] vsize: 63436 Current children cumulated CPU time (s) 1207.51 Current children cumulated vsize (Kb) 63436 Sending SIGTERM to -7716 Sleeping 2 seconds One traced child (pid=7716) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1220.22 CPU time (s): 1207.69 CPU user time (s): 1200.79 CPU system time (s): 6.89595 CPU usage (%): 98.9731 Max. virtual memory (cumulated for all children) (Kb): 63436
Verifier: OK 262