Trace number 348033

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 into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT (TO)263089 1800.17 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-blp-ir98.opb
MD5SUM395bac5c9d0c4cdb5ae1073c67c6675c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark263089
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 263089
Optimality of the best value was proved NO
Number of variables7287
Total number of constraints529
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)420
Number of constraints which are nor clauses,nor cardinality constraints109
Minimum length of a constraint3
Maximum length of a constraint6062
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527290
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.01	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/348033-1176566274/instance-348033-1176566274.opb
0.00/0.01	c File size is 817001 bytes.
0.08/0.17	c Highest Coefficient sum: 527290
0.08/0.17	c Parsing was ok!!
0.08/0.17	c Total parsing time: 0.159 s
0.08/0.18	c Var: 7287 Constr: 595 0/420/175 Lit: 155248 Watch. Lit: 80478
0.08/0.18	c Obj. Vars: 31 (0.425415 % of total variables)
28.38/28.48	c Pre-processing Time: 28.469 s
28.38/28.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
28.38/28.49	c        0   7156      593   155220  261   111763  326665      0      0 28.47
28.38/28.49	c Switching off LPR mode.
215.06/215.22	c      100   7156      693   189517  273   110308  359332    100      3 30.92
215.06/215.22	c      250   7156      843   230297  273   110543  395266    250      5 43.83
215.06/215.22	c      475   7156     1068   351071  328   113910  434793    475      8 53.62
215.06/215.22	c      813   7156     1406   556519  395   113832  478273    813     10 79.78
215.06/215.22	c     1322   7156     1915  1064299  555   116115  526101   1322      9 134.01
215.06/215.22	c     2085   7156     2678  1625105  606   118604  578712   2085     10 198.14
215.06/215.22	c     3233   7156     3826  2661866  695   119528  636584   3233     15 204.43
215.06/215.22	o 263089	215.091
1799.95/1800.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.95/1800.57	c     3889   7156     4483  3444710  768   122057  326727   3890     18 215.10
1799.95/1800.57	c     3989   7156     4583  3575628  780   122222  359400   3990     18 216.65
1799.95/1800.57	c     4239   7156     4833  3926023  812   122744  395341   4240     19 221.51
1799.95/1800.57	c     4715   7156     5309  4234223  797   123709  434876   4716     21 224.35
1799.95/1800.57	c     5528   7156     6122  4790417  782   124902  478364   5529     23 233.89
1799.95/1800.57	c     6848   7156     7442  5627188  756   127499  526201   6849     27 248.14
1799.95/1800.57	c     8929   7156     9523  7011837  736   131521  578822   8930     32 270.92
1799.95/1800.57	c    12152   7156    12746  9004575  706   137772  636705  12153     39 308.34
1799.95/1800.57	c    17088   7156    17682 12124740  685   147552  700376  17089     45 372.63
1799.95/1800.57	c    24594   7156    25188 16732022  664   162420  770414  24595     51 474.70
1799.95/1800.57	c    35955   7156    36549 23796789  651   185024  847456  35956     54 661.38
1799.95/1800.57	c    53099   7156    53693 34352845  639   219177  932202  53100     56 933.84
1799.95/1800.57	c    78918   7156    79512 50282170  632   270660  500000  78919     52 1514.07
1799.95/1800.57	c Resources Exceeded
1799.95/1800.57	v -x1226 -x1227 x1228 x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 x1243
1799.95/1800.57	v -x1244 x1245 x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x631 -x632 -x633 -x634 -x635 -x636
1799.95/1800.57	v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657
1799.95/1800.57	v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 x677 x678
1799.95/1800.57	v x679 x680 x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700
1799.95/1800.57	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721
1799.95/1800.57	v -x722 -x723 -x724 -x725 -x726 x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 x738 -x739 -x740 x741 x742 -x743
1799.95/1800.57	v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764
1799.95/1800.57	v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785
1799.95/1800.57	v -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806
1799.95/1800.57	v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827
1799.95/1800.57	v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848
1799.95/1800.57	v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869
1799.95/1800.57	v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
1799.95/1800.57	v -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911
1799.95/1800.57	v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932
1799.95/1800.57	v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953
1799.95/1800.57	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974
1799.95/1800.57	v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 x990 -x991 x992 x993 -x994 x995 x996
1799.95/1800.57	v x997 x998 x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015
1799.95/1800.57	v -x1016 -x1017 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1018 -x1019
1799.95/1800.57	v -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036
1799.95/1800.57	v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066
1799.95/1800.57	v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083
1799.95/1800.57	v -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
1799.95/1800.57	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117
1799.95/1800.57	v -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134
1799.95/1800.57	v -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151
1799.95/1800.57	v -x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169
1799.95/1800.57	v -x1170 x1171 -x1172 -x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188
1799.95/1800.57	v -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205
1799.95/1800.57	v -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222
1799.95/1800.57	v -x1223 -x1224 -x1225 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
1799.95/1800.57	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287
1799.95/1800.57	v -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304
1799.95/1800.57	v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321
1799.95/1800.57	v -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338
1799.95/1800.57	v -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355
1799.95/1800.57	v -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372
1799.95/1800.57	v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389
1799.95/1800.57	v -x1390 -x1391 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1421 -x1422 -x1423 -x1424
1799.95/1800.57	v -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441
1799.95/1800.57	v -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458
1799.95/1800.57	v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475
1799.95/1800.57	v -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492
1799.95/1800.57	v -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509
1799.95/1800.57	v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526
1799.95/1800.57	v -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543
1799.95/1800.57	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
1799.95/1800.57	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577
1799.95/1800.57	v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594
1799.95/1800.57	v -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611
1799.95/1800.57	v -x1612 -x1613 -x1614 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637
1799.95/1800.57	v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654
1799.95/1800.57	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
1799.95/1800.57	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688
1799.95/1800.57	v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705
1799.95/1800.57	v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722
1799.95/1800.57	v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739
1799.95/1800.57	v -x1740 -x1741 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912
1799.95/1800.57	v -x1913 -x1914 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291
1799.95/1800.57	v -x2292 -x2293 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446
1799.95/1800.57	v -x2447 -x2448 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808
1799.95/1800.57	v -x2809 -x2810 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008
1799.95/1800.57	v -x3009 -x3010 -x3011 -x3100 -x3101 -x3102 x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113
1799.95/1800.57	v -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3417 -x3418 -x3419
1799.95/1800.57	v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436
1799.95/1800.57	v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601
1799.95/1800.57	v -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618
1799.95/1800.57	v -x3619 -x3620 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822
1799.95/1800.57	v -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x4048 -x4049 -x4050 -x4051 -x4052
1799.95/1800.57	v -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069
1799.95/1800.57	v -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249
1799.95/1800.57	v -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373
1799.95/1800.57	v -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390
1799.95/1800.57	v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4411 -x4412 -x4413 -x4414 -x4415
1799.95/1800.57	v -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432
1799.95/1800.57	v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449
1799.95/1800.57	v -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466
1799.95/1800.57	v -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483
1799.95/1800.57	v -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500
1799.95/1800.57	v -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4523 -x4524 -x4525
1799.95/1800.57	v -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714
1799.95/1800.57	v -x4715 -x4716 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797
1799.95/1800.57	v -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814
1799.95/1800.57	v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831
1799.95/1800.57	v -x4832 -x4833 -x4834 -x4835 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854
1799.95/1800.57	v -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061
1799.95/1800.57	v -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5237 -x5238
1799.95/1800.57	v -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255
1799.95/1800.57	v -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421
1799.95/1800.57	v -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714
1799.95/1800.57	v -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999
1799.95/1800.57	v -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095
1799.95/1800.57	v -x6096 -x6097 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220
1799.95/1800.57	v -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322
1799.95/1800.57	v -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440
1799.95/1800.57	v -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457
1799.95/1800.57	v -x6458 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646
1799.95/1800.57	v -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775
1799.95/1800.57	v -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792
1799.95/1800.57	v -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809
1799.95/1800.57	v -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6877 -x6878 -x6879 -x6880 -x6881
1799.95/1800.57	v -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6951 -x6952 -x6953 -x6954
1799.95/1800.57	v -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971
1799.95/1800.57	v -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072
1799.95/1800.57	v -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089
1799.95/1800.57	v -x7090 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124
1799.95/1800.57	v -x7125 -x7126 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7197
1799.95/1800.57	v -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214
1799.95/1800.57	v -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243
1799.95/1800.57	v -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260
1799.95/1800.57	v -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277
1799.95/1800.57	v -x7278 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418
1799.95/1800.57	v -x1419 -x1420 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747
1799.95/1800.57	v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x2908 -x2909 -x2910 -x2911 -x2912
1799.95/1800.57	v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x3259 -x3260 -x3261 -x3262
1799.95/1800.57	v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3497 -x3498 -x3499 -x3500
1799.95/1800.57	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517
1799.95/1800.57	v -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3748 -x3749 -x3750 -x3751
1799.95/1800.57	v -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3948 -x3949 -x3950 -x3951
1799.95/1800.57	v -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x4195 -x4196 -x4197
1799.95/1800.57	v -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214
1799.95/1800.57	v -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4678 x4679 -x4680
1799.95/1800.57	v -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4962 -x4963 -x4964
1799.95/1800.57	v -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x5139 -x5140 -x5141
1799.95/1800.57	v -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5324 -x5325 -x5326
1799.95/1800.57	v -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5518 -x5519 -x5520
1799.95/1800.57	v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537
1799.95/1800.57	v -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5808 -x5809
1799.95/1800.57	v -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826
1799.95/1800.57	v -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843
1799.95/1800.57	v -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075
1799.95/1800.57	v x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346
1799.95/1800.57	v -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475
1799.95/1800.57	v -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492
1799.95/1800.57	v -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509
1799.95/1800.57	v -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526
1799.95/1800.57	v -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543
1799.95/1800.57	v -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560
1799.95/1800.57	v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577
1799.95/1800.57	v -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594
1799.95/1800.57	v -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611
1799.95/1800.57	v -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628
1799.95/1800.57	v -x6629 -x6630 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774
1799.95/1800.57	v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791
1799.95/1800.57	v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808
1799.95/1800.57	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
1799.95/1800.57	v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842
1799.95/1800.57	v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859
1799.95/1800.57	v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876
1799.95/1800.57	v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893
1799.95/1800.57	v -x1894 -x1895 -x1896 -x1897 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927
1799.95/1800.57	v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944
1799.95/1800.57	v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961
1799.95/1800.57	v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978
1799.95/1800.57	v -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995
1799.95/1800.57	v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012
1799.95/1800.57	v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029
1799.95/1800.57	v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046
1799.95/1800.57	v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063
1799.95/1800.57	v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
1799.95/1800.57	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097
1799.95/1800.57	v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114
1799.95/1800.57	v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131
1799.95/1800.57	v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148
1799.95/1800.57	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165
1799.95/1800.57	v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182
1799.95/1800.57	v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199
1799.95/1800.57	v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216
1799.95/1800.57	v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233
1799.95/1800.57	v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
1799.95/1800.57	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267
1799.95/1800.57	v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301
1799.95/1800.57	v -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318
1799.95/1800.57	v -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335
1799.95/1800.57	v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352
1799.95/1800.57	v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369
1799.95/1800.57	v -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386
1799.95/1800.57	v -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403
1799.95/1800.57	v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
1799.95/1800.57	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454
1799.95/1800.57	v -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471
1799.95/1800.57	v -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488
1799.95/1800.57	v -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505
1799.95/1800.57	v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522
1799.95/1800.57	v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539
1799.95/1800.57	v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556
1799.95/1800.57	v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573
1799.95/1800.57	v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
1799.95/1800.57	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607
1799.95/1800.57	v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624
1799.95/1800.57	v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641
1799.95/1800.57	v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658
1799.95/1800.57	v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675
1799.95/1800.57	v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692
1799.95/1800.57	v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709
1799.95/1800.57	v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726
1799.95/1800.57	v -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743
1799.95/1800.57	v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
1799.95/1800.57	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777
1799.95/1800.57	v -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2811
1799.95/1800.57	v -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828
1799.95/1800.57	v -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845
1799.95/1800.57	v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862
1799.95/1800.57	v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879
1799.95/1800.57	v -x2880 -x2881 -x2882 -x2883 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902
1799.95/1800.57	v -x2903 -x2904 -x2905 -x2906 -x2907 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937
1799.95/1800.57	v -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954
1799.95/1800.57	v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971
1799.95/1800.57	v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988
1799.95/1800.57	v -x2989 -x2990 -x2991 -x2992 -x2993 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357
1799.95/1800.57	v -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729
1799.95/1800.57	v -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x4119
1799.95/1800.57	v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4280 -x4281 -x4282 -x4283
1799.95/1800.57	v -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629
1799.95/1800.57	v -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733
1799.95/1800.57	v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4944 -x4945 -x4946 -x4947 -x4948
1799.95/1800.57	v -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x5097 -x5098 -x5099 -x5100
1799.95/1800.57	v -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285
1799.95/1800.57	v -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364
1799.95/1800.57	v -x5365 -x5366 -x5367 -x5368 -x5428 -x5429 x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5599 -x5600 -x5601 -x5602
1799.95/1800.57	v -x5603 -x5604 -x5605 -x5606 -x5607 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751
1799.95/1800.57	v -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786
1799.95/1800.57	v -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803
1799.95/1800.57	v -x5804 -x5805 -x5806 -x5807 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874
1799.95/1800.57	v -x5875 -x5876 -x5877 -x5878 -x5879 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909
1799.95/1800.57	v -x5910 -x5911 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968
1799.95/1800.57	v -x5969 -x5970 -x5971 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150
1799.95/1800.57	v -x6151 -x6152 -x6153 -x6154 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703
1799.95/1800.57	v -x6704 -x6705 -x6706 -x6707 -x6708 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990
1799.95/1800.57	v -x6991 -x6992 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105
1799.95/1800.57	v -x7106 -x7107 -x7108 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033
1799.95/1800.57	v -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064
1799.95/1800.57	v -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081
1799.95/1800.57	v -x3082 -x3083 -x3084 -x3085 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154
1799.95/1800.57	v -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171
1799.95/1800.57	v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188
1799.95/1800.57	v -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205
1799.95/1800.57	v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 x3248 -x3249 -x3250 -x3251 -x3252 -x3253
1799.95/1800.57	v -x3254 -x3255 -x3256 -x3257 -x3258 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343
1799.95/1800.57	v -x3344 -x3345 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3465 -x3466 -x3467 -x3468
1799.95/1800.57	v -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3655 -x3656 -x3657
1799.95/1800.57	v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674
1799.95/1800.57	v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691
1799.95/1800.57	v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708
1799.95/1800.57	v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867
1799.95/1800.57	v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884
1799.95/1800.57	v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924
1799.95/1800.57	v -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941
1799.95/1800.57	v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976
1799.95/1800.57	v -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993
1799.95/1800.57	v -x3994 -x3995 -x3996 -x3997 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024
1799.95/1800.57	v -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041
1799.95/1800.57	v -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157
1799.95/1800.57	v -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346
1799.95/1800.57	v -x4347 -x4348 -x4349 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558
1799.95/1800.57	v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575
1799.95/1800.57	v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592
1799.95/1800.57	v -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609
1799.95/1800.57	v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4664 -x4665 -x4666 -x4667
1799.95/1800.57	v -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752
1799.95/1800.57	v -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889
1799.95/1800.57	v -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906
1799.95/1800.57	v -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923
1799.95/1800.57	v -x4924 -x4925 -x4926 -x4927 x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940
1799.95/1800.57	v -x4941 -x4942 -x4943 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031
1799.95/1800.57	v -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5170 -x5171 -x5172
1799.95/1800.57	v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200
1799.95/1800.57	v -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231
1799.95/1800.57	v -x5232 -x5233 -x5234 -x5235 -x5236 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304
1799.95/1800.57	v -x5305 -x5306 x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321
1799.95/1800.57	v -x5322 -x5323 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5372
1799.95/1800.57	v -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 x5388 -x5389
1799.95/1800.57	v -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406
1799.95/1800.57	v -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446
1799.95/1800.57	v -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463
1799.95/1800.57	v -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480
1799.95/1800.57	v -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497
1799.95/1800.57	v -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563
1799.95/1800.57	v -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580
1799.95/1800.57	v -x5581 -x5582 -x5583 -x5584 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648
1799.95/1800.57	v -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665
1799.95/1800.57	v -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682
1799.95/1800.57	v -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699
1799.95/1800.57	v -x5700 -x5701 -x5702 -x5703 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734
1799.95/1800.57	v -x5735 -x5736 -x5737 -x5738 -x5739 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769
1799.95/1800.57	v -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854
1799.95/1800.57	v -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889
1799.95/1800.57	v -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926
1799.95/1800.57	v -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943
1799.95/1800.57	v -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978
1799.95/1800.57	v -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036
1799.95/1800.57	v -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163
1799.95/1800.57	v -x6164 -x6165 -x6166 -x6167 -x6168 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273
1799.95/1800.57	v -x6274 -x6275 -x6276 -x6277 -x6278 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358
1799.95/1800.57	v -x6359 -x6360 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403
1799.95/1800.57	v -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6709 -x6710 -x6711 -x6712
1799.95/1800.57	v -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901
1799.95/1800.57	v -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030
1799.95/1800.57	v -x7031 -x7032 -x7033 -x7034 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139
1799.95/1800.57	v -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x3012 -x3013
1799.95/1800.57	v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3040 -x3041 -x3042 -x3043 -x3044
1799.95/1800.57	v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093
1799.95/1800.57	v -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124
1799.95/1800.57	v -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141
1799.95/1800.57	v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3276 -x3277 -x3278
1799.95/1800.57	v -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309
1799.95/1800.57	v -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326
1799.95/1800.57	v -x3327 -x3328 -x3329 -x3330 -x3331 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386
1799.95/1800.57	v -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403
1799.95/1800.57	v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x4164 -x4165 -x4166 -x4167
1799.95/1800.57	v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4647 -x4648 -x4649 -x4650
1799.95/1800.57	v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x6014 -x6015 -x6016 -x6017
1799.95/1800.57	v -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6228 -x6229 -x6230 -x6231
1799.95/1800.57	v -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248
1799.95/1800.57	v -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6279 -x6280 -x6281 -x6282
1799.95/1800.57	v -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299
1799.95/1800.57	v -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x3231 -x3232 -x3233 -x3234
1799.95/1800.57	v -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3445 x3446 -x3447 -x3448
1799.95/1800.57	v -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3556
1799.95/1800.57	v -x3557 -x3558 -x3559 -x3560 x3561 -x3562 -x3563 -x3564 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629
1799.95/1800.57	v -x3630 -x3631 -x3632 -x3633 -x3634 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796
1799.95/1800.57	v -x3797 -x3798 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4133
1799.95/1800.57	v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4229 -x4230 -x4231 -x4232
1799.95/1800.57	v -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263
1799.95/1800.57	v -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317
1799.95/1800.57	v -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334
1799.95/1800.57	v -x4335 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x5004 -x5005
1799.95/1800.57	v -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5111 -x5112 -x5113 -x5114 -x5115
1799.95/1800.57	v -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163
1799.95/1800.57	v -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219
1799.95/1800.57	v -x5220 -x5221 -x5222 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635
1799.95/1800.57	v -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6123 -x6124 -x6125
1799.95/1800.57	v -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366
1799.95/1800.57	v -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425
1799.95/1800.57	v -x6426 -x6427 -x6428 -x6429 -x6430 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688
1799.95/1800.57	v -x6689 -x6690 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6845
1799.95/1800.57	v -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x7007 -x7008 x7009 -x7010
1799.95/1800.57	v -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041
1799.95/1800.57	v -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058
1799.95/1800.57	v -x7059 -x7060 -x7061 -x7062 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3771 -x3772
1799.95/1800.57	v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x4990 -x4991 -x4992 -x4993 -x4994
1799.95/1800.57	v -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116
1799.95/1800.57	v -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673
1799.95/1800.57	v -x6674 -x6675 -x6676 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844
1799.95/1800.57	v -x6909 x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925
1799.95/1800.57	v -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942
1799.95/1800.57	v -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491
1799.95/1800.57	v -x3492 -x3493 -x3494 -x3495 -x3496 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542
1799.95/1800.57	v -x3543 -x3544 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579
1799.95/1800.57	v -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3635 -x3636 -x3637 -x3638
1799.95/1800.57	v -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746
1799.95/1800.57	v -x3747 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808
1799.95/1800.57	v -x3809 -x3810 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4772 -x4773 -x4774 -x4775
1799.95/1800.57	v -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053
1799.95/1800.57	v -x5054 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6195 -x6196 -x6197 -x6198 -x6199
1799.95/1800.57	v -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6763 -x6764 x6765 -x6766 -x6767
1799.95/1800.57	v -x6768 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x7183 -x7184 -x7185 -x7186
1799.95/1800.57	v -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231
1799.95/1800.57	v -x7232 -x7233 -x7234 -x7235 -x7236 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840
1799.95/1800.57	v -x5077 -x5078 x5079 -x5080 -x5081 -x5082 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851
1799.95/1800.57	v -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
1799.95/1800.57	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008
1799.95/1800.57	v -x4009 -x4010 -x4011 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107
1799.95/1800.57	v -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186
1799.95/1800.57	v -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279
1799.95/1800.57	v -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4403 -x4404 -x4405
1799.95/1800.57	v -x4406 -x4407 -x4408 -x4409 -x4410 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 x4522 -x4871 -x4872 -x4873 -x4874
1799.95/1800.57	v -x4875 -x4876 -x4877 -x4878 -x4879 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x7279 -x7280 -x7281
1799.95/1800.57	v -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544
1799.95/1800.57	v -x4641 -x4642 x4643 -x4644 -x4645 -x4646 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705
1799.95/1800.57	v -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4836 -x4837 -x4838 -x4839 -x4840
1799.95/1800.57	v -x4841 -x4865 -x4866 -x4867 -x4868 x4869 -x4870 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988
1799.95/1800.57	v -x4989 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6751 -x6752 -x6753 -x6754
1799.95/1800.57	v -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177
1799.95/1800.57	v -x7178 -x7179 -x7180 -x7181 -x7182 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043
1799.95/1800.57	v -x5083 -x5084 -x5085 -x5086 -x5087 x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5585 -x5586 -x5587
1799.95/1800.57	v -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x6375 x6376 -x6377 -x6378 -x6379 -x6380
1799.95/1800.57	v -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001
1799.95/1800.57	v -x7002 -x7003 -x7004 -x7005 -x7006 -x5184 -x5185 -x5186 -x5187 -x5188 x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5265
1799.95/1800.57	v -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5369 -x5370 -x5371 -x5504
1799.95/1800.57	v -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5608 -x5609 -x5610 -x5611
1799.95/1800.57	v -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5912 -x5913 -x5914 -x5915 x5916 -x5917 x6008 -x6009
1799.95/1800.57	v -x6010 -x6011 -x6012 -x6013 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6737 -x6738
1799.95/1800.57	v -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6169 -x6170 -x6171 -x6172 -x6173
1799.95/1800.57	v x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x1 -x2 -x3 -x4 -x5
1799.95/1800.57	v x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32
1799.95/1800.57	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58
1799.95/1800.57	v -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84
1799.95/1800.57	v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
1799.95/1800.57	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 x126 -x127 -x128 -x129
1799.95/1800.57	v x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1799.95/1800.57	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171
1799.95/1800.57	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 x183 x184 x185 x186 x187 -x188 x189 x190 -x191 -x192 -x193
1799.95/1800.57	v x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214
1799.95/1800.57	v -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235
1799.95/1800.57	v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256
1799.95/1800.57	v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 x276 -x277
1799.95/1800.57	v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298
1799.95/1800.57	v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319
1799.95/1800.57	v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
1799.95/1800.57	v -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361
1799.95/1800.57	v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382
1799.95/1800.57	v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403
1799.95/1800.57	v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424
1799.95/1800.57	v -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445
1799.95/1800.57	v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466
1799.95/1800.57	v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487
1799.95/1800.57	v -x488 -x489 x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508
1799.95/1800.57	v -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529
1799.95/1800.57	v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550
1799.95/1800.57	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571
1799.95/1800.57	v -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592
1799.95/1800.57	v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613
1799.95/1800.57	v -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1799.95/1800.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.95/1800.57	c   20    91549  72983  3837060    92143 67776007  91550     50 1800.03
1799.95/1800.57	c Objective: 263089
1799.95/1800.57	s SATISFIABLE
1799.95/1800.57	c Total time: 1800.03 s

Verifier Data (download as text)

OK	263089

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node52/watcher-348033-1176566274 -o ROOT/results/node52/solver-348033-1176566274 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348033-1176566274/instance-348033-1176566274.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.69 1.93 1.90 3/64 29008
/proc/meminfo: memFree=1543828/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=2332 CPUtime=0
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 46 0 1 0 0 0 0 0 18 0 1 0 11472469 2387968 30 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4309291 0 0 4096 0 0 0 0 17 0 0 0
/proc/29008/statm: 583 30 22 324 0 8 0

[startup+0.0965021 s]
/proc/loadavg: 1.69 1.93 1.90 3/64 29008
/proc/meminfo: memFree=1543828/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=6248 CPUtime=0.08
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 843 0 3 0 8 0 0 0 18 0 1 0 11472469 6397952 814 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29008/statm: 1562 814 402 324 0 431 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6248

[startup+0.102502 s]
/proc/loadavg: 1.69 1.93 1.90 3/64 29008
/proc/meminfo: memFree=1543828/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=6396 CPUtime=0.08
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 913 0 3 0 8 0 0 0 18 0 1 0 11472469 6549504 884 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29008/statm: 1599 884 405 324 0 468 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6396

[startup+0.302515 s]
/proc/loadavg: 1.69 1.93 1.90 3/64 29008
/proc/meminfo: memFree=1543828/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=9692 CPUtime=0.28
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 1992 0 3 0 28 0 0 0 19 0 1 0 11472469 9924608 1763 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29008/statm: 2423 1763 305 324 0 1492 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9692

[startup+0.702544 s]
/proc/loadavg: 1.69 1.93 1.90 3/64 29008
/proc/meminfo: memFree=1543828/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=10220 CPUtime=0.69
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 2139 0 3 0 68 1 0 0 23 0 1 0 11472469 10465280 1910 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29008/statm: 2555 1910 305 324 0 1624 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10220

[startup+1.5016 s]
/proc/loadavg: 1.69 1.93 1.90 2/65 29009
/proc/meminfo: memFree=1536652/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=10220 CPUtime=1.48
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 2139 0 3 0 147 1 0 0 25 0 1 0 11472469 10465280 1910 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134552181 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29008/statm: 2555 1910 305 324 0 1624 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10220

[startup+3.10171 s]
/proc/loadavg: 1.69 1.93 1.90 2/65 29009
/proc/meminfo: memFree=1536524/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=10220 CPUtime=3.08
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 2139 0 3 0 307 1 0 0 25 0 1 0 11472469 10465280 1910 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29008/statm: 2555 1910 305 324 0 1624 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10220

[startup+6.30192 s]
/proc/loadavg: 1.64 1.92 1.89 2/65 29009
/proc/meminfo: memFree=1536340/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=10220 CPUtime=6.28
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 2139 0 3 0 627 1 0 0 25 0 1 0 11472469 10465280 1910 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29008/statm: 2555 1910 305 324 0 1624 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10220

[startup+12.7014 s]
/proc/loadavg: 1.59 1.90 1.89 2/65 29009
/proc/meminfo: memFree=1534548/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=12140 CPUtime=12.68
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 3073 0 3 0 1266 2 0 0 25 0 1 0 11472469 12431360 2381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 3035 2381 307 324 0 2104 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12140

[startup+25.501 s]
/proc/loadavg: 1.45 1.86 1.87 2/65 29009
/proc/meminfo: memFree=1534676/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=12140 CPUtime=25.48
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 3073 0 3 0 2545 3 0 0 25 0 1 0 11472469 12431360 2381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 3035 2381 307 324 0 2104 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12140

[startup+51.1018 s]
/proc/loadavg: 1.30 1.79 1.85 2/65 29009
/proc/meminfo: memFree=1534868/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=12132 CPUtime=51.06
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 3524 0 3 0 5099 7 0 0 25 0 1 0 11472469 12423168 2397 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 3033 2397 311 324 0 2102 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 12132

[startup+102.305 s]
/proc/loadavg: 1.13 1.66 1.80 2/65 29009
/proc/meminfo: memFree=1529300/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=17536 CPUtime=102.26
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 4880 0 3 0 10216 10 0 0 25 0 1 0 11472469 17956864 3753 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 4384 3753 311 324 0 3453 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 17536

[startup+162.301 s]
/proc/loadavg: 1.05 1.54 1.75 2/65 29009
/proc/meminfo: memFree=1521300/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=25576 CPUtime=162.24
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 6896 0 3 0 16212 12 0 0 25 0 1 0 11472469 26189824 5769 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 6394 5769 311 324 0 5463 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 25576

[startup+222.301 s]
/proc/loadavg: 1.02 1.44 1.70 2/71 29175
/proc/meminfo: memFree=1486356/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=58824 CPUtime=222.15
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 15223 0 3 0 22188 27 0 0 25 0 1 0 11472469 60235776 14096 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 14706 14096 312 324 0 13775 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 58824

[startup+282.301 s]
/proc/loadavg: 1.00 1.36 1.65 2/65 29207
/proc/meminfo: memFree=1440916/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=105972 CPUtime=282.12
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 26996 0 3 0 28171 41 0 0 25 0 1 0 11472469 108515328 25869 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 26493 25869 312 324 0 25562 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 105972

[startup+342.302 s]
/proc/loadavg: 1.00 1.29 1.61 2/65 29207
/proc/meminfo: memFree=1400212/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=146180 CPUtime=342.11
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 37053 0 3 0 34157 54 0 0 25 0 1 0 11472469 149688320 35926 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 36545 35926 312 324 0 35614 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 146180

[startup+402.302 s]
/proc/loadavg: 1.00 1.23 1.57 2/65 29207
/proc/meminfo: memFree=1363860/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=182868 CPUtime=402.09
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 46207 0 3 0 40139 70 0 0 25 0 1 0 11472469 187256832 45080 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 45717 45080 312 324 0 44786 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 182868

[startup+462.302 s]
/proc/loadavg: 1.00 1.19 1.53 2/65 29207
/proc/meminfo: memFree=1330324/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=216088 CPUtime=462.08
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 54539 0 3 0 46122 86 0 0 25 0 1 0 11472469 221274112 53412 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 54022 53412 312 324 0 53091 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 216088

[startup+522.302 s]
/proc/loadavg: 1.00 1.15 1.49 2/65 29207
/proc/meminfo: memFree=1297492/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=249364 CPUtime=522.06
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 62836 0 3 0 52107 99 0 0 25 0 1 0 11472469 255348736 61709 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 62341 61709 312 324 0 61410 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 249364

[startup+582.302 s]
/proc/loadavg: 1.00 1.12 1.46 2/65 29209
/proc/meminfo: memFree=1267732/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=278788 CPUtime=582.05
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 70197 0 3 0 58088 117 0 0 25 0 1 0 11472469 285478912 69070 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 69697 69070 312 324 0 68766 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 278788

[startup+642.302 s]
/proc/loadavg: 1.00 1.10 1.43 2/65 29209
/proc/meminfo: memFree=1240020/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=306192 CPUtime=642.04
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 77035 0 3 0 64071 133 0 0 25 0 1 0 11472469 313540608 75908 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 76548 75908 312 324 0 75617 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 306192


################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 1.00 1.04 1.32 2/65 29209
/proc/meminfo: memFree=1122388/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=423636 CPUtime=881.98
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 106400 0 3 0 87996 202 0 0 25 0 1 0 11472469 433803264 105273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 105909 105273 312 324 0 104978 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 423636

[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.30 2/65 29209
/proc/meminfo: memFree=1091924/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=454276 CPUtime=941.96
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 114077 0 3 0 93981 215 0 0 25 0 1 0 11472469 465178624 112950 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 113569 112950 312 324 0 112638 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 454276

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/65 29209
/proc/meminfo: memFree=1061652/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=484160 CPUtime=1001.95
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 121549 0 3 0 99968 227 0 0 25 0 1 0 11472469 495779840 120422 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 121040 120422 312 324 0 120109 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 484160

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.26 2/65 29209
/proc/meminfo: memFree=1038100/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=507912 CPUtime=1061.93
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 127473 0 3 0 105956 237 0 0 25 0 1 0 11472469 520101888 126346 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 126978 126346 312 324 0 126047 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 507912

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/65 29209
/proc/meminfo: memFree=1015764/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=530020 CPUtime=1121.92
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 133000 0 3 0 111941 251 0 0 25 0 1 0 11472469 542740480 131873 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4751090 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 132505 131873 312 324 0 131574 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 530020

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.22 2/65 29209
/proc/meminfo: memFree=995924/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=549980 CPUtime=1181.89
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 138012 0 3 0 117924 265 0 0 25 0 1 0 11472469 563179520 136885 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 137495 136885 312 324 0 136564 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 549980

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.20 2/65 29209
/proc/meminfo: memFree=975828/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=569952 CPUtime=1241.88
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 142977 0 3 0 123906 282 0 0 25 0 1 0 11472469 583630848 141850 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 142488 141850 312 324 0 141557 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 569952

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/65 29209
/proc/meminfo: memFree=955924/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=589552 CPUtime=1301.88
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 147902 0 3 0 129889 299 0 0 25 0 1 0 11472469 603701248 146775 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 147388 146775 312 324 0 146457 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 589552

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/65 29209
/proc/meminfo: memFree=937748/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=607968 CPUtime=1361.86
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 152487 0 3 0 135869 317 0 0 25 0 1 0 11472469 622559232 151360 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4739141 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 151992 151360 312 324 0 151061 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 607968

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.16 2/65 29209
/proc/meminfo: memFree=919060/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=626552 CPUtime=1421.84
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 157125 0 3 0 141848 336 0 0 25 0 1 0 11472469 641589248 155998 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 156638 155998 312 324 0 155707 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 626552

[startup+1482.3 s]
/proc/loadavg: 1.06 1.01 1.15 2/65 29209
/proc/meminfo: memFree=900308/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=645260 CPUtime=1481.83
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 161820 0 3 0 147826 357 0 0 25 0 1 0 11472469 660746240 160693 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 161315 160693 312 324 0 160384 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 645260

[startup+1542.3 s]
/proc/loadavg: 1.07 1.03 1.15 2/65 29209
/proc/meminfo: memFree=860948/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=684444 CPUtime=1541.81
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 171626 0 3 0 153812 369 0 0 25 0 1 0 11472469 700870656 170499 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 171111 170499 312 324 0 170180 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 684444

[startup+1602.3 s]
/proc/loadavg: 1.02 1.02 1.14 2/65 29209
/proc/meminfo: memFree=797524/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=748612 CPUtime=1601.8
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 187642 0 3 0 159802 378 0 0 25 0 1 0 11472469 766578688 186515 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 187153 186515 312 324 0 186222 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 748612

[startup+1662.3 s]
/proc/loadavg: 1.01 1.01 1.12 2/65 29209
/proc/meminfo: memFree=749780/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=795488 CPUtime=1661.78
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 199364 0 3 0 165796 382 0 0 25 0 1 0 11472469 814579712 198237 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 198872 198237 312 324 0 197941 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 795488

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/65 29209
/proc/meminfo: memFree=713556/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=831964 CPUtime=1721.77
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 208502 0 3 0 171789 388 0 0 25 0 1 0 11472469 851931136 207375 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 207991 207375 312 324 0 207060 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 831964

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/65 29209
/proc/meminfo: memFree=675540/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=869628 CPUtime=1781.75
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194304 217900 0 3 0 177783 392 0 0 25 0 1 0 11472469 890499072 216773 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 217407 216773 312 324 0 216476 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 869628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.10 2/65 29209
/proc/meminfo: memFree=828500/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=0 CPUtime=1800.06
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194308 220352 0 3 0 179609 397 0 0 17 0 1 0 11472469 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 0

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.10 2/65 29209
/proc/meminfo: memFree=828500/2055920 swapFree=4192956/4192956
[pid=29008] ppid=29006 vsize=0 CPUtime=1800.16
/proc/29008/stat : 29008 (bsolo3.0.16) R 29006 29008 28946 0 -1 4194308 220352 0 3 0 179609 407 0 0 17 0 1 0 11472469 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29008/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.17
CPU user time (s): 1796.09
CPU system time (s): 4.07838
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 879380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.09
system time used= 4.07838
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220352
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 2685

runsolver used 1.24781 second user time and 3.74043 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Sat Apr 14 15:57:54 UTC 2007

IDJOB= 348033
IDBENCH= 1608
IDSOLVER= 163
FILE ID= node52/348033-1176566274

PBS_JOBID= 4556893

Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ir98.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348033-1176566274/instance-348033-1176566274.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-348033-1176566274 -o ROOT/results/node52/solver-348033-1176566274 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348033-1176566274/instance-348033-1176566274.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  395bac5c9d0c4cdb5ae1073c67c6675c

RANDOM SEED= 486168369

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1544812 kB
Buffers:         52348 kB
Cached:         353000 kB
SwapCached:          0 kB
Active:          99184 kB
Inactive:       321420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1544812 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5356 kB
Writeback:           0 kB
Mapped:          25468 kB
Slab:            76436 kB
Committed_AS:    55036 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node52 on Sat Apr 14 16:27:57 UTC 2007