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:100.opb
MD5SUM	b2c6bc03457d15976fdaf81252d9cdae
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
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 numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02284
Number of variables	435
Total number of constraints	935
Number of constraints which are clauses	403
Number of constraints which are cardinality constraints (but not clauses)	532
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 42248

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 04:12:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25463 boxname=wulflinc1 idbench=365 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b2c6bc03457d15976fdaf81252d9cdae  /oldhome/oroussel/tmp/wulflinc1/normalized-10:10:4.5:0.95:100.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-10:10:4.5:0.95:100.opb
IDLAUNCH: 25463
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        791376 kB
Buffers:         34432 kB
Cached:         185240 kB
SwapCached:       1192 kB
Active:          76964 kB
Inactive:       145044 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        791124 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15512 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 04:32:48 (client local time) WITH STATUS 10 IN 1200.66 SECONDS
stats: 25463 0 1200.66 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: 520
c small objective detected
c CONFLICT during preprocess 
c [startup+5.22966 s]  setting bit 10 to 0
c [startup+6.51708 s]  setting bit 9 to 0

c Decision: 29907/107147	Time: 163.243/86400
c Decision: 29907/107147	Time: 183.033/86400
c Decision: 29907/107147	Time: 207.332/86400
c Decision: 29907/107147	Time: 230.132/86400
c Decision: 29907/107147	Time: 251.467/86400
c Decision: 29907/107147	Time: 273.224/86400
c Decision: 29907/107147	Time: 299.284/86400
c Decision: 29907/107147	Time: 323.355/86400
c Decision: 29907/107147	Time: 345.451/86400
c Decision: 29907/107147	Time: 368.905/86400
c Decision: 29907/107147	Time: 392.63/86400
c Decision: 29907/107147	Time: 412.662/86400
c Decision: 29907/107147	Time: 432.729/86400
c Decision: 29907/107147	Time: 452.493/86400
c Decision: 29907/107147	Time: 476.766/86400
c Decision: 29907/107147	Time: 501.622/86400
c Decision: 29907/107147	Time: 526.09/86400
c Decision: 29907/107147	Time: 546.331/86400
c Decision: 29907/107147	Time: 564.798/86400
c Decision: 29907/107147	Time: 587.864/86400
c Decision: 29907/107147	Time: 611.057/86400
c Decision: 29907/107147	Time: 634.017/86400
c Decision: 29908/107147	Time: 668.342/86400
c Decision: 29908/107147	Time: 693.258/86400
c Decision: 29908/107147	Time: 716.668/86400
c Decision: 29908/107147	Time: 737.546/86400
c Decision: 29908/107147	Time: 762.215/86400
c Decision: 29908/107147	Time: 786.15/86400
c Decision: 29908/107147	Time: 805.867/86400
c Decision: 29908/107147	Time: 830.513/86400
c Decision: 29908/107147	Time: 857.322/86400
c Decision: 29908/107147	Time: 880.437/86400
c Decision: 29908/107147	Time: 899.642/86400
c Decision: 29908/107147	Time: 922.773/86400
c Decision: 29908/107147	Time: 948.415/86400
c Decision: 29908/107147	Time: 970.469/86400
c Decision: 29908/107147	Time: 993.378/86400
c Decision: 29908/107147	Time: 1014.03/86400
c Decision: 29908/107147	Time: 1035.21/86400
c Decision: 29908/107147	Time: 1058.82/86400
c Decision: 29908/107147	Time: 1084.94/86400
c Decision: 29908/107147	Time: 1105.57/86400
c Decision: 29908/107147	Time: 1128.01/86400
c Decision: 29908/107147	Time: 1146.41/86400
c Decision: 29908/107147	Time: 1168.12/86400
c Decision: 29908/107147	Time: 1190.59/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 
#### 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
Raw data (loadavg): 0.92 1.03 0.99 2/55 11831
Raw data (stat): 11831 (runsolver) R 11830 8378 8377 0 -1 64 2 0 0 0 0 0 0 0 19 0 1 0 910933003 884736 93 4294967295 134512640 135332820 3221224464 3221219808 134957970 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0007 s]
Raw data (loadavg): 0.93 1.03 0.99 2/55 11831
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 16334 0 0 0 963 36 0 0 25 0 1 0 910933003 49045504 10164 4294967295 134512640 135730672 3221224576 3221222864 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11974 10164 301 301 0 11673 0
vsize: 47896
[startup+20.0015 s]
Raw data (loadavg): 0.94 1.03 0.99 2/55 11831
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 16756 0 0 0 1961 38 0 0 25 0 1 0 910933003 51060736 10586 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12466 10586 301 301 0 12165 0
vsize: 49864
[startup+30.0012 s]
Raw data (loadavg): 0.95 1.03 0.99 2/55 11831
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 16965 0 0 0 2959 39 0 0 25 0 1 0 910933003 51949568 10795 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12683 10795 301 301 0 12382 0
vsize: 50732
[startup+40.001 s]
Raw data (loadavg): 0.96 1.03 0.99 2/55 11831
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 17066 0 0 0 3958 40 0 0 25 0 1 0 910933003 52342784 10896 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12779 10896 301 301 0 12478 0
vsize: 51116
[startup+50.0007 s]
Raw data (loadavg): 0.96 1.03 0.99 2/55 11831
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 17198 0 0 0 4957 41 0 0 25 0 1 0 910933003 52932608 11028 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12923 11028 301 301 0 12622 0
vsize: 51692
[startup+60.0009 s]
Raw data (loadavg): 0.97 1.03 0.99 2/55 11831
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 17269 0 0 0 5956 42 0 0 25 0 1 0 910933003 53325824 11099 4294967295 134512640 135730672 3221224576 3221222864 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13019 11099 301 301 0 12718 0
vsize: 52076
[startup+70.0014 s]
Raw data (loadavg): 0.97 1.02 0.99 2/55 11831
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 17465 0 0 0 6956 43 0 0 25 0 1 0 910933003 54259712 11295 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13247 11295 301 301 0 12946 0
vsize: 52988
[startup+80.0011 s]
Raw data (loadavg): 0.98 1.02 0.99 2/55 11831
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 17528 0 0 0 7956 43 0 0 25 0 1 0 910933003 54591488 11358 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13328 11358 301 301 0 13027 0
vsize: 53312
[startup+90.0009 s]
Raw data (loadavg): 0.98 1.02 0.99 2/55 11831
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 17574 0 0 0 8955 43 0 0 25 0 1 0 910933003 54591488 11404 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13328 11404 301 301 0 13027 0
vsize: 53312
[startup+100.001 s]
Raw data (loadavg): 0.98 1.02 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 17652 0 0 0 9955 44 0 0 25 0 1 0 910933003 54923264 11482 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13409 11482 301 301 0 13108 0
vsize: 53636
[startup+110.001 s]
Raw data (loadavg): 0.98 1.02 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 17720 0 0 0 10954 45 0 0 25 0 1 0 910933003 55255040 11550 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13490 11550 301 301 0 13189 0
vsize: 53960
[startup+120.003 s]
Raw data (loadavg): 0.99 1.02 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 17782 0 0 0 11953 46 0 0 25 0 1 0 910933003 55525376 11612 4294967295 134512640 135730672 3221224576 3221223056 134748543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13556 11612 301 301 0 13255 0
vsize: 54224
[startup+130.002 s]
Raw data (loadavg): 0.99 1.02 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 18001 0 0 0 12952 47 0 0 25 0 1 0 910933003 56741888 11831 4294967295 134512640 135730672 3221224576 3221222688 134732457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13853 11831 301 301 0 13552 0
vsize: 55412
[startup+140.002 s]
Raw data (loadavg): 0.99 1.02 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 18065 0 0 0 13952 48 0 0 25 0 1 0 910933003 57147392 11895 4294967295 134512640 135730672 3221224576 3221222864 134747856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13952 11895 301 301 0 13651 0
vsize: 55808
[startup+150.002 s]
Raw data (loadavg): 0.99 1.02 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 18074 0 0 0 14951 49 0 0 25 0 1 0 910933003 57147392 11904 4294967295 134512640 135730672 3221224576 3221222864 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13952 11904 301 301 0 13651 0
vsize: 55808
[startup+160.001 s]
Raw data (loadavg): 0.99 1.02 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 18150 0 0 0 15951 49 0 0 25 0 1 0 910933003 57552896 11980 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14051 11980 301 301 0 13750 0
vsize: 56204
[startup+170.001 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 18409 0 0 0 16950 51 0 0 25 0 1 0 910933003 57823232 12029 4294967295 134512640 135730672 3221224576 3221222848 134732625 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14117 12029 301 301 0 13816 0
vsize: 56468
[startup+180.002 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 18432 0 0 0 17948 52 0 0 25 0 1 0 910933003 57958400 12052 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14150 12052 301 301 0 13849 0
vsize: 56600
[startup+190.002 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 18687 0 0 0 18946 53 0 0 25 0 1 0 910933003 58228736 12097 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14216 12097 301 301 0 13915 0
vsize: 56864
[startup+200.002 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 18712 0 0 0 19945 54 0 0 25 0 1 0 910933003 58363904 12122 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14249 12122 301 301 0 13948 0
vsize: 56996
[startup+210.002 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 18738 0 0 0 20944 55 0 0 25 0 1 0 910933003 58499072 12148 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14282 12148 301 301 0 13981 0
vsize: 57128
[startup+220.003 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 18950 0 0 0 21943 56 0 0 25 0 1 0 910933003 58499072 12150 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14282 12150 301 301 0 13981 0
vsize: 57128
[startup+230.003 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 18969 0 0 0 22943 57 0 0 25 0 1 0 910933003 58634240 12169 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14315 12169 301 301 0 14014 0
vsize: 57260
[startup+240.003 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 19219 0 0 0 23941 58 0 0 25 0 1 0 910933003 58904576 12209 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14381 12209 301 301 0 14080 0
vsize: 57524
[startup+250.002 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 19252 0 0 0 24941 58 0 0 25 0 1 0 910933003 59039744 12242 4294967295 134512640 135730672 3221224576 3221222992 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14414 12242 301 301 0 14113 0
vsize: 57656
[startup+260.003 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 19465 0 0 0 25940 60 0 0 25 0 1 0 910933003 59039744 12245 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14414 12245 301 301 0 14113 0
vsize: 57656
[startup+270.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 19472 0 0 0 26939 61 0 0 25 0 1 0 910933003 59039744 12252 4294967295 134512640 135730672 3221224576 3221222992 134748176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14414 12252 301 301 0 14113 0
vsize: 57656
[startup+280.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 19710 0 0 0 27938 62 0 0 25 0 1 0 910933003 59174912 12280 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14447 12280 301 301 0 14146 0
vsize: 57788
[startup+290.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 19731 0 0 0 28937 63 0 0 25 0 1 0 910933003 59310080 12301 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14480 12301 301 301 0 14179 0
vsize: 57920
[startup+300.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 19732 0 0 0 29937 64 0 0 25 0 1 0 910933003 59310080 12302 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14480 12302 301 301 0 14179 0
vsize: 57920
[startup+310.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 19947 0 0 0 30936 65 0 0 25 0 1 0 910933003 59310080 12307 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14480 12307 301 301 0 14179 0
vsize: 57920
[startup+320.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 19953 0 0 0 31935 65 0 0 25 0 1 0 910933003 59310080 12313 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14480 12313 301 301 0 14179 0
vsize: 57920
[startup+330.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 20182 0 0 0 32934 67 0 0 25 0 1 0 910933003 59445248 12332 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14513 12332 301 301 0 14212 0
vsize: 58052
[startup+340.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 20190 0 0 0 33933 67 0 0 25 0 1 0 910933003 59445248 12340 4294967295 134512640 135730672 3221224576 3221222864 134747913 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14513 12340 301 301 0 14212 0
vsize: 58052
[startup+350.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 20194 0 0 0 34932 68 0 0 25 0 1 0 910933003 59445248 12344 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14513 12344 301 301 0 14212 0
vsize: 58052
[startup+360.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 20413 0 0 0 35932 69 0 0 25 0 1 0 910933003 59445248 12353 4294967295 134512640 135730672 3221224576 3221222864 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14513 12353 301 301 0 14212 0
vsize: 58052
[startup+370.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 20439 0 0 0 36931 70 0 0 25 0 1 0 910933003 59580416 12379 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14546 12379 301 301 0 14245 0
vsize: 58184
[startup+380.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 20676 0 0 0 37930 70 0 0 25 0 1 0 910933003 59715584 12406 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14579 12406 301 301 0 14278 0
vsize: 58316
[startup+390.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 20685 0 0 0 38930 71 0 0 25 0 1 0 910933003 59715584 12415 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14579 12415 301 301 0 14278 0
vsize: 58316
[startup+400.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 20902 0 0 0 39929 72 0 0 25 0 1 0 910933003 59715584 12422 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14579 12422 301 301 0 14278 0
vsize: 58316
[startup+410.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 20927 0 0 0 40929 72 0 0 25 0 1 0 910933003 59850752 12447 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14612 12447 301 301 0 14311 0
vsize: 58448
[startup+420.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 21139 0 0 0 41928 74 0 0 25 0 1 0 910933003 59850752 12449 4294967295 134512640 135730672 3221224576 3221222976 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14612 12449 301 301 0 14311 0
vsize: 58448
[startup+430.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 21163 0 0 0 42927 74 0 0 25 0 1 0 910933003 59985920 12473 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14645 12473 301 301 0 14344 0
vsize: 58580
[startup+440.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 21377 0 0 0 43927 75 0 0 25 0 1 0 910933003 59985920 12477 4294967295 134512640 135730672 3221224576 3221222912 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14645 12477 301 301 0 14344 0
vsize: 58580
[startup+450.003 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 21392 0 0 0 44927 75 0 0 25 0 1 0 910933003 59985920 12492 4294967295 134512640 135730672 3221224576 3221222864 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14645 12492 301 301 0 14344 0
vsize: 58580
[startup+460.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 21612 0 0 0 45926 76 0 0 25 0 1 0 910933003 59985920 12502 4294967295 134512640 135730672 3221224576 3221222864 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14645 12502 301 301 0 14344 0
vsize: 58580
[startup+470.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 21646 0 0 0 46925 77 0 0 25 0 1 0 910933003 60121088 12536 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12536 301 301 0 14377 0
vsize: 58712
[startup+480.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 21653 0 0 0 47924 78 0 0 25 0 1 0 910933003 60121088 12543 4294967295 134512640 135730672 3221224576 3221222864 134747960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12543 301 301 0 14377 0
vsize: 58712
[startup+490.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 21870 0 0 0 48924 79 0 0 25 0 1 0 910933003 60121088 12550 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12550 301 301 0 14377 0
vsize: 58712
[startup+500.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 21878 0 0 0 49924 79 0 0 25 0 1 0 910933003 60121088 12558 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12558 301 301 0 14377 0
vsize: 58712
[startup+510.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 22098 0 0 0 50922 81 0 0 25 0 1 0 910933003 60121088 12568 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12568 301 301 0 14377 0
vsize: 58712
[startup+520.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 22104 0 0 0 51922 81 0 0 25 0 1 0 910933003 60121088 12574 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12574 301 301 0 14377 0
vsize: 58712
[startup+530.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 22105 0 0 0 52921 82 0 0 25 0 1 0 910933003 60121088 12575 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12575 301 301 0 14377 0
vsize: 58712
[startup+540.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 22317 0 0 0 53920 83 0 0 25 0 1 0 910933003 60121088 12577 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12577 301 301 0 14377 0
vsize: 58712
[startup+550.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 22320 0 0 0 54920 84 0 0 25 0 1 0 910933003 60121088 12580 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12580 301 301 0 14377 0
vsize: 58712
[startup+560.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 22541 0 0 0 55919 85 0 0 25 0 1 0 910933003 60121088 12591 4294967295 134512640 135730672 3221224576 3221222688 134732445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12591 301 301 0 14377 0
vsize: 58712
[startup+570.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 22552 0 0 0 56919 85 0 0 25 0 1 0 910933003 60121088 12602 4294967295 134512640 135730672 3221224576 3221222864 134747768 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12602 301 301 0 14377 0
vsize: 58712
[startup+580.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 22770 0 0 0 57917 87 0 0 25 0 1 0 910933003 60121088 12610 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12610 301 301 0 14377 0
vsize: 58712
[startup+590.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 22779 0 0 0 58917 88 0 0 25 0 1 0 910933003 60121088 12619 4294967295 134512640 135730672 3221224576 3221223056 134748557 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12619 301 301 0 14377 0
vsize: 58712
[startup+600.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 22998 0 0 0 59915 89 0 0 25 0 1 0 910933003 60121088 12628 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12628 301 301 0 14377 0
vsize: 58712
[startup+610.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 23007 0 0 0 60914 90 0 0 25 0 1 0 910933003 60121088 12637 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12637 301 301 0 14377 0
vsize: 58712
[startup+620.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 23231 0 0 0 61914 91 0 0 25 0 1 0 910933003 60121088 12651 4294967295 134512640 135730672 3221224576 3221222864 134747960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12651 301 301 0 14377 0
vsize: 58712
[startup+630.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 23233 0 0 0 62913 92 0 0 25 0 1 0 910933003 60121088 12653 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12653 301 301 0 14377 0
vsize: 58712
[startup+640.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 23237 0 0 0 63913 92 0 0 25 0 1 0 910933003 60121088 12657 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12657 301 301 0 14377 0
vsize: 58712
[startup+650.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 23457 0 0 0 64912 93 0 0 25 0 1 0 910933003 60121088 12667 4294967295 134512640 135730672 3221224576 3221222992 134748114 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12667 301 301 0 14377 0
vsize: 58712
[startup+660.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 23467 0 0 0 65911 94 0 0 25 0 1 0 910933003 60121088 12677 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12677 301 301 0 14377 0
vsize: 58712
[startup+670.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 23482 0 0 0 66911 95 0 0 25 0 1 0 910933003 60121088 12692 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12692 301 301 0 14377 0
vsize: 58712
[startup+680.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 23699 0 0 0 67909 96 0 0 25 0 1 0 910933003 60121088 12699 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12699 301 301 0 14377 0
vsize: 58712
[startup+690.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 23708 0 0 0 68909 97 0 0 25 0 1 0 910933003 60121088 12708 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12708 301 301 0 14377 0
vsize: 58712
[startup+700.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 23926 0 0 0 69908 98 0 0 25 0 1 0 910933003 60121088 12716 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14678 12716 301 301 0 14377 0
vsize: 58712
[startup+710.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 23957 0 0 0 70908 99 0 0 25 0 1 0 910933003 60256256 12747 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14711 12747 301 301 0 14410 0
vsize: 58844
[startup+720.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 23966 0 0 0 71907 99 0 0 25 0 1 0 910933003 60256256 12756 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14711 12756 301 301 0 14410 0
vsize: 58844
[startup+730.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 24188 0 0 0 72906 100 0 0 25 0 1 0 910933003 60256256 12768 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14711 12768 301 301 0 14410 0
vsize: 58844
[startup+740.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 24196 0 0 0 73906 101 0 0 25 0 1 0 910933003 60256256 12776 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14711 12776 301 301 0 14410 0
vsize: 58844
[startup+750.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 24410 0 0 0 74905 102 0 0 25 0 1 0 910933003 60256256 12780 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14711 12780 301 301 0 14410 0
vsize: 58844
[startup+760.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 24419 0 0 0 75905 102 0 0 25 0 1 0 910933003 60256256 12789 4294967295 134512640 135730672 3221224576 3221223024 134748670 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14711 12789 301 301 0 14410 0
vsize: 58844
[startup+770.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 24630 0 0 0 76904 104 0 0 25 0 1 0 910933003 60256256 12790 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14711 12790 301 301 0 14410 0
vsize: 58844
[startup+780.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 24632 0 0 0 77903 104 0 0 25 0 1 0 910933003 60256256 12792 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14711 12792 301 301 0 14410 0
vsize: 58844
[startup+790.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 24635 0 0 0 78903 105 0 0 25 0 1 0 910933003 60256256 12795 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14711 12795 301 301 0 14410 0
vsize: 58844
[startup+800.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 24861 0 0 0 79901 106 0 0 25 0 1 0 910933003 60256256 12811 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14711 12811 301 301 0 14410 0
vsize: 58844
[startup+810.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 24892 0 0 0 80901 106 0 0 25 0 1 0 910933003 60391424 12842 4294967295 134512640 135730672 3221224576 3221222864 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14744 12842 301 301 0 14443 0
vsize: 58976
[startup+820.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 25126 0 0 0 81900 108 0 0 25 0 1 0 910933003 60391424 12866 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14744 12866 301 301 0 14443 0
vsize: 58976
[startup+830.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 25141 0 0 0 82900 108 0 0 25 0 1 0 910933003 60391424 12881 4294967295 134512640 135730672 3221224576 3221223056 134748565 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14744 12881 301 301 0 14443 0
vsize: 58976
[startup+840.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 25358 0 0 0 83899 109 0 0 25 0 1 0 910933003 60391424 12888 4294967295 134512640 135730672 3221224576 3221222928 134740161 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14744 12888 301 301 0 14443 0
vsize: 58976
[startup+850.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 25365 0 0 0 84898 110 0 0 25 0 1 0 910933003 60391424 12895 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14744 12895 301 301 0 14443 0
vsize: 58976
[startup+860.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 25374 0 0 0 85898 110 0 0 25 0 1 0 910933003 60391424 12904 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14744 12904 301 301 0 14443 0
vsize: 58976
[startup+870.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 25589 0 0 0 86898 111 0 0 25 0 1 0 910933003 60391424 12909 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14744 12909 301 301 0 14443 0
vsize: 58976
[startup+880.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 25591 0 0 0 87897 111 0 0 25 0 1 0 910933003 60391424 12911 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14744 12911 301 301 0 14443 0
vsize: 58976
[startup+890.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 25824 0 0 0 88897 112 0 0 25 0 1 0 910933003 60526592 12934 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14777 12934 301 301 0 14476 0
vsize: 59108
[startup+900.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 25827 0 0 0 89896 112 0 0 25 0 1 0 910933003 60526592 12937 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14777 12937 301 301 0 14476 0
vsize: 59108
[startup+910.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 26039 0 0 0 90895 114 0 0 25 0 1 0 910933003 60526592 12939 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14777 12939 301 301 0 14476 0
vsize: 59108
[startup+920.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 26061 0 0 0 91895 114 0 0 25 0 1 0 910933003 60661760 12961 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14810 12961 301 301 0 14509 0
vsize: 59240
[startup+930.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 26285 0 0 0 92894 115 0 0 25 0 1 0 910933003 60661760 12975 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14810 12975 301 301 0 14509 0
vsize: 59240
[startup+940.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 26294 0 0 0 93894 116 0 0 25 0 1 0 910933003 60661760 12984 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14810 12984 301 301 0 14509 0
vsize: 59240
[startup+950.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 26301 0 0 0 94894 116 0 0 25 0 1 0 910933003 60661760 12991 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14810 12991 301 301 0 14509 0
vsize: 59240
[startup+960.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 26519 0 0 0 95893 117 0 0 25 0 1 0 910933003 60661760 12999 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14810 12999 301 301 0 14509 0
vsize: 59240
[startup+970.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 26529 0 0 0 96893 118 0 0 25 0 1 0 910933003 60661760 13009 4294967295 134512640 135730672 3221224576 3221222864 134747486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14810 13009 301 301 0 14509 0
vsize: 59240
[startup+980.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 26747 0 0 0 97892 118 0 0 25 0 1 0 910933003 60661760 13017 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14810 13017 301 301 0 14509 0
vsize: 59240
[startup+990.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 26748 0 0 0 98892 119 0 0 25 0 1 0 910933003 60661760 13018 4294967295 134512640 135730672 3221224576 3221223024 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14810 13018 301 301 0 14509 0
vsize: 59240
[startup+1000.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 26960 0 0 0 99890 120 0 0 25 0 1 0 910933003 60661760 13020 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14810 13020 301 301 0 14509 0
vsize: 59240
[startup+1010.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 26962 0 0 0 100890 121 0 0 25 0 1 0 910933003 60661760 13022 4294967295 134512640 135730672 3221224576 3221222864 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14810 13022 301 301 0 14509 0
vsize: 59240
[startup+1020.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 26974 0 0 0 101890 121 0 0 25 0 1 0 910933003 60661760 13034 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14810 13034 301 301 0 14509 0
vsize: 59240
[startup+1030.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 27194 0 0 0 102889 122 0 0 25 0 1 0 910933003 60661760 13044 4294967295 134512640 135730672 3221224576 3221222992 134748143 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14810 13044 301 301 0 14509 0
vsize: 59240
[startup+1040.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 27221 0 0 0 103889 123 0 0 25 0 1 0 910933003 60796928 13071 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14843 13071 301 301 0 14542 0
vsize: 59372
[startup+1050.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 27440 0 0 0 104887 124 0 0 25 0 1 0 910933003 60796928 13080 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14843 13080 301 301 0 14542 0
vsize: 59372
[startup+1060.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 27449 0 0 0 105887 125 0 0 25 0 1 0 910933003 60796928 13089 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14843 13089 301 301 0 14542 0
vsize: 59372
[startup+1070.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 27665 0 0 0 106886 126 0 0 25 0 1 0 910933003 60796928 13095 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14843 13095 301 301 0 14542 0
vsize: 59372
[startup+1080.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 27674 0 0 0 107886 126 0 0 25 0 1 0 910933003 60796928 13104 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14843 13104 301 301 0 14542 0
vsize: 59372
[startup+1090.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 27704 0 0 0 108885 127 0 0 25 0 1 0 910933003 60932096 13134 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14876 13134 301 301 0 14575 0
vsize: 59504
[startup+1100.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 27916 0 0 0 109885 128 0 0 25 0 1 0 910933003 60932096 13136 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14876 13136 301 301 0 14575 0
vsize: 59504
[startup+1110.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 27918 0 0 0 110884 128 0 0 25 0 1 0 910933003 60932096 13138 4294967295 134512640 135730672 3221224576 3221222992 134748168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14876 13138 301 301 0 14575 0
vsize: 59504
[startup+1120.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 28130 0 0 0 111883 130 0 0 25 0 1 0 910933003 60932096 13140 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14876 13140 301 301 0 14575 0
vsize: 59504
[startup+1130.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 28132 0 0 0 112883 130 0 0 25 0 1 0 910933003 60932096 13142 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14876 13142 301 301 0 14575 0
vsize: 59504
[startup+1140.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 28351 0 0 0 113882 131 0 0 25 0 1 0 910933003 60932096 13151 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14876 13151 301 301 0 14575 0
vsize: 59504
[startup+1150.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 28365 0 0 0 114882 132 0 0 25 0 1 0 910933003 60932096 13165 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14876 13165 301 301 0 14575 0
vsize: 59504
[startup+1160.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 28586 0 0 0 115881 132 0 0 25 0 1 0 910933003 60932096 13176 4294967295 134512640 135730672 3221224576 3221222864 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14876 13176 301 301 0 14575 0
vsize: 59504
[startup+1170.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 28595 0 0 0 116881 133 0 0 25 0 1 0 910933003 60932096 13185 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14876 13185 301 301 0 14575 0
vsize: 59504
[startup+1180.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 28813 0 0 0 117880 134 0 0 25 0 1 0 910933003 60932096 13193 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14876 13193 301 301 0 14575 0
vsize: 59504
[startup+1190.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 28823 0 0 0 118880 134 0 0 25 0 1 0 910933003 60932096 13203 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14876 13203 301 301 0 14575 0
vsize: 59504
[startup+1200.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 11833
Raw data (stat): 11831 (pb2sat-v2) R 11830 8378 8377 0 -1 0 29040 0 0 0 119879 136 0 0 25 0 1 0 910933003 60932096 13210 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14876 13210 301 301 0 14575 0
vsize: 59504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.52 s]
Raw data (loadavg): 0.99 1.00 0.99 1/55 11833
Raw data (stat): 11831 (pb2sat-v2) Z 11830 8378 8377 0 -1 12 29042 0 0 0 119926 139 0 0 25 0 1 0 910933003 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.52
CPU time (s): 1200.66
CPU user time (s): 1199.26
CPU system time (s): 1.39279
CPU usage (%): 100.011
Max. virtual memory (Kb): 59504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	238
#### END VERIFIER DATA ####