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.5:100.opb
MD5SUM	dd81121db7c1c4b8597dd9571c707a87
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	372
Biggest coefficient in the objective function	220
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	983
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	220
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	983
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	372
Total number of constraints	792
Number of constraints which are clauses	345
Number of constraints which are cardinality constraints (but not clauses)	447
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	18
Trace number 35072

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-28 11:51:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24292 boxname=wulflinc5 idbench=366 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  dd81121db7c1c4b8597dd9571c707a87  /oldhome/oroussel/tmp/wulflinc5/normalized-10:10:4.5:0.5:100.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-10:10:4.5:0.5:100.opb
IDLAUNCH: 24292
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        585936 kB
Buffers:         33836 kB
Cached:         388924 kB
SwapCached:        608 kB
Active:          23312 kB
Inactive:       401544 kB
HighTotal:      131008 kB
HighFree:        37436 kB
LowTotal:       903652 kB
LowFree:        548500 kB
SwapTotal:     2097136 kB
SwapFree:      2095612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5132 kB
Slab:            18064 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:11:47 (client local time) WITH STATUS 10 IN 1200.45 SECONDS
stats: 24292 0 1200.45 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: 440
c [startup+4.34973 s]  setting bit 9 to 1

Decision: 29086/80814	Time: 23.8284/86400
Decision: 29086/80814	Time: 35.2036/86400
Decision: 29086/80814	Time: 47.1198/86400
Decision: 29086/80814	Time: 58.929/86400
Decision: 29086/80814	Time: 72.0141/86400
Decision: 29086/80814	Time: 85.822/86400
Decision: 29086/80814	Time: 97.8241/86400
Decision: 29086/80814	Time: 110.822/86400
Decision: 29086/80814	Time: 125.025/86400
Decision: 29086/80814	Time: 139.604/86400
Decision: 29086/80814	Time: 152.907/86400
Decision: 29086/80814	Time: 169.45/86400
Decision: 29086/80814	Time: 186.931/86400
Decision: 29086/80814	Time: 204.578/86400
Decision: 29086/80814	Time: 218.72/86400
Decision: 29086/80814	Time: 230.114/86400
Decision: 29086/80814	Time: 243.621/86400
Decision: 29086/80814	Time: 258.487/86400
Decision: 29086/80814	Time: 272.682/86400
Decision: 29086/80814	Time: 287.706/86400
Decision: 29086/80814	Time: 303.461/86400
Decision: 29086/80814	Time: 319.983/86400
Decision: 29086/80814	Time: 337.912/86400
Decision: 29086/80814	Time: 356.173/86400
Decision: 29086/80814	Time: 373.768/86400
Decision: 29086/80814	Time: 387.01/86400
Decision: 29086/80814	Time: 402.529/86400
Decision: 29086/80814	Time: 420.52/86400
Decision: 29086/80814	Time: 433.908/86400
Decision: 29086/80814	Time: 448.685/86400
Decision: 29086/80814	Time: 463.842/86400
Decision: 29086/80814	Time: 479.009/86400
Decision: 29086/80814	Time: 493.861/86400
Decision: 29086/80814	Time: 510.536/86400
Decision: 29086/80814	Time: 525.362/86400
Decision: 29086/80814	Time: 541.211/86400
Decision: 29086/80814	Time: 557.314/86400
Decision: 29086/80814	Time: 573.471/86400
Decision: 29086/80814	Time: 587.647/86400
Decision: 29086/80814	Time: 603.499/86400
Decision: 29086/80814	Time: 618.657/86400
Decision: 29086/80814	Time: 634.146/86400
Decision: 29086/80814	Time: 650.223/86400
Decision: 29086/80814	Time: 667.315/86400
Decision: 29086/80814	Time: 686.476/86400
Decision: 29086/80814	Time: 704.169/86400
Decision: 29086/80814	Time: 722.191/86400
Decision: 29086/80814	Time: 739.414/86400
Decision: 29086/80814	Time: 754.417/86400
Decision: 29086/80814	Time: 768.666/86400
Decision: 29086/80814	Time: 786.467/86400
Decision: 29086/80814	Time: 804.21/86400
Decision: 29086/80814	Time: 822.334/86400
Decision: 29086/80814	Time: 838.894/86400
Decision: 29086/80814	Time: 857.16/86400
Decision: 29086/80814	Time: 876.026/86400
Decision: 29086/80814	Time: 889.533/86400
Decision: 29086/80814	Time: 906.333/86400
Decision: 29086/80814	Time: 922.214/86400
Decision: 29087/80814	Time: 939.549/86400
Decision: 29087/80814	Time: 957.312/86400
Decision: 29087/80814	Time: 970.755/86400
Decision: 29087/80814	Time: 985.912/86400
Decision: 29087/80814	Time: 999.973/86400
Decision: 29087/80814	Time: 1017.24/86400
Decision: 29087/80814	Time: 1033.83/86400
Decision: 29087/80814	Time: 1050.87/86400
Decision: 29087/80814	Time: 1067.5/86400
Decision: 29087/80814	Time: 1087.08/86400
Decision: 29087/80814	Time: 1104.1/86400
Decision: 29087/80814	Time: 1120.69/86400
Decision: 29087/80814	Time: 1137.66/86400
Decision: 29087/80814	Time: 1153.26/86400
Decision: 29087/80814	Time: 1171.81/86400
Decision: 29087/80814	Time: 1186.54/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 v38 v39 v4 v40 -v41 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.84 0.94 0.90 1/54 18476
Raw data (stat): 18476 (runsolver) R 18475 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806362345 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.0009 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 13229 0 0 0 967 32 0 0 25 0 1 0 806362345 43896832 7518 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10717 7518 300 300 0 10417 0
vsize: 42868
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 13307 0 0 0 1966 33 0 0 25 0 1 0 806362345 44081152 7596 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10762 7596 300 300 0 10462 0
vsize: 43048
[startup+30.0032 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 13600 0 0 0 2965 34 0 0 25 0 1 0 806362345 44720128 7731 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10918 7731 300 300 0 10618 0
vsize: 43672
[startup+40.003 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 13971 0 0 0 3963 35 0 0 25 0 1 0 806362345 45637632 7944 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11142 7944 300 300 0 10842 0
vsize: 44568
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 14055 0 0 0 4963 36 0 0 25 0 1 0 806362345 46030848 8028 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11238 8028 300 300 0 10938 0
vsize: 44952
[startup+60.003 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 14278 0 0 0 5962 37 0 0 25 0 1 0 806362345 46227456 8093 4294967295 134512640 135726644 3221224592 3221222840 135280920 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11286 8093 300 300 0 10986 0
vsize: 45144
[startup+70.0034 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 14541 0 0 0 6960 38 0 0 25 0 1 0 806362345 46424064 8198 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11334 8198 300 300 0 11034 0
vsize: 45336
[startup+80.004 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 14791 0 0 0 7960 39 0 0 25 0 1 0 806362345 46755840 8290 4294967295 134512640 135726644 3221224592 3221223216 134744606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11415 8290 300 300 0 11115 0
vsize: 45660
[startup+90.0044 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 14996 0 0 0 8959 40 0 0 25 0 1 0 806362345 46952448 8337 4294967295 134512640 135726644 3221224592 3221223216 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11463 8337 300 300 0 11163 0
vsize: 45852
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 15018 0 0 0 9959 40 0 0 25 0 1 0 806362345 47149056 8359 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11511 8359 300 300 0 11211 0
vsize: 46044
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 15221 0 0 0 10957 42 0 0 25 0 1 0 806362345 47345664 8404 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11559 8404 300 300 0 11259 0
vsize: 46236
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 15445 0 0 0 11956 43 0 0 25 0 1 0 806362345 47542272 8470 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11607 8470 300 300 0 11307 0
vsize: 46428
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 15678 0 0 0 12955 44 0 0 25 0 1 0 806362345 47935488 8545 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11703 8545 300 300 0 11403 0
vsize: 46812
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 15707 0 0 0 13955 44 0 0 25 0 1 0 806362345 48132096 8574 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11751 8574 300 300 0 11451 0
vsize: 47004
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 15887 0 0 0 14954 46 0 0 25 0 1 0 806362345 48132096 8596 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11751 8596 300 300 0 11451 0
vsize: 47004
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 16065 0 0 0 15953 46 0 0 25 0 1 0 806362345 48328704 8616 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11799 8616 300 300 0 11499 0
vsize: 47196
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 16111 0 0 0 16953 47 0 0 25 0 1 0 806362345 48463872 8662 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11832 8662 300 300 0 11532 0
vsize: 47328
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 16316 0 0 0 17952 47 0 0 25 0 1 0 806362345 48660480 8709 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11880 8709 300 300 0 11580 0
vsize: 47520
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 16347 0 0 0 18952 48 0 0 25 0 1 0 806362345 48795648 8740 4294967295 134512640 135726644 3221224592 3221223088 134744159 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11913 8740 300 300 0 11613 0
vsize: 47652
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 16509 0 0 0 19950 50 0 0 25 0 1 0 806362345 48795648 8744 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11913 8744 300 300 0 11613 0
vsize: 47652
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 16677 0 0 0 20950 51 0 0 25 0 1 0 806362345 48795648 8754 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11913 8754 300 300 0 11613 0
vsize: 47652
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 16722 0 0 0 21949 52 0 0 25 0 1 0 806362345 48992256 8799 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11961 8799 300 300 0 11661 0
vsize: 47844
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 16891 0 0 0 22948 52 0 0 25 0 1 0 806362345 48992256 8810 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11961 8810 300 300 0 11661 0
vsize: 47844
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 17082 0 0 0 23948 53 0 0 25 0 1 0 806362345 49127424 8843 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11994 8843 300 300 0 11694 0
vsize: 47976
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 17286 0 0 0 24947 54 0 0 25 0 1 0 806362345 49397760 8889 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12060 8889 300 300 0 11760 0
vsize: 48240
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 17297 0 0 0 25946 55 0 0 25 0 1 0 806362345 49397760 8900 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12060 8900 300 300 0 11760 0
vsize: 48240
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 17473 0 0 0 26946 56 0 0 25 0 1 0 806362345 49397760 8918 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12060 8918 300 300 0 11760 0
vsize: 48240
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 17653 0 0 0 27945 57 0 0 25 0 1 0 806362345 49397760 8940 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12060 8940 300 300 0 11760 0
vsize: 48240
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 17667 0 0 0 28944 58 0 0 25 0 1 0 806362345 49397760 8954 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12060 8954 300 300 0 11760 0
vsize: 48240
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 17838 0 0 0 29943 58 0 0 25 0 1 0 806362345 49397760 8967 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12060 8967 300 300 0 11760 0
vsize: 48240
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 18036 0 0 0 30943 59 0 0 25 0 1 0 806362345 49532928 9007 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12093 9007 300 300 0 11793 0
vsize: 48372
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 18061 0 0 0 31942 60 0 0 25 0 1 0 806362345 49668096 9032 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12126 9032 300 300 0 11826 0
vsize: 48504
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 18226 0 0 0 32942 60 0 0 25 0 1 0 806362345 49668096 9039 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12126 9039 300 300 0 11826 0
vsize: 48504
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 18228 0 0 0 33942 61 0 0 25 0 1 0 806362345 49668096 9041 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12126 9041 300 300 0 11826 0
vsize: 48504
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 18412 0 0 0 34941 62 0 0 25 0 1 0 806362345 49803264 9067 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12159 9067 300 300 0 11859 0
vsize: 48636
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 18497 0 0 0 35940 63 0 0 25 0 1 0 806362345 50343936 9152 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12291 9152 300 300 0 11991 0
vsize: 49164
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 18664 0 0 0 36940 64 0 0 25 0 1 0 806362345 50343936 9161 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12291 9161 300 300 0 11991 0
vsize: 49164
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 18835 0 0 0 37939 64 0 0 25 0 1 0 806362345 50343936 9174 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12291 9174 300 300 0 11991 0
vsize: 49164
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 18881 0 0 0 38939 64 0 0 25 0 1 0 806362345 50479104 9220 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12324 9220 300 300 0 12024 0
vsize: 49296
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 19047 0 0 0 39939 65 0 0 25 0 1 0 806362345 50479104 9228 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12324 9228 300 300 0 12024 0
vsize: 49296
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 19210 0 0 0 40938 66 0 0 25 0 1 0 806362345 50479104 9233 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12324 9233 300 300 0 12024 0
vsize: 49296
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 19212 0 0 0 41938 66 0 0 25 0 1 0 806362345 50479104 9235 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12324 9235 300 300 0 12024 0
vsize: 49296
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 19378 0 0 0 42937 67 0 0 25 0 1 0 806362345 50479104 9243 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12324 9243 300 300 0 12024 0
vsize: 49296
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 19590 0 0 0 43936 68 0 0 25 0 1 0 806362345 50749440 9297 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12390 9297 300 300 0 12090 0
vsize: 49560
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 19623 0 0 0 44936 68 0 0 25 0 1 0 806362345 50884608 9330 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12423 9330 300 300 0 12123 0
vsize: 49692
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 19795 0 0 0 45935 69 0 0 25 0 1 0 806362345 50884608 9344 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12423 9344 300 300 0 12123 0
vsize: 49692
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 19991 0 0 0 46934 70 0 0 25 0 1 0 806362345 51019776 9382 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12456 9382 300 300 0 12156 0
vsize: 49824
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 19995 0 0 0 47934 71 0 0 25 0 1 0 806362345 51019776 9386 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12456 9386 300 300 0 12156 0
vsize: 49824
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18476
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 20178 0 0 0 48934 71 0 0 25 0 1 0 806362345 51154944 9411 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9411 300 300 0 12189 0
vsize: 49956
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18477
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 20354 0 0 0 49933 72 0 0 25 0 1 0 806362345 51154944 9429 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9429 300 300 0 12189 0
vsize: 49956
[startup+510.008 s]
Raw data (loadavg): 1.22 1.02 0.93 2/54 18529
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 20372 0 0 0 50932 73 0 0 25 0 1 0 806362345 51154944 9447 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9447 300 300 0 12189 0
vsize: 49956
[startup+520.007 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 18529
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 20543 0 0 0 51932 74 0 0 25 0 1 0 806362345 51154944 9460 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9460 300 300 0 12189 0
vsize: 49956
[startup+530.008 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 18529
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 20715 0 0 0 52931 74 0 0 25 0 1 0 806362345 51154944 9474 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9474 300 300 0 12189 0
vsize: 49956
[startup+540.008 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 18529
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 20729 0 0 0 53931 75 0 0 25 0 1 0 806362345 51154944 9488 4294967295 134512640 135726644 3221224592 3221223088 134744346 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9488 300 300 0 12189 0
vsize: 49956
[startup+550.008 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 18529
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 20896 0 0 0 54930 76 0 0 25 0 1 0 806362345 51154944 9497 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9497 300 300 0 12189 0
vsize: 49956
[startup+560.008 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 18529
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 20899 0 0 0 55929 77 0 0 25 0 1 0 806362345 51154944 9500 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9500 300 300 0 12189 0
vsize: 49956
[startup+570.009 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 21061 0 0 0 56929 77 0 0 25 0 1 0 806362345 51154944 9504 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9504 300 300 0 12189 0
vsize: 49956
[startup+580.009 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 21222 0 0 0 57928 78 0 0 25 0 1 0 806362345 51154944 9507 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9507 300 300 0 12189 0
vsize: 49956
[startup+590.01 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 21226 0 0 0 58928 79 0 0 25 0 1 0 806362345 51154944 9511 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9511 300 300 0 12189 0
vsize: 49956
[startup+600.009 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 21396 0 0 0 59927 80 0 0 25 0 1 0 806362345 51154944 9523 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9523 300 300 0 12189 0
vsize: 49956
[startup+610.01 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 21572 0 0 0 60926 81 0 0 25 0 1 0 806362345 51154944 9541 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9541 300 300 0 12189 0
vsize: 49956
[startup+620.012 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 21587 0 0 0 61926 81 0 0 25 0 1 0 806362345 51154944 9556 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9556 300 300 0 12189 0
vsize: 49956
[startup+630.012 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 21750 0 0 0 62925 82 0 0 25 0 1 0 806362345 51154944 9561 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9561 300 300 0 12189 0
vsize: 49956
[startup+640.013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 21912 0 0 0 63925 83 0 0 25 0 1 0 806362345 51154944 9565 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9565 300 300 0 12189 0
vsize: 49956
[startup+650.013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 21915 0 0 0 64924 84 0 0 25 0 1 0 806362345 51154944 9568 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9568 300 300 0 12189 0
vsize: 49956
[startup+660.013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 22078 0 0 0 65923 85 0 0 25 0 1 0 806362345 51154944 9573 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9573 300 300 0 12189 0
vsize: 49956
[startup+670.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 22090 0 0 0 66922 86 0 0 25 0 1 0 806362345 51154944 9585 4294967295 134512640 135726644 3221224592 3221223088 134744254 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9585 300 300 0 12189 0
vsize: 49956
[startup+680.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 22257 0 0 0 67921 87 0 0 25 0 1 0 806362345 51154944 9594 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9594 300 300 0 12189 0
vsize: 49956
[startup+690.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 22272 0 0 0 68921 88 0 0 25 0 1 0 806362345 51154944 9609 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9609 300 300 0 12189 0
vsize: 49956
[startup+700.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 22443 0 0 0 69920 89 0 0 25 0 1 0 806362345 51154944 9622 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9622 300 300 0 12189 0
vsize: 49956
[startup+710.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 22615 0 0 0 70920 89 0 0 25 0 1 0 806362345 51154944 9636 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9636 300 300 0 12189 0
vsize: 49956
[startup+720.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 22617 0 0 0 71920 90 0 0 25 0 1 0 806362345 51154944 9638 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9638 300 300 0 12189 0
vsize: 49956
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 22781 0 0 0 72920 90 0 0 25 0 1 0 806362345 51154944 9644 4294967295 134512640 135726644 3221224592 3221223088 134744297 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12489 9644 300 300 0 12189 0
vsize: 49956
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 22801 0 0 0 73919 91 0 0 25 0 1 0 806362345 51290112 9664 4294967295 134512640 135726644 3221224592 3221222912 134728931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12522 9664 300 300 0 12222 0
vsize: 50088
[startup+750.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 22970 0 0 0 74919 91 0 0 25 0 1 0 806362345 51290112 9675 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12522 9675 300 300 0 12222 0
vsize: 50088
[startup+760.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 23167 0 0 0 75918 93 0 0 25 0 1 0 806362345 51425280 9714 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12555 9714 300 300 0 12255 0
vsize: 50220
[startup+770.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 23185 0 0 0 76917 93 0 0 25 0 1 0 806362345 51425280 9732 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12555 9732 300 300 0 12255 0
vsize: 50220
[startup+780.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 23355 0 0 0 77916 94 0 0 25 0 1 0 806362345 51425280 9744 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12555 9744 300 300 0 12255 0
vsize: 50220
[startup+790.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 23369 0 0 0 78916 94 0 0 25 0 1 0 806362345 51425280 9758 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12555 9758 300 300 0 12255 0
vsize: 50220
[startup+800.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 23534 0 0 0 79915 95 0 0 25 0 1 0 806362345 51425280 9765 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12555 9765 300 300 0 12255 0
vsize: 50220
[startup+810.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 23696 0 0 0 80915 96 0 0 25 0 1 0 806362345 51425280 9769 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12555 9769 300 300 0 12255 0
vsize: 50220
[startup+820.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18531
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 23709 0 0 0 81914 97 0 0 25 0 1 0 806362345 51425280 9782 4294967295 134512640 135726644 3221224592 3221223200 134744653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12555 9782 300 300 0 12255 0
vsize: 50220
[startup+830.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 23870 0 0 0 82914 97 0 0 25 0 1 0 806362345 51425280 9785 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12555 9785 300 300 0 12255 0
vsize: 50220
[startup+840.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 23898 0 0 0 83914 98 0 0 25 0 1 0 806362345 51560448 9813 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9813 300 300 0 12288 0
vsize: 50352
[startup+850.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 24058 0 0 0 84913 98 0 0 25 0 1 0 806362345 51560448 9815 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9815 300 300 0 12288 0
vsize: 50352
[startup+860.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 24062 0 0 0 85912 99 0 0 25 0 1 0 806362345 51560448 9819 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9819 300 300 0 12288 0
vsize: 50352
[startup+870.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 24231 0 0 0 86911 101 0 0 25 0 1 0 806362345 51560448 9830 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9830 300 300 0 12288 0
vsize: 50352
[startup+880.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 24398 0 0 0 87911 102 0 0 25 0 1 0 806362345 51560448 9839 4294967295 134512640 135726644 3221224592 3221223212 134779522 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9839 300 300 0 12288 0
vsize: 50352
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 24400 0 0 0 88911 102 0 0 25 0 1 0 806362345 51560448 9841 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9841 300 300 0 12288 0
vsize: 50352
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 24563 0 0 0 89911 103 0 0 25 0 1 0 806362345 51560448 9846 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9846 300 300 0 12288 0
vsize: 50352
[startup+910.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 24575 0 0 0 90910 103 0 0 25 0 1 0 806362345 51560448 9858 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9858 300 300 0 12288 0
vsize: 50352
[startup+920.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 24746 0 0 0 91910 104 0 0 25 0 1 0 806362345 51560448 9871 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9871 300 300 0 12288 0
vsize: 50352
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 24919 0 0 0 92909 105 0 0 25 0 1 0 806362345 51560448 9886 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9886 300 300 0 12288 0
vsize: 50352
[startup+940.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 24934 0 0 0 93909 105 0 0 25 0 1 0 806362345 51560448 9901 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9901 300 300 0 12288 0
vsize: 50352
[startup+950.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 25102 0 0 0 94908 106 0 0 25 0 1 0 806362345 51560448 9911 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9911 300 300 0 12288 0
vsize: 50352
[startup+960.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 25115 0 0 0 95908 106 0 0 25 0 1 0 806362345 51560448 9924 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9924 300 300 0 12288 0
vsize: 50352
[startup+970.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 25276 0 0 0 96907 107 0 0 25 0 1 0 806362345 51560448 9927 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9927 300 300 0 12288 0
vsize: 50352
[startup+980.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 25438 0 0 0 97906 108 0 0 25 0 1 0 806362345 51560448 9931 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9931 300 300 0 12288 0
vsize: 50352
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 25598 0 0 0 98906 109 0 0 25 0 1 0 806362345 52207616 10091 4294967295 134512640 135726644 3221224592 3221222756 134765181 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12746 10091 300 300 0 12446 0
vsize: 50984
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 25614 0 0 0 99905 110 0 0 25 0 1 0 806362345 51560448 9949 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9949 300 300 0 12288 0
vsize: 50352
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 25786 0 0 0 100905 110 0 0 25 0 1 0 806362345 51560448 9963 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9963 300 300 0 12288 0
vsize: 50352
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 25798 0 0 0 101905 111 0 0 25 0 1 0 806362345 51560448 9975 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9975 300 300 0 12288 0
vsize: 50352
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 25969 0 0 0 102904 112 0 0 25 0 1 0 806362345 51560448 9988 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9988 300 300 0 12288 0
vsize: 50352
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 26136 0 0 0 103903 113 0 0 25 0 1 0 806362345 51560448 9997 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12588 9997 300 300 0 12288 0
vsize: 50352
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 26156 0 0 0 104902 114 0 0 25 0 1 0 806362345 51695616 10017 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10017 300 300 0 12321 0
vsize: 50484
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 26316 0 0 0 105901 115 0 0 25 0 1 0 806362345 51695616 10019 4294967295 134512640 135726644 3221224592 3221222912 134728861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10019 300 300 0 12321 0
vsize: 50484
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 26328 0 0 0 106901 115 0 0 25 0 1 0 806362345 51695616 10031 4294967295 134512640 135726644 3221224592 3221223088 134743978 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10031 300 300 0 12321 0
vsize: 50484
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 26497 0 0 0 107900 116 0 0 25 0 1 0 806362345 51695616 10042 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10042 300 300 0 12321 0
vsize: 50484
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 26508 0 0 0 108900 117 0 0 25 0 1 0 806362345 51695616 10053 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10053 300 300 0 12321 0
vsize: 50484
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 26677 0 0 0 109899 118 0 0 25 0 1 0 806362345 51695616 10064 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10064 300 300 0 12321 0
vsize: 50484
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 26849 0 0 0 110898 119 0 0 25 0 1 0 806362345 51695616 10078 4294967295 134512640 135726644 3221224592 3221222840 135280979 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10078 300 300 0 12321 0
vsize: 50484
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 26863 0 0 0 111898 119 0 0 25 0 1 0 806362345 51695616 10092 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10092 300 300 0 12321 0
vsize: 50484
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 27030 0 0 0 112896 120 0 0 25 0 1 0 806362345 51695616 10101 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10101 300 300 0 12321 0
vsize: 50484
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 27037 0 0 0 113898 121 0 0 25 0 1 0 806362345 51695616 10108 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10108 300 300 0 12321 0
vsize: 50484
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 27197 0 0 0 114898 121 0 0 25 0 1 0 806362345 51695616 10110 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10110 300 300 0 12321 0
vsize: 50484
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 27365 0 0 0 115897 122 0 0 25 0 1 0 806362345 51695616 10120 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10120 300 300 0 12321 0
vsize: 50484
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 27378 0 0 0 116897 122 0 0 25 0 1 0 806362345 51695616 10133 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10133 300 300 0 12321 0
vsize: 50484
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 27549 0 0 0 117897 123 0 0 25 0 1 0 806362345 51695616 10146 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10146 300 300 0 12321 0
vsize: 50484
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 27562 0 0 0 118896 123 0 0 25 0 1 0 806362345 51695616 10159 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10159 300 300 0 12321 0
vsize: 50484
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18533
Raw data (stat): 18476 (pb2sat) R 18475 7266 7265 0 -1 0 27731 0 0 0 119896 124 0 0 25 0 1 0 806362345 51695616 10170 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12621 10170 300 300 0 12321 0
vsize: 50484
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 18533
Raw data (stat): 18476 (pb2sat) Z 18475 7266 7265 0 -1 12 27732 0 0 0 119918 126 0 0 25 0 1 0 806362345 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.29
CPU time (s): 1200.45
CPU user time (s): 1199.18
CPU system time (s): 1.26681
CPU usage (%): 100.013
Max. virtual memory (Kb): 50984
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	220
#### END VERIFIER DATA ####