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/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
MD5SUM	54139ff5e28c6041ec6c692b0d10f866
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.362944
Number of variables	938
Total number of constraints	700
Number of constraints which are clauses	650
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 4201

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-13 15:53:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=405 boxname=wulflinc9 idbench=45 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  54139ff5e28c6041ec6c692b0d10f866  /oldhome/oroussel/tmp/wulflinc9/normalized-fpga25_25_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-fpga25_25_sat_pb.cnf.cr.opb
IDLAUNCH: 405
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        937036 kB
Buffers:         31984 kB
Cached:          45584 kB
SwapCached:        564 kB
Active:          40232 kB
Inactive:        40832 kB
HighTotal:      131008 kB
HighFree:        80948 kB
LowTotal:       903652 kB
LowFree:        856088 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            10952 kB
Committed_AS:    63476 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:08:16 (client local time) WITH STATUS 30 IN  SECONDS
stats: 405 0  30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-fpga25_25_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=938]
c [nbconstr=700]
c time 2.752
c #vars     938
c #clauses  700
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=0
c Total CPU time (ms) : 891.162
c 
s OPTIMUM FOUND
v -v275 -v926 -v927 -v928 -v929 -v930 -v931 -v932 -v933 v934 -v935 -v936 -v937 -v938 -v168 -v835 -v836 -v837 v838 -v839 -v840 -v841 -v842 -v843 -v844 -v845 -v846 -v847 -v151 -v152 -v153 -v154 -v155 -v156 -v157 -v158 -v159 -v160 -v161 -v162 -v163 v164 -v165 -v166 -v167 -v169 -v170 -v171 -v172 -v173 -v174 -v175 -v73 -v900 -v901 v902 -v903 -v904 -v905 -v906 -v907 -v908 -v909 -v910 -v911 -v912 -v290 -v796 -v797 -v798 -v799 -v800 -v801 v802 -v803 -v804 -v805 -v806 -v807 -v808 -v433 -v710 -v711 -v712 -v713 -v714 -v715 v716 -v717 -v718 -v719 -v720 -v721 -v215 -v423 -v559 -v722 v723 -v724 -v725 -v726 -v727 -v728 -v729 -v730 -v731 -v732 -v733 -v297 -v887 -v888 -v889 -v890 -v891 -v892 -v893 -v894 -v895 v896 -v897 -v898 -v899 v1 -v2 -v3 -v4 -v5 -v6 -v7 -v8 -v9 -v10 -v11 -v12 -v13 -v14 -v15 -v16 -v17 -v18 -v19 -v20 -v21 -v22 -v23 -v24 -v25 -v207 -v698 -v699 -v700 -v701 -v702 -v703 -v704 -v705 -v706 -v707 v708 -v709 -v465 -v116 v809 -v810 -v811 -v812 -v813 -v814 -v815 -v816 -v817 -v818 -v819 -v820 -v821 -v464 -v783 v784 -v785 -v786 -v787 -v788 -v789 -v790 -v791 -v792 -v793 -v794 -v795 -v403 v650 -v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 -v659 -v660 -v661 -v345 -v861 -v862 -v863 -v864 -v865 -v866 -v867 -v868 -v869 -v870 -v871 v872 -v873 -v394 -v848 -v849 -v850 -v851 -v852 -v853 -v854 -v855 -v856 -v857 v858 -v859 -v860 v177 -v638 -v639 -v640 -v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 v649 -v66 -v501 -v626 -v627 -v628 v629 -v630 -v631 -v632 -v633 -v634 -v635 -v636 -v637 -v241 -v582 -v348 -v139 -v226 -v227 -v228 -v229 -v230 -v231 -v232 -v233 -v234 -v235 -v236 -v237 -v238 -v239 -v240 v242 -v243 -v244 -v245 -v246 -v247 -v248 -v249 -v250 -v436 -v746 -v747 v748 -v749 -v750 -v751 -v752 -v753 -v754 -v755 -v756 -v757 -v375 -v567 -v822 -v823 -v824 -v825 -v826 v827 -v828 -v829 -v830 -v831 -v832 -v833 -v834 -v428 -v52 -v140 -v210 -v734 -v735 -v736 -v737 -v738 v739 -v740 -v741 -v742 -v743 -v744 -v745 -v686 -v687 -v688 -v689 -v690 -v691 -v692 -v693 -v694 v695 -v696 -v697 -v352 -v674 -v675 -v676 -v677 v678 -v679 -v680 -v681 -v682 -v683 -v684 -v685 -v71 -v874 -v875 -v876 -v877 -v878 -v879 -v880 v881 -v882 -v883 -v884 -v885 -v886 -v105 -v109 -v395 -v444 -v307 -v63 -v770 -v771 -v772 -v773 -v774 -v775 -v776 -v777 -v778 -v779 -v780 -v781 v782 -v614 -v32 -v80 -v276 -v277 -v278 -v279 -v280 -v281 -v282 -v283 -v284 -v285 -v286 -v287 v288 -v289 -v291 -v292 -v293 -v294 -v295 -v296 -v298 -v299 -v300 v86 -v342 -v113 -v216 -v592 -v538 -v581 -v604 -v662 -v663 -v664 -v665 -v666 -v667 -v668 v669 -v670 -v671 -v672 -v673 -v95 -v589 -v328 -v489 -v374 -v913 -v914 -v915 -v916 v917 -v918 -v919 -v920 -v921 -v922 -v923 -v924 -v925 -v125 -v415 -v495 -v26 -v27 -v28 -v29 v30 -v31 -v33 -v34 -v35 -v36 -v37 -v38 -v39 -v40 -v41 -v42 -v43 -v44 -v45 -v46 -v47 -v48 -v49 -v50 -v473 -v558 -v426 -v573 -v316 -v120 -v61 -v503 -v523 -v203 -v537 -v758 -v759 -v760 -v761 -v762 -v763 -v764 -v765 v766 -v767 -v768 -v769 -v517 -v609 -v363 -v586 -v453 -v353 -v396 -v551 -v360 -v115 -v94 -v430 -v624 -v130 -v59 -v458 -v142 v474 -v137 -v123 -v478 -v346 -v314 -v588 -v569 -v265 -v55 -v150 -v401 -v447 -v359 -v361 -v585 -v504 -v188 -v574 v362 -v411 -v490 -v502 -v343 -v69 -v260 -v81 -v402 v404 -v405 -v406 -v407 -v408 -v409 -v410 -v412 -v413 -v414 -v416 -v417 -v418 -v419 -v420 -v421 -v422 -v424 -v425 -v201 -v466 -v547 -v214 -v67 -v83 -v432 -v198 -v555 -v76 -v487 -v262 -v492 -v99 -v357 -v455 -v185 -v199 -v446 -v126 -v382 -v562 -v184 -v583 v443 -v613 -v253 -v442 -v623 -v354 -v254 -v197 -v373 -v114 -v77 -v78 -v79 -v82 -v84 -v85 -v87 -v88 -v89 -v90 -v91 -v92 -v93 -v96 -v97 -v98 -v100 -v450 -v110 -v438 -v608 -v222 -v468 -v367 -v148 -v509 -v118 -v519 -v308 -v528 -v252 -v461 v621 -v471 -v568 -v536 -v606 -v578 -v74 -v336 -v544 -v119 -v311 -v135 -v344 v595 -v133 -v497 -v144 -v601 -v602 -v603 -v605 -v607 -v610 -v611 -v612 -v615 -v616 -v617 -v618 -v619 -v620 -v622 -v625 -v365 -v522 -v318 -v467 -v513 -v313 v209 v323 -v194 -v141 -v121 -v264 -v270 -v482 -v251 -v255 -v256 -v257 v258 -v259 -v261 -v263 -v266 -v267 -v268 -v269 -v271 -v272 -v273 -v274 -v369 -v202 -v204 -v205 -v206 -v208 -v211 -v212 -v213 -v217 -v218 -v219 -v220 -v221 -v223 -v224 -v225 -v302 -v475 -v338 -v190 -v182 -v304 -v149 -v127 -v106 -v516 -v498 -v549 -v389 -v508 -v454 -v561 -v451 -v452 -v456 -v457 -v459 -v460 -v462 -v463 -v469 -v470 -v472 -v529 -v122 -v376 -v599 -v439 -v341 -v552 -v553 -v554 v556 -v557 -v560 -v563 -v564 -v565 -v566 -v570 -v571 -v572 -v575 -v500 -v326 -v327 -v329 -v330 -v331 -v332 -v333 -v334 -v335 -v337 -v339 -v340 -v347 -v349 v350 -v178 -v303 -v479 -v64 -v577 -v117 -v319 -v317 -v306 -v397 -v193 -v600 -v368 -v531 -v70 -v476 -v587 -v434 -v180 -v145 -v370 -v305 -v485 -v131 -v483 -v56 -v143 -v380 -v320 -v499 -v427 -v312 -v445 -v301 -v309 -v310 -v315 -v321 -v322 -v324 -v325 -v590 -v534 -v491 -v511 -v107 v507 -v530 -v384 -v541 -v525 -v493 -v72 -v111 -v187 -v129 -v57 -v481 -v477 -v480 -v484 -v486 -v488 v494 -v496 -v112 -v546 -v437 v60 -v505 -v535 -v356 -v181 -v51 -v104 -v576 -v584 -v386 -v191 -v68 -v515 -v526 -v527 -v532 -v533 -v539 v540 -v542 -v543 -v545 -v548 -v550 -v518 -v53 -v506 -v400 -v101 -v138 -v440 -v186 -v351 -v132 -v377 -v378 -v379 -v381 -v383 -v385 -v387 -v388 -v390 v391 -v392 -v393 -v398 -v399 -v75 -v192 -v598 -v176 -v179 -v183 -v189 -v195 -v196 -v200 -v429 v103 -v514 -v510 -v512 -v520 -v521 -v524 -v355 -v371 -v364 -v54 -v58 -v62 -v65 -v579 -v580 -v591 -v593 -v594 -v596 -v597 -v372 v147 -v146 -v441 -v358 -v128 -v134 -v136 -v108 -v448 -v449 -v102 -v124 -v366 -v431 -v435 
c objectif function=0
#### 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
Raw data (loadavg): 0.75 0.23 0.08 2/54 31001
Raw data (stat): 31001 (runsolver) R 31000 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418960358 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99998 s]
Raw data (loadavg): 0.87 0.28 0.09 3/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18068 0 1 0 607 45 0 0 25 0 11 0 418960358 862056448 21158 4294967295 134512640 134569956 3221224400 3221214672 1131388718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210463 21158 13073 16 0 210447 0
vsize: 841852
[startup+20.0435 s]
Raw data (loadavg): 0.89 0.30 0.10 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18068 0 1 0 1532 45 0 0 25 0 11 0 418960358 862117888 21511 4294967295 134512640 134569956 3221224400 3221214672 1131325889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 21511 13073 16 0 210462 0
vsize: 841912
[startup+30.0483 s]
Raw data (loadavg): 0.90 0.32 0.11 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18068 0 1 0 2453 45 0 0 24 0 11 0 418960358 862117888 22066 4294967295 134512640 134569956 3221224400 3221214680 1131242903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 22066 13073 16 0 210462 0
vsize: 841912
[startup+40.0485 s]
Raw data (loadavg): 0.92 0.34 0.12 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18069 0 1 0 3371 46 0 0 25 0 11 0 418960358 862117888 22501 4294967295 134512640 134569956 3221224400 3221214808 1131387512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 22501 13073 16 0 210462 0
vsize: 841912
[startup+50.049 s]
Raw data (loadavg): 0.93 0.36 0.13 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18069 0 1 0 4290 46 0 0 25 0 11 0 418960358 862117888 22761 4294967295 134512640 134569956 3221224400 3221214528 1131243281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 22761 13073 16 0 210462 0
vsize: 841912
[startup+60.0485 s]
Raw data (loadavg): 0.94 0.39 0.14 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18069 0 1 0 5214 46 0 0 25 0 11 0 418960358 862117888 23011 4294967295 134512640 134569956 3221224400 3221214736 1131354229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 23011 13073 16 0 210462 0
vsize: 841912
[startup+70.0498 s]
Raw data (loadavg): 0.95 0.40 0.15 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 6147 46 0 0 25 0 11 0 418960358 862117888 23359 4294967295 134512640 134569956 3221224400 3221214288 1131647220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 23359 13073 16 0 210462 0
vsize: 841912
[startup+80.0501 s]
Raw data (loadavg): 0.96 0.42 0.16 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 7094 46 0 0 25 0 11 0 418960358 862117888 23551 4294967295 134512640 134569956 3221224400 3221214568 1131527483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 23551 13073 16 0 210462 0
vsize: 841912
[startup+90.0516 s]
Raw data (loadavg): 0.96 0.44 0.16 2/64 31011
Raw data (stat): 31001 (java) S 31000 30854 30853 0 -1 0 18070 0 1 0 8035 46 0 0 25 0 11 0 418960358 862117888 23730 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 23730 13073 16 0 210462 0
vsize: 841912
[startup+100.053 s]
Raw data (loadavg): 0.97 0.46 0.17 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 9003 47 0 0 25 0 11 0 418960358 862117888 23849 4294967295 134512640 134569956 3221224400 3221214876 1080204274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 23849 13073 16 0 210462 0
vsize: 841912
[startup+110.053 s]
Raw data (loadavg): 0.97 0.48 0.18 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 9951 47 0 0 25 0 11 0 418960358 862117888 23991 4294967295 134512640 134569956 3221224400 3221214768 1131303805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 23991 13073 16 0 210462 0
vsize: 841912
[startup+120.055 s]
Raw data (loadavg): 0.98 0.49 0.19 2/64 31011
Raw data (stat): 31001 (java) S 31000 30854 30853 0 -1 0 18070 0 1 0 10901 47 0 0 25 0 11 0 418960358 862117888 24055 4294967295 134512640 134569956 3221224400 3221213336 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 24055 13073 16 0 210462 0
vsize: 841912
[startup+130.055 s]
Raw data (loadavg): 0.98 0.51 0.20 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 11853 47 0 0 25 0 11 0 418960358 862117888 24229 4294967295 134512640 134569956 3221224400 3221214568 1131526290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 24229 13073 16 0 210462 0
vsize: 841912
[startup+140.055 s]
Raw data (loadavg): 0.98 0.53 0.21 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 12809 47 0 0 25 0 11 0 418960358 862117888 24423 4294967295 134512640 134569956 3221224400 3221214376 1131635722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 24423 13073 16 0 210462 0
vsize: 841912
[startup+150.056 s]
Raw data (loadavg): 0.98 0.54 0.21 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 13778 48 0 0 25 0 11 0 418960358 862117888 24568 4294967295 134512640 134569956 3221224400 3221214584 1131269822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 24568 13073 16 0 210462 0
vsize: 841912
[startup+160.056 s]
Raw data (loadavg): 0.99 0.56 0.22 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 14740 48 0 0 24 0 11 0 418960358 862117888 24701 4294967295 134512640 134569956 3221224400 3221214680 1131627550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 24701 13073 16 0 210462 0
vsize: 841912
[startup+170.057 s]
Raw data (loadavg): 0.99 0.57 0.23 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 15718 49 0 0 25 0 11 0 418960358 862117888 24846 4294967295 134512640 134569956 3221224400 3221214672 1131243548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 24846 13073 16 0 210462 0
vsize: 841912
[startup+180.057 s]
Raw data (loadavg): 0.99 0.58 0.24 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 16684 49 0 0 25 0 11 0 418960358 862117888 24905 4294967295 134512640 134569956 3221224400 3221214288 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 24905 13073 16 0 210462 0
vsize: 841912
[startup+190.057 s]
Raw data (loadavg): 0.99 0.60 0.25 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 17654 49 0 0 25 0 11 0 418960358 862117888 24960 4294967295 134512640 134569956 3221224400 3221214672 1131243089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 24960 13073 16 0 210462 0
vsize: 841912
[startup+200.058 s]
Raw data (loadavg): 0.99 0.61 0.25 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 18623 50 0 0 25 0 11 0 418960358 862117888 25023 4294967295 134512640 134569956 3221224400 3221214624 1131230954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 25023 13073 16 0 210462 0
vsize: 841912
[startup+210.058 s]
Raw data (loadavg): 0.99 0.62 0.26 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 19591 50 0 0 25 0 11 0 418960358 862117888 25115 4294967295 134512640 134569956 3221224400 3221214672 1131243222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 25115 13073 16 0 210462 0
vsize: 841912
[startup+220.059 s]
Raw data (loadavg): 0.99 0.63 0.27 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 20553 50 0 0 25 0 11 0 418960358 862117888 25214 4294967295 134512640 134569956 3221224400 3221214680 1131625967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 25214 13073 16 0 210462 0
vsize: 841912
[startup+230.06 s]
Raw data (loadavg): 0.99 0.65 0.28 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 21515 51 0 0 25 0 11 0 418960358 862117888 25336 4294967295 134512640 134569956 3221224400 3221214568 1131527378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 25336 13073 16 0 210462 0
vsize: 841912
[startup+240.059 s]
Raw data (loadavg): 0.99 0.66 0.28 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 22476 51 0 0 25 0 11 0 418960358 862117888 25453 4294967295 134512640 134569956 3221224400 3221214680 1131625960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 25453 13073 16 0 210462 0
vsize: 841912
[startup+250.061 s]
Raw data (loadavg): 0.99 0.67 0.29 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 23437 51 0 0 25 0 11 0 418960358 862117888 25575 4294967295 134512640 134569956 3221224400 3221214568 1131526586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 25575 13073 16 0 210462 0
vsize: 841912
[startup+260.061 s]
Raw data (loadavg): 0.99 0.68 0.30 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 24400 52 0 0 25 0 11 0 418960358 862117888 25693 4294967295 134512640 134569956 3221224400 3221214680 1131625981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 25693 13073 16 0 210462 0
vsize: 841912
[startup+270.061 s]
Raw data (loadavg): 0.99 0.69 0.30 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 25366 52 0 0 25 0 11 0 418960358 862117888 25809 4294967295 134512640 134569956 3221224400 3221214568 1131527331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 25809 13073 16 0 210462 0
vsize: 841912
[startup+280.062 s]
Raw data (loadavg): 0.99 0.70 0.31 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 26334 52 0 0 25 0 11 0 418960358 862117888 25892 4294967295 134512640 134569956 3221224400 3221214680 1131294664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 25892 13073 16 0 210462 0
vsize: 841912
[startup+290.062 s]
Raw data (loadavg): 0.99 0.71 0.32 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 27301 52 0 0 25 0 11 0 418960358 862117888 26001 4294967295 134512640 134569956 3221224400 3221214680 1131625967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 26001 13073 16 0 210462 0
vsize: 841912
[startup+300.063 s]
Raw data (loadavg): 0.99 0.72 0.32 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 28272 52 0 0 25 0 11 0 418960358 862117888 26138 4294967295 134512640 134569956 3221224400 3221214568 1131526619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 26138 13073 16 0 210462 0
vsize: 841912
[startup+310.063 s]
Raw data (loadavg): 0.99 0.72 0.33 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 29246 53 0 0 25 0 11 0 418960358 862117888 26229 4294967295 134512640 134569956 3221224400 3221214528 1131641813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 26229 13073 16 0 210462 0
vsize: 841912
[startup+320.063 s]
Raw data (loadavg): 0.99 0.73 0.34 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 30216 53 0 0 24 0 11 0 418960358 862117888 26309 4294967295 134512640 134569956 3221224400 3221214748 1080204274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 26309 13073 16 0 210462 0
vsize: 841912
[startup+330.064 s]
Raw data (loadavg): 0.99 0.74 0.34 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 31192 53 0 0 25 0 11 0 418960358 862117888 26380 4294967295 134512640 134569956 3221224400 3221214128 1131635803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 26380 13073 16 0 210462 0
vsize: 841912
[startup+340.063 s]
Raw data (loadavg): 0.99 0.75 0.35 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 32167 53 0 0 25 0 11 0 418960358 862117888 26450 4294967295 134512640 134569956 3221224400 3221214568 1131527493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 26450 13073 16 0 210462 0
vsize: 841912
[startup+350.063 s]
Raw data (loadavg): 0.99 0.76 0.36 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 33143 53 0 0 25 0 11 0 418960358 862117888 26512 4294967295 134512640 134569956 3221224400 3221214584 1131270092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 26512 13073 16 0 210462 0
vsize: 841912
[startup+360.064 s]
Raw data (loadavg): 0.99 0.77 0.37 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 34119 53 0 0 25 0 11 0 418960358 862117888 26597 4294967295 134512640 134569956 3221224400 3221214680 1131627704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 26597 13073 16 0 210462 0
vsize: 841912
[startup+370.065 s]
Raw data (loadavg): 0.99 0.77 0.37 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 35096 53 0 0 25 0 11 0 418960358 862117888 26674 4294967295 134512640 134569956 3221224400 3221214680 1131626083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 26674 13073 16 0 210462 0
vsize: 841912
[startup+380.066 s]
Raw data (loadavg): 0.99 0.78 0.38 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 36072 53 0 0 25 0 11 0 418960358 862117888 26735 4294967295 134512640 134569956 3221224400 3221214552 1131511685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 26735 13073 16 0 210462 0
vsize: 841912
[startup+390.065 s]
Raw data (loadavg): 0.99 0.79 0.38 2/64 31011
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 37047 53 0 0 25 0 11 0 418960358 862117888 26795 4294967295 134512640 134569956 3221224400 3221214360 1131642632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 26795 13073 16 0 210462 0
vsize: 841912
[startup+400.066 s]
Raw data (loadavg): 0.99 0.79 0.39 2/67 31014
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 38022 53 0 0 25 0 11 0 418960358 862117888 26862 4294967295 134512640 134569956 3221224400 3221214568 1131525848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 26862 13073 16 0 210462 0
vsize: 841912
[startup+410.066 s]
Raw data (loadavg): 0.99 0.80 0.39 2/64 31065
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 38988 59 0 0 25 0 11 0 418960358 862117888 26930 4294967295 134512640 134569956 3221224400 3221214672 1131243968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 26930 13073 16 0 210462 0
vsize: 841912
[startup+420.066 s]
Raw data (loadavg): 0.99 0.81 0.40 2/64 31065
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 39963 59 0 0 25 0 11 0 418960358 862117888 26993 4294967295 134512640 134569956 3221224400 3221214172 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 26993 13073 16 0 210462 0
vsize: 841912
[startup+430.067 s]
Raw data (loadavg): 0.99 0.81 0.41 2/64 31065
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 40942 60 0 0 25 0 11 0 418960358 862117888 27056 4294967295 134512640 134569956 3221224400 3221214768 1131305468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 27056 13073 16 0 210462 0
vsize: 841912
[startup+440.067 s]
Raw data (loadavg): 0.99 0.82 0.41 2/64 31065
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 41911 60 0 0 25 0 11 0 418960358 862117888 27142 4294967295 134512640 134569956 3221224400 3221214736 1131355113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 27142 13073 16 0 210462 0
vsize: 841912
[startup+450.067 s]
Raw data (loadavg): 0.99 0.82 0.42 2/64 31065
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 42876 60 0 0 25 0 11 0 418960358 862117888 27208 4294967295 134512640 134569956 3221224400 3221214768 1131302816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 27208 13073 16 0 210462 0
vsize: 841912
[startup+460.067 s]
Raw data (loadavg): 0.99 0.83 0.42 2/64 31065
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 43839 60 0 0 25 0 11 0 418960358 862117888 27274 4294967295 134512640 134569956 3221224400 3221214568 1131526437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 27274 13073 16 0 210462 0
vsize: 841912
[startup+470.068 s]
Raw data (loadavg): 0.99 0.83 0.43 2/64 31065
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 44810 61 0 0 25 0 11 0 418960358 862117888 27336 4294967295 134512640 134569956 3221224400 3221214568 1131526536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 27336 13073 16 0 210462 0
vsize: 841912
[startup+480.068 s]
Raw data (loadavg): 0.99 0.84 0.44 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 45775 61 0 0 25 0 11 0 418960358 862117888 27404 4294967295 134512640 134569956 3221224400 3221214680 1131626065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 27404 13073 16 0 210462 0
vsize: 841912
[startup+490.069 s]
Raw data (loadavg): 0.99 0.84 0.44 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 46742 61 0 0 25 0 11 0 418960358 862117888 27465 4294967295 134512640 134569956 3221224400 3221214640 1131631560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 27465 13073 16 0 210462 0
vsize: 841912
[startup+500.069 s]
Raw data (loadavg): 0.99 0.85 0.45 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 47717 61 0 0 25 0 11 0 418960358 862117888 27596 4294967295 134512640 134569956 3221224400 3221214768 1131307124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 27596 13073 16 0 210462 0
vsize: 841912
[startup+510.07 s]
Raw data (loadavg): 0.99 0.85 0.45 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 48692 62 0 0 25 0 11 0 418960358 862117888 27716 4294967295 134512640 134569956 3221224400 3221214672 1131242892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 27716 13073 16 0 210462 0
vsize: 841912
[startup+520.07 s]
Raw data (loadavg): 0.99 0.86 0.46 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 49673 62 0 0 25 0 11 0 418960358 862117888 27884 4294967295 134512640 134569956 3221224400 3221214568 1131526524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 27884 13073 16 0 210462 0
vsize: 841912
[startup+530.071 s]
Raw data (loadavg): 0.99 0.86 0.46 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 50657 63 0 0 25 0 11 0 418960358 862117888 27920 4294967295 134512640 134569956 3221224400 3221214760 1131379459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 27920 13073 16 0 210462 0
vsize: 841912
[startup+540.071 s]
Raw data (loadavg): 0.99 0.86 0.47 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 51640 63 0 0 25 0 11 0 418960358 862117888 27959 4294967295 134512640 134569956 3221224400 3221214584 1131269580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 27959 13073 16 0 210462 0
vsize: 841912
[startup+550.072 s]
Raw data (loadavg): 0.99 0.87 0.47 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 52623 63 0 0 25 0 11 0 418960358 862117888 28001 4294967295 134512640 134569956 3221224400 3221214792 1131301385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28001 13073 16 0 210462 0
vsize: 841912
[startup+560.073 s]
Raw data (loadavg): 0.99 0.87 0.48 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 53608 64 0 0 25 0 11 0 418960358 862117888 28043 4294967295 134512640 134569956 3221224400 3221214768 1131303908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28043 13073 16 0 210462 0
vsize: 841912
[startup+570.074 s]
Raw data (loadavg): 0.99 0.88 0.48 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 54589 64 0 0 25 0 11 0 418960358 862117888 28090 4294967295 134512640 134569956 3221224400 3221214768 1131304007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28090 13073 16 0 210462 0
vsize: 841912
[startup+580.074 s]
Raw data (loadavg): 0.99 0.88 0.49 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 55571 64 0 0 25 0 11 0 418960358 862117888 28143 4294967295 134512640 134569956 3221224400 3221214568 1131526524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28143 13073 16 0 210462 0
vsize: 841912
[startup+590.074 s]
Raw data (loadavg): 0.99 0.88 0.49 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 56553 64 0 0 25 0 11 0 418960358 862117888 28209 4294967295 134512640 134569956 3221224400 3221214736 1131353621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28209 13073 16 0 210462 0
vsize: 841912
[startup+600.074 s]
Raw data (loadavg): 0.99 0.89 0.50 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 57537 64 0 0 25 0 11 0 418960358 862117888 28257 4294967295 134512640 134569956 3221224400 3221214584 1131269704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28257 13073 16 0 210462 0
vsize: 841912
[startup+610.075 s]
Raw data (loadavg): 0.99 0.89 0.50 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 58517 65 0 0 25 0 11 0 418960358 862117888 28293 4294967295 134512640 134569956 3221224400 3221214568 1131527428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28293 13073 16 0 210462 0
vsize: 841912
[startup+620.075 s]
Raw data (loadavg): 0.99 0.89 0.51 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 59496 65 0 0 25 0 11 0 418960358 862117888 28357 4294967295 134512640 134569956 3221224400 3221214672 1131242881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28357 13073 16 0 210462 0
vsize: 841912
[startup+630.075 s]
Raw data (loadavg): 0.99 0.90 0.51 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 60477 66 0 0 25 0 11 0 418960358 862117888 28409 4294967295 134512640 134569956 3221224400 3221214584 1131270018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28409 13073 16 0 210462 0
vsize: 841912
[startup+640.076 s]
Raw data (loadavg): 0.99 0.90 0.52 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 61458 66 0 0 25 0 11 0 418960358 862117888 28452 4294967295 134512640 134569956 3221224400 3221214680 1131626065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28452 13073 16 0 210462 0
vsize: 841912
[startup+650.077 s]
Raw data (loadavg): 0.99 0.90 0.52 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 62443 66 0 0 25 0 11 0 418960358 862117888 28499 4294967295 134512640 134569956 3221224400 3221214404 1076614592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28499 13073 16 0 210462 0
vsize: 841912
[startup+660.076 s]
Raw data (loadavg): 0.99 0.90 0.53 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 63424 66 0 0 25 0 11 0 418960358 862117888 28582 4294967295 134512640 134569956 3221224400 3221214680 1131625967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28582 13073 16 0 210462 0
vsize: 841912
[startup+670.077 s]
Raw data (loadavg): 0.99 0.91 0.53 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 64407 67 0 0 25 0 11 0 418960358 862117888 28643 4294967295 134512640 134569956 3221224400 3221214488 1131535969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28643 13073 16 0 210462 0
vsize: 841912
[startup+680.078 s]
Raw data (loadavg): 0.99 0.91 0.54 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 65390 67 0 0 25 0 11 0 418960358 862117888 28706 4294967295 134512640 134569956 3221224400 3221214680 1131627701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28706 13073 16 0 210462 0
vsize: 841912
[startup+690.077 s]
Raw data (loadavg): 0.99 0.91 0.54 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 66371 68 0 0 25 0 11 0 418960358 862117888 28752 4294967295 134512640 134569956 3221224400 3221214568 1131525803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28752 13073 16 0 210462 0
vsize: 841912
[startup+700.078 s]
Raw data (loadavg): 0.99 0.91 0.55 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 67351 68 0 0 25 0 11 0 418960358 862117888 28781 4294967295 134512640 134569956 3221224400 3221214424 1078032709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 28781 13073 16 0 210462 0
vsize: 841912
[startup+710.078 s]
Raw data (loadavg): 0.99 0.92 0.55 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 68331 68 0 0 25 0 11 0 418960358 862117888 28826 4294967295 134512640 134569956 3221224400 3221214568 1131527501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28826 13073 16 0 210462 0
vsize: 841912
[startup+720.079 s]
Raw data (loadavg): 0.99 0.92 0.55 2/64 31067
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 69310 68 0 0 25 0 11 0 418960358 862117888 28867 4294967295 134512640 134569956 3221224400 3221214584 1131269678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28867 13073 16 0 210462 0
vsize: 841912
[startup+730.079 s]
Raw data (loadavg): 0.99 0.92 0.56 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 70291 68 0 0 25 0 11 0 418960358 862117888 28937 4294967295 134512640 134569956 3221224400 3221214680 1131625967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 28937 13073 16 0 210462 0
vsize: 841912
[startup+740.078 s]
Raw data (loadavg): 0.99 0.92 0.56 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 71272 68 0 0 25 0 11 0 418960358 862117888 29003 4294967295 134512640 134569956 3221224400 3221214664 1131380359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29003 13073 16 0 210462 0
vsize: 841912
[startup+750.079 s]
Raw data (loadavg): 0.99 0.92 0.57 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 72254 69 0 0 25 0 11 0 418960358 862117888 29089 4294967295 134512640 134569956 3221224400 3221214568 1131525803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29089 13073 16 0 210462 0
vsize: 841912
[startup+760.078 s]
Raw data (loadavg): 0.99 0.93 0.57 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 73237 70 0 0 25 0 11 0 418960358 862117888 29135 4294967295 134512640 134569956 3221224400 3221214736 1131354595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29135 13073 16 0 210462 0
vsize: 841912
[startup+770.079 s]
Raw data (loadavg): 0.99 0.93 0.57 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 74221 70 0 0 25 0 11 0 418960358 862117888 29170 4294967295 134512640 134569956 3221224400 3221214680 1131626061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29170 13073 16 0 210462 0
vsize: 841912
[startup+780.08 s]
Raw data (loadavg): 0.99 0.93 0.58 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 75203 71 0 0 25 0 11 0 418960358 862117888 29203 4294967295 134512640 134569956 3221224400 3221214568 1131525803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29203 13073 16 0 210462 0
vsize: 841912
[startup+790.08 s]
Raw data (loadavg): 0.99 0.93 0.58 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 76184 71 0 0 22 0 11 0 418960358 862117888 29246 4294967295 134512640 134569956 3221224400 3221214808 1131386176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 29246 13073 16 0 210462 0
vsize: 841912
[startup+800.08 s]
Raw data (loadavg): 1.07 0.95 0.59 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 77166 71 0 0 25 0 11 0 418960358 862117888 29308 4294967295 134512640 134569956 3221224400 3221214672 1131243281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29308 13073 16 0 210462 0
vsize: 841912
[startup+810.08 s]
Raw data (loadavg): 1.06 0.95 0.59 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 78149 72 0 0 25 0 11 0 418960358 862117888 29354 4294967295 134512640 134569956 3221224400 3221214680 1131625967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29354 13073 16 0 210462 0
vsize: 841912
[startup+820.081 s]
Raw data (loadavg): 1.05 0.95 0.60 2/64 31069
Raw data (stat): 31001 (java) S 31000 30854 30853 0 -1 0 18070 0 1 0 79134 72 0 0 25 0 11 0 418960358 862117888 29394 4294967295 134512640 134569956 3221224400 3221213312 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29394 13073 16 0 210462 0
vsize: 841912
[startup+830.081 s]
Raw data (loadavg): 1.04 0.95 0.60 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 80118 72 0 0 25 0 11 0 418960358 862117888 29458 4294967295 134512640 134569956 3221224400 3221214112 1131647504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29458 13073 16 0 210462 0
vsize: 841912
[startup+840.08 s]
Raw data (loadavg): 1.03 0.95 0.61 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 81101 73 0 0 25 0 11 0 418960358 862117888 29505 4294967295 134512640 134569956 3221224400 3221214568 1131526536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29505 13073 16 0 210462 0
vsize: 841912
[startup+850.081 s]
Raw data (loadavg): 1.03 0.96 0.61 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 82084 73 0 0 25 0 11 0 418960358 862117888 29561 4294967295 134512640 134569956 3221224400 3221214808 1131388632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210478 29561 13073 16 0 210462 0
vsize: 841912
[startup+860.081 s]
Raw data (loadavg): 1.02 0.96 0.61 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 83066 74 0 0 25 0 11 0 418960358 862117888 29585 4294967295 134512640 134569956 3221224400 3221214012 1131635723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29585 13073 16 0 210462 0
vsize: 841912
[startup+870.081 s]
Raw data (loadavg): 1.02 0.96 0.62 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 84040 74 0 0 25 0 11 0 418960358 862117888 29618 4294967295 134512640 134569956 3221224400 3221214480 1131642665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29618 13073 16 0 210462 0
vsize: 841912
[startup+880.081 s]
Raw data (loadavg): 1.02 0.96 0.62 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 85006 75 0 0 25 0 11 0 418960358 862117888 29654 4294967295 134512640 134569956 3221224400 3221214808 1131388180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29654 13073 16 0 210462 0
vsize: 841912
[startup+890.082 s]
Raw data (loadavg): 1.01 0.96 0.63 2/64 31069
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 85959 75 0 0 25 0 11 0 418960358 862117888 29695 4294967295 134512640 134569956 3221224400 3221213912 1131642632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29695 13073 16 0 210462 0
vsize: 841912
[startup+892.103 s]
Raw data (loadavg): 1.01 0.96 0.63 1/53 31070
Raw data (stat): 31001 (java) R 31000 30854 30853 0 -1 0 18070 0 1 0 85959 75 0 0 25 0 11 0 418960358 862117888 29695 4294967295 134512640 134569956 3221224400 3221213912 1131642632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210478 29695 13073 16 0 210462 0
vsize: 0

Child status: 30
Real time (s): 892.102
CPU time (s): 895.798
CPU user time (s): 894.658
CPU system time (s): 1.13983
CPU usage (%): 100.414
Max. virtual memory (Kb): 841912
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####