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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
MD5SUM	fa67033d6a242cf79309b3804f79a4fe
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	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	102
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.8556
Number of variables	4608
Total number of constraints	34956
Number of constraints which are clauses	29328
Number of constraints which are cardinality constraints (but not clauses)	5550
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 38559

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 14:12:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26630 boxname=wulflinc4 idbench=360 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  fa67033d6a242cf79309b3804f79a4fe  /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:1,3-13,19.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:1,3-13,19.opb
IDLAUNCH: 26630
/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:        681148 kB
Buffers:         34200 kB
Cached:         297208 kB
SwapCached:        568 kB
Active:          25528 kB
Inactive:       307948 kB
HighTotal:      131008 kB
HighFree:         4144 kB
LowTotal:       903652 kB
LowFree:        677004 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            14292 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 14:13:05 (client local time) WITH STATUS 10 IN 21.1738 SECONDS
stats: 26630 0 21.1738 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:1,3-13,19.opb
c #variables read: 4608 - #constraints read: 35130
s SATISFIABLE
v 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 -v26 -v27 -v28 -v29 -v30 -v31 -v32 -v33 -v34 -v35 -v36 -v37 -v38 -v39 -v40 -v41 v42 -v43 -v44 -v45 -v46 -v47 -v48 -v49 -v50 v51 -v52 -v53 -v54 -v55 v56 -v57 -v58 -v59 -v60 -v61 -v62 -v63 -v64 -v65 -v66 -v67 -v68 -v69 -v70 -v71 -v72 -v73 v74 -v75 -v76 -v77 -v78 -v79 -v80 -v81 -v82 -v83 -v84 -v85 -v86 -v87 v88 -v89 -v90 -v91 -v92 -v93 -v94 -v95 -v96 -v97 -v98 -v99 -v100 -v101 -v102 -v103 -v104 -v105 -v106 -v107 -v108 -v109 -v110 -v111 -v112 -v113 -v114 v115 -v116 -v117 -v118 -v119 -v120 -v121 -v122 -v123 -v124 -v125 -v126 v127 -v128 -v129 -v130 -v131 v132 -v133 -v134 -v135 -v136 -v137 -v138 -v139 -v140 -v141 -v142 -v143 -v144 -v145 -v146 -v147 v148 -v149 -v150 -v151 -v152 -v153 v154 -v155 -v156 -v157 -v158 -v159 -v160 -v161 -v162 -v163 -v164 -v165 -v166 -v167 -v168 -v169 -v170 -v171 -v172 -v173 -v174 -v175 -v176 -v177 -v178 -v179 -v180 v181 -v182 -v183 -v184 -v185 -v186 -v187 -v188 -v189 -v190 -v191 v192 -v193 -v194 -v195 -v196 -v197 -v198 -v199 -v200 -v201 -v202 -v203 -v204 v205 -v206 -v207 -v208 -v209 -v210 -v211 -v212 -v213 -v214 -v215 -v216 -v217 -v218 -v219 -v220 -v221 -v222 -v223 -v224 v225 -v226 -v227 -v228 -v229 -v230 -v231 -v232 -v233 -v234 -v235 -v236 -v237 -v238 -v239 -v240 -v241 -v242 v243 -v244 -v245 -v246 -v247 -v248 v249 -v250 -v251 -v252 -v253 -v254 -v255 -v256 -v257 -v258 -v259 -v260 -v261 -v262 -v263 -v264 -v265 -v266 -v267 -v268 v269 -v270 -v271 -v272 v273 -v274 -v275 -v276 -v277 -v278 -v279 -v280 -v281 -v282 -v283 -v284 -v285 -v286 -v287 v288 -v289 -v290 -v291 -v292 -v293 v294 -v295 v296 -v297 -v298 -v299 -v300 -v301 -v302 -v303 -v304 v305 -v306 -v307 -v308 -v309 -v310 -v311 -v312 -v313 -v314 -v315 -v316 -v317 -v318 -v319 -v320 -v321 -v322 -v323 -v324 -v325 -v326 -v327 -v328 -v329 -v330 -v331 -v332 -v333 -v334 -v335 -v336 v337 v338 -v339 -v340 -v341 -v342 -v343 -v344 -v345 -v346 -v347 -v348 -v349 -v350 -v351 v352 v353 -v354 -v355 -v356 -v357 -v358 -v359 v360 v361 -v362 -v363 -v364 -v365 -v366 -v367 -v368 -v369 -v370 -v371 -v372 -v373 -v374 -v375 -v376 -v377 -v378 -v379 -v380 -v381 -v382 -v383 -v384 -v385 v386 -v387 -v388 -v389 -v390 -v391 -v392 -v393 -v394 -v395 -v396 v397 -v398 -v399 -v400 -v401 -v402 -v403 -v404 -v405 -v406 -v407 -v408 -v409 -v410 -v411 -v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419 -v420 -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 -v451 -v452 -v453 -v454 -v455 -v456 -v457 v458 -v459 -v460 -v461 -v462 -v463 -v464 -v465 -v466 -v467 -v468 -v469 -v470 -v471 -v472 -v473 -v474 -v475 -v476 -v477 -v478 -v479 -v480 -v481 -v482 -v483 -v484 -v485 v486 -v487 -v488 -v489 -v490 v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 v499 -v500 -v501 -v502 -v503 -v504 -v505 -v506 -v507 -v508 -v509 -v510 -v511 -v512 -v513 -v514 v515 -v516 -v517 -v518 -v519 -v520 -v521 -v522 -v523 -v524 -v525 -v526 -v527 -v528 -v529 -v530 -v531 -v532 -v533 -v534 -v535 -v536 v537 -v538 -v539 -v540 -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 -v571 -v572 -v573 v574 -v575 -v576 -v577 -v578 -v579 -v580 -v581 -v582 -v583 v584 -v585 -v586 v587 -v588 -v589 -v590 -v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v600 -v601 -v602 -v603 -v604 -v605 -v606 v607 -v608 -v609 -v610 v611 -v612 -v613 -v614 -v615 -v616 -v617 -v618 -v619 v620 -v621 v622 -v623 -v624 -v625 -v626 -v627 -v628 -v629 -v630 -v631 -v632 -v633 -v634 -v635 -v636 v637 -v638 -v639 -v640 -v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 -v649 -v650 -v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 v659 -v660 -v661 -v662 -v663 -v664 -v665 -v666 -v667 -v668 -v669 -v670 -v671 -v672 -v673 v674 -v675 -v676 -v677 -v678 -v679 -v680 -v681 -v682 -v683 -v684 -v685 -v686 -v687 -v688 -v689 -v690 -v691 v692 -v693 -v694 -v695 -v696 -v697 -v698 v699 -v700 -v701 -v702 -v703 -v704 -v705 v706 v707 -v708 -v709 v710 -v711 -v712 -v713 -v714 -v715 -v716 -v717 -v718 -v719 -v720 -v721 -v722 -v723 -v724 -v725 -v726 -v727 -v728 -v729 v730 -v731 -v732 -v733 -v734 -v735 -v736 -v737 -v738 -v739 v740 -v741 -v742 -v743 -v744 -v745 -v746 -v747 -v748 v749 -v750 -v751 -v752 -v753 -v754 -v755 -v756 -v757 -v758 -v759 -v760 -v761 v762 v763 -v764 -v765 -v766 -v767 -v768 -v769 -v770 -v771 -v772 -v773 -v774 -v775 -v776 -v777 -v778 -v779 -v780 -v781 v782 -v783 -v784 -v785 -v786 -v787 -v788 -v789 -v790 -v791 -v792 -v793 -v794 -v795 -v796 -v797 -v798 -v799 -v800 -v801 -v802 -v803 v804 -v805 -v806 -v807 -v808 -v809 -v810 -v811 -v812 -v813 v814 -v815 -v816 -v817 -v818 -v819 -v820 -v821 -v822 -v823 -v824 -v825 -v826 -v827 -v828 v829 -v830 -v831 -v832 -v833 -v834 -v835 -v836 -v837 -v838 -v839 -v840 -v841 -v842 -v843 -v844 -v845 -v846 -v847 -v848 -v849 -v850 -v851 -v852 v853 -v854 -v855 -v856 -v857 v858 -v859 -v860 -v861 -v862 -v863 -v864 -v865 -v866 -v867 -v868 v869 v870 -v871 -v872 -v873 -v874 -v875 v876 -v877 -v878 -v879 -v880 -v881 -v882 -v883 -v884 -v885 -v886 -v887 -v888 -v889 v890 -v891 -v892 -v893 -v894 -v895 -v896 -v897 -v898 -v899 -v900 -v901 -v902 -v903 -v904 -v905 v906 -v907 -v908 -v909 -v910 -v911 v912 -v913 -v914 -v915 -v916 -v917 v918 -v919 -v920 -v921 -v922 -v923 -v924 -v925 -v926 -v927 -v928 -v929 -v930 -v931 -v932 -v933 -v934 -v935 -v936 -v937 -v938 -v939 -v940 -v941 -v942 v943 -v944 -v945 -v946 -v947 -v948 v949 -v950 -v951 -v952 -v953 -v954 -v955 -v956 -v957 -v958 -v959 -v960 -v961 v962 -v963 -v964 -v965 -v966 -v967 -v968 -v969 -v970 -v971 -v972 v973 -v974 -v975 -v976 -v977 -v978 v979 -v980 -v981 -v982 -v983 -v984 -v985 -v986 v987 -v988 v989 -v990 -v991 -v992 -v993 -v994 -v995 -v996 -v997 -v998 -v999 -v1000 -v1001 -v1002 -v1003 -v1004 -v1005 -v1006 -v1007 -v1008 -v1009 -v1010 -v1011 -v1012 -v1013 -v1014 -v1015 -v1016 v1017 -v1018 -v1019 -v1020 -v1021 -v1022 -v1023 -v1024 -v1025 -v1026 -v1027 -v1028 v1029 -v1030 -v1031 -v1032 -v1033 -v1034 -v1035 -v1036 -v1037 -v1038 -v1039 -v1040 v1041 -v1042 -v1043 -v1044 -v1045 -v1046 -v1047 -v1048 -v1049 -v1050 -v1051 -v1052 -v1053 -v1054 -v1055 -v1056 -v1057 -v1058 -v1059 v1060 -v1061 -v1062 -v1063 -v1064 -v1065 -v1066 -v1067 -v1068 -v1069 -v1070 v1071 v1072 -v1073 -v1074 -v1075 -v1076 -v1077 -v1078 -v1079 -v1080 -v1081 -v1082 -v1083 -v1084 -v1085 -v1086 -v1087 -v1088 -v1089 -v1090 -v1091 -v1092 -v1093 v1094 -v1095 -v1096 -v1097 -v1098 -v1099 -v1100 -v1101 -v1102 -v1103 -v1104 -v1105 -v1106 -v1107 v1108 -v1109 -v1110 -v1111 -v1112 -v1113 -v1114 -v1115 -v1116 -v1117 -v1118 -v1119 -v1120 -v1121 -v1122 -v1123 -v1124 -v1125 -v1126 v1127 -v1128 -v1129 -v1130 -v1131 v1132 -v1133 -v1134 -v1135 -v1136 -v1137 -v1138 -v1139 -v1140 -v1141 -v1142 -v1143 -v1144 -v1145 v1146 -v1147 -v1148 -v1149 -v1150 -v1151 -v1152 -v1153 -v1154 -v1155 -v1156 -v1157 -v1158 -v1159 -v1160 -v1161 -v1162 -v1163 -v1164 -v1165 -v1166 -v1167 -v1168 -v1169 -v1170 -v1171 -v1172 -v1173 -v1174 -v1175 -v1176 -v1177 -v1178 -v1179 -v1180 -v1181 -v1182 v1183 v1184 -v1185 -v1186 -v1187 -v1188 -v1189 v1190 -v1191 -v1192 -v1193 -v1194 -v1195 -v1196 -v1197 -v1198 -v1199 -v1200 -v1201 -v1202 -v1203 -v1204 v1205 -v1206 -v1207 -v1208 -v1209 -v1210 -v1211 -v1212 -v1213 -v1214 -v1215 -v1216 -v1217 -v1218 -v1219 -v1220 -v1221 -v1222 -v1223 -v1224 -v1225 -v1226 -v1227 -v1228 -v1229 -v1230 -v1231 -v1232 -v1233 -v1234 -v1235 -v1236 -v1237 -v1238 v1239 -v1240 -v1241 -v1242 -v1243 -v1244 -v1245 -v1246 -v1247 -v1248 -v1249 -v1250 v1251 -v1252 -v1253 -v1254 -v1255 -v1256 -v1257 -v1258 -v1259 -v1260 -v1261 -v1262 -v1263 -v1264 -v1265 -v1266 -v1267 -v1268 -v1269 -v1270 -v1271 v1272 -v1273 -v1274 -v1275 -v1276 -v1277 -v1278 -v1279 -v1280 -v1281 -v1282 -v1283 -v1284 -v1285 -v1286 -v1287 -v1288 v1289 -v1290 -v1291 -v1292 -v1293 -v1294 -v1295 -v1296 -v1297 v1298 -v1299 -v1300 -v1301 -v1302 -v1303 -v1304 -v1305 -v1306 -v1307 -v1308 -v1309 -v1310 v1311 -v1312 -v1313 -v1314 -v1315 -v1316 -v1317 -v1318 -v1319 -v1320 -v1321 -v1322 v1323 -v1324 -v1325 -v1326 -v1327 -v1328 -v1329 -v1330 -v1331 -v1332 -v1333 -v1334 -v1335 -v1336 -v1337 -v1338 -v1339 -v1340 -v1341 -v1342 v1343 -v1344 -v1345 -v1346 -v1347 -v1348 -v1349 -v1350 -v1351 -v1352 v1353 -v1354 -v1355 -v1356 -v1357 -v1358 -v1359 -v1360 -v1361 -v1362 -v1363 -v1364 -v1365 -v1366 -v1367 -v1368 -v1369 -v1370 -v1371 -v1372 -v1373 -v1374 -v1375 -v1376 -v1377 -v1378 -v1379 -v1380 -v1381 -v1382 v1383 -v1384 -v1385 -v1386 v1387 -v1388 -v1389 -v1390 -v1391 -v1392 -v1393 v1394 -v1395 -v1396 -v1397 -v1398 -v1399 v1400 -v1401 -v1402 -v1403 -v1404 -v1405 -v1406 -v1407 -v1408 -v1409 -v1410 -v1411 -v1412 -v1413 -v1414 v1415 -v1416 -v1417 -v1418 -v1419 -v1420 -v1421 -v1422 -v1423 -v1424 -v1425 -v1426 -v1427 -v1428 -v1429 -v1430 -v1431 -v1432 -v1433 -v1434 -v1435 -v1436 -v1437 v1438 -v1439 -v1440 -v1441 -v1442 -v1443 -v1444 -v1445 -v1446 -v1447 v1448 -v1449 -v1450 v1451 -v1452 -v1453 -v1454 -v1455 -v1456 -v1457 -v1458 -v1459 v1460 -v1461 -v1462 -v1463 -v1464 -v1465 -v1466 -v1467 -v1468 -v1469 -v1470 -v1471 -v1472 -v1473 -v1474 -v1475 -v1476 -v1477 -v1478 v1479 -v1480 -v1481 v1482 -v1483 -v1484 -v1485 -v1486 -v1487 -v1488 -v1489 -v1490 -v1491 -v1492 -v1493 -v1494 -v1495 -v1496 -v1497 -v1498 -v1499 -v1500 -v1501 -v1502 -v1503 -v1504 v1505 -v1506 -v1507 -v1508 -v1509 -v1510 -v1511 -v1512 -v1513 -v1514 -v1515 -v1516 -v1517 -v1518 v1519 -v1520 -v1521 -v1522 -v1523 -v1524 -v1525 -v1526 -v1527 -v1528 -v1529 -v1530 -v1531 -v1532 v1533 -v1534 -v1535 -v1536 -v1537 -v1538 -v1539 -v1540 v1541 -v1542 -v1543 -v1544 -v1545 -v1546 -v1547 v1548 -v1549 -v1550 -v1551 -v1552 -v1553 -v1554 -v1555 -v1556 -v1557 -v1558 -v1559 v1560 -v1561 -v1562 -v1563 -v1564 -v1565 -v1566 -v1567 -v1568 -v1569 -v1570 -v1571 -v1572 -v1573 -v1574 -v1575 -v1576 -v1577 -v1578 -v1579 -v1580 -v1581 -v1582 v1583 -v1584 -v1585 -v1586 -v1587 v1588 -v1589 -v1590 -v1591 -v1592 -v1593 -v1594 -v1595 v1596 -v1597 -v1598 -v1599 -v1600 v1601 -v1602 -v1603 -v1604 -v1605 -v1606 -v1607 -v1608 -v1609 -v1610 -v1611 -v1612 -v1613 -v1614 -v1615 -v1616 -v1617 -v1618 -v1619 -v1620 -v1621 -v1622 -v1623 v1624 -v1625 -v1626 -v1627 -v1628 -v1629 -v1630 -v1631 -v1632 -v1633 -v1634 -v1635 v1636 -v1637 -v1638 -v1639 -v1640 -v1641 v1642 -v1643 -v1644 -v1645 -v1646 -v1647 -v1648 -v1649 -v1650 -v1651 -v1652 -v1653 -v1654 -v1655 -v1656 -v1657 -v1658 -v1659 -v1660 -v1661 -v1662 -v1663 -v1664 -v1665 -v1666 -v1667 -v1668 -v1669 -v1670 -v1671 -v1672 -v1673 -v1674 -v1675 -v1676 v1677 v1678 -v1679 -v1680 -v1681 -v1682 -v1683 -v1684 -v1685 -v1686 v1687 -v1688 -v1689 -v1690 -v1691 v1692 -v1693 -v1694 -v1695 -v1696 -v1697 -v1698 -v1699 -v1700 -v1701 -v1702 -v1703 -v1704 -v1705 -v1706 -v1707 v1708 -v1709 v1710 -v1711 -v1712 -v1713 -v1714 -v1715 -v1716 -v1717 -v1718 -v1719 -v1720 -v1721 -v1722 -v1723 -v1724 -v1725 -v1726 -v1727 -v1728 -v1729 -v1730 -v1731 v1732 -v1733 -v1734 -v1735 -v1736 -v1737 v1738 -v1739 -v1740 v1741 -v1742 -v1743 -v1744 -v1745 -v1746 -v1747 -v1748 -v1749 -v1750 -v1751 -v1752 -v1753 -v1754 -v1755 -v1756 -v1757 -v1758 -v1759 -v1760 -v1761 -v1762 -v1763 v1764 -v1765 -v1766 -v1767 -v1768 -v1769 -v1770 -v1771 -v1772 -v1773 -v1774 -v1775 -v1776 -v1777 -v1778 -v1779 v1780 -v1781 -v1782 -v1783 -v1784 -v1785 -v1786 v1787 -v1788 -v1789 -v1790 -v1791 -v1792 -v1793 -v1794 v1795 -v1796 -v1797 -v1798 -v1799 -v1800 v1801 -v1802 -v1803 -v1804 -v1805 -v1806 -v1807 -v1808 -v1809 -v1810 -v1811 -v1812 -v1813 -v1814 -v1815 -v1816 -v1817 v1818 -v1819 -v1820 v1821 -v1822 -v1823 -v1824 -v1825 -v1826 -v1827 -v1828 -v1829 -v1830 -v1831 -v1832 -v1833 -v1834 -v1835 -v1836 -v1837 -v1838 -v1839 -v1840 -v1841 -v1842 -v1843 v1844 -v1845 v1846 -v1847 -v1848 -v1849 -v1850 -v1851 -v1852 -v1853 -v1854 -v1855 v1856 -v1857 -v1858 -v1859 -v1860 -v1861 -v1862 -v1863 v1864 -v1865 -v1866 -v1867 -v1868 v1869 v1870 -v1871 v1872 -v1873 -v1874 -v1875 -v1876 -v1877 -v1878 -v1879 -v1880 -v1881 -v1882 -v1883 -v1884 -v1885 -v1886 -v1887 -v1888 -v1889 -v1890 -v1891 -v1892 -v1893 -v1894 -v1895 -v1896 v1897 -v1898 v1899 -v1900 -v1901 -v1902 -v1903 -v1904 -v1905 -v1906 -v1907 -v1908 -v1909 -v1910 -v1911 -v1912 -v1913 -v1914 -v1915 -v1916 -v1917 -v1918 -v1919 -v1920 -v1921 -v1922 -v1923 -v1924 -v1925 -v1926 -v1927 -v1928 -v1929 v1930 -v1931 -v1932 v1933 -v1934 -v1935 -v1936 -v1937 -v1938 -v1939 -v1940 -v1941 -v1942 -v1943 -v1944 -v1945 -v1946 -v1947 -v1948 -v1949 -v1950 -v1951 -v1952 -v1953 -v1954 -v1955 v1956 -v1957 -v1958 -v1959 -v1960 v1961 -v1962 -v1963 -v1964 -v1965 -v1966 -v1967 -v1968 -v1969 v1970 -v1971 -v1972 -v1973 -v1974 -v1975 -v1976 -v1977 -v1978 -v1979 -v1980 -v1981 -v1982 -v1983 -v1984 -v1985 -v1986 -v1987 -v1988 v1989 -v1990 -v1991 -v1992 -v1993 -v1994 -v1995 -v1996 -v1997 -v1998 -v1999 -v2000 -v2001 -v2002 -v2003 -v2004 -v2005 -v2006 -v2007 -v2008 -v2009 -v2010 -v2011 -v2012 -v2013 -v2014 -v2015 -v2016 -v2017 -v2018 -v2019 -v2020 v2021 -v2022 -v2023 -v2024 -v2025 -v2026 -v2027 -v2028 -v2029 -v2030 -v2031 -v2032 v2033 -v2034 -v2035 v2036 -v2037 -v2038 -v2039 -v2040 -v2041 -v2042 -v2043 -v2044 -v2045 -v2046 -v2047 -v2048 -v2049 -v2050 -v2051 -v2052 -v2053 -v2054 -v2055 -v2056 -v2057 -v2058 -v2059 -v2060 v2061 -v2062 -v2063 -v2064 -v2065 -v2066 -v2067 -v2068 -v2069 -v2070 -v2071 -v2072 -v2073 -v2074 -v2075 -v2076 -v2077 -v2078 -v2079 -v2080 -v2081 -v2082 -v2083 -v2084 -v2085 -v2086 -v2087 v2088 -v2089 v2090 -v2091 -v2092 -v2093 -v2094 -v2095 -v2096 -v2097 -v2098 -v2099 -v2100 -v2101 -v2102 -v2103 -v2104 -v2105 -v2106 -v2107 -v2108 -v2109 -v2110 -v2111 -v2112 -v2113 -v2114 -v2115 -v2116 -v2117 v2118 -v2119 -v2120 -v2121 -v2122 -v2123 -v2124 -v2125 -v2126 -v2127 v2128 -v2129 -v2130 -v2131 -v2132 -v2133 v2134 -v2135 -v2136 -v2137 -v2138 -v2139 -v2140 -v2141 -v2142 -v2143 -v2144 -v2145 -v2146 -v2147 -v2148 -v2149 -v2150 -v2151 -v2152 -v2153 -v2154 -v2155 -v2156 -v2157 -v2158 -v2159 -v2160 -v2161 -v2162 -v2163 -v2164 -v2165 -v2166 v2167 -v2168 -v2169 -v2170 -v2171 -v2172 -v2173 v2174 -v2175 -v2176 -v2177 -v2178 -v2179 -v2180 -v2181 -v2182 -v2183 v2184 -v2185 -v2186 -v2187 -v2188 -v2189 -v2190 -v2191 -v2192 -v2193 -v2194 -v2195 -v2196 -v2197 -v2198 -v2199 -v2200 -v2201 -v2202 -v2203 -v2204 -v2205 -v2206 -v2207 -v2208 -v2209 -v2210 -v2211 -v2212 -v2213 -v2214 -v2215 v2216 -v2217 -v2218 -v2219 -v2220 -v2221 -v2222 -v2223 -v2224 -v2225 -v2226 -v2227 -v2228 -v2229 -v2230 -v2231 -v2232 -v2233 -v2234 -v2235 -v2236 v2237 -v2238 v2239 -v2240 -v2241 -v2242 -v2243 -v2244 -v2245 -v2246 -v2247 -v2248 v2249 -v2250 -v2251 -v2252 -v2253 -v2254 -v2255 v2256 -v2257 -v2258 -v2259 v2260 -v2261 -v2262 -v2263 -v2264 -v2265 v2266 -v2267 -v2268 -v2269 -v2270 -v2271 -v2272 -v2273 -v2274 -v2275 -v2276 -v2277 -v2278 -v2279 -v2280 -v2281 -v2282 -v2283 -v2284 -v2285 v2286 -v2287 -v2288 -v2289 -v2290 -v2291 -v2292 -v2293 -v2294 -v2295 -v2296 -v2297 -v2298 -v2299 -v2300 -v2301 -v2302 v2303 -v2304 -v2305 -v2306 v2307 -v2308 -v2309 -v2310 -v2311 -v2312 -v2313 -v2314 -v2315 -v2316 -v2317 -v2318 -v2319 -v2320 -v2321 -v2322 -v2323 -v2324 -v2325 -v2326 -v2327 -v2328 -v2329 -v2330 -v2331 -v2332 -v2333 -v2334 -v2335 -v2336 -v2337 -v2338 -v2339 -v2340 -v2341 -v2342 -v2343 -v2344 -v2345 -v2346 -v2347 v2348 -v2349 -v2350 -v2351 -v2352 -v2353 -v2354 -v2355 -v2356 -v2357 -v2358 -v2359 -v2360 -v2361 -v2362 -v2363 -v2364 -v2365 -v2366 -v2367 -v2368 -v2369 -v2370 -v2371 -v2372 -v2373 -v2374 v2375 -v2376 -v2377 -v2378 -v2379 -v2380 -v2381 -v2382 -v2383 -v2384 -v2385 -v2386 -v2387 -v2388 -v2389 -v2390 -v2391 -v2392 -v2393 -v2394 -v2395 -v2396 -v2397 -v2398 v2399 -v2400 -v2401 -v2402 -v2403 v2404 -v2405 -v2406 -v2407 -v2408 -v2409 -v2410 -v2411 -v2412 -v2413 -v2414 -v2415 -v2416 -v2417 -v2418 -v2419 -v2420 -v2421 v2422 -v2423 -v2424 -v2425 -v2426 -v2427 -v2428 -v2429 -v2430 -v2431 -v2432 -v2433 -v2434 -v2435 -v2436 -v2437 -v2438 -v2439 -v2440 -v2441 -v2442 -v2443 -v2444 -v2445 v2446 -v2447 -v2448 -v2449 -v2450 -v2451 -v2452 -v2453 -v2454 -v2455 -v2456 -v2457 -v2458 -v2459 -v2460 -v2461 -v2462 -v2463 -v2464 -v2465 -v2466 -v2467 -v2468 v2469 -v2470 -v2471 -v2472 -v2473 -v2474 -v2475 -v2476 -v2477 -v2478 -v2479 -v2480 -v2481 -v2482 -v2483 -v2484 v2485 -v2486 -v2487 -v2488 -v2489 -v2490 -v2491 -v2492 -v2493 -v2494 -v2495 -v2496 -v2497 -v2498 -v2499 -v2500 -v2501 -v2502 -v2503 -v2504 v2505 -v2506 -v2507 -v2508 -v2509 -v2510 -v2511 -v2512 -v2513 v2514 -v2515 -v2516 -v2517 -v2518 -v2519 -v2520 -v2521 -v2522 -v2523 -v2524 -v2525 -v2526 -v2527 -v2528 -v2529 -v2530 -v2531 -v2532 -v2533 -v2534 -v2535 -v2536 -v2537 -v2538 -v2539 -v2540 -v2541 -v2542 -v2543 v2544 -v2545 -v2546 -v2547 -v2548 -v2549 -v2550 -v2551 -v2552 -v2553 -v2554 v2555 -v2556 v2557 -v2558 -v2559 -v2560 -v2561 -v2562 -v2563 -v2564 -v2565 -v2566 v2567 -v2568 -v2569 -v2570 -v2571 -v2572 -v2573 v2574 v2575 -v2576 -v2577 -v2578 -v2579 -v2580 -v2581 -v2582 -v2583 -v2584 -v2585 -v2586 -v2587 -v2588 -v2589 -v2590 -v2591 -v2592 -v2593 -v2594 -v2595 -v2596 -v2597 -v2598 -v2599 -v2600 v2601 -v2602 -v2603 -v2604 -v2605 -v2606 -v2607 -v2608 -v2609 -v2610 -v2611 -v2612 -v2613 -v2614 -v2615 -v2616 -v2617 -v2618 -v2619 -v2620 -v2621 -v2622 -v2623 -v2624 -v2625 -v2626 -v2627 -v2628 -v2629 -v2630 -v2631 -v2632 -v2633 -v2634 -v2635 -v2636 -v2637 -v2638 -v2639 -v2640 -v2641 -v2642 -v2643 -v2644 -v2645 -v2646 -v2647 -v2648 -v2649 -v2650 -v2651 -v2652 -v2653 -v2654 -v2655 -v2656 -v2657 -v2658 -v2659 -v2660 v2661 -v2662 -v2663 -v2664 -v2665 -v2666 -v2667 -v2668 -v2669 -v2670 -v2671 -v2672 -v2673 -v2674 -v2675 -v2676 -v2677 -v2678 -v2679 -v2680 -v2681 -v2682 -v2683 -v2684 -v2685 -v2686 -v2687 -v2688 -v2689 -v2690 -v2691 v2692 -v2693 -v2694 -v2695 -v2696 -v2697 -v2698 -v2699 -v2700 -v2701 -v2702 -v2703 -v2704 -v2705 -v2706 -v2707 -v2708 v2709 -v2710 -v2711 -v2712 -v2713 -v2714 -v2715 -v2716 -v2717 -v2718 -v2719 -v2720 -v2721 -v2722 v2723 -v2724 -v2725 -v2726 -v2727 -v2728 -v2729 -v2730 -v2731 -v2732 -v2733 -v2734 -v2735 -v2736 v2737 -v2738 -v2739 -v2740 -v2741 -v2742 -v2743 -v2744 v2745 -v2746 -v2747 -v2748 -v2749 -v2750 -v2751 -v2752 -v2753 -v2754 -v2755 v2756 -v2757 -v2758 -v2759 -v2760 -v2761 -v2762 -v2763 -v2764 v2765 -v2766 -v2767 -v2768 -v2769 -v2770 -v2771 -v2772 -v2773 -v2774 -v2775 -v2776 -v2777 -v2778 v2779 -v2780 -v2781 -v2782 -v2783 -v2784 -v2785 -v2786 -v2787 v2788 -v2789 -v2790 -v2791 v2792 -v2793 -v2794 -v2795 -v2796 -v2797 -v2798 -v2799 -v2800 -v2801 -v2802 -v2803 -v2804 -v2805 -v2806 -v2807 -v2808 -v2809 -v2810 -v2811 -v2812 -v2813 -v2814 -v2815 -v2816 -v2817 -v2818 -v2819 -v2820 -v2821 -v2822 -v2823 -v2824 -v2825 -v2826 -v2827 -v2828 -v2829 -v2830 -v2831 -v2832 -v2833 -v2834 -v2835 -v2836 -v2837 -v2838 -v2839 -v2840 -v2841 -v2842 -v2843 -v2844 -v2845 -v2846 -v2847 -v2848 -v2849 -v2850 -v2851 -v2852 -v2853 -v2854 -v2855 -v2856 -v2857 -v2858 v2859 -v2860 -v2861 -v2862 -v2863 -v2864 -v2865 -v2866 -v2867 -v2868 -v2869 -v2870 -v2871 -v2872 -v2873 -v2874 -v2875 v2876 -v2877 -v2878 -v2879 -v2880 -v2881 -v2882 -v2883 -v2884 -v2885 -v2886 -v2887 -v2888 -v2889 -v2890 -v2891 -v2892 -v2893 -v2894 -v2895 v2896 -v2897 -v2898 -v2899 -v2900 -v2901 -v2902 -v2903 -v2904 -v2905 v2906 -v2907 -v2908 -v2909 -v2910 v2911 -v2912 -v2913 -v2914 -v2915 -v2916 -v2917 -v2918 -v2919 -v2920 -v2921 -v2922 -v2923 -v2924 -v2925 -v2926 -v2927 -v2928 -v2929 -v2930 -v2931 -v2932 -v2933 -v2934 -v2935 -v2936 v2937 -v2938 -v2939 -v2940 -v2941 -v2942 -v2943 -v2944 -v2945 -v2946 -v2947 -v2948 -v2949 -v2950 -v2951 -v2952 -v2953 -v2954 -v2955 -v2956 -v2957 -v2958 -v2959 -v2960 -v2961 -v2962 -v2963 v2964 -v2965 -v2966 -v2967 -v2968 -v2969 -v2970 -v2971 -v2972 v2973 -v2974 -v2975 -v2976 -v2977 -v2978 -v2979 -v2980 -v2981 -v2982 -v2983 -v2984 -v2985 -v2986 -v2987 -v2988 -v2989 -v2990 -v2991 -v2992 -v2993 -v2994 -v2995 -v2996 -v2997 -v2998 -v2999 -v3000 -v3001 -v3002 -v3003 -v3004 -v3005 -v3006 -v3007 -v3008 -v3009 -v3010 -v3011 -v3012 -v3013 -v3014 -v3015 -v3016 -v3017 -v3018 -v3019 -v3020 -v3021 -v3022 -v3023 -v3024 -v3025 -v3026 -v3027 -v3028 -v3029 -v3030 -v3031 -v3032 -v3033 -v3034 -v3035 -v3036 -v3037 -v3038 -v3039 v3040 -v3041 -v3042 -v3043 -v3044 v3045 -v3046 -v3047 -v3048 -v3049 -v3050 -v3051 -v3052 -v3053 -v3054 -v3055 -v3056 -v3057 -v3058 -v3059 -v3060 -v3061 -v3062 -v3063 -v3064 -v3065 -v3066 -v3067 v3068 -v3069 -v3070 -v3071 -v3072 -v3073 -v3074 -v3075 -v3076 v3077 -v3078 -v3079 -v3080 -v3081 -v3082 -v3083 -v3084 -v3085 -v3086 -v3087 -v3088 -v3089 -v3090 -v3091 -v3092 -v3093 -v3094 -v3095 -v3096 -v3097 -v3098 -v3099 -v3100 -v3101 -v3102 -v3103 -v3104 -v3105 v3106 -v3107 -v3108 -v3109 -v3110 -v3111 -v3112 -v3113 -v3114 -v3115 -v3116 -v3117 -v3118 -v3119 v3120 -v3121 -v3122 -v3123 -v3124 -v3125 v3126 -v3127 -v3128 -v3129 -v3130 -v3131 -v3132 -v3133 -v3134 -v3135 -v3136 -v3137 -v3138 -v3139 -v3140 v3141 -v3142 -v3143 -v3144 -v3145 -v3146 -v3147 -v3148 -v3149 -v3150 -v3151 -v3152 -v3153 -v3154 -v3155 v3156 -v3157 -v3158 -v3159 -v3160 -v3161 -v3162 -v3163 -v3164 -v3165 -v3166 -v3167 -v3168 -v3169 -v3170 -v3171 -v3172 v3173 -v3174 -v3175 -v3176 -v3177 -v3178 -v3179 -v3180 -v3181 -v3182 -v3183 -v3184 -v3185 -v3186 -v3187 -v3188 -v3189 v3190 -v3191 -v3192 -v3193 -v3194 -v3195 -v3196 -v3197 v3198 -v3199 -v3200 -v3201 -v3202 -v3203 -v3204 v3205 -v3206 -v3207 -v3208 -v3209 -v3210 -v3211 -v3212 -v3213 -v3214 -v3215 -v3216 -v3217 -v3218 -v3219 -v3220 -v3221 -v3222 -v3223 -v3224 -v3225 -v3226 -v3227 -v3228 -v3229 -v3230 -v3231 -v3232 -v3233 -v3234 -v3235 -v3236 -v3237 -v3238 -v3239 -v3240 -v3241 -v3242 -v3243 -v3244 -v3245 -v3246 -v3247 -v3248 -v3249 -v3250 -v3251 v3252 -v3253 -v3254 v3255 -v3256 -v3257 -v3258 -v3259 -v3260 -v3261 -v3262 -v3263 v3264 -v3265 -v3266 -v3267 -v3268 -v3269 -v3270 -v3271 -v3272 -v3273 -v3274 -v3275 -v3276 -v3277 -v3278 -v3279 -v3280 -v3281 -v3282 -v3283 -v3284 -v3285 -v3286 -v3287 v3288 -v3289 -v3290 v3291 -v3292 -v3293 -v3294 -v3295 v3296 -v3297 -v3298 -v3299 -v3300 -v3301 v3302 -v3303 -v3304 -v3305 -v3306 -v3307 -v3308 -v3309 -v3310 -v3311 -v3312 -v3313 -v3314 -v3315 -v3316 -v3317 v3318 -v3319 -v3320 -v3321 -v3322 v3323 -v3324 -v3325 -v3326 -v3327 -v3328 -v3329 -v3330 -v3331 -v3332 -v3333 v3334 -v3335 -v3336 -v3337 -v3338 -v3339 -v3340 -v3341 -v3342 -v3343 v3344 -v3345 -v3346 -v3347 -v3348 v3349 -v3350 -v3351 -v3352 -v3353 -v3354 -v3355 -v3356 -v3357 -v3358 -v3359 v3360 -v3361 v3362 -v3363 -v3364 -v3365 -v3366 -v3367 -v3368 -v3369 -v3370 v3371 -v3372 -v3373 -v3374 -v3375 -v3376 -v3377 -v3378 -v3379 -v3380 -v3381 -v3382 -v3383 -v3384 -v3385 -v3386 -v3387 -v3388 -v3389 v3390 -v3391 -v3392 v3393 -v3394 -v3395 -v3396 -v3397 -v3398 -v3399 -v3400 -v3401 -v3402 -v3403 v3404 -v3405 -v3406 -v3407 -v3408 -v3409 v3410 -v3411 -v3412 -v3413 -v3414 -v3415 -v3416 -v3417 -v3418 -v3419 -v3420 -v3421 -v3422 -v3423 -v3424 v3425 -v3426 -v3427 -v3428 -v3429 -v3430 -v3431 v3432 -v3433 -v3434 -v3435 -v3436 -v3437 -v3438 -v3439 -v3440 -v3441 -v3442 -v3443 -v3444 -v3445 -v3446 -v3447 -v3448 -v3449 -v3450 -v3451 -v3452 -v3453 -v3454 v3455 -v3456 -v3457 -v3458 -v3459 -v3460 -v3461 v3462 -v3463 -v3464 -v3465 -v3466 -v3467 -v3468 -v3469 v3470 -v3471 -v3472 -v3473 -v3474 -v3475 v3476 -v3477 -v3478 -v3479 -v3480 -v3481 -v3482 -v3483 -v3484 -v3485 -v3486 -v3487 -v3488 -v3489 -v3490 -v3491 -v3492 -v3493 -v3494 -v3495 v3496 -v3497 -v3498 -v3499 v3500 -v3501 -v3502 -v3503 -v3504 -v3505 -v3506 -v3507 -v3508 -v3509 -v3510 -v3511 -v3512 -v3513 -v3514 -v3515 -v3516 -v3517 -v3518 -v3519 -v3520 -v3521 -v3522 -v3523 -v3524 -v3525 -v3526 -v3527 -v3528 -v3529 -v3530 -v3531 -v3532 -v3533 -v3534 v3535 -v3536 -v3537 -v3538 -v3539 -v3540 -v3541 v3542 -v3543 -v3544 -v3545 -v3546 -v3547 -v3548 -v3549 -v3550 v3551 -v3552 -v3553 -v3554 -v3555 -v3556 -v3557 -v3558 -v3559 -v3560 -v3561 -v3562 -v3563 -v3564 -v3565 -v3566 -v3567 -v3568 -v3569 -v3570 -v3571 -v3572 -v3573 -v3574 -v3575 -v3576 -v3577 -v3578 -v3579 -v3580 -v3581 -v3582 -v3583 -v3584 -v3585 -v3586 -v3587 v3588 -v3589 -v3590 -v3591 -v3592 v3593 -v3594 -v3595 v3596 -v3597 -v3598 -v3599 -v3600 -v3601 -v3602 -v3603 -v3604 -v3605 -v3606 v3607 -v3608 -v3609 -v3610 -v3611 -v3612 -v3613 -v3614 -v3615 v3616 -v3617 -v3618 -v3619 -v3620 -v3621 -v3622 -v3623 -v3624 -v3625 -v3626 -v3627 -v3628 -v3629 -v3630 -v3631 -v3632 -v3633 -v3634 -v3635 -v3636 -v3637 -v3638 -v3639 -v3640 -v3641 -v3642 v3643 -v3644 -v3645 -v3646 -v3647 -v3648 -v3649 -v3650 -v3651 -v3652 -v3653 -v3654 -v3655 -v3656 -v3657 -v3658 -v3659 -v3660 -v3661 -v3662 -v3663 -v3664 -v3665 -v3666 -v3667 -v3668 -v3669 -v3670 -v3671 -v3672 v3673 -v3674 -v3675 -v3676 -v3677 -v3678 -v3679 -v3680 -v3681 -v3682 -v3683 -v3684 -v3685 -v3686 v3687 -v3688 -v3689 -v3690 -v3691 v3692 -v3693 -v3694 -v3695 -v3696 -v3697 -v3698 -v3699 -v3700 -v3701 v3702 -v3703 -v3704 -v3705 -v3706 -v3707 -v3708 -v3709 -v3710 -v3711 -v3712 -v3713 -v3714 -v3715 -v3716 -v3717 v3718 -v3719 -v3720 -v3721 -v3722 -v3723 -v3724 -v3725 -v3726 -v3727 -v3728 -v3729 -v3730 -v3731 -v3732 -v3733 -v3734 -v3735 -v3736 -v3737 -v3738 -v3739 -v3740 -v3741 -v3742 -v3743 -v3744 -v3745 -v3746 -v3747 -v3748 -v3749 v3750 -v3751 -v3752 -v3753 -v3754 -v3755 -v3756 -v3757 -v3758 -v3759 -v3760 -v3761 -v3762 -v3763 v3764 -v3765 -v3766 -v3767 -v3768 -v3769 v3770 -v3771 -v3772 -v3773 -v3774 -v3775 -v3776 -v3777 -v3778 -v3779 -v3780 -v3781 -v3782 -v3783 -v3784 -v3785 -v3786 -v3787 -v3788 -v3789 -v3790 -v3791 -v3792 -v3793 -v3794 -v3795 -v3796 -v3797 -v3798 -v3799 -v3800 -v3801 -v3802 -v3803 -v3804 -v3805 -v3806 -v3807 -v3808 -v3809 -v3810 -v3811 -v3812 -v3813 -v3814 -v3815 -v3816 -v3817 -v3818 -v3819 -v3820 v3821 -v3822 -v3823 -v3824 -v3825 -v3826 -v3827 -v3828 -v3829 -v3830 -v3831 -v3832 -v3833 -v3834 -v3835 -v3836 -v3837 -v3838 -v3839 -v3840 -v3841 -v3842 -v3843 -v3844 -v3845 -v3846 v3847 -v3848 -v3849 -v3850 -v3851 -v3852 -v3853 -v3854 -v3855 -v3856 -v3857 -v3858 -v3859 -v3860 -v3861 -v3862 -v3863 -v3864 -v3865 -v3866 -v3867 -v3868 -v3869 v3870 v3871 -v3872 -v3873 -v3874 -v3875 -v3876 -v3877 -v3878 v3879 -v3880 -v3881 -v3882 -v3883 -v3884 -v3885 -v3886 -v3887 -v3888 -v3889 -v3890 -v3891 -v3892 -v3893 -v3894 -v3895 -v3896 -v3897 -v3898 -v3899 -v3900 -v3901 -v3902 -v3903 -v3904 -v3905 -v3906 -v3907 -v3908 -v3909 -v3910 -v3911 -v3912 -v3913 -v3914 -v3915 -v3916 -v3917 -v3918 -v3919 -v3920 -v3921 -v3922 v3923 -v3924 -v3925 -v3926 -v3927 -v3928 -v3929 -v3930 -v3931 -v3932 -v3933 -v3934 -v3935 -v3936 -v3937 -v3938 -v3939 -v3940 -v3941 -v3942 -v3943 -v3944 -v3945 -v3946 -v3947 -v3948 -v3949 -v3950 -v3951 -v3952 -v3953 -v3954 -v3955 -v3956 -v3957 -v3958 -v3959 -v3960 -v3961 -v3962 -v3963 -v3964 -v3965 -v3966 -v3967 -v3968 -v3969 -v3970 -v3971 -v3972 -v3973 v3974 -v3975 -v3976 -v3977 -v3978 -v3979 -v3980 -v3981 -v3982 -v3983 -v3984 -v3985 -v3986 -v3987 -v3988 -v3989 -v3990 -v3991 -v3992 -v3993 -v3994 -v3995 -v3996 -v3997 -v3998 -v3999 -v4000 -v4001 v4002 -v4003 -v4004 -v4005 -v4006 -v4007 -v4008 -v4009 -v4010 -v4011 -v4012 -v4013 -v4014 -v4015 -v4016 -v4017 -v4018 -v4019 -v4020 v4021 -v4022 -v4023 -v4024 -v4025 -v4026 -v4027 -v4028 -v4029 v4030 -v4031 -v4032 -v4033 -v4034 -v4035 -v4036 -v4037 -v4038 -v4039 -v4040 v4041 -v4042 -v4043 -v4044 -v4045 -v4046 -v4047 -v4048 -v4049 -v4050 -v4051 -v4052 -v4053 -v4054 -v4055 -v4056 -v4057 -v4058 -v4059 -v4060 -v4061 -v4062 -v4063 -v4064 -v4065 -v4066 -v4067 -v4068 -v4069 -v4070 -v4071 -v4072 -v4073 -v4074 -v4075 -v4076 -v4077 -v4078 -v4079 -v4080 -v4081 -v4082 -v4083 -v4084 -v4085 -v4086 -v4087 v4088 -v4089 -v4090 -v4091 -v4092 -v4093 -v4094 -v4095 -v4096 -v4097 -v4098 -v4099 -v4100 -v4101 -v4102 -v4103 -v4104 -v4105 -v4106 -v4107 -v4108 -v4109 -v4110 -v4111 -v4112 -v4113 -v4114 -v4115 -v4116 -v4117 -v4118 -v4119 -v4120 -v4121 -v4122 -v4123 -v4124 -v4125 -v4126 -v4127 -v4128 -v4129 -v4130 -v4131 -v4132 -v4133 -v4134 -v4135 -v4136 -v4137 -v4138 -v4139 -v4140 -v4141 v4142 -v4143 -v4144 -v4145 -v4146 -v4147 -v4148 -v4149 -v4150 v4151 -v4152 -v4153 -v4154 -v4155 -v4156 -v4157 -v4158 -v4159 -v4160 -v4161 -v4162 -v4163 -v4164 -v4165 -v4166 -v4167 v4168 -v4169 -v4170 -v4171 -v4172 -v4173 -v4174 -v4175 -v4176 -v4177 -v4178 -v4179 -v4180 -v4181 -v4182 -v4183 -v4184 -v4185 -v4186 -v4187 -v4188 -v4189 -v4190 -v4191 -v4192 -v4193 -v4194 -v4195 -v4196 -v4197 -v4198 -v4199 -v4200 -v4201 -v4202 -v4203 -v4204 -v4205 -v4206 v4207 -v4208 -v4209 -v4210 -v4211 -v4212 -v4213 -v4214 -v4215 -v4216 v4217 -v4218 -v4219 -v4220 -v4221 -v4222 -v4223 -v4224 -v4225 -v4226 -v4227 -v4228 -v4229 -v4230 -v4231 -v4232 v4233 -v4234 -v4235 -v4236 -v4237 -v4238 -v4239 -v4240 -v4241 -v4242 -v4243 -v4244 -v4245 -v4246 -v4247 -v4248 -v4249 -v4250 -v4251 -v4252 -v4253 -v4254 -v4255 -v4256 -v4257 -v4258 -v4259 -v4260 -v4261 -v4262 -v4263 -v4264 -v4265 -v4266 -v4267 -v4268 -v4269 -v4270 -v4271 -v4272 -v4273 -v4274 -v4275 -v4276 -v4277 -v4278 -v4279 -v4280 -v4281 v4282 -v4283 -v4284 -v4285 -v4286 -v4287 -v4288 -v4289 -v4290 -v4291 -v4292 -v4293 -v4294 -v4295 -v4296 -v4297 -v4298 -v4299 -v4300 -v4301 -v4302 -v4303 -v4304 -v4305 -v4306 -v4307 -v4308 -v4309 -v4310 -v4311 -v4312 -v4313 -v4314 -v4315 -v4316 -v4317 -v4318 -v4319 -v4320 -v4321 -v4322 -v4323 -v4324 -v4325 -v4326 -v4327 -v4328 -v4329 -v4330 -v4331 -v4332 -v4333 -v4334 -v4335 -v4336 -v4337 -v4338 -v4339 -v4340 -v4341 -v4342 -v4343 -v4344 -v4345 -v4346 -v4347 -v4348 -v4349 -v4350 -v4351 -v4352 -v4353 -v4354 -v4355 -v4356 -v4357 -v4358 -v4359 -v4360 -v4361 -v4362 -v4363 -v4364 -v4365 -v4366 -v4367 -v4368 -v4369 -v4370 -v4371 -v4372 -v4373 -v4374 -v4375 -v4376 -v4377 -v4378 -v4379 -v4380 -v4381 -v4382 -v4383 -v4384 -v4385 -v4386 -v4387 -v4388 -v4389 -v4390 v4391 -v4392 -v4393 -v4394 -v4395 -v4396 -v4397 -v4398 -v4399 -v4400 -v4401 -v4402 -v4403 -v4404 -v4405 -v4406 -v4407 -v4408 -v4409 -v4410 -v4411 -v4412 -v4413 -v4414 -v4415 -v4416 -v4417 -v4418 -v4419 -v4420 -v4421 -v4422 -v4423 -v4424 -v4425 -v4426 -v4427 -v4428 -v4429 -v4430 -v4431 -v4432 -v4433 -v4434 v4435 -v4436 -v4437 -v4438 -v4439 -v4440 -v4441 -v4442 -v4443 v4444 -v4445 -v4446 -v4447 -v4448 -v4449 -v4450 -v4451 -v4452 -v4453 -v4454 -v4455 -v4456 -v4457 -v4458 -v4459 -v4460 -v4461 -v4462 -v4463 -v4464 -v4465 -v4466 -v4467 -v4468 -v4469 -v4470 -v4471 -v4472 -v4473 -v4474 -v4475 -v4476 -v4477 -v4478 -v4479 -v4480 -v4481 -v4482 -v4483 -v4484 -v4485 -v4486 -v4487 -v4488 -v4489 -v4490 -v4491 -v4492 -v4493 -v4494 -v4495 -v4496 -v4497 -v4498 -v4499 v4500 -v4501 -v4502 -v4503 -v4504 -v4505 -v4506 -v4507 -v4508 -v4509 -v4510 -v4511 -v4512 v4513 -v4514 -v4515 -v4516 -v4517 -v4518 -v4519 -v4520 -v4521 -v4522 v4523 -v4524 -v4525 -v4526 -v4527 -v4528 -v4529 -v4530 -v4531 -v4532 -v4533 -v4534 -v4535 -v4536 -v4537 -v4538 -v4539 -v4540 -v4541 -v4542 -v4543 -v4544 -v4545 -v4546 -v4547 -v4548 -v4549 -v4550 -v4551 v4552 -v4553 -v4554 -v4555 -v4556 -v4557 -v4558 -v4559 -v4560 -v4561 -v4562 -v4563 -v4564 -v4565 -v4566 -v4567 -v4568 -v4569 -v4570 -v4571 -v4572 -v4573 -v4574 v4575 -v4576 -v4577 -v4578 -v4579 -v4580 -v4581 -v4582 -v4583 -v4584 -v4585 -v4586 -v4587 -v4588 -v4589 -v4590 -v4591 -v4592 -v4593 -v4594 -v4595 v4596 -v4597 -v4598 -v4599 -v4600 -v4601 -v4602 -v4603 -v4604 -v4605 -v4606 -v4607 -v4608 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 9093
Raw data (stat): 9093 (runsolver) R 9092 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850405238 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 9093
Raw data (stat): 9093 (Pueblo-v2) R 9092 21152 21151 0 -1 0 2534 0 0 0 993 6 0 0 25 0 1 0 850405238 16408576 2508 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4006 2508 566 18 0 3988 0
vsize: 16024
[startup+20.001 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 9093
Raw data (stat): 9093 (Pueblo-v2) R 9092 21152 21151 0 -1 0 4434 0 0 0 1989 10 0 0 25 0 1 0 850405238 24219648 4408 4294967295 134512640 134581267 3221224576 3221223504 134519883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5913 4408 566 18 0 5895 0
vsize: 23652
[startup+21.1833 s]
Raw data (loadavg): 0.95 0.98 0.99 1/53 9093
Raw data (stat): 9093 (Pueblo-v2) R 9092 21152 21151 0 -1 0 4434 0 0 0 1989 10 0 0 25 0 1 0 850405238 24219648 4408 4294967295 134512640 134581267 3221224576 3221223504 134519883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5913 4408 566 18 0 5895 0
vsize: 0

Child status: 10
Real time (s): 21.183
CPU time (s): 21.1738
CPU user time (s): 21.0548
CPU system time (s): 0.118981
CPU usage (%): 99.9563
Max. virtual memory (Kb): 23652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####