Some explanations

1. 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.
2. SOLVER DATA
   This is the output of the solver (stdout and stderr).
3. 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.
4. 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

Trace number 38561

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 14:13:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26632 boxname=wulflinc4 idbench=362 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  41edd2db35f2c8eb6d4b1f0a68a60338  /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:1-12,16.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:1-12,16.opb
IDLAUNCH: 26632
/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:        678728 kB
Buffers:         34232 kB
Cached:         299556 kB
SwapCached:        568 kB
Active:          25696 kB
Inactive:       310172 kB
HighTotal:      131008 kB
HighFree:         1876 kB
LowTotal:       903652 kB
LowFree:        676852 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            14288 kB
Committed_AS:    71772 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 14:13:49 (client local time) WITH STATUS 10 IN 6.63699 SECONDS
stats: 26632 0 6.63699 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-12,16.opb
c #variables read: 4662 - #constraints read: 36561
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 -v4609 -v4610 -v4611 -v4612 -v4613 -v4614 -v4615 -v4616 -v4617 -v4618 -v4619 -v4620 -v4621 -v4622 -v4623 -v4624 -v4625 -v4626 -v4627 -v4628 -v4629 -v4630 -v4631 -v4632 -v4633 -v4634 -v4635 -v4636 -v4637 -v4638 -v4639 -v4640 -v4641 -v4642 -v4643 -v4644 -v4645 -v4646 -v4647 -v4648 -v4649 -v4650 -v4651 -v4652 -v4653 -v4654 -v4655 -v4656 -v4657 -v4658 -v4659 -v4660 -v4661 -v4662 
#### 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.79 0.94 0.98 2/54 9279
Raw data (stat): 9279 (runsolver) R 9278 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850411112 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+6.64695 s]
Raw data (loadavg): 0.82 0.94 0.98 1/53 9279
Raw data (stat): 9279 (runsolver) R 9278 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850411112 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: 0

Child status: 10
Real time (s): 6.64667
CPU time (s): 6.63699
CPU user time (s): 6.568
CPU system time (s): 0.068989
CPU usage (%): 99.8544
Max. virtual memory (Kb): 864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####