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/submitted/manquinho/routing/normalized-s4-4-3-2pb.opb
MD5SUM	55739635f7f3741bc4f78c540803ac21
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	64
Optimality of the best value was proved	NO
Number of terms in the objective function	648
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	648
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	648
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.03884
Number of variables	648
Total number of constraints	1952
Number of constraints which are clauses	1928
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	27
Trace number 34929

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-28 11:03:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24164 boxname=wulflinc20 idbench=238 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  55739635f7f3741bc4f78c540803ac21  /oldhome/oroussel/tmp/wulflinc20/normalized-s4-4-3-2pb.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc20/normalized-s4-4-3-2pb.opb
IDLAUNCH: 24164
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        718380 kB
Buffers:         33424 kB
Cached:         259420 kB
SwapCached:        644 kB
Active:          20312 kB
Inactive:       274576 kB
HighTotal:      131008 kB
HighFree:        43568 kB
LowTotal:       903652 kB
LowFree:        674812 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            15624 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:23:31 (client local time) WITH STATUS 10 IN 1200.76 SECONDS
stats: 24164 0 1200.76 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 132455/213893	Time: 30.2594/86400
Decision: 132455/213893	Time: 41.2397/86400
Decision: 132499/213893	Time: 68.2026/86400
Decision: 132539/213893	Time: 81.1607/86400
Decision: 132541/213893	Time: 93.4798/86400
Decision: 132543/213893	Time: 104.8/86400
Decision: 132543/213893	Time: 115.869/86400
Decision: 132543/213893	Time: 126.728/86400
Decision: 132628/213893	Time: 153.112/86400
Decision: 132808/213893	Time: 191.412/86400
Decision: 132808/213893	Time: 204.141/86400
Decision: 132838/213893	Time: 230.063/86400
Decision: 132838/213893	Time: 242.028/86400
Decision: 132840/213893	Time: 258.277/86400
Decision: 132841/213893	Time: 281.821/86400c got solution with objective value: 72
c [startup+305.386 s]  setting bit 9 to 1
c CONFLICT during preprocess 
c [startup+306.212 s]  setting bit 8 to 0
c [startup+309.114 s]  setting bit 7 to 0
c got solution with objective value: 72
c [startup+314.394 s]  setting bit 6 to 1
c [startup+351.068 s]  setting bit 5 to 0

Decision: 178263/213893	Time: 23.6694/86400
Decision: 178264/213893	Time: 40.4488/86400
Decision: 178270/213893	Time: 64.5562/86400
Decision: 180881/213893	Time: 89.8523/86400
Decision: 181422/213893	Time: 117.507/86400c [startup+477.53 s]  setting bit 4 to 0

Decision: 174504/213893	Time: 30.8563/86400
Decision: 174504/213893	Time: 45.0102/86400
Decision: 174504/213893	Time: 59.368/86400
Decision: 174504/213893	Time: 73.8878/86400
Decision: 174504/213893	Time: 89.7854/86400
Decision: 174504/213893	Time: 108.602/86400
Decision: 174504/213893	Time: 122.788/86400
Decision: 174504/213893	Time: 140.96/86400
Decision: 174504/213893	Time: 157.277/86400
Decision: 174504/213893	Time: 173.704/86400
Decision: 174504/213893	Time: 190.35/86400
Decision: 174504/213893	Time: 206.709/86400
Decision: 174504/213893	Time: 223.241/86400
Decision: 174504/213893	Time: 241.083/86400
Decision: 174504/213893	Time: 257.517/86400
Decision: 174504/213893	Time: 272.339/86400
Decision: 174504/213893	Time: 290.276/86400
Decision: 174504/213893	Time: 309.293/86400
Decision: 174504/213893	Time: 326.677/86400
Decision: 174504/213893	Time: 344.374/86400
Decision: 174504/213893	Time: 359.884/86400
Decision: 174507/213893	Time: 398.482/86400
Decision: 174511/213893	Time: 432.55/86400
Decision: 174511/213893	Time: 448.312/86400
Decision: 174511/213893	Time: 464.149/86400
Decision: 177197/213893	Time: 485.443/86400
Decision: 177197/213893	Time: 503.569/86400
Decision: 177197/213893	Time: 520.967/86400
Decision: 177197/213893	Time: 538.371/86400c got solution with objective value: 64
c [startup+1031.26 s]  setting bit 3 to 1

Decision: 179247/213893	Time: 49.0185/86400
Decision: 179247/213893	Time: 70.9512/86400c [startup+1176.82 s]  setting bit 2 to 0
s SATISFIABLE
v -v1 -v10 -v100 -v101 -v102 -v103 -v104 -v105 v106 -v107 -v108 -v109 -v11 -v110 -v111 -v112 -v113 v114 -v115 -v116 -v117 v118 -v119 -v12 -v120 -v121 -v122 -v123 -v124 -v125 -v126 -v127 -v128 -v129 -v13 -v130 -v131 -v132 -v133 -v134 -v135 -v136 -v137 -v138 -v139 v14 -v140 -v141 -v142 v143 -v144 -v145 -v146 -v147 -v148 -v149 -v15 -v150 -v151 -v152 -v153 -v154 v155 v156 -v157 -v158 -v159 -v16 -v160 -v161 -v162 -v163 -v164 -v165 -v166 -v167 v168 -v169 v17 -v170 -v171 -v172 -v173 -v174 -v175 -v176 -v177 -v178 -v179 -v18 v180 -v181 -v182 -v183 v184 -v185 -v186 -v187 v188 -v189 -v19 -v190 -v191 v192 -v193 v194 v195 -v196 -v197 -v198 -v199 v2 -v20 -v200 -v201 -v202 -v203 -v204 -v205 v206 -v207 -v208 -v209 v21 v210 -v211 -v212 -v213 -v214 -v215 -v216 -v217 -v218 -v219 -v22 -v220 -v221 -v222 -v223 -v224 -v225 -v226 -v227 v228 -v229 -v23 -v230 -v231 -v232 -v233 -v234 -v235 -v236 -v237 -v238 -v239 -v24 -v240 -v241 -v242 -v243 -v244 -v245 -v246 v247 v248 -v249 -v25 -v250 -v251 -v252 -v253 -v254 -v255 -v256 -v257 -v258 v259 -v26 -v260 -v261 -v262 -v263 -v264 -v265 -v266 -v267 -v268 -v269 -v27 -v270 -v271 v272 v273 -v274 -v275 -v276 -v277 -v278 -v279 -v28 -v280 -v281 -v282 -v283 v284 -v285 -v286 -v287 -v288 -v289 -v29 -v290 -v291 -v292 -v293 -v294 -v295 -v296 -v297 -v298 -v299 v3 -v30 -v300 -v301 -v302 -v303 -v304 -v305 v306 -v307 -v308 -v309 -v31 -v310 -v311 -v312 -v313 -v314 -v315 -v316 -v317 -v318 -v319 -v32 -v320 -v321 -v322 -v323 -v324 -v325 -v326 -v327 -v328 -v329 -v33 -v330 v331 -v332 -v333 -v334 v335 -v336 -v337 -v338 -v339 v34 -v340 -v341 -v342 -v343 -v344 -v345 -v346 v347 -v348 -v349 -v35 -v350 -v351 -v352 -v353 -v354 -v355 -v356 -v357 v358 -v359 -v36 -v360 v361 v362 -v363 -v364 -v365 v366 -v367 -v368 -v369 -v37 -v370 -v371 -v372 -v373 -v374 v375 -v376 -v377 -v378 -v379 -v38 -v380 -v381 -v382 -v383 -v384 -v385 -v386 -v387 v388 v389 -v39 -v390 -v391 -v392 -v393 -v394 -v395 -v396 -v397 -v398 -v399 v4 -v40 -v400 -v401 -v402 v403 -v404 -v405 -v406 -v407 -v408 -v409 -v41 -v410 -v411 -v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419 -v42 -v420 -v421 -v422 -v423 v424 -v425 -v426 -v427 -v428 -v429 -v43 -v430 -v431 -v432 -v433 -v434 v435 -v436 -v437 -v438 -v439 -v44 -v440 -v441 -v442 -v443 -v444 -v445 -v446 -v447 -v448 -v449 v45 -v450 -v451 -v452 -v453 -v454 -v455 -v456 -v457 -v458 -v459 -v46 -v460 -v461 -v462 -v463 -v464 -v465 -v466 -v467 -v468 v469 -v47 -v470 -v471 -v472 v473 -v474 -v475 -v476 v477 -v478 -v479 -v48 -v480 v481 -v482 -v483 -v484 -v485 -v486 -v487 -v488 -v489 -v49 -v490 -v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 -v499 -v5 -v50 -v500 -v501 -v502 -v503 -v504 -v505 -v506 -v507 -v508 -v509 -v51 -v510 -v511 -v512 v513 -v514 -v515 -v516 -v517 -v518 -v519 -v52 -v520 -v521 -v522 -v523 -v524 -v525 -v526 -v527 v528 -v529 -v53 -v530 -v531 -v532 -v533 -v534 -v535 -v536 v537 -v538 -v539 -v54 -v540 -v541 -v542 -v543 -v544 -v545 -v546 -v547 v548 -v549 v55 -v550 -v551 -v552 -v553 -v554 -v555 -v556 v557 -v558 -v559 -v56 -v560 -v561 -v562 -v563 -v564 -v565 -v566 -v567 -v568 -v569 -v57 -v570 -v571 -v572 -v573 -v574 -v575 -v576 -v577 -v578 -v579 -v58 -v580 -v581 -v582 -v583 -v584 -v585 v586 -v587 -v588 -v589 v59 -v590 -v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v6 -v60 -v600 -v601 -v602 -v603 -v604 v605 -v606 -v607 -v608 -v609 -v61 -v610 -v611 -v612 -v613 -v614 -v615 -v616 -v617 -v618 -v619 -v62 -v620 -v621 -v622 -v623 -v624 -v625 -v626 -v627 -v628 -v629 -v63 -v630 -v631 -v632 -v633 -v634 -v635 -v636 -v637 -v638 -v639 -v64 v640 -v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 -v65 -v66 -v67 -v68 -v69 -v7 v70 -v71 -v72 -v73 -v74 -v75 -v76 -v77 -v78 v79 -v8 v80 -v81 -v82 -v83 -v84 v85 -v86 -v87 -v88 v89 -v9 -v90 -v91 -v92 -v93 -v94 v95 -v96 -v97 -v98 -v99 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Raw data (loadavg): 0.90 0.93 0.90 2/54 9779
Raw data (stat): 9779 (runsolver) R 9778 25399 25398 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 864293898 884736 93 4294967295 134512640 135332820 3221224464 3221219872 134515228 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.001 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 28940 0 0 0 936 63 0 0 25 0 1 0 864293898 88027136 18039 4294967295 134512640 135726644 3221224592 3221220752 135278584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21491 18039 300 300 0 21191 0
vsize: 85964
[startup+20.0015 s]
Raw data (loadavg): 0.92 0.93 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 30400 0 0 0 1932 66 0 0 25 0 1 0 864293898 91394048 18852 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22313 18852 300 300 0 22013 0
vsize: 89252
[startup+30.0019 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 30605 0 0 0 2931 67 0 0 25 0 1 0 864293898 92278784 19057 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22529 19057 300 300 0 22229 0
vsize: 90116
[startup+40.0019 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 31066 0 0 0 3930 69 0 0 25 0 1 0 864293898 92475392 19100 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22577 19100 300 300 0 22277 0
vsize: 90308
[startup+50.0026 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 31173 0 0 0 4930 69 0 0 25 0 1 0 864293898 92803072 19207 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22657 19207 300 300 0 22357 0
vsize: 90628
[startup+60.0033 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 31685 0 0 0 5929 70 0 0 25 0 1 0 864293898 93331456 19301 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22786 19301 300 300 0 22486 0
vsize: 91144
[startup+70.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 31767 0 0 0 6928 71 0 0 25 0 1 0 864293898 93724672 19383 4294967295 134512640 135726644 3221224592 3221223280 134744989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22882 19383 300 300 0 22582 0
vsize: 91528
[startup+80.0037 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 32207 0 0 0 7927 72 0 0 25 0 1 0 864293898 93724672 19405 4294967295 134512640 135726644 3221224592 3221223248 134731190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22882 19405 300 300 0 22582 0
vsize: 91528
[startup+90.0031 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 32301 0 0 0 8927 72 0 0 25 0 1 0 864293898 93921280 19499 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22930 19499 300 300 0 22630 0
vsize: 91720
[startup+100.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 32747 0 0 0 9926 73 0 0 25 0 1 0 864293898 93921280 19527 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22930 19527 300 300 0 22630 0
vsize: 91720
[startup+110.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 33208 0 0 0 10925 74 0 0 25 0 1 0 864293898 94117888 19570 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22978 19570 300 300 0 22678 0
vsize: 91912
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 33668 0 0 0 11924 76 0 0 25 0 1 0 864293898 94314496 19612 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23026 19612 300 300 0 22726 0
vsize: 92104
[startup+130.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 34120 0 0 0 12922 78 0 0 25 0 1 0 864293898 94314496 19646 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23026 19646 300 300 0 22726 0
vsize: 92104
[startup+140.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 34569 0 0 0 13921 79 0 0 25 0 1 0 864293898 94314496 19677 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23026 19677 300 300 0 22726 0
vsize: 92104
[startup+150.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9779
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 34611 0 0 0 14921 79 0 0 25 0 1 0 864293898 94511104 19719 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23074 19719 300 300 0 22774 0
vsize: 92296
[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 34640 0 0 0 15921 79 0 0 25 0 1 0 864293898 94511104 19748 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23074 19748 300 300 0 22774 0
vsize: 92296
[startup+170.005 s]
Raw data (loadavg): 1.07 0.97 0.91 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 35102 0 0 0 16919 81 0 0 25 0 1 0 864293898 94511104 19792 4294967295 134512640 135726644 3221224592 3221223212 134744627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23074 19792 300 300 0 22774 0
vsize: 92296
[startup+180.006 s]
Raw data (loadavg): 1.13 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 35152 0 0 0 17919 81 0 0 25 0 1 0 864293898 94646272 19842 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23107 19842 300 300 0 22807 0
vsize: 92428
[startup+190.007 s]
Raw data (loadavg): 1.11 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 35175 0 0 0 18919 82 0 0 25 0 1 0 864293898 94646272 19865 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23107 19865 300 300 0 22807 0
vsize: 92428
[startup+200.007 s]
Raw data (loadavg): 1.09 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 35217 0 0 0 19919 82 0 0 25 0 1 0 864293898 94781440 19907 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 19907 300 300 0 22840 0
vsize: 92560
[startup+210.008 s]
Raw data (loadavg): 1.08 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 35678 0 0 0 20918 83 0 0 25 0 1 0 864293898 94916608 19950 4294967295 134512640 135726644 3221224592 3221223088 134743889 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23173 19950 300 300 0 22873 0
vsize: 92692
[startup+220.008 s]
Raw data (loadavg): 1.07 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 36114 0 0 0 21917 85 0 0 25 0 1 0 864293898 94916608 19968 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23173 19968 300 300 0 22873 0
vsize: 92692
[startup+230.008 s]
Raw data (loadavg): 1.06 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 36117 0 0 0 22916 85 0 0 25 0 1 0 864293898 94916608 19971 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23173 19971 300 300 0 22873 0
vsize: 92692
[startup+240.008 s]
Raw data (loadavg): 1.05 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 36619 0 0 0 23915 86 0 0 25 0 1 0 864293898 97034240 20473 4294967295 134512640 135726644 3221224592 3221222752 134765226 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23690 20473 300 300 0 23390 0
vsize: 94760
[startup+250.009 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 36652 0 0 0 24915 87 0 0 25 0 1 0 864293898 95322112 20088 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23272 20088 300 300 0 22972 0
vsize: 93088
[startup+260.009 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 37133 0 0 0 25914 88 0 0 25 0 1 0 864293898 95457280 20151 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23305 20151 300 300 0 23005 0
vsize: 93220
[startup+270.008 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 37583 0 0 0 26912 90 0 0 25 0 1 0 864293898 95457280 20183 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23305 20183 300 300 0 23005 0
vsize: 93220
[startup+280.008 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 37617 0 0 0 27912 91 0 0 25 0 1 0 864293898 95457280 20217 4294967295 134512640 135726644 3221224592 3221223088 134744344 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23305 20217 300 300 0 23005 0
vsize: 93220
[startup+290.009 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 37652 0 0 0 28911 91 0 0 25 0 1 0 864293898 95457280 20252 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23305 20252 300 300 0 23005 0
vsize: 93220
[startup+300.009 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 38098 0 0 0 29910 93 0 0 25 0 1 0 864293898 95457280 20280 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23305 20280 300 300 0 23005 0
vsize: 93220
[startup+310.01 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 39503 0 0 0 30906 97 0 0 25 0 1 0 864293898 95862784 20431 4294967295 134512640 135726644 3221224592 3221222848 134726852 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23404 20431 300 300 0 23104 0
vsize: 93616
[startup+320.011 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 39944 0 0 0 31904 98 0 0 25 0 1 0 864293898 95862784 20454 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23404 20454 300 300 0 23104 0
vsize: 93616
[startup+330.011 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 39966 0 0 0 32904 98 0 0 25 0 1 0 864293898 95862784 20476 4294967295 134512640 135726644 3221224592 3221223088 134744274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23404 20476 300 300 0 23104 0
vsize: 93616
[startup+340.011 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 39987 0 0 0 33903 99 0 0 25 0 1 0 864293898 95862784 20497 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23404 20497 300 300 0 23104 0
vsize: 93616
[startup+350.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 40038 0 0 0 34903 99 0 0 25 0 1 0 864293898 95997952 20548 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23437 20548 300 300 0 23137 0
vsize: 93748
[startup+360.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 40497 0 0 0 35902 101 0 0 25 0 1 0 864293898 96133120 20589 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23470 20589 300 300 0 23170 0
vsize: 93880
[startup+370.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 40530 0 0 0 36902 101 0 0 25 0 1 0 864293898 96133120 20622 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23470 20622 300 300 0 23170 0
vsize: 93880
[startup+380.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 40960 0 0 0 37900 102 0 0 25 0 1 0 864293898 96133120 20634 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23470 20634 300 300 0 23170 0
vsize: 93880
[startup+390.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 40964 0 0 0 38900 103 0 0 25 0 1 0 864293898 96133120 20638 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23470 20638 300 300 0 23170 0
vsize: 93880
[startup+400.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 41405 0 0 0 39899 104 0 0 25 0 1 0 864293898 96268288 20661 4294967295 134512640 135726644 3221224592 3221223196 134743852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23503 20661 300 300 0 23203 0
vsize: 94012
[startup+410.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 41410 0 0 0 40899 104 0 0 25 0 1 0 864293898 96268288 20666 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23503 20666 300 300 0 23203 0
vsize: 94012
[startup+420.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 41836 0 0 0 41898 105 0 0 25 0 1 0 864293898 96268288 20674 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23503 20674 300 300 0 23203 0
vsize: 94012
[startup+430.014 s]
Raw data (loadavg): 1.00 0.98 0.92 3/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 41864 0 0 0 42898 106 0 0 25 0 1 0 864293898 96268288 20702 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23503 20702 300 300 0 23203 0
vsize: 94012
[startup+440.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 41933 0 0 0 43898 106 0 0 25 0 1 0 864293898 96403456 20771 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23536 20771 300 300 0 23236 0
vsize: 94144
[startup+450.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 42415 0 0 0 44897 107 0 0 25 0 1 0 864293898 96538624 20835 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 20835 300 300 0 23269 0
vsize: 94276
[startup+460.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 42461 0 0 0 45897 107 0 0 25 0 1 0 864293898 96538624 20881 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 20881 300 300 0 23269 0
vsize: 94276
[startup+470.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 42914 0 0 0 46896 109 0 0 25 0 1 0 864293898 96538624 20916 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 20916 300 300 0 23269 0
vsize: 94276
[startup+480.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 43368 0 0 0 47895 110 0 0 25 0 1 0 864293898 96538624 20952 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 20952 300 300 0 23269 0
vsize: 94276
[startup+490.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 43429 0 0 0 48895 110 0 0 25 0 1 0 864293898 96538624 21013 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 21013 300 300 0 23269 0
vsize: 94276
[startup+500.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 43473 0 0 0 49895 110 0 0 25 0 1 0 864293898 96538624 21057 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 21057 300 300 0 23269 0
vsize: 94276
[startup+510.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 43923 0 0 0 50894 111 0 0 25 0 1 0 864293898 96538624 21089 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 21089 300 300 0 23269 0
vsize: 94276
[startup+520.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 43927 0 0 0 51894 111 0 0 25 0 1 0 864293898 96538624 21093 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 21093 300 300 0 23269 0
vsize: 94276
[startup+530.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 44349 0 0 0 52893 113 0 0 25 0 1 0 864293898 96538624 21097 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 21097 300 300 0 23269 0
vsize: 94276
[startup+540.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 44358 0 0 0 53893 113 0 0 25 0 1 0 864293898 96538624 21106 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 21106 300 300 0 23269 0
vsize: 94276
[startup+550.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 44361 0 0 0 54893 113 0 0 25 0 1 0 864293898 96538624 21109 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 21109 300 300 0 23269 0
vsize: 94276
[startup+560.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 44781 0 0 0 55893 114 0 0 25 0 1 0 864293898 96538624 21111 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 21111 300 300 0 23269 0
vsize: 94276
[startup+570.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 44795 0 0 0 56892 114 0 0 25 0 1 0 864293898 96538624 21125 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 21125 300 300 0 23269 0
vsize: 94276
[startup+580.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 44818 0 0 0 57892 114 0 0 25 0 1 0 864293898 96538624 21148 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 21148 300 300 0 23269 0
vsize: 94276
[startup+590.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 45256 0 0 0 58891 115 0 0 25 0 1 0 864293898 96538624 21168 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 21168 300 300 0 23269 0
vsize: 94276
[startup+600.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 45314 0 0 0 59892 115 0 0 25 0 1 0 864293898 96538624 21226 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 21226 300 300 0 23269 0
vsize: 94276
[startup+610.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 45347 0 0 0 60892 116 0 0 25 0 1 0 864293898 96538624 21259 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23569 21259 300 300 0 23269 0
vsize: 94276
[startup+620.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 45390 0 0 0 61892 116 0 0 25 0 1 0 864293898 113315840 21302 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21302 300 300 0 27365 0
vsize: 110660
[startup+630.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 45427 0 0 0 62892 116 0 0 25 0 1 0 864293898 113315840 21339 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21339 300 300 0 27365 0
vsize: 110660
[startup+640.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 45461 0 0 0 63892 117 0 0 25 0 1 0 864293898 113315840 21373 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21373 300 300 0 27365 0
vsize: 110660
[startup+650.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 45496 0 0 0 64892 117 0 0 25 0 1 0 864293898 113315840 21408 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21409 300 300 0 27365 0
vsize: 110660
[startup+660.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 45549 0 0 0 65891 117 0 0 25 0 1 0 864293898 113315840 21461 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21461 300 300 0 27365 0
vsize: 110660
[startup+670.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 45998 0 0 0 66890 119 0 0 25 0 1 0 864293898 113315840 21492 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21492 300 300 0 27365 0
vsize: 110660
[startup+680.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 46030 0 0 0 67890 119 0 0 25 0 1 0 864293898 113315840 21524 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21524 300 300 0 27365 0
vsize: 110660
[startup+690.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 46483 0 0 0 68890 120 0 0 25 0 1 0 864293898 113315840 21559 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21559 300 300 0 27365 0
vsize: 110660
[startup+700.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 46530 0 0 0 69889 120 0 0 25 0 1 0 864293898 113315840 21606 4294967295 134512640 135726644 3221224592 3221223104 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21606 300 300 0 27365 0
vsize: 110660
[startup+710.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 46991 0 0 0 70888 121 0 0 25 0 1 0 864293898 113315840 21649 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21649 300 300 0 27365 0
vsize: 110660
[startup+720.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 47453 0 0 0 71887 123 0 0 25 0 1 0 864293898 113315840 21693 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21693 300 300 0 27365 0
vsize: 110660
[startup+730.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 47500 0 0 0 72887 123 0 0 25 0 1 0 864293898 113315840 21740 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21740 300 300 0 27365 0
vsize: 110660
[startup+740.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 47955 0 0 0 73885 125 0 0 25 0 1 0 864293898 113315840 21777 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21777 300 300 0 27365 0
vsize: 110660
[startup+750.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 48411 0 0 0 74884 126 0 0 25 0 1 0 864293898 113315840 21815 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21815 300 300 0 27365 0
vsize: 110660
[startup+760.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 48449 0 0 0 75884 126 0 0 25 0 1 0 864293898 113315840 21853 4294967295 134512640 135726644 3221224592 3221223088 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21853 300 300 0 27365 0
vsize: 110660
[startup+770.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 48916 0 0 0 76883 128 0 0 25 0 1 0 864293898 113315840 21902 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21902 300 300 0 27365 0
vsize: 110660
[startup+780.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 48973 0 0 0 77883 128 0 0 25 0 1 0 864293898 113315840 21959 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21959 300 300 0 27365 0
vsize: 110660
[startup+790.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 49429 0 0 0 78882 129 0 0 25 0 1 0 864293898 113315840 21997 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 21997 300 300 0 27365 0
vsize: 110660
[startup+800.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 49471 0 0 0 79882 129 0 0 25 0 1 0 864293898 113315840 22039 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 22039 300 300 0 27365 0
vsize: 110660
[startup+810.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 49926 0 0 0 80881 130 0 0 25 0 1 0 864293898 113315840 22076 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 22076 300 300 0 27365 0
vsize: 110660
[startup+820.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 49975 0 0 0 81881 131 0 0 25 0 1 0 864293898 113315840 22125 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 22125 300 300 0 27365 0
vsize: 110660
[startup+830.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 50439 0 0 0 82880 132 0 0 25 0 1 0 864293898 113315840 22171 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 22171 300 300 0 27365 0
vsize: 110660
[startup+840.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 50897 0 0 0 83879 133 0 0 25 0 1 0 864293898 113315840 22211 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 22211 300 300 0 27365 0
vsize: 110660
[startup+850.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 50952 0 0 0 84878 134 0 0 25 0 1 0 864293898 113315840 22266 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 22266 300 300 0 27365 0
vsize: 110660
[startup+860.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 51020 0 0 0 85878 135 0 0 25 0 1 0 864293898 113315840 22334 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 22334 300 300 0 27365 0
vsize: 110660
[startup+870.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 51067 0 0 0 86878 135 0 0 25 0 1 0 864293898 113315840 22381 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 22381 300 300 0 27365 0
vsize: 110660
[startup+880.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 51528 0 0 0 87876 136 0 0 25 0 1 0 864293898 113315840 22424 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 22424 300 300 0 27365 0
vsize: 110660
[startup+890.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 51571 0 0 0 88876 137 0 0 25 0 1 0 864293898 113315840 22467 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 22467 300 300 0 27365 0
vsize: 110660
[startup+900.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 51620 0 0 0 89876 137 0 0 25 0 1 0 864293898 113315840 22516 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27665 22516 300 300 0 27365 0
vsize: 110660
[startup+910.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 52093 0 0 0 90874 139 0 0 25 0 1 0 864293898 113418240 22571 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27690 22571 300 300 0 27390 0
vsize: 110760
[startup+920.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 52134 0 0 0 91874 139 0 0 25 0 1 0 864293898 113418240 22612 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27690 22612 300 300 0 27390 0
vsize: 110760
[startup+930.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 52595 0 0 0 92873 141 0 0 25 0 1 0 864293898 113418240 22655 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27690 22655 300 300 0 27390 0
vsize: 110760
[startup+940.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 52634 0 0 0 93873 141 0 0 25 0 1 0 864293898 113418240 22694 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27690 22694 300 300 0 27390 0
vsize: 110760
[startup+950.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 53098 0 0 0 94871 142 0 0 25 0 1 0 864293898 113418240 22740 4294967295 134512640 135726644 3221224592 3221222816 134810338 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27690 22740 300 300 0 27390 0
vsize: 110760
[startup+960.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 53145 0 0 0 95871 143 0 0 25 0 1 0 864293898 113418240 22787 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27690 22787 300 300 0 27390 0
vsize: 110760
[startup+970.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 53572 0 0 0 96870 144 0 0 25 0 1 0 864293898 113418240 22796 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27690 22796 300 300 0 27390 0
vsize: 110760
[startup+980.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 53575 0 0 0 97870 144 0 0 25 0 1 0 864293898 113418240 22799 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27690 22799 300 300 0 27390 0
vsize: 110760
[startup+990.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 53995 0 0 0 98870 145 0 0 25 0 1 0 864293898 113418240 22801 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27690 22801 300 300 0 27390 0
vsize: 110760
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 54416 0 0 0 99869 146 0 0 25 0 1 0 864293898 113418240 22804 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27690 22804 300 300 0 27390 0
vsize: 110760
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 54429 0 0 0 100869 146 0 0 25 0 1 0 864293898 113614848 22817 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22817 300 300 0 27438 0
vsize: 110952
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 54849 0 0 0 101868 147 0 0 25 0 1 0 864293898 113614848 22819 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22819 300 300 0 27438 0
vsize: 110952
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 54852 0 0 0 102868 148 0 0 25 0 1 0 864293898 113614848 22822 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22822 300 300 0 27438 0
vsize: 110952
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 55272 0 0 0 103867 149 0 0 25 0 1 0 864293898 113614848 22824 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22824 300 300 0 27438 0
vsize: 110952
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 55274 0 0 0 104867 149 0 0 25 0 1 0 864293898 113614848 22826 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22826 300 300 0 27438 0
vsize: 110952
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 55276 0 0 0 105867 149 0 0 25 0 1 0 864293898 113614848 22828 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22828 300 300 0 27438 0
vsize: 110952
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 55279 0 0 0 106867 149 0 0 25 0 1 0 864293898 113614848 22831 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22831 300 300 0 27438 0
vsize: 110952
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 55699 0 0 0 107866 150 0 0 25 0 1 0 864293898 113614848 22833 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22833 300 300 0 27438 0
vsize: 110952
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 55700 0 0 0 108866 150 0 0 25 0 1 0 864293898 113614848 22834 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22834 300 300 0 27438 0
vsize: 110952
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 55702 0 0 0 109866 151 0 0 25 0 1 0 864293898 113614848 22836 4294967295 134512640 135726644 3221224592 3221222860 134763439 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22836 300 300 0 27438 0
vsize: 110952
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 56123 0 0 0 110865 152 0 0 25 0 1 0 864293898 113614848 22839 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22839 300 300 0 27438 0
vsize: 110952
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 56125 0 0 0 111865 152 0 0 25 0 1 0 864293898 113614848 22841 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22841 300 300 0 27438 0
vsize: 110952
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 56127 0 0 0 112865 152 0 0 25 0 1 0 864293898 113614848 22843 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22843 300 300 0 27438 0
vsize: 110952
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 56130 0 0 0 113865 152 0 0 25 0 1 0 864293898 113614848 22846 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22846 300 300 0 27438 0
vsize: 110952
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 56159 0 0 0 114865 152 0 0 25 0 1 0 864293898 113614848 22875 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22875 300 300 0 27438 0
vsize: 110952
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 56162 0 0 0 115865 152 0 0 25 0 1 0 864293898 113614848 22878 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22878 300 300 0 27438 0
vsize: 110952
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 56164 0 0 0 116865 153 0 0 25 0 1 0 864293898 113614848 22880 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22880 300 300 0 27438 0
vsize: 110952
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 56584 0 0 0 117865 154 0 0 25 0 1 0 864293898 113614848 22882 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22882 300 300 0 27438 0
vsize: 110952
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 56587 0 0 0 118865 154 0 0 25 0 1 0 864293898 113614848 22885 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22885 300 300 0 27438 0
vsize: 110952
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 9781
Raw data (stat): 9779 (pb2sat) R 9778 25399 25398 0 -1 0 56589 0 0 0 119864 154 0 0 25 0 1 0 864293898 113614848 22887 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27738 22887 300 300 0 27438 0
vsize: 110952
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.6 s]
Raw data (loadavg): 1.00 0.98 0.92 1/54 9781
Raw data (stat): 9779 (pb2sat) Z 9778 25399 25398 0 -1 12 56590 0 0 0 119917 158 0 0 25 0 1 0 864293898 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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.6
CPU time (s): 1200.76
CPU user time (s): 1199.17
CPU system time (s): 1.58976
CPU usage (%): 100.013
Max. virtual memory (Kb): 110952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	64
#### END VERIFIER DATA ####