PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/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	5
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	1.03584
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
Trace number 42263

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 04:27:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25466 boxname=wulflinc6 idbench=368 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ac510382bae6003fe0373ad32fd0064f  /oldhome/oroussel/tmp/wulflinc6/normalized-10:10:4.5:0.95:98.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-10:10:4.5:0.95:98.opb
IDLAUNCH: 25466
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        716348 kB
Buffers:         34192 kB
Cached:         261804 kB
SwapCached:       1028 kB
Active:          64620 kB
Inactive:       233576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        716096 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            14488 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 04:47:13 (client local time) WITH STATUS 10 IN 1200.85 SECONDS
stats: 25466 0 1200.85 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
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.71468 s]  setting bit 10 to 0
c [startup+6.43093 s]  setting bit 9 to 0

c Decision: 25893/95118	Time: 74.0707/86400
c Decision: 25893/95118	Time: 89.0515/86400
c Decision: 25893/95118	Time: 103.647/86400
c Decision: 25893/95118	Time: 121.777/86400
c Decision: 25893/95118	Time: 140.679/86400
c Decision: 25893/95118	Time: 162.241/86400
c Decision: 25893/95118	Time: 183.402/86400
c Decision: 25893/95118	Time: 201.208/86400
c Decision: 25893/95118	Time: 222.079/86400
c Decision: 25893/95118	Time: 241.733/86400
c Decision: 25893/95118	Time: 263.23/86400
c Decision: 25893/95118	Time: 285.797/86400
c Decision: 25893/95118	Time: 306.906/86400
c Decision: 25893/95118	Time: 327.804/86400
c Decision: 25893/95118	Time: 344.364/86400
c Decision: 25893/95118	Time: 361.966/86400
c Decision: 25893/95118	Time: 378.587/86400
c Decision: 25893/95118	Time: 397.684/86400
c Decision: 25893/95118	Time: 415.854/86400
c Decision: 25893/95118	Time: 437.376/86400
c Decision: 25893/95118	Time: 454.794/86400
c Decision: 25893/95118	Time: 471.305/86400
c Decision: 25893/95118	Time: 489.086/86400
c Decision: 25893/95118	Time: 509.669/86400
c Decision: 25893/95118	Time: 534.503/86400
c Decision: 25893/95118	Time: 554.686/86400
c Decision: 25893/95118	Time: 578.931/86400
c Decision: 25893/95118	Time: 600.021/86400
c Decision: 25893/95118	Time: 617.371/86400
c Decision: 25893/95118	Time: 637.37/86400
c Decision: 25893/95118	Time: 659.214/86400
c Decision: 25893/95118	Time: 676.944/86400
c Decision: 25893/95118	Time: 698.841/86400
c Decision: 25893/95118	Time: 720.587/86400
c Decision: 25893/95118	Time: 738.417/86400
c Decision: 25893/95118	Time: 760.643/86400
c Decision: 25893/95118	Time: 783.209/86400
c Decision: 25893/95118	Time: 803.877/86400
c Decision: 25893/95118	Time: 826.221/86400
c Decision: 25893/95118	Time: 846.947/86400
c Decision: 25893/95118	Time: 868.955/86400
c Decision: 25893/95118	Time: 889.083/86400
c Decision: 25893/95118	Time: 909.146/86400
c Decision: 25893/95118	Time: 928.866/86400
c Decision: 25893/95118	Time: 948.59/86400
c Decision: 25893/95118	Time: 974.564/86400
c Decision: 25893/95118	Time: 998.574/86400
c Decision: 25893/95118	Time: 1020.23/86400
c Decision: 25893/95118	Time: 1047.13/86400
c Decision: 25893/95118	Time: 1070.51/86400
c Decision: 25894/95118	Time: 1113.05/86400
c Decision: 25894/95118	Time: 1139.57/86400
c Decision: 25894/95118	Time: 1161.01/86400
c Decision: 25894/95118	Time: 1183.42/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 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.97 0.93 2/54 14148
Raw data (stat): 14148 (runsolver) R 14147 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967875701 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.87 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 15223 0 0 0 969 30 0 0 25 0 1 0 967875701 47427584 9104 4294967295 134512640 135730672 3221224576 3221222864 134747701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11579 9104 301 301 0 11278 0
vsize: 46316
[startup+20.001 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 15457 0 0 0 1968 31 0 0 25 0 1 0 967875701 48279552 9338 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11787 9338 301 301 0 11486 0
vsize: 47148
[startup+30.0007 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 15636 0 0 0 2968 32 0 0 25 0 1 0 967875701 49131520 9517 4294967295 134512640 135730672 3221224576 3221222608 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11995 9518 301 301 0 11694 0
vsize: 47980
[startup+40.0012 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 16014 0 0 0 3966 33 0 0 25 0 1 0 967875701 51101696 9895 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12476 9895 301 301 0 12175 0
vsize: 49904
[startup+50.0013 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 16135 0 0 0 4966 34 0 0 25 0 1 0 967875701 51691520 10016 4294967295 134512640 135730672 3221224576 3221222864 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12620 10016 301 301 0 12319 0
vsize: 50480
[startup+60.0011 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 16224 0 0 0 5966 34 0 0 25 0 1 0 967875701 52023296 10105 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12701 10105 301 301 0 12400 0
vsize: 50804
[startup+70.0016 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 16313 0 0 0 6965 36 0 0 25 0 1 0 967875701 52416512 10194 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12797 10194 301 301 0 12496 0
vsize: 51188
[startup+80.0018 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 16586 0 0 0 7965 36 0 0 25 0 1 0 967875701 53571584 10467 4294967295 134512640 135730672 3221224576 3221222544 134768813 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13079 10467 301 301 0 12778 0
vsize: 52316
[startup+90.0016 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 16649 0 0 0 8964 38 0 0 25 0 1 0 967875701 53006336 10344 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12941 10344 301 301 0 12640 0
vsize: 51764
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 16928 0 0 0 9963 38 0 0 25 0 1 0 967875701 53534720 10437 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13070 10437 301 301 0 12769 0
vsize: 52280
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 17184 0 0 0 10962 39 0 0 25 0 1 0 967875701 54628352 10693 4294967295 134512640 135730672 3221224576 3221222504 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13337 10693 301 301 0 13036 0
vsize: 53348
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 17225 0 0 0 11962 40 0 0 25 0 1 0 967875701 53866496 10548 4294967295 134512640 135730672 3221224576 3221222912 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13151 10548 301 301 0 12850 0
vsize: 52604
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 17551 0 0 0 12960 42 0 0 25 0 1 0 967875701 54603776 10688 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13331 10688 301 301 0 13030 0
vsize: 53324
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 17592 0 0 0 13960 42 0 0 25 0 1 0 967875701 54738944 10729 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13364 10729 301 301 0 13063 0
vsize: 53456
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 17815 0 0 0 14959 43 0 0 25 0 1 0 967875701 54874112 10766 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13397 10766 301 301 0 13096 0
vsize: 53588
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 17895 0 0 0 15959 44 0 0 25 0 1 0 967875701 55205888 10846 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13478 10846 301 301 0 13177 0
vsize: 53912
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 18089 0 0 0 16958 45 0 0 25 0 1 0 967875701 55205888 10854 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13478 10854 301 301 0 13177 0
vsize: 53912
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 18105 0 0 0 17958 46 0 0 25 0 1 0 967875701 55402496 10870 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13526 10870 301 301 0 13225 0
vsize: 54104
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 18305 0 0 0 18957 47 0 0 25 0 1 0 967875701 55402496 10884 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13526 10884 301 301 0 13225 0
vsize: 54104
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 18308 0 0 0 19956 48 0 0 25 0 1 0 967875701 55402496 10887 4294967295 134512640 135730672 3221224576 3221222976 134744447 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13526 10887 301 301 0 13225 0
vsize: 54104
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 18523 0 0 0 20956 49 0 0 25 0 1 0 967875701 55537664 10916 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13559 10916 301 301 0 13258 0
vsize: 54236
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 18624 0 0 0 21955 50 0 0 25 0 1 0 967875701 56213504 11017 4294967295 134512640 135730672 3221224576 3221222992 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13724 11017 301 301 0 13423 0
vsize: 54896
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 18870 0 0 0 22954 52 0 0 25 0 1 0 967875701 56619008 11077 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13823 11077 301 301 0 13522 0
vsize: 55292
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 18891 0 0 0 23954 52 0 0 25 0 1 0 967875701 56754176 11098 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13856 11098 301 301 0 13555 0
vsize: 55424
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 19085 0 0 0 24954 53 0 0 25 0 1 0 967875701 56754176 11106 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13856 11106 301 301 0 13555 0
vsize: 55424
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 19109 0 0 0 25953 53 0 0 25 0 1 0 967875701 56889344 11130 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13889 11130 301 301 0 13588 0
vsize: 55556
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 19335 0 0 0 26952 55 0 0 25 0 1 0 967875701 57159680 11170 4294967295 134512640 135730672 3221224576 3221222864 134747908 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13955 11170 301 301 0 13654 0
vsize: 55820
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 19338 0 0 0 27952 55 0 0 25 0 1 0 967875701 57159680 11173 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13955 11173 301 301 0 13654 0
vsize: 55820
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 19374 0 0 0 28951 56 0 0 25 0 1 0 967875701 57430016 11209 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14021 11209 301 301 0 13720 0
vsize: 56084
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 19561 0 0 0 29951 57 0 0 25 0 1 0 967875701 57430016 11210 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14021 11210 301 301 0 13720 0
vsize: 56084
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 19570 0 0 0 30951 57 0 0 25 0 1 0 967875701 57430016 11219 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14021 11219 301 301 0 13720 0
vsize: 56084
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 19799 0 0 0 31951 58 0 0 25 0 1 0 967875701 57700352 11262 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14087 11262 301 301 0 13786 0
vsize: 56348
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 19801 0 0 0 32950 59 0 0 25 0 1 0 967875701 57700352 11264 4294967295 134512640 135730672 3221224576 3221223036 134748650 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14087 11264 301 301 0 13786 0
vsize: 56348
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 20017 0 0 0 33950 59 0 0 25 0 1 0 967875701 57835520 11294 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14120 11294 301 301 0 13819 0
vsize: 56480
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 20049 0 0 0 34950 60 0 0 25 0 1 0 967875701 57835520 11326 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14120 11326 301 301 0 13819 0
vsize: 56480
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 20245 0 0 0 35949 61 0 0 25 0 1 0 967875701 57835520 11336 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14120 11336 301 301 0 13819 0
vsize: 56480
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 20440 0 0 0 36949 62 0 0 25 0 1 0 967875701 57835520 11345 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14120 11345 301 301 0 13819 0
vsize: 56480
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 20462 0 0 0 37949 62 0 0 25 0 1 0 967875701 57970688 11367 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14153 11367 301 301 0 13852 0
vsize: 56612
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 20650 0 0 0 38948 63 0 0 25 0 1 0 967875701 57970688 11369 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14153 11369 301 301 0 13852 0
vsize: 56612
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 20659 0 0 0 39947 64 0 0 25 0 1 0 967875701 57970688 11378 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14153 11378 301 301 0 13852 0
vsize: 56612
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 20854 0 0 0 40946 65 0 0 25 0 1 0 967875701 57970688 11387 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14153 11387 301 301 0 13852 0
vsize: 56612
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 20864 0 0 0 41946 66 0 0 25 0 1 0 967875701 57970688 11397 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14153 11397 301 301 0 13852 0
vsize: 56612
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 21059 0 0 0 42945 67 0 0 25 0 1 0 967875701 57970688 11406 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14153 11406 301 301 0 13852 0
vsize: 56612
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 21092 0 0 0 43945 68 0 0 25 0 1 0 967875701 58105856 11439 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14186 11439 301 301 0 13885 0
vsize: 56744
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 21289 0 0 0 44944 69 0 0 25 0 1 0 967875701 58105856 11450 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14186 11450 301 301 0 13885 0
vsize: 56744
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 21303 0 0 0 45944 69 0 0 25 0 1 0 967875701 58105856 11464 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14186 11464 301 301 0 13885 0
vsize: 56744
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 21491 0 0 0 46943 71 0 0 25 0 1 0 967875701 58105856 11466 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14186 11466 301 301 0 13885 0
vsize: 56744
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 21704 0 0 0 47942 72 0 0 25 0 1 0 967875701 58241024 11493 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14219 11493 301 301 0 13918 0
vsize: 56876
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 21707 0 0 0 48942 72 0 0 25 0 1 0 967875701 58241024 11496 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14219 11496 301 301 0 13918 0
vsize: 56876
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 21907 0 0 0 49941 73 0 0 25 0 1 0 967875701 58241024 11510 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14219 11510 301 301 0 13918 0
vsize: 56876
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 21917 0 0 0 50941 74 0 0 25 0 1 0 967875701 58241024 11520 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14219 11520 301 301 0 13918 0
vsize: 56876
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 22121 0 0 0 51941 75 0 0 25 0 1 0 967875701 58241024 11538 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14219 11538 301 301 0 13918 0
vsize: 56876
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 22154 0 0 0 52941 75 0 0 25 0 1 0 967875701 58376192 11571 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14252 11571 301 301 0 13951 0
vsize: 57008
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 22162 0 0 0 53941 75 0 0 25 0 1 0 967875701 58376192 11579 4294967295 134512640 135730672 3221224576 3221222688 134732500 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14252 11579 301 301 0 13951 0
vsize: 57008
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 22358 0 0 0 54940 76 0 0 25 0 1 0 967875701 58376192 11589 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14252 11589 301 301 0 13951 0
vsize: 57008
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 22369 0 0 0 55939 77 0 0 25 0 1 0 967875701 58376192 11600 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14252 11600 301 301 0 13951 0
vsize: 57008
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 22558 0 0 0 56938 79 0 0 25 0 1 0 967875701 58376192 11603 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14252 11603 301 301 0 13951 0
vsize: 57008
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 22559 0 0 0 57938 80 0 0 25 0 1 0 967875701 58376192 11604 4294967295 134512640 135730672 3221224576 3221222864 134747597 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14252 11604 301 301 0 13951 0
vsize: 57008
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 22767 0 0 0 58937 81 0 0 25 0 1 0 967875701 58511360 11626 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14285 11626 301 301 0 13984 0
vsize: 57140
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 22777 0 0 0 59937 81 0 0 25 0 1 0 967875701 58511360 11636 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14285 11636 301 301 0 13984 0
vsize: 57140
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 22974 0 0 0 60937 82 0 0 25 0 1 0 967875701 58511360 11647 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14285 11647 301 301 0 13984 0
vsize: 57140
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 22988 0 0 0 61936 83 0 0 25 0 1 0 967875701 58511360 11661 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14285 11661 301 301 0 13984 0
vsize: 57140
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 23184 0 0 0 62935 84 0 0 25 0 1 0 967875701 58511360 11671 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14285 11671 301 301 0 13984 0
vsize: 57140
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 23194 0 0 0 63935 84 0 0 25 0 1 0 967875701 58511360 11681 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14285 11681 301 301 0 13984 0
vsize: 57140
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 23390 0 0 0 64935 85 0 0 25 0 1 0 967875701 58511360 11691 4294967295 134512640 135730672 3221224576 3221222864 134747701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14285 11691 301 301 0 13984 0
vsize: 57140
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 23398 0 0 0 65935 86 0 0 25 0 1 0 967875701 58511360 11699 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14285 11699 301 301 0 13984 0
vsize: 57140
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 23589 0 0 0 66934 87 0 0 25 0 1 0 967875701 58511360 11704 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14285 11704 301 301 0 13984 0
vsize: 57140
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 23613 0 0 0 67934 87 0 0 25 0 1 0 967875701 58646528 11728 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14318 11728 301 301 0 14017 0
vsize: 57272
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 23811 0 0 0 68933 88 0 0 25 0 1 0 967875701 58646528 11740 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14318 11740 301 301 0 14017 0
vsize: 57272
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 23839 0 0 0 69933 89 0 0 25 0 1 0 967875701 58781696 11768 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14351 11768 301 301 0 14050 0
vsize: 57404
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 24034 0 0 0 70932 90 0 0 25 0 1 0 967875701 58781696 11777 4294967295 134512640 135730672 3221224576 3221222696 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14351 11777 301 301 0 14050 0
vsize: 57404
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 24063 0 0 0 71932 91 0 0 25 0 1 0 967875701 58916864 11806 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14384 11806 301 301 0 14083 0
vsize: 57536
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 24260 0 0 0 72931 92 0 0 25 0 1 0 967875701 58916864 11817 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14384 11817 301 301 0 14083 0
vsize: 57536
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 24270 0 0 0 73931 93 0 0 25 0 1 0 967875701 58916864 11827 4294967295 134512640 135730672 3221224576 3221222864 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14384 11827 301 301 0 14083 0
vsize: 57536
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 24466 0 0 0 74930 94 0 0 25 0 1 0 967875701 58916864 11837 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14384 11837 301 301 0 14083 0
vsize: 57536
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 24475 0 0 0 75930 94 0 0 25 0 1 0 967875701 58916864 11846 4294967295 134512640 135730672 3221224576 3221222864 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14384 11846 301 301 0 14083 0
vsize: 57536
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 24686 0 0 0 76929 95 0 0 25 0 1 0 967875701 59052032 11871 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14417 11871 301 301 0 14116 0
vsize: 57668
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 24688 0 0 0 77929 96 0 0 25 0 1 0 967875701 59052032 11873 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14417 11873 301 301 0 14116 0
vsize: 57668
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 24893 0 0 0 78929 97 0 0 25 0 1 0 967875701 59187200 11892 4294967295 134512640 135730672 3221224576 3221222864 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14450 11892 301 301 0 14149 0
vsize: 57800
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 24896 0 0 0 79928 97 0 0 25 0 1 0 967875701 59187200 11895 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14450 11895 301 301 0 14149 0
vsize: 57800
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 25087 0 0 0 80928 98 0 0 25 0 1 0 967875701 59949056 12086 4294967295 134512640 135730672 3221224576 3221222576 134769473 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14636 12086 301 301 0 14335 0
vsize: 58544
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 25094 0 0 0 81927 99 0 0 25 0 1 0 967875701 59187200 11907 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14450 11907 301 301 0 14149 0
vsize: 57800
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 25121 0 0 0 82927 100 0 0 25 0 1 0 967875701 59322368 11934 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 11934 301 301 0 14182 0
vsize: 57932
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 25316 0 0 0 83926 101 0 0 25 0 1 0 967875701 59322368 11943 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 11943 301 301 0 14182 0
vsize: 57932
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 25331 0 0 0 84926 101 0 0 25 0 1 0 967875701 59322368 11958 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 11958 301 301 0 14182 0
vsize: 57932
[startup+860.021 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 25526 0 0 0 85925 102 0 0 25 0 1 0 967875701 59322368 11967 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 11967 301 301 0 14182 0
vsize: 57932
[startup+870.021 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 25538 0 0 0 86925 103 0 0 25 0 1 0 967875701 59322368 11979 4294967295 134512640 135730672 3221224576 3221222864 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 11979 301 301 0 14182 0
vsize: 57932
[startup+880.021 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 25729 0 0 0 87924 104 0 0 25 0 1 0 967875701 59322368 11984 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 11984 301 301 0 14182 0
vsize: 57932
[startup+890.023 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 25731 0 0 0 88924 105 0 0 25 0 1 0 967875701 59322368 11986 4294967295 134512640 135730672 3221224576 3221222992 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 11986 301 301 0 14182 0
vsize: 57932
[startup+900.022 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 25923 0 0 0 89923 106 0 0 25 0 1 0 967875701 59322368 11992 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 11992 301 301 0 14182 0
vsize: 57932
[startup+910.023 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 25935 0 0 0 90923 106 0 0 25 0 1 0 967875701 59322368 12004 4294967295 134512640 135730672 3221224576 3221222880 135282415 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 12004 301 301 0 14182 0
vsize: 57932
[startup+920.024 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 26130 0 0 0 91923 107 0 0 25 0 1 0 967875701 59322368 12013 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 12013 301 301 0 14182 0
vsize: 57932
[startup+930.024 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 26140 0 0 0 92923 107 0 0 25 0 1 0 967875701 59322368 12023 4294967295 134512640 135730672 3221224576 3221222864 134747701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 12023 301 301 0 14182 0
vsize: 57932
[startup+940.024 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 26338 0 0 0 93922 108 0 0 25 0 1 0 967875701 59322368 12035 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 12035 301 301 0 14182 0
vsize: 57932
[startup+950.025 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 26349 0 0 0 94922 109 0 0 25 0 1 0 967875701 59322368 12046 4294967295 134512640 135730672 3221224576 3221222864 134747856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 12046 301 301 0 14182 0
vsize: 57932
[startup+960.025 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 26545 0 0 0 95922 109 0 0 25 0 1 0 967875701 59322368 12056 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 12056 301 301 0 14182 0
vsize: 57932
[startup+970.026 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 26554 0 0 0 96922 110 0 0 25 0 1 0 967875701 59322368 12065 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 12065 301 301 0 14182 0
vsize: 57932
[startup+980.026 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 26563 0 0 0 97921 111 0 0 25 0 1 0 967875701 59322368 12074 4294967295 134512640 135730672 3221224576 3221222880 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 12074 301 301 0 14182 0
vsize: 57932
[startup+990.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 26751 0 0 0 98920 112 0 0 25 0 1 0 967875701 59322368 12076 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 12076 301 301 0 14182 0
vsize: 57932
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 26754 0 0 0 99920 113 0 0 25 0 1 0 967875701 59322368 12079 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14483 12079 301 301 0 14182 0
vsize: 57932
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 26969 0 0 0 100919 114 0 0 25 0 1 0 967875701 59457536 12108 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14516 12108 301 301 0 14215 0
vsize: 58064
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 26970 0 0 0 101918 115 0 0 25 0 1 0 967875701 59457536 12109 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14516 12109 301 301 0 14215 0
vsize: 58064
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 27161 0 0 0 102917 116 0 0 25 0 1 0 967875701 59457536 12114 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14516 12114 301 301 0 14215 0
vsize: 58064
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 27165 0 0 0 103917 117 0 0 25 0 1 0 967875701 59457536 12118 4294967295 134512640 135730672 3221224576 3221223024 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14516 12118 301 301 0 14215 0
vsize: 58064
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 27167 0 0 0 104916 118 0 0 25 0 1 0 967875701 59457536 12120 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14516 12120 301 301 0 14215 0
vsize: 58064
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 27361 0 0 0 105916 119 0 0 25 0 1 0 967875701 59457536 12128 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14516 12128 301 301 0 14215 0
vsize: 58064
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 27370 0 0 0 106915 120 0 0 25 0 1 0 967875701 59457536 12137 4294967295 134512640 135730672 3221224576 3221222864 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14516 12137 301 301 0 14215 0
vsize: 58064
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 27565 0 0 0 107914 121 0 0 25 0 1 0 967875701 59457536 12146 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14516 12146 301 301 0 14215 0
vsize: 58064
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 27574 0 0 0 108914 122 0 0 25 0 1 0 967875701 59457536 12155 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14516 12155 301 301 0 14215 0
vsize: 58064
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 27583 0 0 0 109914 122 0 0 25 0 1 0 967875701 59457536 12164 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14516 12164 301 301 0 14215 0
vsize: 58064
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 27592 0 0 0 110914 123 0 0 25 0 1 0 967875701 59457536 12173 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14516 12173 301 301 0 14215 0
vsize: 58064
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 27805 0 0 0 111913 124 0 0 25 0 1 0 967875701 59592704 12200 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14549 12200 301 301 0 14248 0
vsize: 58196
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 27806 0 0 0 112913 124 0 0 25 0 1 0 967875701 59592704 12201 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14549 12201 301 301 0 14248 0
vsize: 58196
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 27808 0 0 0 113913 124 0 0 25 0 1 0 967875701 59592704 12203 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14549 12203 301 301 0 14248 0
vsize: 58196
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 28001 0 0 0 114912 126 0 0 25 0 1 0 967875701 59592704 12210 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14549 12210 301 301 0 14248 0
vsize: 58196
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 28009 0 0 0 115912 127 0 0 25 0 1 0 967875701 59592704 12218 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14549 12218 301 301 0 14248 0
vsize: 58196
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 28207 0 0 0 116911 128 0 0 25 0 1 0 967875701 59592704 12230 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14549 12230 301 301 0 14248 0
vsize: 58196
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 28236 0 0 0 117910 129 0 0 25 0 1 0 967875701 59727872 12259 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14582 12259 301 301 0 14281 0
vsize: 58328
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 28431 0 0 0 118909 130 0 0 25 0 1 0 967875701 59727872 12268 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14582 12268 301 301 0 14281 0
vsize: 58328
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 14148
Raw data (stat): 14148 (pb2sat-v2) R 14147 25568 25567 0 -1 0 28441 0 0 0 119909 130 0 0 25 0 1 0 967875701 59727872 12278 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14582 12278 301 301 0 14281 0
vsize: 58328
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.48 s]
Raw data (loadavg): 1.00 0.99 0.93 1/54 14148
Raw data (stat): 14148 (pb2sat-v2) Z 14147 25568 25567 0 -1 12 28443 0 0 0 119951 133 0 0 25 0 1 0 967875701 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.48
CPU time (s): 1200.85
CPU user time (s): 1199.51
CPU system time (s): 1.3328
CPU usage (%): 100.031
Max. virtual memory (Kb): 58544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	262
#### END VERIFIER DATA ####