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 42256

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 04:23:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25464 boxname=wulflinc2 idbench=366 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  dd81121db7c1c4b8597dd9571c707a87  /oldhome/oroussel/tmp/wulflinc2/normalized-10:10:4.5:0.5:100.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-10:10:4.5:0.5:100.opb
IDLAUNCH: 25464
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        837468 kB
Buffers:         34360 kB
Cached:         137516 kB
SwapCached:       4448 kB
Active:          45744 kB
Inactive:       131172 kB
HighTotal:      131008 kB
HighFree:         5516 kB
LowTotal:       903652 kB
LowFree:        831952 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14692 kB
Committed_AS:    71892 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 04:43:42 (client local time) WITH STATUS 10 IN 1200.55 SECONDS
stats: 25464 0 1200.55 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: 441
c small objective detected
c CONFLICT during preprocess 
c [startup+3.80946 s]  setting bit 9 to 0

c Decision: 28239/74937	Time: 13.328/86400
c Decision: 28239/74937	Time: 23.2135/86400
c Decision: 28239/74937	Time: 31.8032/86400
c Decision: 28239/74937	Time: 42.1856/86400
c Decision: 28239/74937	Time: 52.9789/86400
c Decision: 28239/74937	Time: 61.0127/86400
c Decision: 28239/74937	Time: 68.3936/86400
c Decision: 28239/74937	Time: 76.3084/86400
c Decision: 28239/74937	Time: 85.9749/86400
c Decision: 28239/74937	Time: 95.5215/86400
c Decision: 28239/74937	Time: 107.497/86400
c Decision: 28239/74937	Time: 119.431/86400
c Decision: 28239/74937	Time: 130.288/86400
c Decision: 28239/74937	Time: 142.257/86400
c Decision: 28239/74937	Time: 155.439/86400
c Decision: 28239/74937	Time: 168.467/86400
c Decision: 28239/74937	Time: 181.864/86400
c Decision: 28239/74937	Time: 192.248/86400
c Decision: 28239/74937	Time: 205.608/86400
c Decision: 28239/74937	Time: 218.794/86400
c Decision: 28239/74937	Time: 230.199/86400
c Decision: 28583/74937	Time: 249.686/86400
c Decision: 28583/74937	Time: 263.708/86400
c Decision: 28583/74937	Time: 275.899/86400
c Decision: 28583/74937	Time: 286.517/86400
c Decision: 28583/74937	Time: 299.195/86400
c Decision: 28583/74937	Time: 310.039/86400
c Decision: 28583/74937	Time: 318.775/86400
c Decision: 28583/74937	Time: 329.738/86400
c Decision: 28583/74937	Time: 340.557/86400
c Decision: 28583/74937	Time: 352.193/86400
c Decision: 28583/74937	Time: 365.034/86400
c Decision: 28583/74937	Time: 376.964/86400
c Decision: 28583/74937	Time: 388.832/86400
c Decision: 28583/74937	Time: 401.746/86400
c Decision: 28583/74937	Time: 414.191/86400
c Decision: 28583/74937	Time: 426.289/86400
c Decision: 28583/74937	Time: 438.457/86400
c Decision: 28583/74937	Time: 449.633/86400
c Decision: 28583/74937	Time: 464.087/86400
c Decision: 28583/74937	Time: 477.328/86400
c Decision: 28583/74937	Time: 490.665/86400
c Decision: 28583/74937	Time: 503.891/86400
c Decision: 28583/74937	Time: 515.221/86400
c Decision: 28583/74937	Time: 527.542/86400
c Decision: 28583/74937	Time: 543.01/86400
c Decision: 28583/74937	Time: 557.177/86400
c Decision: 28583/74937	Time: 572.213/86400
c Decision: 28583/74937	Time: 586.223/86400
c Decision: 28583/74937	Time: 600.839/86400
c Decision: 28583/74937	Time: 614.285/86400
c Decision: 28583/74937	Time: 627.374/86400
c Decision: 28583/74937	Time: 640.85/86400
c Decision: 28583/74937	Time: 654.425/86400
c Decision: 28583/74937	Time: 665.496/86400
c Decision: 28583/74937	Time: 678.177/86400
c Decision: 28583/74937	Time: 690.404/86400
c Decision: 28583/74937	Time: 703.652/86400
c Decision: 28583/74937	Time: 716.705/86400
c Decision: 28584/74937	Time: 732.934/86400
c Decision: 28584/74937	Time: 748.316/86400
c Decision: 28584/74937	Time: 763.898/86400
c Decision: 28584/74937	Time: 775.772/86400
c Decision: 28584/74937	Time: 789.6/86400
c Decision: 28584/74937	Time: 802.463/86400
c Decision: 28584/74937	Time: 816.809/86400
c Decision: 28584/74937	Time: 829.489/86400
c Decision: 28584/74937	Time: 843.286/86400
c Decision: 28586/74937	Time: 861.046/86400
c Decision: 28586/74937	Time: 873.701/86400
c Decision: 28586/74937	Time: 889.967/86400
c Decision: 28586/74937	Time: 904.234/86400
c Decision: 28586/74937	Time: 919.883/86400
c Decision: 28586/74937	Time: 934.566/86400
c Decision: 28586/74937	Time: 949.62/86400
c Decision: 28586/74937	Time: 961.105/86400
c Decision: 28586/74937	Time: 973.813/86400
c Decision: 28586/74937	Time: 985.241/86400
c Decision: 28586/74937	Time: 999.994/86400
c Decision: 28586/74937	Time: 1015.97/86400
c Decision: 28586/74937	Time: 1033.73/86400
c Decision: 28586/74937	Time: 1050.6/86400
c Decision: 28586/74937	Time: 1063.83/86400
c Decision: 28586/74937	Time: 1079.37/86400
c Decision: 28586/74937	Time: 1094.73/86400
c Decision: 28586/74937	Time: 1105.8/86400
c Decision: 28586/74937	Time: 1119.47/86400
c Decision: 28586/74937	Time: 1132.33/86400
c Decision: 28586/74937	Time: 1146.82/86400
c Decision: 28586/74937	Time: 1158.94/86400
c Decision: 28586/74937	Time: 1173.01/86400
c Decision: 28586/74937	Time: 1186.49/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.85 0.97 0.93 1/54 3349
Raw data (stat): 3349 (runsolver) R 3348 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967859526 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+9.99985 s]
Raw data (loadavg): 0.87 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 12947 0 0 0 971 28 0 0 25 0 1 0 967859526 44244992 7260 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10802 7260 301 301 0 10501 0
vsize: 43208
[startup+20.0005 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 13330 0 0 0 1969 29 0 0 25 0 1 0 967859526 45514752 7496 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11112 7496 301 301 0 10811 0
vsize: 44448
[startup+30.0005 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 13556 0 0 0 2969 30 0 0 25 0 1 0 967859526 45678592 7575 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11152 7575 301 301 0 10851 0
vsize: 44608
[startup+40.0009 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 13849 0 0 0 3969 31 0 0 25 0 1 0 967859526 46399488 7721 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11328 7721 301 301 0 11027 0
vsize: 45312
[startup+50.0036 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 14103 0 0 0 4968 31 0 0 25 0 1 0 967859526 46792704 7828 4294967295 134512640 135730672 3221224576 3221223024 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11424 7828 301 301 0 11123 0
vsize: 45696
[startup+60.0037 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 14358 0 0 0 5967 32 0 0 25 0 1 0 967859526 47185920 7936 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11520 7936 301 301 0 11219 0
vsize: 46080
[startup+70.004 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 14635 0 0 0 6966 34 0 0 25 0 1 0 967859526 47775744 8066 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11664 8066 301 301 0 11363 0
vsize: 46656
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 14976 0 0 0 7965 35 0 0 25 0 1 0 967859526 48574464 8260 4294967295 134512640 135730672 3221224576 3221222520 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11859 8260 301 301 0 11558 0
vsize: 47436
[startup+90.0047 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 15152 0 0 0 8964 36 0 0 25 0 1 0 967859526 47972352 8142 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11712 8142 301 301 0 11411 0
vsize: 46848
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 15329 0 0 0 9963 37 0 0 25 0 1 0 967859526 47972352 8172 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11712 8172 301 301 0 11411 0
vsize: 46848
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 15432 0 0 0 10962 38 0 0 25 0 1 0 967859526 48304128 8275 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11793 8275 301 301 0 11492 0
vsize: 47172
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 15608 0 0 0 11961 39 0 0 25 0 1 0 967859526 48500736 8304 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11841 8304 301 301 0 11540 0
vsize: 47364
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 15822 0 0 0 12960 40 0 0 25 0 1 0 967859526 48697344 8371 4294967295 134512640 135730672 3221224576 3221222864 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11889 8371 301 301 0 11588 0
vsize: 47556
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 16034 0 0 0 13959 41 0 0 25 0 1 0 967859526 49029120 8436 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11970 8436 301 301 0 11669 0
vsize: 47880
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 16186 0 0 0 14959 41 0 0 25 0 1 0 967859526 49029120 8441 4294967295 134512640 135730672 3221224576 3221222972 134747440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11970 8441 301 301 0 11669 0
vsize: 47880
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 16339 0 0 0 15958 42 0 0 25 0 1 0 967859526 49029120 8447 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11970 8447 301 301 0 11669 0
vsize: 47880
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 16373 0 0 0 16958 43 0 0 25 0 1 0 967859526 49164288 8481 4294967295 134512640 135730672 3221224576 3221222960 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12003 8481 301 301 0 11702 0
vsize: 48012
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 16526 0 0 0 17957 44 0 0 25 0 1 0 967859526 49164288 8487 4294967295 134512640 135730672 3221224576 3221222864 134747950 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12003 8487 301 301 0 11702 0
vsize: 48012
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 16676 0 0 0 18956 45 0 0 25 0 1 0 967859526 49164288 8490 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12003 8490 301 301 0 11702 0
vsize: 48012
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 16870 0 0 0 19955 46 0 0 25 0 1 0 967859526 49434624 8537 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12069 8537 301 301 0 11768 0
vsize: 48276
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 17029 0 0 0 20954 47 0 0 25 0 1 0 967859526 49434624 8549 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12069 8549 301 301 0 11768 0
vsize: 48276
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 17045 0 0 0 21953 48 0 0 25 0 1 0 967859526 49434624 8565 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12069 8565 301 301 0 11768 0
vsize: 48276
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 17209 0 0 0 22953 48 0 0 25 0 1 0 967859526 49434624 8582 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12069 8582 301 301 0 11768 0
vsize: 48276
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 17366 0 0 0 23953 49 0 0 25 0 1 0 967859526 49434624 8592 4294967295 134512640 135730672 3221224576 3221223024 134748656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12069 8592 301 301 0 11768 0
vsize: 48276
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 17375 0 0 0 24952 50 0 0 25 0 1 0 967859526 49434624 8601 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12069 8601 301 301 0 11768 0
vsize: 48276
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 17528 0 0 0 25952 50 0 0 25 0 1 0 967859526 49434624 8607 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12069 8607 301 301 0 11768 0
vsize: 48276
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 17712 0 0 0 26951 51 0 0 25 0 1 0 967859526 49569792 8644 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12102 8644 301 301 0 11801 0
vsize: 48408
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 17888 0 0 0 27950 52 0 0 25 0 1 0 967859526 49704960 8673 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12135 8673 301 301 0 11834 0
vsize: 48540
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 17907 0 0 0 28950 52 0 0 25 0 1 0 967859526 49704960 8692 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12135 8692 301 301 0 11834 0
vsize: 48540
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 18072 0 0 0 29950 53 0 0 25 0 1 0 967859526 49704960 8710 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12135 8710 301 301 0 11834 0
vsize: 48540
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 18230 0 0 0 30949 54 0 0 25 0 1 0 967859526 49704960 8721 4294967295 134512640 135730672 3221224576 3221222864 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12135 8721 301 301 0 11834 0
vsize: 48540
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 18384 0 0 0 31948 55 0 0 25 0 1 0 967859526 49704960 8728 4294967295 134512640 135730672 3221224576 3221222848 134732630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12135 8728 301 301 0 11834 0
vsize: 48540
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 18561 0 0 0 32948 55 0 0 25 0 1 0 967859526 49840128 8758 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12168 8758 301 301 0 11867 0
vsize: 48672
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 18728 0 0 0 33948 56 0 0 25 0 1 0 967859526 49840128 8778 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12168 8778 301 301 0 11867 0
vsize: 48672
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 18919 0 0 0 34947 56 0 0 25 0 1 0 967859526 49975296 8822 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12201 8822 301 301 0 11900 0
vsize: 48804
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 19124 0 0 0 35946 58 0 0 25 0 1 0 967859526 50245632 8880 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12267 8880 301 301 0 11966 0
vsize: 49068
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 19274 0 0 0 36945 59 0 0 25 0 1 0 967859526 50245632 8883 4294967295 134512640 135730672 3221224576 3221222864 134747631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12267 8883 301 301 0 11966 0
vsize: 49068
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 19278 0 0 0 37945 59 0 0 25 0 1 0 967859526 50245632 8887 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12267 8887 301 301 0 11966 0
vsize: 49068
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 19437 0 0 0 38944 60 0 0 25 0 1 0 967859526 50245632 8899 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12267 8899 301 301 0 11966 0
vsize: 49068
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 19621 0 0 0 39944 61 0 0 25 0 1 0 967859526 50380800 8936 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12300 8936 301 301 0 11999 0
vsize: 49200
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 19786 0 0 0 40943 61 0 0 25 0 1 0 967859526 50380800 8954 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12300 8954 301 301 0 11999 0
vsize: 49200
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 19950 0 0 0 41943 62 0 0 25 0 1 0 967859526 50380800 8971 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12300 8971 301 301 0 11999 0
vsize: 49200
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 20123 0 0 0 42942 63 0 0 25 0 1 0 967859526 51118080 9144 4294967295 134512640 135730672 3221224576 3221222504 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12480 9144 301 301 0 12179 0
vsize: 49920
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 20128 0 0 0 43942 63 0 0 25 0 1 0 967859526 50515968 9002 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12333 9002 301 301 0 12032 0
vsize: 49332
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 20311 0 0 0 44941 64 0 0 25 0 1 0 967859526 50651136 9038 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12366 9038 301 301 0 12065 0
vsize: 49464
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 20475 0 0 0 45941 65 0 0 25 0 1 0 967859526 50651136 9055 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12366 9055 301 301 0 12065 0
vsize: 49464
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 20659 0 0 0 46940 66 0 0 25 0 1 0 967859526 50786304 9092 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12399 9092 301 301 0 12098 0
vsize: 49596
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 20676 0 0 0 47940 66 0 0 25 0 1 0 967859526 50786304 9109 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12399 9109 301 301 0 12098 0
vsize: 49596
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 20826 0 0 0 48939 66 0 0 25 0 1 0 967859526 50786304 9112 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12399 9112 301 301 0 12098 0
vsize: 49596
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 20998 0 0 0 49939 67 0 0 25 0 1 0 967859526 50921472 9137 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12432 9137 301 301 0 12131 0
vsize: 49728
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 21148 0 0 0 50938 68 0 0 25 0 1 0 967859526 50921472 9140 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12432 9140 301 301 0 12131 0
vsize: 49728
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 21311 0 0 0 51937 69 0 0 25 0 1 0 967859526 50921472 9156 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12432 9156 301 301 0 12131 0
vsize: 49728
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 21328 0 0 0 52937 70 0 0 25 0 1 0 967859526 50921472 9173 4294967295 134512640 135730672 3221224576 3221223012 134748064 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12432 9173 301 301 0 12131 0
vsize: 49728
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 21493 0 0 0 53936 71 0 0 25 0 1 0 967859526 50921472 9191 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12432 9191 301 301 0 12131 0
vsize: 49728
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 21650 0 0 0 54935 71 0 0 25 0 1 0 967859526 50921472 9201 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12432 9201 301 301 0 12131 0
vsize: 49728
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 21675 0 0 0 55935 72 0 0 25 0 1 0 967859526 51056640 9226 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12465 9226 301 301 0 12164 0
vsize: 49860
[startup+570.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 21825 0 0 0 56934 73 0 0 25 0 1 0 967859526 51056640 9229 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12465 9229 301 301 0 12164 0
vsize: 49860
[startup+580.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 21977 0 0 0 57933 74 0 0 25 0 1 0 967859526 51056640 9234 4294967295 134512640 135730672 3221224576 3221222992 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12465 9234 301 301 0 12164 0
vsize: 49860
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 22142 0 0 0 58933 74 0 0 25 0 1 0 967859526 51056640 9252 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12465 9252 301 301 0 12164 0
vsize: 49860
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 22158 0 0 0 59932 75 0 0 25 0 1 0 967859526 51056640 9268 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12465 9268 301 301 0 12164 0
vsize: 49860
[startup+610.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 22322 0 0 0 60932 76 0 0 25 0 1 0 967859526 51056640 9285 4294967295 134512640 135730672 3221224576 3221223024 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12465 9285 301 301 0 12164 0
vsize: 49860
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 22482 0 0 0 61930 78 0 0 25 0 1 0 967859526 51056640 9298 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12465 9298 301 301 0 12164 0
vsize: 49860
[startup+630.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 22485 0 0 0 62930 78 0 0 25 0 1 0 967859526 51056640 9301 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12465 9301 301 301 0 12164 0
vsize: 49860
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 22635 0 0 0 63929 79 0 0 25 0 1 0 967859526 51056640 9304 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12465 9304 301 301 0 12164 0
vsize: 49860
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 22795 0 0 0 64928 80 0 0 25 0 1 0 967859526 51056640 9317 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12465 9317 301 301 0 12164 0
vsize: 49860
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 22959 0 0 0 65928 81 0 0 25 0 1 0 967859526 51195904 9334 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12499 9334 301 301 0 12198 0
vsize: 49996
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 23134 0 0 0 66927 82 0 0 25 0 1 0 967859526 51195904 9362 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12499 9362 301 301 0 12198 0
vsize: 49996
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 23167 0 0 0 67927 82 0 0 25 0 1 0 967859526 51195904 9395 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12499 9395 301 301 0 12198 0
vsize: 49996
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 23325 0 0 0 68926 83 0 0 25 0 1 0 967859526 51195904 9406 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12499 9406 301 301 0 12198 0
vsize: 49996
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 23482 0 0 0 69925 84 0 0 25 0 1 0 967859526 51195904 9416 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12499 9416 301 301 0 12198 0
vsize: 49996
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 23640 0 0 0 70925 84 0 0 25 0 1 0 967859526 51331072 9427 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12532 9427 301 301 0 12231 0
vsize: 50128
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 23663 0 0 0 71924 85 0 0 25 0 1 0 967859526 51331072 9450 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12532 9450 301 301 0 12231 0
vsize: 50128
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 23840 0 0 0 72924 86 0 0 25 0 1 0 967859526 51331072 9480 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12532 9480 301 301 0 12231 0
vsize: 50128
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 24013 0 0 0 73923 87 0 0 25 0 1 0 967859526 51331072 9506 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12532 9506 301 301 0 12231 0
vsize: 50128
[startup+750.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 24033 0 0 0 74923 87 0 0 25 0 1 0 967859526 51331072 9526 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12532 9526 301 301 0 12231 0
vsize: 50128
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 24194 0 0 0 75922 88 0 0 25 0 1 0 967859526 51462144 9540 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12564 9540 301 301 0 12263 0
vsize: 50256
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 24353 0 0 0 76921 89 0 0 25 0 1 0 967859526 51462144 9552 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12564 9552 301 301 0 12263 0
vsize: 50256
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 24510 0 0 0 77921 90 0 0 25 0 1 0 967859526 51462144 9562 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12564 9562 301 301 0 12263 0
vsize: 50256
[startup+790.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 24538 0 0 0 78920 91 0 0 25 0 1 0 967859526 51597312 9590 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12597 9590 301 301 0 12296 0
vsize: 50388
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 24708 0 0 0 79919 92 0 0 25 0 1 0 967859526 51597312 9613 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12597 9613 301 301 0 12296 0
vsize: 50388
[startup+810.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 24874 0 0 0 80918 93 0 0 25 0 1 0 967859526 51597312 9632 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12597 9632 301 301 0 12296 0
vsize: 50388
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 24894 0 0 0 81918 94 0 0 25 0 1 0 967859526 51597312 9652 4294967295 134512640 135730672 3221224576 3221222880 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12597 9652 301 301 0 12296 0
vsize: 50388
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 25049 0 0 0 82917 94 0 0 25 0 1 0 967859526 51597312 9660 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12597 9660 301 301 0 12296 0
vsize: 50388
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 25203 0 0 0 83917 95 0 0 25 0 1 0 967859526 51597312 9667 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12597 9667 301 301 0 12296 0
vsize: 50388
[startup+850.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 25359 0 0 0 84916 96 0 0 25 0 1 0 967859526 51597312 9676 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12597 9676 301 301 0 12296 0
vsize: 50388
[startup+860.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 25394 0 0 0 85916 97 0 0 25 0 1 0 967859526 51732480 9711 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12630 9711 301 301 0 12329 0
vsize: 50520
[startup+870.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 25579 0 0 0 86915 97 0 0 25 0 1 0 967859526 51867648 9749 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12663 9749 301 301 0 12362 0
vsize: 50652
[startup+880.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 25743 0 0 0 87914 98 0 0 25 0 1 0 967859526 51867648 9766 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12663 9766 301 301 0 12362 0
vsize: 50652
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 25757 0 0 0 88914 99 0 0 25 0 1 0 967859526 51867648 9780 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12663 9780 301 301 0 12362 0
vsize: 50652
[startup+900.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 25933 0 0 0 89913 100 0 0 25 0 1 0 967859526 52002816 9809 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12696 9809 301 301 0 12395 0
vsize: 50784
[startup+910.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 26083 0 0 0 90912 101 0 0 25 0 1 0 967859526 52002816 9812 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12696 9812 301 301 0 12395 0
vsize: 50784
[startup+920.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 26098 0 0 0 91912 101 0 0 25 0 1 0 967859526 52199424 9827 4294967295 134512640 135730672 3221224576 3221222864 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12744 9827 301 301 0 12443 0
vsize: 50976
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 26248 0 0 0 92911 102 0 0 25 0 1 0 967859526 52199424 9830 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12744 9830 301 301 0 12443 0
vsize: 50976
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 26411 0 0 0 93910 103 0 0 25 0 1 0 967859526 52199424 9846 4294967295 134512640 135730672 3221224576 3221222992 134748114 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12744 9846 301 301 0 12443 0
vsize: 50976
[startup+950.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 26451 0 0 0 94910 104 0 0 25 0 1 0 967859526 52199424 9886 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12744 9886 301 301 0 12443 0
vsize: 50976
[startup+960.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 26622 0 0 0 95909 105 0 0 25 0 1 0 967859526 52199424 9910 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12744 9910 301 301 0 12443 0
vsize: 50976
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 26778 0 0 0 96908 106 0 0 25 0 1 0 967859526 52199424 9919 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12744 9919 301 301 0 12443 0
vsize: 50976
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 26932 0 0 0 97907 107 0 0 25 0 1 0 967859526 52334592 9926 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12777 9926 301 301 0 12476 0
vsize: 51108
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 27093 0 0 0 98906 108 0 0 25 0 1 0 967859526 52334592 9940 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12777 9940 301 301 0 12476 0
vsize: 51108
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 27112 0 0 0 99906 109 0 0 25 0 1 0 967859526 52334592 9959 4294967295 134512640 135730672 3221224576 3221222864 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12777 9959 301 301 0 12476 0
vsize: 51108
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 27293 0 0 0 100905 110 0 0 25 0 1 0 967859526 52469760 9993 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12810 9993 301 301 0 12509 0
vsize: 51240
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 27451 0 0 0 101905 110 0 0 25 0 1 0 967859526 52469760 10004 4294967295 134512640 135730672 3221224576 3221222616 135284994 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12810 10004 301 301 0 12509 0
vsize: 51240
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 27473 0 0 0 102904 111 0 0 25 0 1 0 967859526 52469760 10026 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12810 10026 301 301 0 12509 0
vsize: 51240
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 27647 0 0 0 103903 112 0 0 25 0 1 0 967859526 52604928 10053 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12843 10053 301 301 0 12542 0
vsize: 51372
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 27667 0 0 0 104903 113 0 0 25 0 1 0 967859526 52740096 10073 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12876 10073 301 301 0 12575 0
vsize: 51504
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 27825 0 0 0 105902 114 0 0 25 0 1 0 967859526 52740096 10084 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12876 10084 301 301 0 12575 0
vsize: 51504
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 27988 0 0 0 106901 115 0 0 25 0 1 0 967859526 52740096 10100 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12876 10100 301 301 0 12575 0
vsize: 51504
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 28043 0 0 0 107901 115 0 0 25 0 1 0 967859526 53010432 10155 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12942 10155 301 301 0 12641 0
vsize: 51768
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 28210 0 0 0 108901 116 0 0 25 0 1 0 967859526 53010432 10175 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12942 10175 301 301 0 12641 0
vsize: 51768
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 28376 0 0 0 109900 117 0 0 25 0 1 0 967859526 53010432 10194 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12942 10194 301 301 0 12641 0
vsize: 51768
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 28547 0 0 0 110899 118 0 0 25 0 1 0 967859526 53010432 10218 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12942 10218 301 301 0 12641 0
vsize: 51768
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 28550 0 0 0 111899 118 0 0 25 0 1 0 967859526 53010432 10221 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12942 10221 301 301 0 12641 0
vsize: 51768
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 28700 0 0 0 112899 119 0 0 25 0 1 0 967859526 53010432 10224 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12942 10224 301 301 0 12641 0
vsize: 51768
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 28852 0 0 0 113898 119 0 0 25 0 1 0 967859526 53010432 10229 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12942 10229 301 301 0 12641 0
vsize: 51768
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 28874 0 0 0 114898 120 0 0 25 0 1 0 967859526 53153792 10251 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12977 10251 301 301 0 12676 0
vsize: 51908
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 29044 0 0 0 115898 120 0 0 25 0 1 0 967859526 53153792 10274 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12977 10274 301 301 0 12676 0
vsize: 51908
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 29220 0 0 0 116898 121 0 0 25 0 1 0 967859526 53153792 10303 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12977 10303 301 301 0 12676 0
vsize: 51908
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 29389 0 0 0 117896 122 0 0 25 0 1 0 967859526 53153792 10325 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12977 10325 301 301 0 12676 0
vsize: 51908
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 29551 0 0 0 118896 123 0 0 25 0 1 0 967859526 53923840 10487 4294967295 134512640 135730672 3221224576 3221222532 134768817 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13165 10487 301 301 0 12864 0
vsize: 52660
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3349
Raw data (stat): 3349 (pb2sat-v2) R 3348 31399 31398 0 -1 0 29574 0 0 0 119895 124 0 0 25 0 1 0 967859526 53321728 10363 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13018 10363 301 301 0 12717 0
vsize: 52072
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.36 s]
Raw data (loadavg): 0.99 0.97 0.93 1/54 3349
Raw data (stat): 3349 (pb2sat-v2) Z 3348 31399 31398 0 -1 12 29576 0 0 0 119928 126 0 0 25 0 1 0 967859526 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.36
CPU time (s): 1200.55
CPU user time (s): 1199.28
CPU system time (s): 1.26281
CPU usage (%): 100.015
Max. virtual memory (Kb): 52660
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	221
#### END VERIFIER DATA ####