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 29041

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 04:43:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20458 boxname=wulflinc19 idbench=48 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  511f20f1868f397c99d8a26ca62146c0  /oldhome/oroussel/tmp/wulflinc19/normalized-fpga30_30_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc19/normalized-fpga30_30_sat_pb.cnf.cr.opb
IDLAUNCH: 20458
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        655436 kB
Buffers:         27596 kB
Cached:         325180 kB
SwapCached:        416 kB
Active:          32824 kB
Inactive:       322188 kB
HighTotal:      131008 kB
HighFree:          392 kB
LowTotal:       903652 kB
LowFree:        655044 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            18652 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:50:32 (client local time) WITH STATUS 10 IN 432.446 SECONDS
stats: 20458 0 432.446 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc19/normalized-fpga30_30_sat_pb.cnf.cr.opb
c reading problem ... done. Time 3.244 ms.
c #vars     1350
c #constraints  990
c starts	: 2
c conflicts	: 246
c decisions	: 4218
c propagations	: 27795
c inspects	: 42254
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 246
c root simplifications	: 2
s SATISFIABLE
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 Total CPU time (ms) : 424.811
#### 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.92 0.98 0.93 2/54 20564
Raw data (stat): 20564 (runsolver) R 20563 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836082816 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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+10.0002 s]
Raw data (loadavg): 1.09 1.02 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18083 0 1 0 769 40 0 0 25 0 11 0 836082816 861118464 20521 4294967295 134512640 134569956 3221224368 3221214400 1130886690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210234 20521 13086 16 0 210218 0
vsize: 840936
[startup+20.0011 s]
Raw data (loadavg): 1.15 1.03 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18084 0 1 0 1716 40 0 0 25 0 11 0 836082816 860884992 21795 4294967295 134512640 134569956 3221224368 3221214568 1131311902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 21795 13086 16 0 210161 0
vsize: 840708
[startup+30.0015 s]
Raw data (loadavg): 1.13 1.03 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 2684 40 0 0 25 0 11 0 836082816 860884992 22330 4294967295 134512640 134569956 3221224368 3221214616 1131414284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22330 13086 16 0 210161 0
vsize: 840708
[startup+40.0017 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 3673 41 0 0 25 0 11 0 836082816 860884992 22330 4294967295 134512640 134569956 3221224368 3221214592 1131306945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22330 13086 16 0 210161 0
vsize: 840708
[startup+50.0026 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 4658 41 0 0 25 0 11 0 836082816 860884992 22330 4294967295 134512640 134569956 3221224368 3221214620 1131312316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22330 13086 16 0 210161 0
vsize: 840708
[startup+60.0027 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 5640 41 0 0 25 0 11 0 836082816 860884992 22330 4294967295 134512640 134569956 3221224368 3221214528 1131256442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 22330 13086 16 0 210161 0
vsize: 840708
[startup+70.0041 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 6623 42 0 0 24 0 11 0 836082816 860884992 22330 4294967295 134512640 134569956 3221224368 3221214504 1131155255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22330 13086 16 0 210161 0
vsize: 840708
[startup+80.0049 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 7609 42 0 0 25 0 11 0 836082816 860884992 22330 4294967295 134512640 134569956 3221224368 3221214616 1131413797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22330 13086 16 0 210161 0
vsize: 840708
[startup+90.0043 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 8590 42 0 0 25 0 11 0 836082816 860884992 22330 4294967295 134512640 134569956 3221224368 3221214616 1131413797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22330 13086 16 0 210161 0
vsize: 840708
[startup+100.006 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 9570 42 0 0 25 0 11 0 836082816 860884992 22330 4294967295 134512640 134569956 3221224368 3221214624 1131314147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22330 13086 16 0 210161 0
vsize: 840708
[startup+110.109 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 10565 42 0 0 25 0 11 0 836082816 860884992 22330 4294967295 134512640 134569956 3221224368 3221214616 1131413789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 22330 13086 16 0 210161 0
vsize: 840708
[startup+120.11 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 11543 42 0 0 25 0 11 0 836082816 860884992 22331 4294967295 134512640 134569956 3221224368 3221214616 1131336423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 22331 13086 16 0 210161 0
vsize: 840708
[startup+130.11 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 12522 43 0 0 25 0 11 0 836082816 860884992 22697 4294967295 134512640 134569956 3221224368 3221214568 1131311883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22697 13086 16 0 210161 0
vsize: 840708
[startup+140.11 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 13510 43 0 0 25 0 11 0 836082816 860884992 22737 4294967295 134512640 134569956 3221224368 3221214616 1131414172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22737 13086 16 0 210161 0
vsize: 840708
[startup+150.11 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 14500 43 0 0 25 0 11 0 836082816 860884992 22762 4294967295 134512640 134569956 3221224368 3221214528 1131256193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 22762 13086 16 0 210161 0
vsize: 840708
[startup+160.111 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 15488 43 0 0 25 0 11 0 836082816 860884992 22788 4294967295 134512640 134569956 3221224368 3221214616 1131413806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22788 13086 16 0 210161 0
vsize: 840708
[startup+170.111 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 16475 43 0 0 25 0 11 0 836082816 860884992 22826 4294967295 134512640 134569956 3221224368 3221214616 1131413806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22826 13086 16 0 210161 0
vsize: 840708
[startup+180.111 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 17462 43 0 0 25 0 11 0 836082816 860884992 22852 4294967295 134512640 134569956 3221224368 3221214612 1131320812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 22852 13086 16 0 210161 0
vsize: 840708
[startup+190.112 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 18450 43 0 0 25 0 11 0 836082816 860884992 22891 4294967295 134512640 134569956 3221224368 3221214528 1131257142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22891 13086 16 0 210161 0
vsize: 840708
[startup+200.113 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 19439 44 0 0 25 0 11 0 836082816 860884992 22917 4294967295 134512640 134569956 3221224368 3221214616 1131414343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22917 13086 16 0 210161 0
vsize: 840708
[startup+210.113 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 20427 44 0 0 25 0 11 0 836082816 860884992 22943 4294967295 134512640 134569956 3221224368 3221214616 1131336528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22943 13086 16 0 210161 0
vsize: 840708
[startup+220.114 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 21416 44 0 0 25 0 11 0 836082816 860884992 22982 4294967295 134512640 134569956 3221224368 3221214616 1131414156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 22982 13086 16 0 210161 0
vsize: 840708
[startup+230.114 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 22405 44 0 0 25 0 11 0 836082816 860884992 23007 4294967295 134512640 134569956 3221224368 3221214620 1131306435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 23007 13086 16 0 210161 0
vsize: 840708
[startup+240.115 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 23395 45 0 0 24 0 11 0 836082816 860884992 23046 4294967295 134512640 134569956 3221224368 3221214592 1131306870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 23046 13086 16 0 210161 0
vsize: 840708
[startup+250.115 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 24388 45 0 0 25 0 11 0 836082816 860884992 23083 4294967295 134512640 134569956 3221224368 3221214616 1131336443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 23083 13086 16 0 210161 0
vsize: 840708
[startup+260.116 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 25378 45 0 0 25 0 11 0 836082816 860884992 23125 4294967295 134512640 134569956 3221224368 3221214672 1131208215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 23125 13086 16 0 210161 0
vsize: 840708
[startup+270.117 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 26369 46 0 0 25 0 11 0 836082816 860884992 23149 4294967295 134512640 134569956 3221224368 3221214528 1131256229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 23149 13086 16 0 210161 0
vsize: 840708
[startup+280.118 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 27361 46 0 0 25 0 11 0 836082816 860884992 23161 4294967295 134512640 134569956 3221224368 3221214544 1131178533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 23161 13086 16 0 210161 0
vsize: 840708
[startup+290.118 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 28352 46 0 0 25 0 11 0 836082816 860884992 23187 4294967295 134512640 134569956 3221224368 3221214624 1131314178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 23187 13086 16 0 210161 0
vsize: 840708
[startup+300.118 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 29343 46 0 0 25 0 11 0 836082816 860884992 23212 4294967295 134512640 134569956 3221224368 3221214504 1131155413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 23212 13086 16 0 210161 0
vsize: 840708
[startup+310.123 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 30335 47 0 0 25 0 11 0 836082816 860884992 23224 4294967295 134512640 134569956 3221224368 3221214592 1131306853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 23224 13086 16 0 210161 0
vsize: 840708
[startup+320.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 31326 47 0 0 25 0 11 0 836082816 860884992 23249 4294967295 134512640 134569956 3221224368 3221214616 1131413808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 23249 13086 16 0 210161 0
vsize: 840708
[startup+330.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 32320 47 0 0 25 0 11 0 836082816 860884992 23261 4294967295 134512640 134569956 3221224368 3221214528 1131256485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 23261 13086 16 0 210161 0
vsize: 840708
[startup+340.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 33311 47 0 0 25 0 11 0 836082816 860884992 23287 4294967295 134512640 134569956 3221224368 3221214544 1131178539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 23287 13086 16 0 210161 0
vsize: 840708
[startup+350.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 34302 47 0 0 25 0 11 0 836082816 860884992 23299 4294967295 134512640 134569956 3221224368 3221214504 1131155255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 23299 13086 16 0 210161 0
vsize: 840708
[startup+360.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 35295 48 0 0 25 0 11 0 836082816 860884992 23325 4294967295 134512640 134569956 3221224368 3221214640 1131414310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 23325 13086 16 0 210161 0
vsize: 840708
[startup+370.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 36286 48 0 0 25 0 11 0 836082816 860884992 23349 4294967295 134512640 134569956 3221224368 3221214640 1131336552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 23349 13086 16 0 210161 0
vsize: 840708
[startup+380.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 37277 48 0 0 25 0 11 0 836082816 860884992 23361 4294967295 134512640 134569956 3221224368 3221214592 1131311775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 23361 13086 16 0 210161 0
vsize: 840708
[startup+390.127 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 38268 48 0 0 25 0 11 0 836082816 860884992 23387 4294967295 134512640 134569956 3221224368 3221214644 1131306784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 23387 13086 16 0 210161 0
vsize: 840708
[startup+400.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 39259 49 0 0 25 0 11 0 836082816 860884992 23411 4294967295 134512640 134569956 3221224368 3221214640 1131413803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 23411 13086 16 0 210161 0
vsize: 840708
[startup+410.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18085 0 1 0 40253 49 0 0 25 0 11 0 836082816 860884992 23423 4294967295 134512640 134569956 3221224368 3221214528 1131155320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 23423 13086 16 0 210161 0
vsize: 840708
[startup+420.129 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20574
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18086 0 1 0 41231 50 0 0 25 0 11 0 836082816 860884992 23460 4294967295 134512640 134569956 3221224368 3221214736 1131311775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 23460 13086 16 0 210161 0
vsize: 840708
[startup+425.841 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 20575
Raw data (stat): 20564 (java) R 20563 10795 10794 0 -1 0 18086 0 1 0 41231 50 0 0 25 0 11 0 836082816 860884992 23460 4294967295 134512640 134569956 3221224368 3221214736 1131311775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210177 23460 13086 16 0 210161 0
vsize: 0

Child status: 10
Real time (s): 425.84
CPU time (s): 432.446
CPU user time (s): 431.716
CPU system time (s): 0.729889
CPU usage (%): 101.551
Max. virtual memory (Kb): 840936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####