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-5pb.opb
MD5SUM	4ca29b1bc7e76812f7871e2b937d8a23
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	60
Optimality of the best value was proved	NO
Number of terms in the objective function	720
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	720
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	720
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.04084
Number of variables	720
Total number of constraints	2168
Number of constraints which are clauses	2144
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	30
Trace number 34926

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-28 11:03:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24167 boxname=wulflinc10 idbench=241 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4ca29b1bc7e76812f7871e2b937d8a23  /oldhome/oroussel/tmp/wulflinc10/normalized-s4-4-3-5pb.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc10/normalized-s4-4-3-5pb.opb
IDLAUNCH: 24167
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        854956 kB
Buffers:         34264 kB
Cached:         124364 kB
SwapCached:         84 kB
Active:          48036 kB
Inactive:       113252 kB
HighTotal:      131008 kB
HighFree:         2912 kB
LowTotal:       903652 kB
LowFree:        852044 kB
SwapTotal:     2097136 kB
SwapFree:      2096728 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5880 kB
Slab:            12772 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:19:44 (client local time) WITH STATUS 30 IN 962.055 SECONDS
stats: 24167 0 962.055 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 132507/263608	Time: 121.184/86400
Decision: 132507/263608	Time: 133.615/86400
Decision: 132507/263608	Time: 148.712/86400
Decision: 132507/263608	Time: 159.972/86400
Decision: 132507/263608	Time: 171.987/86400
Decision: 132507/263608	Time: 183.201/86400
Decision: 132507/263608	Time: 197.616/86400
Decision: 132507/263608	Time: 211.215/86400
Decision: 132507/263608	Time: 224.348/86400
Decision: 132507/263608	Time: 236.713/86400c got solution with objective value: 72
c [startup+255.635 s]  setting bit 9 to 1
c CONFLICT during preprocess 
c [startup+256.663 s]  setting bit 8 to 0
c got solution with objective value: 70
c [startup+266.173 s]  setting bit 7 to 1
c [startup+271.652 s]  setting bit 6 to 0

Decision: 235070/263608	Time: 60.8008/86400
Decision: 235070/263608	Time: 79.223/86400
Decision: 235071/263608	Time: 104.607/86400c [startup+380.394 s]  setting bit 5 to 0

Decision: 224416/263608	Time: 65.4041/86400
Decision: 224416/263608	Time: 83.0784/86400
Decision: 224416/263608	Time: 98.993/86400
Decision: 224416/263608	Time: 115.921/86400
Decision: 224416/263608	Time: 131.796/86400
Decision: 224416/263608	Time: 151.187/86400
Decision: 224416/263608	Time: 164.966/86400
Decision: 224416/263608	Time: 183.446/86400
Decision: 224416/263608	Time: 198.484/86400
Decision: 224416/263608	Time: 217.179/86400
Decision: 224416/263608	Time: 233.111/86400
Decision: 224416/263608	Time: 250.348/86400
Decision: 224416/263608	Time: 269.553/86400c got solution with objective value: 64
c [startup+660.865 s]  setting bit 4 to 1

Decision: 230940/263608	Time: 107.285/86400
Decision: 231559/263608	Time: 154.931/86400c [startup+841.748 s]  setting bit 3 to 0
c got solution with objective value: 60
c [startup+874.891 s]  setting bit 2 to 1
c [startup+939.707 s]  setting bit 1 to 0
c [startup+961.306 s]  setting bit 0 to 0
s OPTIMUM FOUND
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 -v649 -v65 -v650 -v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 -v659 -v66 -v660 -v661 v662 -v663 -v664 -v665 -v666 -v667 -v668 -v669 -v67 -v670 -v671 -v672 -v673 -v674 v675 -v676 -v677 -v678 -v679 -v68 -v680 -v681 -v682 -v683 -v684 -v685 -v686 -v687 -v688 -v689 -v69 -v690 -v691 -v692 -v693 -v694 -v695 -v696 -v697 -v698 -v699 -v7 -v70 -v700 -v701 -v702 -v703 -v704 -v705 v706 -v707 -v708 -v709 -v71 -v710 -v711 -v712 -v713 -v714 -v715 -v716 -v717 -v718 -v719 -v72 -v720 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.90 0.93 0.90 2/54 21702
Raw data (stat): 21702 (runsolver) R 21701 15547 15546 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806087866 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99955 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 21702
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 29881 0 0 0 936 63 0 0 25 0 1 0 806087866 89395200 18969 4294967295 134512640 135726644 3221224592 3221149808 134784468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21825 18970 300 300 0 21525 0
vsize: 87300
[startup+20.0005 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 21702
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 44522 0 0 0 1905 93 0 0 25 0 1 0 806087866 136982528 22302 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33443 22302 300 300 0 33143 0
vsize: 133772
[startup+30.001 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 21702
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 44536 0 0 0 2905 93 0 0 25 0 1 0 806087866 136982528 22316 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33443 22316 300 300 0 33143 0
vsize: 133772
[startup+40.0002 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 21702
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 44580 0 0 0 3905 94 0 0 25 0 1 0 806087866 137142272 22360 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33482 22360 300 300 0 33182 0
vsize: 133928
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 21702
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 44640 0 0 0 4905 94 0 0 25 0 1 0 806087866 137338880 22420 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33530 22420 300 300 0 33230 0
vsize: 134120
[startup+60.0006 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 21702
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 44755 0 0 0 5904 95 0 0 25 0 1 0 806087866 137732096 22535 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33626 22535 300 300 0 33326 0
vsize: 134504
[startup+70.0008 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 21702
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 44904 0 0 0 6904 95 0 0 25 0 1 0 806087866 138407936 22684 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33791 22684 300 300 0 33491 0
vsize: 135164
[startup+80.0007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 21702
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 44945 0 0 0 7903 96 0 0 25 0 1 0 806087866 138407936 22725 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33791 22725 300 300 0 33491 0
vsize: 135164
[startup+90.0002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 21702
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 44983 0 0 0 8903 96 0 0 25 0 1 0 806087866 138407936 22763 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33791 22763 300 300 0 33491 0
vsize: 135164
[startup+100 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 21702
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 45025 0 0 0 9903 97 0 0 25 0 1 0 806087866 138407936 22805 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33791 22805 300 300 0 33491 0
vsize: 135164
[startup+110 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 45058 0 0 0 10903 97 0 0 25 0 1 0 806087866 138407936 22838 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33791 22838 300 300 0 33491 0
vsize: 135164
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 45089 0 0 0 11903 97 0 0 25 0 1 0 806087866 138407936 22869 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33791 22869 300 300 0 33491 0
vsize: 135164
[startup+130 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 45119 0 0 0 12903 97 0 0 25 0 1 0 806087866 138407936 22899 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33791 22899 300 300 0 33491 0
vsize: 135164
[startup+140 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 45664 0 0 0 13901 99 0 0 25 0 1 0 806087866 138407936 22929 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33791 22929 300 300 0 33491 0
vsize: 135164
[startup+150.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 46195 0 0 0 14899 101 0 0 25 0 1 0 806087866 138407936 22945 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33791 22945 300 300 0 33491 0
vsize: 135164
[startup+160 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 46394 0 0 0 15898 102 0 0 25 0 1 0 806087866 139550720 23144 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34070 23144 300 300 0 33770 0
vsize: 136280
[startup+170.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 46943 0 0 0 16896 104 0 0 25 0 1 0 806087866 139550720 23178 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34070 23178 300 300 0 33770 0
vsize: 136280
[startup+180.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 47483 0 0 0 17894 105 0 0 25 0 1 0 806087866 139550720 23203 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34070 23203 300 300 0 33770 0
vsize: 136280
[startup+190 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 48031 0 0 0 18893 106 0 0 25 0 1 0 806087866 139550720 23236 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34070 23236 300 300 0 33770 0
vsize: 136280
[startup+200 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 48569 0 0 0 19891 108 0 0 25 0 1 0 806087866 139550720 23259 4294967295 134512640 135726644 3221224592 3221223088 134744051 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34070 23259 300 300 0 33770 0
vsize: 136280
[startup+210 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 48575 0 0 0 20891 108 0 0 25 0 1 0 806087866 139550720 23265 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34070 23265 300 300 0 33770 0
vsize: 136280
[startup+220 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 49093 0 0 0 21890 110 0 0 25 0 1 0 806087866 139550720 23268 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34070 23268 300 300 0 33770 0
vsize: 136280
[startup+230 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 49263 0 0 0 22889 110 0 0 25 0 1 0 806087866 140218368 23372 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34233 23372 300 300 0 33933 0
vsize: 136932
[startup+239.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 49810 0 0 0 23887 112 0 0 25 0 1 0 806087866 140414976 23404 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34281 23404 300 300 0 33981 0
vsize: 137124
[startup+249.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 50344 0 0 0 24886 114 0 0 25 0 1 0 806087866 142524416 23938 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34796 23938 300 300 0 34496 0
vsize: 139184
[startup+259.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 51426 0 0 0 25883 117 0 0 25 0 1 0 806087866 140550144 23475 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34314 23475 300 300 0 34014 0
vsize: 137256
[startup+270 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 51957 0 0 0 26881 119 0 0 25 0 1 0 806087866 140550144 23491 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34314 23491 300 300 0 34014 0
vsize: 137256
[startup+279.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 52492 0 0 0 27880 120 0 0 25 0 1 0 806087866 140550144 23511 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34314 23511 300 300 0 34014 0
vsize: 137256
[startup+289.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 52530 0 0 0 28879 121 0 0 25 0 1 0 806087866 140685312 23549 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34347 23549 300 300 0 34047 0
vsize: 137388
[startup+299.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 52605 0 0 0 29879 121 0 0 25 0 1 0 806087866 141090816 23624 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34446 23624 300 300 0 34146 0
vsize: 137784
[startup+309.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 52619 0 0 0 30880 121 0 0 25 0 1 0 806087866 141090816 23638 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34446 23638 300 300 0 34146 0
vsize: 137784
[startup+319.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 52633 0 0 0 31879 122 0 0 25 0 1 0 806087866 157868032 23652 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23652 300 300 0 38242 0
vsize: 154168
[startup+329.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 52654 0 0 0 32879 122 0 0 25 0 1 0 806087866 157868032 23673 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23673 300 300 0 38242 0
vsize: 154168
[startup+339.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 53175 0 0 0 33877 124 0 0 25 0 1 0 806087866 157868032 23679 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23679 300 300 0 38242 0
vsize: 154168
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 53180 0 0 0 34878 124 0 0 25 0 1 0 806087866 157868032 23684 4294967295 134512640 135726644 3221224592 3221223104 134742201 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23684 300 300 0 38242 0
vsize: 154168
[startup+359.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 53715 0 0 0 35877 125 0 0 25 0 1 0 806087866 157868032 23704 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23704 300 300 0 38242 0
vsize: 154168
[startup+369.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 53740 0 0 0 36877 125 0 0 25 0 1 0 806087866 157868032 23729 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23729 300 300 0 38242 0
vsize: 154168
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 54293 0 0 0 37876 126 0 0 25 0 1 0 806087866 157868032 23767 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23767 300 300 0 38242 0
vsize: 154168
[startup+389.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 54840 0 0 0 38874 128 0 0 25 0 1 0 806087866 157868032 23799 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23799 300 300 0 38242 0
vsize: 154168
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 54874 0 0 0 39874 128 0 0 25 0 1 0 806087866 157868032 23833 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23833 300 300 0 38242 0
vsize: 154168
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 54912 0 0 0 40874 129 0 0 25 0 1 0 806087866 157868032 23871 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23871 300 300 0 38242 0
vsize: 154168
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 54949 0 0 0 41874 129 0 0 25 0 1 0 806087866 157868032 23908 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23908 300 300 0 38242 0
vsize: 154168
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 54989 0 0 0 42874 129 0 0 25 0 1 0 806087866 157868032 23948 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23948 300 300 0 38242 0
vsize: 154168
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 55003 0 0 0 43874 129 0 0 25 0 1 0 806087866 157868032 23962 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23962 300 300 0 38242 0
vsize: 154168
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 55527 0 0 0 44872 131 0 0 25 0 1 0 806087866 157868032 23971 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23971 300 300 0 38242 0
vsize: 154168
[startup+460 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 55529 0 0 0 45872 131 0 0 25 0 1 0 806087866 157868032 23973 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23973 300 300 0 38242 0
vsize: 154168
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 56047 0 0 0 46871 132 0 0 25 0 1 0 806087866 157868032 23976 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23976 300 300 0 38242 0
vsize: 154168
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 56564 0 0 0 47870 134 0 0 25 0 1 0 806087866 157868032 23978 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23978 300 300 0 38242 0
vsize: 154168
[startup+489.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 56567 0 0 0 48870 134 0 0 25 0 1 0 806087866 157868032 23981 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23981 300 300 0 38242 0
vsize: 154168
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 57084 0 0 0 49868 136 0 0 25 0 1 0 806087866 157868032 23983 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23983 300 300 0 38242 0
vsize: 154168
[startup+510 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 57087 0 0 0 50868 136 0 0 25 0 1 0 806087866 157868032 23986 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23986 300 300 0 38242 0
vsize: 154168
[startup+520 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 57089 0 0 0 51868 136 0 0 25 0 1 0 806087866 157868032 23988 4294967295 134512640 135726644 3221224592 3221222912 134728931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38542 23988 300 300 0 38242 0
vsize: 154168
[startup+530 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 57132 0 0 0 52868 137 0 0 25 0 1 0 806087866 158228480 24031 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38630 24031 300 300 0 38330 0
vsize: 154520
[startup+539.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 57650 0 0 0 53866 139 0 0 25 0 1 0 806087866 158228480 24034 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38630 24034 300 300 0 38330 0
vsize: 154520
[startup+550 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 57660 0 0 0 54866 139 0 0 25 0 1 0 806087866 158228480 24044 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38630 24044 300 300 0 38330 0
vsize: 154520
[startup+560 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 57685 0 0 0 55866 139 0 0 25 0 1 0 806087866 158228480 24069 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38630 24069 300 300 0 38330 0
vsize: 154520
[startup+570 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 57710 0 0 0 56866 140 0 0 25 0 1 0 806087866 158228480 24094 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38630 24094 300 300 0 38330 0
vsize: 154520
[startup+580 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 58247 0 0 0 57864 141 0 0 25 0 1 0 806087866 158228480 24116 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38630 24116 300 300 0 38330 0
vsize: 154520
[startup+589.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 58267 0 0 0 58864 142 0 0 25 0 1 0 806087866 158228480 24136 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38630 24136 300 300 0 38330 0
vsize: 154520
[startup+600 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 58799 0 0 0 59863 143 0 0 25 0 1 0 806087866 158228480 24153 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38630 24153 300 300 0 38330 0
vsize: 154520
[startup+610 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 58826 0 0 0 60863 143 0 0 25 0 1 0 806087866 158228480 24180 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38630 24180 300 300 0 38330 0
vsize: 154520
[startup+620 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 59365 0 0 0 61862 145 0 0 25 0 1 0 806087866 158228480 24204 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38630 24204 300 300 0 38330 0
vsize: 154520
[startup+629.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 59385 0 0 0 62862 145 0 0 25 0 1 0 806087866 158228480 24224 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38630 24224 300 300 0 38330 0
vsize: 154520
[startup+639.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 59977 0 0 0 63860 147 0 0 25 0 1 0 806087866 158633984 24301 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24301 300 300 0 38429 0
vsize: 154916
[startup+649.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 60513 0 0 0 64859 148 0 0 25 0 1 0 806087866 158633984 24322 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24322 300 300 0 38429 0
vsize: 154916
[startup+659.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 60533 0 0 0 65859 148 0 0 25 0 1 0 806087866 158633984 24342 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24342 300 300 0 38429 0
vsize: 154916
[startup+669.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61072 0 0 0 66858 149 0 0 25 0 1 0 806087866 158633984 24366 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24366 300 300 0 38429 0
vsize: 154916
[startup+680 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61097 0 0 0 67858 149 0 0 25 0 1 0 806087866 158633984 24391 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24391 300 300 0 38429 0
vsize: 154916
[startup+690 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61120 0 0 0 68858 150 0 0 25 0 1 0 806087866 158633984 24414 4294967295 134512640 135726644 3221224592 3221223216 134744518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24414 300 300 0 38429 0
vsize: 154916
[startup+700 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61144 0 0 0 69858 150 0 0 25 0 1 0 806087866 158633984 24438 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24438 300 300 0 38429 0
vsize: 154916
[startup+710 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61169 0 0 0 70858 150 0 0 25 0 1 0 806087866 158633984 24463 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24463 300 300 0 38429 0
vsize: 154916
[startup+720 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61190 0 0 0 71858 150 0 0 25 0 1 0 806087866 158633984 24484 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24484 300 300 0 38429 0
vsize: 154916
[startup+730 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61218 0 0 0 72858 151 0 0 25 0 1 0 806087866 158633984 24512 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24512 300 300 0 38429 0
vsize: 154916
[startup+739.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61243 0 0 0 73857 151 0 0 25 0 1 0 806087866 158633984 24537 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24537 300 300 0 38429 0
vsize: 154916
[startup+750 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61258 0 0 0 74858 151 0 0 25 0 1 0 806087866 158633984 24552 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24552 300 300 0 38429 0
vsize: 154916
[startup+760 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61276 0 0 0 75858 151 0 0 25 0 1 0 806087866 158633984 24570 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24570 300 300 0 38429 0
vsize: 154916
[startup+770 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61812 0 0 0 76856 153 0 0 25 0 1 0 806087866 158633984 24591 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24591 300 300 0 38429 0
vsize: 154916
[startup+780.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61814 0 0 0 77856 153 0 0 25 0 1 0 806087866 158633984 24593 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24593 300 300 0 38429 0
vsize: 154916
[startup+790 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61816 0 0 0 78856 153 0 0 25 0 1 0 806087866 158633984 24595 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38729 24595 300 300 0 38429 0
vsize: 154916
[startup+800 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61835 0 0 0 79856 154 0 0 25 0 1 0 806087866 158769152 24614 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24614 300 300 0 38462 0
vsize: 155048
[startup+810 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 61837 0 0 0 80856 154 0 0 25 0 1 0 806087866 158769152 24616 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24616 300 300 0 38462 0
vsize: 155048
[startup+820.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 62354 0 0 0 81855 155 0 0 25 0 1 0 806087866 158769152 24618 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24618 300 300 0 38462 0
vsize: 155048
[startup+830.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 62377 0 0 0 82856 155 0 0 25 0 1 0 806087866 158769152 24641 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24641 300 300 0 38462 0
vsize: 155048
[startup+840.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 62411 0 0 0 83856 155 0 0 25 0 1 0 806087866 158769152 24675 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24675 300 300 0 38462 0
vsize: 155048
[startup+850.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 62942 0 0 0 84854 157 0 0 25 0 1 0 806087866 158769152 24691 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24691 300 300 0 38462 0
vsize: 155048
[startup+860.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 62962 0 0 0 85854 157 0 0 25 0 1 0 806087866 158769152 24711 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24711 300 300 0 38462 0
vsize: 155048
[startup+870.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 62979 0 0 0 86854 157 0 0 25 0 1 0 806087866 158769152 24728 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24728 300 300 0 38462 0
vsize: 155048
[startup+880.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 63514 0 0 0 87853 158 0 0 25 0 1 0 806087866 158769152 24748 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24748 300 300 0 38462 0
vsize: 155048
[startup+890.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 63544 0 0 0 88853 159 0 0 25 0 1 0 806087866 158769152 24778 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24778 300 300 0 38462 0
vsize: 155048
[startup+900.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 63576 0 0 0 89853 159 0 0 25 0 1 0 806087866 158769152 24810 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24810 300 300 0 38462 0
vsize: 155048
[startup+910.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 63599 0 0 0 90853 159 0 0 25 0 1 0 806087866 158769152 24833 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24833 300 300 0 38462 0
vsize: 155048
[startup+920.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 63621 0 0 0 91853 159 0 0 25 0 1 0 806087866 158769152 24855 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24855 300 300 0 38462 0
vsize: 155048
[startup+930.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 63655 0 0 0 92853 160 0 0 25 0 1 0 806087866 158769152 24889 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24889 300 300 0 38462 0
vsize: 155048
[startup+940.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 64199 0 0 0 93852 160 0 0 25 0 1 0 806087866 160878592 25433 4294967295 134512640 135726644 3221224592 3221222904 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39277 25433 300 300 0 38977 0
vsize: 157108
[startup+950.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 64225 0 0 0 94852 161 0 0 25 0 1 0 806087866 158769152 24944 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24944 300 300 0 38462 0
vsize: 155048
[startup+960.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 64263 0 0 0 95852 161 0 0 25 0 1 0 806087866 158769152 24982 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24982 300 300 0 38462 0
vsize: 155048
[startup+961.919 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 21704
Raw data (stat): 21702 (pb2sat) R 21701 15547 15546 0 -1 0 64263 0 0 0 95852 161 0 0 25 0 1 0 806087866 158769152 24982 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38762 24982 300 300 0 38462 0
vsize: 0

Child status: 30
Real time (s): 961.918
CPU time (s): 962.055
CPU user time (s): 960.392
CPU system time (s): 1.66275
CPU usage (%): 100.014
Max. virtual memory (Kb): 157108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	60
#### END VERIFIER DATA ####