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-fpga30_30_sat_pb.cnf.cr.opb
MD5SUM	511f20f1868f397c99d8a26ca62146c0
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	31
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	1.04984
Number of variables	1350
Total number of constraints	990
Number of constraints which are clauses	930
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 4202

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-13 15:53:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=432 boxname=wulflinc4 idbench=48 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  511f20f1868f397c99d8a26ca62146c0  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga30_30_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-fpga30_30_sat_pb.cnf.cr.opb
IDLAUNCH: 432
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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		: 451.169
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:        935476 kB
Buffers:         32836 kB
Cached:          46792 kB
SwapCached:          0 kB
Active:          40860 kB
Inactive:        41660 kB
HighTotal:      131008 kB
HighFree:        79940 kB
LowTotal:       903652 kB
LowFree:        855536 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11148 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:08:54 (client local time) WITH STATUS 30 IN  SECONDS
stats: 432 0  30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-fpga30_30_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=1350]
c [nbconstr=990]
c time 3.337
c #vars     1350
c #clauses  990
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) : 925.914
c 
s OPTIMUM FOUND
v -v1 -v901 -v902 -v903 -v904 -v905 v906 -v907 -v908 -v909 -v910 -v911 -v912 -v913 -v914 -v915 -v878 -v1006 -v1007 -v1008 -v1009 -v1010 -v1011 -v1012 -v1013 -v1014 -v1015 -v1016 v1017 -v1018 -v1019 -v1020 -v404 -v1096 -v1097 -v1098 -v1099 -v1100 -v1101 -v1102 -v1103 -v1104 -v1105 -v1106 -v1107 -v1108 -v1109 v1110 -v178 -v1306 -v1307 -v1308 -v1309 -v1310 -v1311 -v1312 -v1313 -v1314 -v1315 -v1316 -v1317 v1318 -v1319 -v1320 -v52 -v1216 -v1217 -v1218 -v1219 -v1220 -v1221 -v1222 -v1223 -v1224 -v1225 -v1226 -v1227 -v1228 v1229 -v1230 -v5 -v961 -v962 -v963 -v964 -v965 -v966 -v967 v968 -v969 -v970 -v971 -v972 -v973 -v974 -v975 -v131 -v1051 -v1052 -v1053 -v1054 v1055 -v1056 -v1057 -v1058 -v1059 -v1060 -v1061 -v1062 -v1063 -v1064 -v1065 -v213 -v931 -v932 -v933 -v934 -v935 -v936 -v937 -v938 -v939 -v940 -v941 -v942 v943 -v944 -v945 -v150 -v1336 -v1337 -v1338 v1339 -v1340 -v1341 -v1342 -v1343 -v1344 -v1345 -v1346 -v1347 -v1348 -v1349 -v1350 -v469 -v1171 -v1172 -v1173 -v1174 -v1175 -v1176 -v1177 -v1178 -v1179 v1180 -v1181 -v1182 -v1183 -v1184 -v1185 -v891 -v1201 -v1202 -v1203 -v1204 -v1205 -v1206 -v1207 -v1208 -v1209 -v1210 -v1211 v1212 -v1213 -v1214 -v1215 -v807 -v1291 -v1292 -v1293 -v1294 -v1295 -v1296 -v1297 v1298 -v1299 -v1300 -v1301 -v1302 -v1303 -v1304 -v1305 -v454 -v946 -v947 -v948 -v949 -v950 -v951 -v952 -v953 v954 -v955 -v956 -v957 -v958 -v959 -v960 -v369 v1021 -v1022 -v1023 -v1024 -v1025 -v1026 -v1027 -v1028 -v1029 -v1030 -v1031 -v1032 -v1033 -v1034 -v1035 -v239 -v1321 -v1322 -v1323 -v1324 -v1325 -v1326 -v1327 -v1328 -v1329 -v1330 -v1331 -v1332 -v1333 -v1334 v1335 -v899 -v709 -v464 -v726 -v976 -v977 -v978 -v979 -v980 -v981 -v982 -v983 -v984 -v985 -v986 -v987 -v988 v989 -v990 -v374 -v46 -v1126 -v1127 -v1128 -v1129 -v1130 v1131 -v1132 -v1133 -v1134 -v1135 -v1136 -v1137 -v1138 -v1139 -v1140 -v872 -v916 -v917 -v918 v919 -v920 -v921 -v922 -v923 -v924 -v925 -v926 -v927 -v928 -v929 -v930 -v307 -v991 -v992 -v993 -v994 -v995 -v996 -v997 -v998 -v999 -v1000 v1001 -v1002 -v1003 -v1004 -v1005 -v129 -v451 -v825 -v1111 v1112 -v1113 -v1114 -v1115 -v1116 -v1117 -v1118 -v1119 -v1120 -v1121 -v1122 -v1123 -v1124 -v1125 -v184 -v625 -v1261 -v1262 -v1263 -v1264 -v1265 -v1266 -v1267 -v1268 v1269 -v1270 -v1271 -v1272 -v1273 -v1274 -v1275 -v823 -v1081 -v1082 v1083 -v1084 -v1085 -v1086 -v1087 -v1088 -v1089 -v1090 -v1091 -v1092 -v1093 -v1094 -v1095 -v389 -v793 -v803 -v1231 v1232 -v1233 -v1234 -v1235 -v1236 -v1237 -v1238 -v1239 -v1240 -v1241 -v1242 -v1243 -v1244 -v1245 v485 -v11 -v499 -v541 -v542 -v543 v544 -v545 -v546 -v547 -v548 -v549 -v550 -v551 -v552 -v553 -v554 -v555 -v556 -v557 -v558 -v559 -v560 -v561 -v562 -v563 -v564 -v565 -v566 -v567 -v568 -v569 -v570 v220 -v1036 -v1037 -v1038 -v1039 -v1040 -v1041 -v1042 -v1043 -v1044 v1045 -v1046 -v1047 -v1048 -v1049 -v1050 -v702 -v1066 -v1067 -v1068 -v1069 -v1070 -v1071 v1072 -v1073 -v1074 -v1075 -v1076 -v1077 -v1078 -v1079 -v1080 -v138 -v1156 -v1157 -v1158 -v1159 -v1160 -v1161 v1162 -v1163 -v1164 -v1165 -v1166 -v1167 -v1168 -v1169 -v1170 -v247 -v734 -v462 -v87 -v47 -v1141 -v1142 v1143 -v1144 -v1145 -v1146 -v1147 -v1148 -v1149 -v1150 -v1151 -v1152 -v1153 -v1154 -v1155 -v144 v1246 -v1247 -v1248 -v1249 -v1250 -v1251 -v1252 -v1253 -v1254 -v1255 -v1256 -v1257 -v1258 -v1259 -v1260 -v834 -v115 -v292 -v383 -v773 -v707 -v799 -v760 -v83 -v742 -v113 -v199 -v669 -v398 -v497 -v224 -v827 -v421 -v422 -v423 -v424 -v425 -v426 -v427 -v428 -v429 -v430 -v431 v432 -v433 -v434 -v435 -v436 -v437 -v438 -v439 -v440 -v441 -v442 -v443 -v444 -v445 -v446 -v447 -v448 -v449 -v450 -v295 -v802 -v520 -v54 -v56 -v1276 -v1277 -v1278 -v1279 v1280 -v1281 -v1282 -v1283 -v1284 -v1285 -v1286 -v1287 -v1288 -v1289 -v1290 v22 -v248 -v126 -v257 -v183 v577 -v50 -v1186 -v1187 -v1188 -v1189 -v1190 -v1191 -v1192 -v1193 -v1194 -v1195 v1196 -v1197 -v1198 -v1199 -v1200 -v712 -v386 -v164 -v195 -v659 -v368 -v511 -v68 -v208 -v367 -v586 -v753 -v661 -v321 -v603 -v792 -v613 -v643 -v133 -v587 -v124 -v582 -v573 -v594 -v94 -v741 -v277 -v412 -v6 -v302 -v356 -v279 -v236 -v779 -v152 -v782 -v757 -v43 -v840 -v769 -v322 v893 -v504 -v44 -v539 -v607 -v235 -v14 -v40 -v268 v868 -v858 -v308 -v818 -v35 -v91 -v92 -v93 -v95 -v96 -v97 -v98 -v99 -v100 -v101 -v102 -v103 -v104 -v105 -v106 -v107 -v108 -v109 -v110 -v111 -v112 -v114 -v116 v117 -v118 -v119 -v120 -v864 -v79 -v381 -v611 -v788 -v467 -v391 -v715 -v310 -v275 -v378 -v606 -v181 -v182 -v185 -v186 -v187 v188 -v189 -v190 -v191 -v192 -v193 -v194 -v196 -v197 -v198 -v200 -v201 -v202 -v203 -v204 -v205 -v206 -v207 -v209 -v210 -v375 -v604 -v588 -v620 -v831 -v278 -v631 -v373 -v300 -v7 -v637 -v623 -v388 -v80 -v628 -v751 -v752 -v754 -v755 -v756 -v758 v759 -v761 -v762 -v763 -v764 -v765 -v766 -v767 -v768 -v770 -v771 -v772 -v774 -v775 -v776 -v777 -v778 -v780 -v90 -v522 -v465 -v590 -v787 -v852 v180 -v514 -v339 -v361 -v362 -v363 -v364 -v365 -v366 -v370 v371 -v372 -v376 -v377 -v379 -v380 -v382 -v384 -v385 -v387 -v390 -v821 -v157 -v313 -v55 -v473 -v64 -v130 -v660 -v418 -v15 -v17 -v18 -v639 -v243 -v608 v621 -v287 -v212 -v272 -v291 -v644 -v238 -v867 -v84 -v253 -v622 -v333 -v296 -v42 -v881 -v794 -v888 -v78 -v156 -v845 -v895 -v151 -v408 -v601 -v602 -v605 -v609 -v610 -v612 -v614 -v615 -v616 -v617 -v618 -v619 -v624 -v626 -v627 -v629 -v630 -v486 -v252 -v791 -v66 -v402 -v781 -v664 -v805 -v221 -v140 -v12 -v576 -v885 -v274 -v513 -v169 -v67 -v250 -v808 -v145 -v863 -v417 -v668 v315 -v663 -v271 -v812 -v301 -v24 -v482 -v211 -v749 -v460 -v283 -v20 -v723 -v75 -v690 -v678 -v883 -v876 -v784 -v638 -v123 -v53 -v706 -v234 v122 -v512 -v82 -v666 -v662 -v526 -v647 -v719 -v215 -v646 -v729 -v853 -v523 v61 -v62 -v63 -v65 -v69 -v70 -v71 -v72 -v73 -v74 -v76 -v77 -v81 -v85 -v86 -v88 -v89 -v721 -v722 -v724 -v725 -v727 -v728 -v730 -v731 -v732 -v733 -v735 -v736 -v737 -v738 -v739 v740 -v743 -v744 -v745 -v746 -v747 -v748 -v750 -v10 -v165 -v811 -v536 -v691 -v493 -v338 -v652 v273 -v833 -v39 -v524 -v219 -v31 -v303 -v137 -v670 -v897 -v154 -v692 -v693 -v694 -v695 -v696 -v697 -v698 -v699 -v700 -v701 v703 -v704 -v705 -v708 -v710 -v711 -v713 -v714 -v716 -v717 -v718 -v720 v836 -v490 -v229 -v351 -v281 v49 -v282 -v518 -v677 -v337 -v51 -v842 v246 -v819 -v320 -v592 -v572 -v132 -v496 -v45 -v348 -v593 -v319 -v481 -v483 -v484 -v487 -v488 -v489 -v491 -v492 -v494 -v495 -v498 -v500 -v501 -v502 -v503 -v505 -v506 -v507 -v508 -v509 -v510 v479 -v265 -v862 -v841 -v167 -v231 -v171 -v316 -v673 -v214 -v216 -v217 -v218 -v222 -v223 -v225 -v226 -v227 -v228 -v230 -v232 -v233 -v237 -v240 -v672 -v459 -v36 -v158 -v289 -v142 -v837 -v160 -v843 -v844 -v846 -v847 -v848 -v849 -v850 -v851 -v854 -v855 -v856 -v857 -v859 -v860 -v861 -v865 -v866 -v869 -v870 -v397 -v37 -v838 -v359 -v538 -v174 -v667 -v168 -v530 -v873 -v172 v528 -v309 -v585 -v596 -v128 -v828 -v814 -v790 -v879 -v822 -v394 -v521 -v4 -v19 -v648 -v410 -v244 -v134 -v890 -v571 -v574 -v575 -v578 -v579 -v580 -v581 -v583 -v584 -v589 -v591 -v595 -v597 -v598 -v599 -v600 -v149 -v884 -v13 -v121 -v125 -v127 -v135 -v136 -v139 -v141 -v143 -v146 -v147 -v148 -v33 -v658 -v163 -v810 -v634 -v23 -v540 -v415 -v335 -v323 -v679 -v401 -v809 -v255 -v686 -v153 -v331 -v411 -v298 -v352 -v783 -v2 -v405 -v311 -v527 -v161 -v894 -v9 -v813 -v290 -v34 -v48 -v471 -v28 -v458 -v347 -v318 -v466 -v452 -v453 -v455 -v456 -v457 -v461 -v463 -v468 -v470 -v472 -v474 -v475 -v476 -v477 -v478 -v480 -v341 -v25 -v392 -v26 -v656 -v334 -v346 -v515 -v516 -v517 -v519 -v525 -v529 -v531 -v532 -v533 -v534 -v535 -v537 -v262 -v887 -v400 -v817 -v266 -v826 -v261 -v798 -v176 -v889 -v680 -v403 -v260 -v332 -v336 -v340 -v342 -v343 v344 -v345 -v349 -v350 -v353 -v354 -v355 -v357 -v358 -v360 -v285 -v795 -v245 -v329 v684 -v640 -v162 -v633 -v241 -v242 -v249 -v251 -v254 -v256 -v258 -v259 -v263 -v264 -v267 -v269 -v270 -v804 -v635 -v682 -v170 -v166 -v871 -v874 -v875 -v877 -v880 -v882 -v886 -v892 -v896 -v898 -v900 -v177 -v681 -v797 -v641 -v419 -v632 -v636 -v642 -v645 -v649 -v650 -v651 -v653 -v654 v655 -v657 -v38 -v60 -v304 -v305 -v306 -v312 -v314 -v317 -v324 -v325 -v326 -v327 -v328 -v330 -v57 -v3 -v806 -v393 -v665 -v671 -v674 -v675 -v676 -v683 -v685 -v687 -v688 -v689 -v21 -v294 -v175 -v16 -v395 -v396 -v399 -v406 v407 -v409 -v413 -v414 -v416 -v420 -v299 -v839 -v832 -v801 -v41 -v789 -v288 -v155 -v815 -v286 -v829 -v173 -v280 -v786 -v830 -v785 -v816 -v800 -v835 v796 -v293 -v297 -v27 -v8 -v284 -v820 -v824 -v32 -v58 -v59 -v29 -v276 -v30 -v159 -v179 
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.80 0.25 0.08 2/54 6043
Raw data (stat): 6043 (runsolver) R 6042 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418956838 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 1.05 0.32 0.11 3/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18109 0 1 0 728 45 0 0 25 0 11 0 418956838 865878016 21595 4294967295 134512640 134569956 3221224400 3221214712 1131212484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211396 21595 13073 16 0 211380 0
vsize: 845584
[startup+20.001 s]
Raw data (loadavg): 1.12 0.36 0.12 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18110 0 1 0 1641 45 0 0 25 0 11 0 418956838 864927744 22348 4294967295 134512640 134569956 3221224400 3221214792 1131386383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 22348 13073 16 0 211148 0
vsize: 844656
[startup+30.0066 s]
Raw data (loadavg): 1.10 0.38 0.13 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18111 0 1 0 2571 45 0 0 25 0 11 0 418956838 864927744 22745 4294967295 134512640 134569956 3221224400 3221214672 1131421712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 22745 13073 16 0 211148 0
vsize: 844656
[startup+40.0066 s]
Raw data (loadavg): 1.08 0.40 0.14 2/64 6053
Raw data (stat): 6043 (java) S 6042 5897 5896 0 -1 0 18111 0 1 0 3504 45 0 0 25 0 11 0 418956838 864927744 23141 4294967295 134512640 134569956 3221224400 3221213248 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 23141 13073 16 0 211148 0
vsize: 844656
[startup+50.0064 s]
Raw data (loadavg): 1.07 0.42 0.15 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18111 0 1 0 4460 45 0 0 25 0 11 0 418956838 864927744 23433 4294967295 134512640 134569956 3221224400 3221214648 1131371322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 23433 13073 16 0 211148 0
vsize: 844656
[startup+60.008 s]
Raw data (loadavg): 1.06 0.44 0.16 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18111 0 1 0 5409 45 0 0 25 0 11 0 418956838 864927744 23679 4294967295 134512640 134569956 3221224400 3221214672 1131541451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 23679 13073 16 0 211148 0
vsize: 844656
[startup+70.008 s]
Raw data (loadavg): 1.05 0.46 0.17 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18111 0 1 0 6355 45 0 0 25 0 11 0 418956838 864927744 24010 4294967295 134512640 134569956 3221224400 3221214568 1131624579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 24010 13073 16 0 211148 0
vsize: 844656
[startup+80.009 s]
Raw data (loadavg): 1.04 0.47 0.18 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18111 0 1 0 7285 46 0 0 25 0 11 0 418956838 864927744 24316 4294967295 134512640 134569956 3221224400 3221214792 1131384341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 24316 13073 16 0 211148 0
vsize: 844656
[startup+90.0101 s]
Raw data (loadavg): 1.04 0.49 0.18 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18111 0 1 0 8204 46 0 0 25 0 11 0 418956838 864927744 24707 4294967295 134512640 134569956 3221224400 3221214832 1131280952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 24707 13073 16 0 211148 0
vsize: 844656
[startup+100.009 s]
Raw data (loadavg): 1.03 0.51 0.19 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18111 0 1 0 9155 46 0 0 24 0 11 0 418956838 864927744 24839 4294967295 134512640 134569956 3221224400 3221214568 1131624720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 24839 13073 16 0 211148 0
vsize: 844656
[startup+110.01 s]
Raw data (loadavg): 1.02 0.52 0.20 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18111 0 1 0 10080 46 0 0 25 0 11 0 418956838 864927744 24969 4294967295 134512640 134569956 3221224400 3221214672 1131420705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 24969 13073 16 0 211148 0
vsize: 844656
[startup+120.012 s]
Raw data (loadavg): 1.02 0.54 0.21 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18111 0 1 0 11019 47 0 0 25 0 11 0 418956838 864927744 25147 4294967295 134512640 134569956 3221224400 3221214640 1131465377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 25147 13073 16 0 211148 0
vsize: 844656
[startup+130.013 s]
Raw data (loadavg): 1.02 0.55 0.22 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18111 0 1 0 11982 47 0 0 25 0 11 0 418956838 864927744 25331 4294967295 134512640 134569956 3221224400 3221214792 1131387190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 25331 13073 16 0 211148 0
vsize: 844656
[startup+140.013 s]
Raw data (loadavg): 1.01 0.57 0.22 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 12952 47 0 0 25 0 11 0 418956838 864927744 25623 4294967295 134512640 134569956 3221224400 3221214672 1131543139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 25623 13073 16 0 211148 0
vsize: 844656
[startup+150.013 s]
Raw data (loadavg): 1.01 0.58 0.23 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 13936 47 0 0 25 0 11 0 418956838 864927744 25753 4294967295 134512640 134569956 3221224400 3221214568 1131624644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25753 13073 16 0 211148 0
vsize: 844656
[startup+160.013 s]
Raw data (loadavg): 1.01 0.59 0.24 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 14926 47 0 0 25 0 11 0 418956838 864927744 25826 4294967295 134512640 134569956 3221224400 3221214672 1131541468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 25826 13073 16 0 211148 0
vsize: 844656
[startup+170.013 s]
Raw data (loadavg): 1.01 0.61 0.25 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 15916 48 0 0 25 0 11 0 418956838 864927744 25838 4294967295 134512640 134569956 3221224400 3221214640 1131235845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25838 13073 16 0 211148 0
vsize: 844656
[startup+180.015 s]
Raw data (loadavg): 1.01 0.62 0.26 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 16906 48 0 0 25 0 11 0 418956838 864927744 25857 4294967295 134512640 134569956 3221224400 3221214672 1131541328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 25857 13073 16 0 211148 0
vsize: 844656
[startup+190.015 s]
Raw data (loadavg): 1.00 0.63 0.26 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 17896 48 0 0 24 0 11 0 418956838 864927744 25901 4294967295 134512640 134569956 3221224400 3221214628 1131641632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 25901 13073 16 0 211148 0
vsize: 844656
[startup+200.015 s]
Raw data (loadavg): 1.00 0.64 0.27 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 18886 49 0 0 25 0 11 0 418956838 864927744 25921 4294967295 134512640 134569956 3221224400 3221214568 1131308121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 25921 13073 16 0 211148 0
vsize: 844656
[startup+210.016 s]
Raw data (loadavg): 1.00 0.65 0.28 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 19877 49 0 0 25 0 11 0 418956838 864927744 25938 4294967295 134512640 134569956 3221224400 3221214672 1131424755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 25938 13073 16 0 211148 0
vsize: 844656
[startup+220.016 s]
Raw data (loadavg): 1.00 0.66 0.29 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 20866 49 0 0 25 0 11 0 418956838 864927744 25969 4294967295 134512640 134569956 3221224400 3221214672 1131543246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 25969 13073 16 0 211148 0
vsize: 844656
[startup+230.017 s]
Raw data (loadavg): 1.00 0.68 0.29 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 21855 49 0 0 25 0 11 0 418956838 864927744 25996 4294967295 134512640 134569956 3221224400 3221214712 1131292069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 25996 13073 16 0 211148 0
vsize: 844656
[startup+240.019 s]
Raw data (loadavg): 1.00 0.69 0.30 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 22843 49 0 0 24 0 11 0 418956838 864927744 26014 4294967295 134512640 134569956 3221224400 3221214672 1131541345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 26014 13073 16 0 211148 0
vsize: 844656
[startup+250.019 s]
Raw data (loadavg): 1.00 0.70 0.31 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 23831 49 0 0 25 0 11 0 418956838 864927744 26046 4294967295 134512640 134569956 3221224400 3221214832 1131281254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 26046 13073 16 0 211148 0
vsize: 844656
[startup+260.019 s]
Raw data (loadavg): 1.00 0.70 0.31 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 24812 49 0 0 25 0 11 0 418956838 864927744 26098 4294967295 134512640 134569956 3221224400 3221214784 1131388432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 26098 13073 16 0 211148 0
vsize: 844656
[startup+270.021 s]
Raw data (loadavg): 1.00 0.71 0.32 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 25777 50 0 0 25 0 11 0 418956838 864927744 26134 4294967295 134512640 134569956 3221224400 3221214664 1131541335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 26134 13073 16 0 211148 0
vsize: 844656
[startup+280.021 s]
Raw data (loadavg): 1.00 0.72 0.33 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 26735 50 0 0 25 0 11 0 418956838 864927744 26173 4294967295 134512640 134569956 3221224400 3221214560 1131625550 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 26173 13073 16 0 211148 0
vsize: 844656
[startup+290.021 s]
Raw data (loadavg): 1.00 0.73 0.33 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 27692 50 0 0 25 0 11 0 418956838 864927744 26312 4294967295 134512640 134569956 3221224400 3221214664 1131541335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 26312 13073 16 0 211148 0
vsize: 844656
[startup+300.022 s]
Raw data (loadavg): 1.00 0.74 0.34 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 28647 51 0 0 25 0 11 0 418956838 864927744 26557 4294967295 134512640 134569956 3221224400 3221214784 1131384913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 26557 13073 16 0 211148 0
vsize: 844656
[startup+310.023 s]
Raw data (loadavg): 1.00 0.75 0.35 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 29605 51 0 0 25 0 11 0 418956838 864927744 26690 4294967295 134512640 134569956 3221224400 3221214664 1131424088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 26690 13073 16 0 211148 0
vsize: 844656
[startup+320.023 s]
Raw data (loadavg): 1.00 0.76 0.35 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 30561 51 0 0 25 0 11 0 418956838 864927744 26899 4294967295 134512640 134569956 3221224400 3221214560 1131624582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 26899 13073 16 0 211148 0
vsize: 844656
[startup+330.024 s]
Raw data (loadavg): 1.00 0.76 0.36 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 31504 51 0 0 25 0 11 0 418956838 864927744 27153 4294967295 134512640 134569956 3221224400 3221214784 1131372790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 27153 13073 16 0 211148 0
vsize: 844656
[startup+340.024 s]
Raw data (loadavg): 1.00 0.77 0.37 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 32452 52 0 0 25 0 11 0 418956838 864927744 27372 4294967295 134512640 134569956 3221224400 3221214560 1131625671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 27372 13073 16 0 211148 0
vsize: 844656
[startup+350.024 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 33409 52 0 0 25 0 11 0 418956838 864927744 27499 4294967295 134512640 134569956 3221224400 3221214748 1131267020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 27499 13073 16 0 211148 0
vsize: 844656
[startup+360.025 s]
Raw data (loadavg): 1.00 0.78 0.38 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 34356 52 0 0 24 0 11 0 418956838 864927744 27788 4294967295 134512640 134569956 3221224400 3221214656 1131267495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 27788 13073 16 0 211148 0
vsize: 844656
[startup+370.026 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 35313 52 0 0 25 0 11 0 418956838 864927744 28010 4294967295 134512640 134569956 3221224400 3221214560 1131308355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 28010 13073 16 0 211148 0
vsize: 844656
[startup+380.026 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 36240 53 0 0 25 0 11 0 418956838 864927744 28238 4294967295 134512640 134569956 3221224400 3221214664 1131318292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 28238 13073 16 0 211148 0
vsize: 844656
[startup+390.026 s]
Raw data (loadavg): 1.00 0.80 0.40 2/64 6053
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 37196 53 0 0 25 0 11 0 418956838 864927744 28441 4294967295 134512640 134569956 3221224400 3221214560 1131624596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 28441 13073 16 0 211148 0
vsize: 844656
[startup+400.026 s]
Raw data (loadavg): 1.00 0.81 0.40 3/67 6097
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 38131 53 0 0 25 0 11 0 418956838 864927744 28728 4294967295 134512640 134569956 3221224400 3221214784 1131377828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 28728 13073 16 0 211148 0
vsize: 844656
[startup+410.027 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 6106
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 39057 55 0 0 24 0 11 0 418956838 864927744 28974 4294967295 134512640 134569956 3221224400 3221214664 1131421393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 28974 13073 16 0 211148 0
vsize: 844656
[startup+420.027 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 6106
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 40004 55 0 0 25 0 11 0 418956838 864927744 29047 4294967295 134512640 134569956 3221224400 3221214720 1131316832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29047 13073 16 0 211148 0
vsize: 844656
[startup+430.028 s]
Raw data (loadavg): 1.00 0.83 0.42 2/64 6106
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 40964 55 0 0 25 0 11 0 418956838 864927744 29111 4294967295 134512640 134569956 3221224400 3221214664 1131420729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29111 13073 16 0 211148 0
vsize: 844656
[startup+440.028 s]
Raw data (loadavg): 1.00 0.83 0.43 2/64 6106
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 41925 56 0 0 25 0 11 0 418956838 864927744 29157 4294967295 134512640 134569956 3221224400 3221214560 1131624334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29157 13073 16 0 211148 0
vsize: 844656
[startup+450.028 s]
Raw data (loadavg): 1.00 0.84 0.43 2/64 6106
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 42877 56 0 0 25 0 11 0 418956838 864927744 29390 4294967295 134512640 134569956 3221224400 3221214656 1131267861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29390 13073 16 0 211148 0
vsize: 844656
[startup+460.029 s]
Raw data (loadavg): 1.00 0.84 0.44 2/64 6106
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 43839 56 0 0 25 0 11 0 418956838 864927744 29586 4294967295 134512640 134569956 3221224400 3221214664 1131541328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29586 13073 16 0 211148 0
vsize: 844656
[startup+470.029 s]
Raw data (loadavg): 1.00 0.85 0.44 2/64 6106
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 44806 57 0 0 25 0 11 0 418956838 864927744 29804 4294967295 134512640 134569956 3221224400 3221214664 1131541335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29804 13073 16 0 211148 0
vsize: 844656
[startup+480.03 s]
Raw data (loadavg): 1.00 0.85 0.45 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 45780 57 0 0 25 0 11 0 418956838 864927744 29877 4294967295 134512640 134569956 3221224400 3221214784 1131383581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29877 13073 16 0 211148 0
vsize: 844656
[startup+490.032 s]
Raw data (loadavg): 1.00 0.86 0.45 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 46756 57 0 0 24 0 11 0 418956838 864927744 29978 4294967295 134512640 134569956 3221224400 3221214824 1131281296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 29978 13073 16 0 211148 0
vsize: 844656
[startup+500.031 s]
Raw data (loadavg): 1.00 0.86 0.46 2/64 6108
Raw data (stat): 6043 (java) S 6042 5897 5896 0 -1 0 18112 0 1 0 47722 58 0 0 25 0 11 0 418956838 864927744 30055 4294967295 134512640 134569956 3221224400 3221213472 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 30055 13073 16 0 211148 0
vsize: 844656
[startup+510.032 s]
Raw data (loadavg): 1.00 0.86 0.46 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 48677 58 0 0 25 0 11 0 418956838 864927744 30165 4294967295 134512640 134569956 3221224400 3221214560 1131624315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 30165 13073 16 0 211148 0
vsize: 844656
[startup+520.033 s]
Raw data (loadavg): 1.00 0.87 0.47 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 49633 59 0 0 25 0 11 0 418956838 864927744 30219 4294967295 134512640 134569956 3221224400 3221214664 1131541335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 30219 13073 16 0 211148 0
vsize: 844656
[startup+530.034 s]
Raw data (loadavg): 1.00 0.87 0.47 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 50586 59 0 0 25 0 11 0 418956838 864927744 30304 4294967295 134512640 134569956 3221224400 3221214664 1131541338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 30304 13073 16 0 211148 0
vsize: 844656
[startup+540.035 s]
Raw data (loadavg): 1.00 0.87 0.48 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 51547 60 0 0 25 0 11 0 418956838 864927744 30337 4294967295 134512640 134569956 3221224400 3221214664 1131541348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 30337 13073 16 0 211148 0
vsize: 844656
[startup+550.036 s]
Raw data (loadavg): 1.00 0.88 0.48 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 52506 60 0 0 25 0 11 0 418956838 864927744 30392 4294967295 134512640 134569956 3221224400 3221214560 1131625728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 30392 13073 16 0 211148 0
vsize: 844656
[startup+560.036 s]
Raw data (loadavg): 1.00 0.88 0.49 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 53446 60 0 0 25 0 11 0 418956838 864927744 30640 4294967295 134512640 134569956 3221224400 3221214560 1131308679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 30640 13073 16 0 211148 0
vsize: 844656
[startup+570.036 s]
Raw data (loadavg): 1.00 0.89 0.49 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 54398 60 0 0 25 0 11 0 418956838 864927744 30759 4294967295 134512640 134569956 3221224400 3221214780 1131316866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 30759 13073 16 0 211148 0
vsize: 844656
[startup+580.037 s]
Raw data (loadavg): 1.00 0.89 0.50 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 55343 61 0 0 25 0 11 0 418956838 864927744 30992 4294967295 134512640 134569956 3221224400 3221214664 1131543246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 30992 13073 16 0 211148 0
vsize: 844656
[startup+590.037 s]
Raw data (loadavg): 1.00 0.89 0.50 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 56291 61 0 0 25 0 11 0 418956838 864927744 31151 4294967295 134512640 134569956 3221224400 3221214560 1131624586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 31151 13073 16 0 211148 0
vsize: 844656
[startup+600.039 s]
Raw data (loadavg): 1.00 0.89 0.51 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 57237 61 0 0 24 0 11 0 418956838 864927744 31247 4294967295 134512640 134569956 3221224400 3221214784 1131384106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 31247 13073 16 0 211148 0
vsize: 844656
[startup+610.039 s]
Raw data (loadavg): 1.07 0.91 0.52 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 58188 62 0 0 25 0 11 0 418956838 864927744 31356 4294967295 134512640 134569956 3221224400 3221214752 1131324927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 31356 13073 16 0 211148 0
vsize: 844656
[startup+620.04 s]
Raw data (loadavg): 1.06 0.92 0.52 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 59139 62 0 0 25 0 11 0 418956838 864927744 31507 4294967295 134512640 134569956 3221224400 3221214664 1131541457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 31507 13073 16 0 211148 0
vsize: 844656
[startup+630.041 s]
Raw data (loadavg): 1.05 0.92 0.53 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 60073 62 0 0 25 0 11 0 418956838 864927744 31675 4294967295 134512640 134569956 3221224400 3221214660 1131466764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 31675 13073 16 0 211148 0
vsize: 844656
[startup+640.041 s]
Raw data (loadavg): 1.04 0.92 0.53 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 61035 62 0 0 25 0 11 0 418956838 864927744 31750 4294967295 134512640 134569956 3221224400 3221214216 1085679394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 31750 13073 16 0 211148 0
vsize: 844656
[startup+650.04 s]
Raw data (loadavg): 1.04 0.92 0.54 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 61984 63 0 0 25 0 11 0 418956838 864927744 31906 4294967295 134512640 134569956 3221224400 3221214024 1131511847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 31906 13073 16 0 211148 0
vsize: 844656
[startup+660.041 s]
Raw data (loadavg): 1.03 0.92 0.54 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 62931 63 0 0 25 0 11 0 418956838 864927744 32047 4294967295 134512640 134569956 3221224400 3221214560 1131624636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 32047 13073 16 0 211148 0
vsize: 844656
[startup+670.041 s]
Raw data (loadavg): 1.02 0.93 0.55 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 63885 64 0 0 25 0 11 0 418956838 864927744 32191 4294967295 134512640 134569956 3221224400 3221214664 1131543132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 32191 13073 16 0 211148 0
vsize: 844656
[startup+680.042 s]
Raw data (loadavg): 1.02 0.93 0.55 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 64852 64 0 0 25 0 11 0 418956838 864927744 32304 4294967295 134512640 134569956 3221224400 3221214344 1131514967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 32304 13073 16 0 211148 0
vsize: 844656
[startup+690.047 s]
Raw data (loadavg): 1.02 0.93 0.56 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 65822 64 0 0 25 0 11 0 418956838 864927744 32377 4294967295 134512640 134569956 3221224400 3221214560 1131308033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 32377 13073 16 0 211148 0
vsize: 844656
[startup+700.048 s]
Raw data (loadavg): 1.01 0.93 0.56 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 66786 64 0 0 25 0 11 0 418956838 864927744 32475 4294967295 134512640 134569956 3221224400 3221214528 1131493035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 32475 13073 16 0 211148 0
vsize: 844656
[startup+710.048 s]
Raw data (loadavg): 1.01 0.93 0.56 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 67767 64 0 0 25 0 11 0 418956838 864927744 32581 4294967295 134512640 134569956 3221224400 3221214784 1131381983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 32581 13073 16 0 211148 0
vsize: 844656
[startup+720.049 s]
Raw data (loadavg): 1.01 0.93 0.57 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 68739 65 0 0 25 0 11 0 418956838 864927744 32785 4294967295 134512640 134569956 3221224400 3221214640 1131371313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 32785 13073 16 0 211148 0
vsize: 844656
[startup+730.05 s]
Raw data (loadavg): 1.01 0.94 0.57 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 69727 65 0 0 25 0 11 0 418956838 864927744 32878 4294967295 134512640 134569956 3221224400 3221214640 1131371313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 32878 13073 16 0 211148 0
vsize: 844656
[startup+740.051 s]
Raw data (loadavg): 1.01 0.94 0.58 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 70716 65 0 0 25 0 11 0 418956838 864927744 32892 4294967295 134512640 134569956 3221224400 3221214752 1131324858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 32892 13073 16 0 211148 0
vsize: 844656
[startup+750.051 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 71700 65 0 0 25 0 11 0 418956838 864927744 32922 4294967295 134512640 134569956 3221224400 3221214560 1131623953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 32922 13073 16 0 211148 0
vsize: 844656
[startup+760.052 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 72669 65 0 0 25 0 11 0 418956838 864927744 33008 4294967295 134512640 134569956 3221224400 3221214296 1131511836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 33008 13073 16 0 211148 0
vsize: 844656
[startup+770.052 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 6108
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 73646 66 0 0 25 0 11 0 418956838 864927744 33019 4294967295 134512640 134569956 3221224400 3221214664 1131421287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 33019 13073 16 0 211148 0
vsize: 844656
[startup+780.054 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 6110
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 74593 66 0 0 25 0 11 0 418956838 864927744 33038 4294967295 134512640 134569956 3221224400 3221214560 1131623963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 33038 13073 16 0 211148 0
vsize: 844656
[startup+790.054 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 6110
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 75550 67 0 0 25 0 11 0 418956838 864927744 33086 4294967295 134512640 134569956 3221224400 3221214444 1131511616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 33086 13073 16 0 211148 0
vsize: 844656
[startup+800.053 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 6110
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 76495 67 0 0 25 0 11 0 418956838 864927744 33264 4294967295 134512640 134569956 3221224400 3221214752 1131324858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 33264 13073 16 0 211148 0
vsize: 844656
[startup+810.054 s]
Raw data (loadavg): 1.00 0.95 0.60 3/64 6110
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 77433 67 0 0 25 0 11 0 418956838 864927744 33343 4294967295 134512640 134569956 3221224400 3221214560 1131308386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 33343 13073 16 0 211148 0
vsize: 844656
[startup+820.055 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 6110
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 78371 68 0 0 25 0 11 0 418956838 864927744 33403 4294967295 134512640 134569956 3221224400 3221214664 1131541335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 33403 13073 16 0 211148 0
vsize: 844656
[startup+830.055 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 6110
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 79315 68 0 0 25 0 11 0 418956838 864927744 33597 4294967295 134512640 134569956 3221224400 3221214784 1131383763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 33597 13073 16 0 211148 0
vsize: 844656
[startup+840.057 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 6110
Raw data (stat): 6043 (java) S 6042 5897 5896 0 -1 0 18112 0 1 0 80258 68 0 0 25 0 11 0 418956838 864927744 33900 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 33900 13073 16 0 211148 0
vsize: 844656
[startup+850.057 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 6110
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 81209 69 0 0 25 0 11 0 418956838 864927744 34169 4294967295 134512640 134569956 3221224400 3221214664 1131424606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 34169 13073 16 0 211148 0
vsize: 844656
[startup+860.058 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 6110
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 82159 69 0 0 25 0 11 0 418956838 864927744 34227 4294967295 134512640 134569956 3221224400 3221214784 1131384145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 34227 13073 16 0 211148 0
vsize: 844656
[startup+870.057 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 6110
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 83108 69 0 0 25 0 11 0 418956838 864927744 34251 4294967295 134512640 134569956 3221224400 3221214136 1131515714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211164 34251 13073 16 0 211148 0
vsize: 844656
[startup+880.058 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 6110
Raw data (stat): 6043 (java) S 6042 5897 5896 0 -1 0 18112 0 1 0 84046 69 0 0 25 0 11 0 418956838 864927744 34434 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 34434 13073 16 0 211148 0
vsize: 844656
[startup+890.059 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 6110
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 84988 69 0 0 25 0 11 0 418956838 864927744 34690 4294967295 134512640 134569956 3221224400 3221214664 1131541468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 34690 13073 16 0 211148 0
vsize: 844656
[startup+900.06 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 6110
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 85959 69 0 0 25 0 11 0 418956838 864927744 34799 4294967295 134512640 134569956 3221224400 3221214664 1131318346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 34799 13073 16 0 211148 0
vsize: 844656
[startup+910.061 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 6110
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 86908 69 0 0 25 0 11 0 418956838 864927744 34943 4294967295 134512640 134569956 3221224400 3221214132 1131515659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 34943 13073 16 0 211148 0
vsize: 844656
[startup+920.06 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 6110
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 87878 70 0 0 25 0 11 0 418956838 864927744 35052 4294967295 134512640 134569956 3221224400 3221214704 1131291140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 35052 13073 16 0 211148 0
vsize: 844656
[startup+926.687 s]
Raw data (loadavg): 1.00 0.96 0.64 1/53 6111
Raw data (stat): 6043 (java) R 6042 5897 5896 0 -1 0 18112 0 1 0 87878 70 0 0 25 0 11 0 418956838 864927744 35052 4294967295 134512640 134569956 3221224400 3221214704 1131291140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211164 35052 13073 16 0 211148 0
vsize: 0

Child status: 30
Real time (s): 926.687
CPU time (s): 938.693
CPU user time (s): 937.374
CPU system time (s): 1.3198
CPU usage (%): 101.296
Max. virtual memory (Kb): 845584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####