Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Nameweb/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
MD5SUMb2c6bc03457d15976fdaf81252d9cdae
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved NO
Number of terms in the objective function 435
Biggest coefficient in the objective function 282
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1168
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 282
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1168
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.11
Number of variables435
Total number of constraints935
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)532
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16

Trace number 9964

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        938052 kB
Buffers:         11512 kB
Cached:          68320 kB
SwapCached:          0 kB
Active:          43744 kB
Inactive:        39016 kB
HighTotal:      131008 kB
HighFree:        58408 kB
LowTotal:       903652 kB
LowFree:        879644 kB
SwapTotal:     2097640 kB
SwapFree:      2097640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8244 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:19:35 (client local time) WITH STATUS 10 IN 1209.45 SECONDS
stats: 8606 0 1209.45 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 520
c small objective detected
c CONFLICT during preprocess 
c [startup+5.47199 s]  setting bit 10 to 0
c [startup+6.80626 s]  setting bit 9 to 0

c Decision: 29907/107147	Time: 170.905/86400
c Decision: 29907/107147	Time: 191.519/86400
c Decision: 29907/107147	Time: 216.802/86400
c Decision: 29907/107147	Time: 240.684/86400
c Decision: 29907/107147	Time: 262.858/86400
c Decision: 29907/107147	Time: 285.517/86400
c Decision: 29907/107147	Time: 312.754/86400
c Decision: 29907/107147	Time: 338.042/86400
c Decision: 29907/107147	Time: 361.144/86400
c Decision: 29907/107147	Time: 385.802/86400
c Decision: 29907/107147	Time: 410.638/86400
c Decision: 29907/107147	Time: 431.427/86400
c Decision: 29907/107147	Time: 452.28/86400
c Decision: 29907/107147	Time: 472.861/86400
c Decision: 29907/107147	Time: 498.255/86400
c Decision: 29907/107147	Time: 524.389/86400
c Decision: 29907/107147	Time: 550.102/86400
c Decision: 29907/107147	Time: 571.306/86400
c Decision: 29907/107147	Time: 590.499/86400
c Decision: 29907/107147	Time: 614.452/86400
c Decision: 29907/107147	Time: 638.729/86400
c Decision: 29907/107147	Time: 662.547/86400
c Decision: 29908/107147	Time: 698.173/86400
c Decision: 29908/107147	Time: 724.139/86400
c Decision: 29908/107147	Time: 748.795/86400
c Decision: 29908/107147	Time: 770.769/86400
c Decision: 29908/107147	Time: 796.654/86400
c Decision: 29908/107147	Time: 821.798/86400
c Decision: 29908/107147	Time: 842.525/86400
c Decision: 29908/107147	Time: 868.435/86400
c Decision: 29908/107147	Time: 896.602/86400
c Decision: 29908/107147	Time: 920.889/86400
c Decision: 29908/107147	Time: 941.07/86400
c Decision: 29908/107147	Time: 965.255/86400
c Decision: 29908/107147	Time: 991.848/86400
c Decision: 29908/107147	Time: 1014.76/86400
c Decision: 29908/107147	Time: 1038.63/86400
c Decision: 29908/107147	Time: 1060.18/86400
c Decision: 29908/107147	Time: 1082.36/86400
c Decision: 29908/107147	Time: 1106.85/86400
c Decision: 29908/107147	Time: 1134.08/86400
c Decision: 29908/107147	Time: 1155.77/86400
c Decision: 29908/107147	Time: 1179.36/86400
c Decision: 29908/107147	Time: 1198.7/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 -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 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

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21417065 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 373 2 364 364 0 9 0
[pid=8354] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc28/normalized-10:10:4.5:0.95:100.opb

[startup+10.0022 s]
Raw data (loadavg): 0.93 0.97 0.95 2/55 8354
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 17565 0 0 0 953 40 0 0 25 0 1 0 21417065 53960704 11290 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 13174 11290 364 364 0 12810 0
[pid=8354] vsize: 52696
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 52696

[startup+20.0029 s]
Raw data (loadavg): 0.94 0.97 0.95 2/55 8354
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 17939 0 0 0 1937 47 0 0 25 0 1 0 21417065 55599104 11664 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 13574 11664 364 364 0 13210 0
[pid=8354] vsize: 54296
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 54296

[startup+30.0035 s]
Raw data (loadavg): 0.95 0.97 0.95 2/55 8354
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 18156 0 0 0 2923 52 0 0 25 0 1 0 21417065 56713216 11881 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 13846 11881 364 364 0 13482 0
[pid=8354] vsize: 55384
Current children cumulated CPU time (s) 29.75
Current children cumulated vsize (Kb) 55384

[startup+40.0032 s]
Raw data (loadavg): 0.95 0.97 0.95 2/55 8354
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 18289 0 0 0 3912 56 0 0 25 0 1 0 21417065 57241600 12014 4294967295 134512640 135987407 3221224560 3221223232 134824240 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 13975 12014 364 364 0 13611 0
[pid=8354] vsize: 55900
Current children cumulated CPU time (s) 39.68
Current children cumulated vsize (Kb) 55900

[startup+50.0029 s]
Raw data (loadavg): 0.96 0.97 0.95 2/55 8354
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 18428 0 0 0 4901 60 0 0 25 0 1 0 21417065 57831424 12153 4294967295 134512640 135987407 3221224560 3221223104 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 14119 12153 364 364 0 13755 0
[pid=8354] vsize: 56476
Current children cumulated CPU time (s) 49.61
Current children cumulated vsize (Kb) 56476

[startup+60.0036 s]
Raw data (loadavg): 0.97 0.97 0.95 2/55 8409
Raw data (/proc/8354/stat): 8354 (pb2sat) T 8353 8354 4005 0 -1 0 18466 0 0 0 5888 65 0 0 25 0 1 0 21417065 58028032 12191 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8354/statm): 14167 12191 364 364 0 13803 0
[pid=8354] vsize: 56668
Current children cumulated CPU time (s) 59.53
Current children cumulated vsize (Kb) 56668

[startup+70.0042 s]
Raw data (loadavg): 0.97 0.97 0.95 2/55 8409
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 18645 0 0 0 6875 69 0 0 25 0 1 0 21417065 58826752 12370 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 14362 12370 364 364 0 13998 0
[pid=8354] vsize: 57448
Current children cumulated CPU time (s) 69.44
Current children cumulated vsize (Kb) 57448

[startup+80.0049 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 8409
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 18775 0 0 0 7863 74 0 0 25 0 1 0 21417065 59551744 12500 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 14539 12500 364 364 0 14175 0
[pid=8354] vsize: 58156
Current children cumulated CPU time (s) 79.37
Current children cumulated vsize (Kb) 58156

[startup+90.0046 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 8409
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 18819 0 0 0 8854 78 0 0 25 0 1 0 21417065 59551744 12544 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 14539 12544 364 364 0 14175 0
[pid=8354] vsize: 58156
Current children cumulated CPU time (s) 89.32
Current children cumulated vsize (Kb) 58156

[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 8409
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 18907 0 0 0 9840 83 0 0 25 0 1 0 21417065 59883520 12632 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 14620 12632 364 364 0 14256 0
[pid=8354] vsize: 58480
Current children cumulated CPU time (s) 99.23
Current children cumulated vsize (Kb) 58480

[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 8411
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 18944 0 0 0 10827 88 0 0 25 0 1 0 21417065 60018688 12669 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 14653 12669 364 364 0 14289 0
[pid=8354] vsize: 58612
Current children cumulated CPU time (s) 109.15
Current children cumulated vsize (Kb) 58612

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8413
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 18995 0 0 0 11816 92 0 0 25 0 1 0 21417065 60289024 12720 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 14719 12720 364 364 0 14355 0
[pid=8354] vsize: 58876
Current children cumulated CPU time (s) 119.08
Current children cumulated vsize (Kb) 58876

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 19137 0 0 0 12802 97 0 0 25 0 1 0 21417065 61100032 12862 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 14917 12862 364 364 0 14553 0
[pid=8354] vsize: 59668
Current children cumulated CPU time (s) 128.99
Current children cumulated vsize (Kb) 59668

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 19264 0 0 0 13784 103 0 0 25 0 1 0 21417065 61775872 12989 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15082 12989 364 364 0 14718 0
[pid=8354] vsize: 60328
Current children cumulated CPU time (s) 138.87
Current children cumulated vsize (Kb) 60328

[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 19328 0 0 0 14766 110 0 0 25 0 1 0 21417065 62181376 13053 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15181 13053 364 364 0 14817 0
[pid=8354] vsize: 60724
Current children cumulated CPU time (s) 148.76
Current children cumulated vsize (Kb) 60724

[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 19338 0 0 0 15751 115 0 0 25 0 1 0 21417065 62181376 13063 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15181 13063 364 364 0 14817 0
[pid=8354] vsize: 60724
Current children cumulated CPU time (s) 158.66
Current children cumulated vsize (Kb) 60724

[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 19414 0 0 0 16737 120 0 0 25 0 1 0 21417065 62586880 13139 4294967295 134512640 135987407 3221224560 3221223280 134812603 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15280 13139 364 364 0 14916 0
[pid=8354] vsize: 61120
Current children cumulated CPU time (s) 168.57
Current children cumulated vsize (Kb) 61120

[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 19689 0 0 0 17721 127 0 0 25 0 1 0 21417065 62992384 13204 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15379 13204 364 364 0 15015 0
[pid=8354] vsize: 61516
Current children cumulated CPU time (s) 178.48
Current children cumulated vsize (Kb) 61516

[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) T 8353 8354 4005 0 -1 0 19712 0 0 0 18705 132 0 0 25 0 1 0 21417065 63127552 13227 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15412 13227 364 364 0 15048 0
[pid=8354] vsize: 61648
Current children cumulated CPU time (s) 188.37
Current children cumulated vsize (Kb) 61648

[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 19966 0 0 0 19690 138 0 0 25 0 1 0 21417065 63332352 13255 4294967295 134512640 135987407 3221224560 3221223184 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15462 13255 364 364 0 15098 0
[pid=8354] vsize: 61848
Current children cumulated CPU time (s) 198.28
Current children cumulated vsize (Kb) 61848

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 19975 0 0 0 20678 143 0 0 25 0 1 0 21417065 63332352 13264 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15462 13264 364 364 0 15098 0
[pid=8354] vsize: 61848
Current children cumulated CPU time (s) 208.21
Current children cumulated vsize (Kb) 61848

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 19996 0 0 0 21662 149 0 0 24 0 1 0 21417065 63467520 13285 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15495 13285 364 364 0 15131 0
[pid=8354] vsize: 61980
Current children cumulated CPU time (s) 218.11
Current children cumulated vsize (Kb) 61980

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 20208 0 0 0 22647 155 0 0 25 0 1 0 21417065 63467520 13287 4294967295 134512640 135987407 3221224560 3221223104 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15495 13287 364 364 0 15131 0
[pid=8354] vsize: 61980
Current children cumulated CPU time (s) 228.02
Current children cumulated vsize (Kb) 61980

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 20210 0 0 0 23632 160 0 0 25 0 1 0 21417065 63467520 13289 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15495 13289 364 364 0 15131 0
[pid=8354] vsize: 61980
Current children cumulated CPU time (s) 237.92
Current children cumulated vsize (Kb) 61980

[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 20459 0 0 0 24619 166 0 0 25 0 1 0 21417065 63737856 13328 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15561 13328 364 364 0 15197 0
[pid=8354] vsize: 62244
Current children cumulated CPU time (s) 247.85
Current children cumulated vsize (Kb) 62244

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 20475 0 0 0 25605 171 0 0 25 0 1 0 21417065 63737856 13344 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15561 13344 364 364 0 15197 0
[pid=8354] vsize: 62244
Current children cumulated CPU time (s) 257.76
Current children cumulated vsize (Kb) 62244

[startup+270.011 s]
Raw data (loadavg): 1.07 0.99 0.96 1/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) T 8353 8354 4005 0 -1 0 20477 0 0 0 26589 177 0 0 25 0 1 0 21417065 63737856 13346 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15561 13346 364 364 0 15197 0
[pid=8354] vsize: 62244
Current children cumulated CPU time (s) 267.66
Current children cumulated vsize (Kb) 62244

[startup+280.012 s]
Raw data (loadavg): 1.06 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 20692 0 0 0 27576 183 0 0 25 0 1 0 21417065 63737856 13351 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15561 13351 364 364 0 15197 0
[pid=8354] vsize: 62244
Current children cumulated CPU time (s) 277.59
Current children cumulated vsize (Kb) 62244

[startup+290.011 s]
Raw data (loadavg): 1.05 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 20720 0 0 0 28560 188 0 0 25 0 1 0 21417065 63873024 13379 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15594 13379 364 364 0 15230 0
[pid=8354] vsize: 62376
Current children cumulated CPU time (s) 287.48
Current children cumulated vsize (Kb) 62376

[startup+300.011 s]
Raw data (loadavg): 1.04 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 20954 0 0 0 29544 194 0 0 25 0 1 0 21417065 64008192 13403 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15627 13403 364 364 0 15263 0
[pid=8354] vsize: 62508
Current children cumulated CPU time (s) 297.38
Current children cumulated vsize (Kb) 62508

[startup+310.012 s]
Raw data (loadavg): 1.04 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 20955 0 0 0 30528 200 0 0 25 0 1 0 21417065 64008192 13404 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15627 13404 364 364 0 15263 0
[pid=8354] vsize: 62508
Current children cumulated CPU time (s) 307.28
Current children cumulated vsize (Kb) 62508

[startup+320.012 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 20957 0 0 0 31513 205 0 0 25 0 1 0 21417065 64008192 13406 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15627 13406 364 364 0 15263 0
[pid=8354] vsize: 62508
Current children cumulated CPU time (s) 317.18
Current children cumulated vsize (Kb) 62508

[startup+330.013 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 21171 0 0 0 32499 211 0 0 25 0 1 0 21417065 64008192 13410 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15627 13410 364 364 0 15263 0
[pid=8354] vsize: 62508
Current children cumulated CPU time (s) 327.1
Current children cumulated vsize (Kb) 62508

[startup+340.013 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 21178 0 0 0 33480 217 0 0 25 0 1 0 21417065 64008192 13417 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15627 13417 364 364 0 15263 0
[pid=8354] vsize: 62508
Current children cumulated CPU time (s) 336.97
Current children cumulated vsize (Kb) 62508

[startup+350.013 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 21408 0 0 0 34466 222 0 0 25 0 1 0 21417065 64143360 13437 4294967295 134512640 135987407 3221224560 3221223104 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15660 13437 364 364 0 15296 0
[pid=8354] vsize: 62640
Current children cumulated CPU time (s) 346.88
Current children cumulated vsize (Kb) 62640

[startup+360.014 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 21410 0 0 0 35452 226 0 0 25 0 1 0 21417065 64143360 13439 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15660 13439 364 364 0 15296 0
[pid=8354] vsize: 62640
Current children cumulated CPU time (s) 356.78
Current children cumulated vsize (Kb) 62640

[startup+370.014 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 21416 0 0 0 36436 230 0 0 25 0 1 0 21417065 64143360 13445 4294967295 134512640 135987407 3221224560 3221223104 134811855 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15660 13445 364 364 0 15296 0
[pid=8354] vsize: 62640
Current children cumulated CPU time (s) 366.66
Current children cumulated vsize (Kb) 62640

[startup+380.014 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 21635 0 0 0 37420 237 0 0 25 0 1 0 21417065 64143360 13454 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15660 13454 364 364 0 15296 0
[pid=8354] vsize: 62640
Current children cumulated CPU time (s) 376.57
Current children cumulated vsize (Kb) 62640

[startup+390.014 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 21661 0 0 0 38406 242 0 0 25 0 1 0 21417065 64278528 13480 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15693 13480 364 364 0 15329 0
[pid=8354] vsize: 62772
Current children cumulated CPU time (s) 386.48
Current children cumulated vsize (Kb) 62772

[startup+400.014 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 21897 0 0 0 39388 248 0 0 25 0 1 0 21417065 64413696 13506 4294967295 134512640 135987407 3221224560 3221223104 134811835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15726 13506 364 364 0 15362 0
[pid=8354] vsize: 62904
Current children cumulated CPU time (s) 396.36
Current children cumulated vsize (Kb) 62904

[startup+410.014 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8415
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 21905 0 0 0 40375 253 0 0 25 0 1 0 21417065 64413696 13514 4294967295 134512640 135987407 3221224560 3221223104 134811990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15726 13514 364 364 0 15362 0
[pid=8354] vsize: 62904
Current children cumulated CPU time (s) 406.28
Current children cumulated vsize (Kb) 62904

[startup+420.015 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 21914 0 0 0 41362 257 0 0 25 0 1 0 21417065 64413696 13523 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15726 13523 364 364 0 15362 0
[pid=8354] vsize: 62904
Current children cumulated CPU time (s) 416.19
Current children cumulated vsize (Kb) 62904

[startup+430.016 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 22126 0 0 0 42350 262 0 0 25 0 1 0 21417065 64413696 13525 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15726 13525 364 364 0 15362 0
[pid=8354] vsize: 62904
Current children cumulated CPU time (s) 426.12
Current children cumulated vsize (Kb) 62904

[startup+440.016 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 22150 0 0 0 43334 268 0 0 25 0 1 0 21417065 64548864 13549 4294967295 134512640 135987407 3221224560 3221222976 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15759 13549 364 364 0 15395 0
[pid=8354] vsize: 63036
Current children cumulated CPU time (s) 436.02
Current children cumulated vsize (Kb) 63036

[startup+450.015 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 22384 0 0 0 44320 274 0 0 25 0 1 0 21417065 64684032 13573 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15792 13573 364 364 0 15428 0
[pid=8354] vsize: 63168
Current children cumulated CPU time (s) 445.94
Current children cumulated vsize (Kb) 63168

[startup+460.015 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 22386 0 0 0 45306 280 0 0 25 0 1 0 21417065 64684032 13575 4294967295 134512640 135987407 3221224560 3221223104 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15792 13575 364 364 0 15428 0
[pid=8354] vsize: 63168
Current children cumulated CPU time (s) 455.86
Current children cumulated vsize (Kb) 63168

[startup+470.015 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 22610 0 0 0 46293 285 0 0 25 0 1 0 21417065 64684032 13589 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15792 13589 364 364 0 15428 0
[pid=8354] vsize: 63168
Current children cumulated CPU time (s) 465.78
Current children cumulated vsize (Kb) 63168

[startup+480.015 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 22620 0 0 0 47279 290 0 0 25 0 1 0 21417065 64684032 13599 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15792 13599 364 364 0 15428 0
[pid=8354] vsize: 63168
Current children cumulated CPU time (s) 475.69
Current children cumulated vsize (Kb) 63168

[startup+490.015 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 22885 0 0 0 48265 296 0 0 25 0 1 0 21417065 64954368 13654 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13654 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 485.61
Current children cumulated vsize (Kb) 63432

[startup+500.015 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 22892 0 0 0 49249 302 0 0 25 0 1 0 21417065 64954368 13661 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15858 13661 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 495.51
Current children cumulated vsize (Kb) 63432

[startup+510.015 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 23109 0 0 0 50232 308 0 0 25 0 1 0 21417065 64954368 13668 4294967295 134512640 135987407 3221224560 3221222876 135480864 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15858 13668 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 505.4
Current children cumulated vsize (Kb) 63432

[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 23116 0 0 0 51218 313 0 0 25 0 1 0 21417065 64954368 13675 4294967295 134512640 135987407 3221224560 3221222976 134788493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15858 13675 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 515.31
Current children cumulated vsize (Kb) 63432

[startup+530.017 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 23124 0 0 0 52204 318 0 0 25 0 1 0 21417065 64954368 13683 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15858 13683 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 525.22
Current children cumulated vsize (Kb) 63432

[startup+540.017 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 23343 0 0 0 53190 324 0 0 25 0 1 0 21417065 64954368 13692 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15858 13692 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 535.14
Current children cumulated vsize (Kb) 63432

[startup+550.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 23348 0 0 0 54175 329 0 0 25 0 1 0 21417065 64954368 13697 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15858 13697 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 545.04
Current children cumulated vsize (Kb) 63432

[startup+560.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 23350 0 0 0 55161 333 0 0 25 0 1 0 21417065 64954368 13699 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15858 13699 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 554.94
Current children cumulated vsize (Kb) 63432

[startup+570.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 23561 0 0 0 56146 339 0 0 25 0 1 0 21417065 64954368 13700 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15858 13700 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 564.85
Current children cumulated vsize (Kb) 63432

[startup+580.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 23563 0 0 0 57133 343 0 0 25 0 1 0 21417065 64954368 13702 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13702 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 574.76
Current children cumulated vsize (Kb) 63432

[startup+590.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 23783 0 0 0 58121 347 0 0 25 0 1 0 21417065 64954368 13712 4294967295 134512640 135987407 3221224560 3221223104 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13712 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 584.68
Current children cumulated vsize (Kb) 63432

[startup+600.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 23795 0 0 0 59107 351 0 0 25 0 1 0 21417065 64954368 13724 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13724 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 594.58
Current children cumulated vsize (Kb) 63432

[startup+610.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 24012 0 0 0 60093 357 0 0 25 0 1 0 21417065 64954368 13731 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13731 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 604.5
Current children cumulated vsize (Kb) 63432

[startup+620.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 24022 0 0 0 61080 361 0 0 25 0 1 0 21417065 64954368 13741 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13741 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 614.41
Current children cumulated vsize (Kb) 63432

[startup+630.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 24241 0 0 0 62066 366 0 0 25 0 1 0 21417065 64954368 13750 4294967295 134512640 135987407 3221224560 3221223104 134788602 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15858 13750 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 624.32
Current children cumulated vsize (Kb) 63432

[startup+640.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 24248 0 0 0 63051 371 0 0 25 0 1 0 21417065 64954368 13757 4294967295 134512640 135987407 3221224560 3221223280 134812644 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15858 13757 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 634.22
Current children cumulated vsize (Kb) 63432

[startup+650.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 24264 0 0 0 64036 377 0 0 25 0 1 0 21417065 64954368 13773 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13773 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 644.13
Current children cumulated vsize (Kb) 63432

[startup+660.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 24477 0 0 0 65025 380 0 0 25 0 1 0 21417065 64954368 13776 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13776 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 654.05
Current children cumulated vsize (Kb) 63432

[startup+670.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 24482 0 0 0 66010 385 0 0 25 0 1 0 21417065 64954368 13781 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13781 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 663.95
Current children cumulated vsize (Kb) 63432

[startup+680.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 24697 0 0 0 66996 391 0 0 25 0 1 0 21417065 64954368 13786 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13786 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 673.87
Current children cumulated vsize (Kb) 63432

[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 24706 0 0 0 67984 396 0 0 25 0 1 0 21417065 64954368 13795 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13795 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 683.8
Current children cumulated vsize (Kb) 63432

[startup+700.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 24717 0 0 0 68971 400 0 0 25 0 1 0 21417065 64954368 13806 4294967295 134512640 135987407 3221224560 3221223104 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13806 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 693.71
Current children cumulated vsize (Kb) 63432

[startup+710.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 24728 0 0 0 69958 405 0 0 25 0 1 0 21417065 64954368 13817 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13817 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 703.63
Current children cumulated vsize (Kb) 63432

[startup+720.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 24945 0 0 0 70945 410 0 0 25 0 1 0 21417065 64954368 13824 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 15858 13824 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 713.55
Current children cumulated vsize (Kb) 63432

[startup+730.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 24953 0 0 0 71930 415 0 0 25 0 1 0 21417065 64954368 13832 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15858 13832 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 723.45
Current children cumulated vsize (Kb) 63432

[startup+740.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 25172 0 0 0 72916 421 0 0 25 0 1 0 21417065 64954368 13841 4294967295 134512640 135987407 3221224560 3221223104 134812157 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15858 13841 364 364 0 15494 0
[pid=8354] vsize: 63432
Current children cumulated CPU time (s) 733.37
Current children cumulated vsize (Kb) 63432

[startup+750.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 25203 0 0 0 73904 426 0 0 25 0 1 0 21417065 65089536 13872 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15891 13872 364 364 0 15527 0
[pid=8354] vsize: 63564
Current children cumulated CPU time (s) 743.3
Current children cumulated vsize (Kb) 63564

[startup+760.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 25212 0 0 0 74891 431 0 0 25 0 1 0 21417065 65089536 13881 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15891 13881 364 364 0 15527 0
[pid=8354] vsize: 63564
Current children cumulated CPU time (s) 753.22
Current children cumulated vsize (Kb) 63564

[startup+770.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 25433 0 0 0 75880 435 0 0 25 0 1 0 21417065 65089536 13892 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15891 13892 364 364 0 15527 0
[pid=8354] vsize: 63564
Current children cumulated CPU time (s) 763.15
Current children cumulated vsize (Kb) 63564

[startup+780.02 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 25440 0 0 0 76866 440 0 0 25 0 1 0 21417065 65089536 13899 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15891 13899 364 364 0 15527 0
[pid=8354] vsize: 63564
Current children cumulated CPU time (s) 773.06
Current children cumulated vsize (Kb) 63564

[startup+790.02 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 25654 0 0 0 77852 446 0 0 25 0 1 0 21417065 65089536 13903 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15891 13903 364 364 0 15527 0
[pid=8354] vsize: 63564
Current children cumulated CPU time (s) 782.98
Current children cumulated vsize (Kb) 63564

[startup+800.02 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 25662 0 0 0 78836 451 0 0 25 0 1 0 21417065 65089536 13911 4294967295 134512640 135987407 3221224560 3221223200 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15891 13911 364 364 0 15527 0
[pid=8354] vsize: 63564
Current children cumulated CPU time (s) 792.87
Current children cumulated vsize (Kb) 63564

[startup+810.021 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 25664 0 0 0 79823 455 0 0 25 0 1 0 21417065 65089536 13913 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15891 13913 364 364 0 15527 0
[pid=8354] vsize: 63564
Current children cumulated CPU time (s) 802.78
Current children cumulated vsize (Kb) 63564

[startup+820.021 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 25876 0 0 0 80811 460 0 0 25 0 1 0 21417065 65089536 13915 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15891 13915 364 364 0 15527 0
[pid=8354] vsize: 63564
Current children cumulated CPU time (s) 812.71
Current children cumulated vsize (Kb) 63564

[startup+830.022 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 25877 0 0 0 81796 464 0 0 25 0 1 0 21417065 65089536 13916 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15891 13916 364 364 0 15527 0
[pid=8354] vsize: 63564
Current children cumulated CPU time (s) 822.6
Current children cumulated vsize (Kb) 63564

[startup+840.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 26098 0 0 0 82781 469 0 0 25 0 1 0 21417065 65089536 13927 4294967295 134512640 135987407 3221224560 3221223200 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15891 13927 364 364 0 15527 0
[pid=8354] vsize: 63564
Current children cumulated CPU time (s) 832.5
Current children cumulated vsize (Kb) 63564

[startup+850.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 26129 0 0 0 83766 474 0 0 25 0 1 0 21417065 65224704 13958 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15924 13958 364 364 0 15560 0
[pid=8354] vsize: 63696
Current children cumulated CPU time (s) 842.4
Current children cumulated vsize (Kb) 63696

[startup+860.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 26354 0 0 0 84753 480 0 0 25 0 1 0 21417065 65224704 13973 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15924 13973 364 364 0 15560 0
[pid=8354] vsize: 63696
Current children cumulated CPU time (s) 852.33
Current children cumulated vsize (Kb) 63696

[startup+870.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 26374 0 0 0 85741 483 0 0 25 0 1 0 21417065 65224704 13993 4294967295 134512640 135987407 3221224560 3221223104 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15924 13993 364 364 0 15560 0
[pid=8354] vsize: 63696
Current children cumulated CPU time (s) 862.24
Current children cumulated vsize (Kb) 63696

[startup+880.024 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 26389 0 0 0 86725 489 0 0 25 0 1 0 21417065 65224704 14008 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15924 14008 364 364 0 15560 0
[pid=8354] vsize: 63696
Current children cumulated CPU time (s) 872.14
Current children cumulated vsize (Kb) 63696

[startup+890.024 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 26605 0 0 0 87713 494 0 0 25 0 1 0 21417065 65224704 14014 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15924 14014 364 364 0 15560 0
[pid=8354] vsize: 63696
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (Kb) 63696

[startup+900.025 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 26613 0 0 0 88698 499 0 0 25 0 1 0 21417065 65224704 14022 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15924 14022 364 364 0 15560 0
[pid=8354] vsize: 63696
Current children cumulated CPU time (s) 891.97
Current children cumulated vsize (Kb) 63696

[startup+910.026 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 26622 0 0 0 89681 505 0 0 25 0 1 0 21417065 65224704 14031 4294967295 134512640 135987407 3221224560 3221223200 134812304 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15924 14031 364 364 0 15560 0
[pid=8354] vsize: 63696
Current children cumulated CPU time (s) 901.86
Current children cumulated vsize (Kb) 63696

[startup+920.026 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 26835 0 0 0 90670 510 0 0 25 0 1 0 21417065 65224704 14034 4294967295 134512640 135987407 3221224560 3221223180 134812119 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15924 14034 364 364 0 15560 0
[pid=8354] vsize: 63696
Current children cumulated CPU time (s) 911.8
Current children cumulated vsize (Kb) 63696

[startup+930.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 26837 0 0 0 91660 513 0 0 25 0 1 0 21417065 65224704 14036 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15924 14036 364 364 0 15560 0
[pid=8354] vsize: 63696
Current children cumulated CPU time (s) 921.73
Current children cumulated vsize (Kb) 63696

[startup+940.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 27070 0 0 0 92646 517 0 0 25 0 1 0 21417065 65359872 14059 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15957 14059 364 364 0 15593 0
[pid=8354] vsize: 63828
Current children cumulated CPU time (s) 931.63
Current children cumulated vsize (Kb) 63828

[startup+950.026 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 27092 0 0 0 93637 520 0 0 25 0 1 0 21417065 65495040 14081 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15990 14081 364 364 0 15626 0
[pid=8354] vsize: 63960
Current children cumulated CPU time (s) 941.57
Current children cumulated vsize (Kb) 63960

[startup+960.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 27304 0 0 0 94624 525 0 0 25 0 1 0 21417065 65495040 14083 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 15990 14083 364 364 0 15626 0
[pid=8354] vsize: 63960
Current children cumulated CPU time (s) 951.49
Current children cumulated vsize (Kb) 63960

[startup+970.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 27325 0 0 0 95609 530 0 0 25 0 1 0 21417065 65630208 14104 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 16023 14104 364 364 0 15659 0
[pid=8354] vsize: 64092
Current children cumulated CPU time (s) 961.39
Current children cumulated vsize (Kb) 64092

[startup+980.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 27339 0 0 0 96596 535 0 0 25 0 1 0 21417065 65630208 14118 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16023 14118 364 364 0 15659 0
[pid=8354] vsize: 64092
Current children cumulated CPU time (s) 971.31
Current children cumulated vsize (Kb) 64092

[startup+990.028 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 27558 0 0 0 97582 540 0 0 25 0 1 0 21417065 65630208 14127 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16023 14127 364 364 0 15659 0
[pid=8354] vsize: 64092
Current children cumulated CPU time (s) 981.22
Current children cumulated vsize (Kb) 64092

[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 27564 0 0 0 98568 545 0 0 25 0 1 0 21417065 65630208 14133 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16023 14133 364 364 0 15659 0
[pid=8354] vsize: 64092
Current children cumulated CPU time (s) 991.13
Current children cumulated vsize (Kb) 64092

[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) T 8353 8354 4005 0 -1 0 27781 0 0 0 99554 549 0 0 25 0 1 0 21417065 65630208 14140 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16023 14140 364 364 0 15659 0
[pid=8354] vsize: 64092
Current children cumulated CPU time (s) 1001.03
Current children cumulated vsize (Kb) 64092

[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) T 8353 8354 4005 0 -1 0 27790 0 0 0 100541 554 0 0 25 0 1 0 21417065 65630208 14149 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16023 14149 364 364 0 15659 0
[pid=8354] vsize: 64092
Current children cumulated CPU time (s) 1010.95
Current children cumulated vsize (Kb) 64092

[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 27801 0 0 0 101530 558 0 0 25 0 1 0 21417065 65630208 14160 4294967295 134512640 135987407 3221224560 3221223056 134789464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 16023 14160 364 364 0 15659 0
[pid=8354] vsize: 64092
Current children cumulated CPU time (s) 1020.88
Current children cumulated vsize (Kb) 64092

[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 28013 0 0 0 102515 564 0 0 25 0 1 0 21417065 65630208 14162 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16023 14162 364 364 0 15659 0
[pid=8354] vsize: 64092
Current children cumulated CPU time (s) 1030.79
Current children cumulated vsize (Kb) 64092

[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 28014 0 0 0 103500 570 0 0 25 0 1 0 21417065 65630208 14163 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16023 14163 364 364 0 15659 0
[pid=8354] vsize: 64092
Current children cumulated CPU time (s) 1040.7
Current children cumulated vsize (Kb) 64092

[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 28226 0 0 0 104487 576 0 0 25 0 1 0 21417065 65630208 14165 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 16023 14165 364 364 0 15659 0
[pid=8354] vsize: 64092
Current children cumulated CPU time (s) 1050.63
Current children cumulated vsize (Kb) 64092

[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 28234 0 0 0 105475 581 0 0 25 0 1 0 21417065 65630208 14173 4294967295 134512640 135987407 3221224560 3221223104 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16023 14173 364 364 0 15659 0
[pid=8354] vsize: 64092
Current children cumulated CPU time (s) 1060.56
Current children cumulated vsize (Kb) 64092

[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 28452 0 0 0 106460 587 0 0 25 0 1 0 21417065 65630208 14181 4294967295 134512640 135987407 3221224560 3221223168 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16023 14181 364 364 0 15659 0
[pid=8354] vsize: 64092
Current children cumulated CPU time (s) 1070.47
Current children cumulated vsize (Kb) 64092

[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 28480 0 0 0 107447 591 0 0 25 0 1 0 21417065 65765376 14209 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 16056 14209 364 364 0 15692 0
[pid=8354] vsize: 64224
Current children cumulated CPU time (s) 1080.38
Current children cumulated vsize (Kb) 64224

[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) T 8353 8354 4005 0 -1 0 28699 0 0 0 108434 596 0 0 25 0 1 0 21417065 65765376 14218 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16056 14218 364 364 0 15692 0
[pid=8354] vsize: 64224
Current children cumulated CPU time (s) 1090.3
Current children cumulated vsize (Kb) 64224

[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 28706 0 0 0 109420 601 0 0 25 0 1 0 21417065 65765376 14225 4294967295 134512640 135987407 3221224560 3221223104 134811899 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16056 14225 364 364 0 15692 0
[pid=8354] vsize: 64224
Current children cumulated CPU time (s) 1100.21
Current children cumulated vsize (Kb) 64224

[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) T 8353 8354 4005 0 -1 0 28715 0 0 0 110407 605 0 0 25 0 1 0 21417065 65765376 14234 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16056 14234 364 364 0 15692 0
[pid=8354] vsize: 64224
Current children cumulated CPU time (s) 1110.12
Current children cumulated vsize (Kb) 64224

[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 28931 0 0 0 111391 610 0 0 25 0 1 0 21417065 65765376 14240 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16056 14240 364 364 0 15692 0
[pid=8354] vsize: 64224
Current children cumulated CPU time (s) 1120.01
Current children cumulated vsize (Kb) 64224

[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) T 8353 8354 4005 0 -1 0 28960 0 0 0 112378 615 0 0 25 0 1 0 21417065 65900544 14269 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16089 14269 364 364 0 15725 0
[pid=8354] vsize: 64356
Current children cumulated CPU time (s) 1129.93
Current children cumulated vsize (Kb) 64356

[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 28970 0 0 0 113366 620 0 0 25 0 1 0 21417065 65900544 14279 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 16089 14279 364 364 0 15725 0
[pid=8354] vsize: 64356
Current children cumulated CPU time (s) 1139.86
Current children cumulated vsize (Kb) 64356

[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 29181 0 0 0 114352 626 0 0 25 0 1 0 21417065 65900544 14280 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 16089 14280 364 364 0 15725 0
[pid=8354] vsize: 64356
Current children cumulated CPU time (s) 1149.78
Current children cumulated vsize (Kb) 64356

[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 29183 0 0 0 115336 632 0 0 25 0 1 0 21417065 65900544 14282 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 16089 14282 364 364 0 15725 0
[pid=8354] vsize: 64356
Current children cumulated CPU time (s) 1159.68
Current children cumulated vsize (Kb) 64356

[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 29395 0 0 0 116322 637 0 0 25 0 1 0 21417065 65900544 14284 4294967295 134512640 135987407 3221224560 3221222976 134788502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 16089 14284 364 364 0 15725 0
[pid=8354] vsize: 64356
Current children cumulated CPU time (s) 1169.59
Current children cumulated vsize (Kb) 64356

[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 29397 0 0 0 117307 643 0 0 25 0 1 0 21417065 65900544 14286 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 16089 14286 364 364 0 15725 0
[pid=8354] vsize: 64356
Current children cumulated CPU time (s) 1179.5
Current children cumulated vsize (Kb) 64356

[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 29612 0 0 0 118293 648 0 0 25 0 1 0 21417065 65900544 14291 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 16089 14291 364 364 0 15725 0
[pid=8354] vsize: 64356
Current children cumulated CPU time (s) 1189.41
Current children cumulated vsize (Kb) 64356

[startup+1210.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 29628 0 0 0 119279 653 0 0 25 0 1 0 21417065 66039808 14307 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8354/statm): 16123 14307 364 364 0 15759 0
[pid=8354] vsize: 64492
Current children cumulated CPU time (s) 1199.32
Current children cumulated vsize (Kb) 64492

[startup+1220.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 29855 0 0 0 120267 657 0 0 25 0 1 0 21417065 66039808 14324 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16123 14324 364 364 0 15759 0
[pid=8354] vsize: 64492
Current children cumulated CPU time (s) 1209.24
Current children cumulated vsize (Kb) 64492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8417
Raw data (/proc/8354/stat): 8354 (pb2sat) R 8353 8354 4005 0 -1 0 29855 0 0 0 120267 657 0 0 25 0 1 0 21417065 66039808 14324 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8354/statm): 16123 14324 364 364 0 15759 0
[pid=8354] vsize: 64492
Current children cumulated CPU time (s) 1209.24
Current children cumulated vsize (Kb) 64492

Sending SIGTERM to -8354
Sleeping 2 seconds
One traced child (pid=8354) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1220.24
CPU time (s): 1209.45
CPU user time (s): 1202.84
CPU system time (s): 6.609
CPU usage (%): 99.1158
Max. virtual memory (cumulated for all children) (Kb): 64492

Verifier Data

Verifier:	OK	238