Trace number 432610

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.17SAT (TO)263089 1800.18 1800.65

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

Verifier Data (download as text)

OK	263089

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node7/watcher-432610-1177946254 -o ROOT/results/node7/solver-432610-1177946254 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432610-1177946254/instance-432610-1177946254.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: 0.95 0.97 0.91 2/77 26556
/proc/meminfo: memFree=1860792/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=20348 CPUtime=0
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 270663001 20836352 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 3134 333 280 324 0 2004 0

[startup+0.0540779 s]
/proc/loadavg: 0.95 0.97 0.91 2/77 26556
/proc/meminfo: memFree=1860792/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=13636 CPUtime=0.04
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 687 0 0 0 4 0 0 0 18 0 1 0 270663001 13963264 657 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 3409 657 347 324 0 2279 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13636

[startup+0.101082 s]
/proc/loadavg: 0.95 0.97 0.91 2/77 26556
/proc/meminfo: memFree=1860792/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=6396 CPUtime=0.09
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 915 0 0 0 9 0 0 0 18 0 1 0 270663001 6549504 885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 1599 885 406 324 0 469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6396

[startup+0.301103 s]
/proc/loadavg: 0.95 0.97 0.91 2/77 26556
/proc/meminfo: memFree=1860792/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=9560 CPUtime=0.28
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 1988 0 0 0 28 0 0 0 19 0 1 0 270663001 9789440 1758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 2390 1758 303 324 0 1460 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9560

[startup+0.701145 s]
/proc/loadavg: 0.95 0.97 0.91 2/77 26556
/proc/meminfo: memFree=1860792/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=10220 CPUtime=0.68
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 2138 0 0 0 68 0 0 0 23 0 1 0 270663001 10465280 1908 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 2555 1908 303 324 0 1625 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10220

[startup+1.50123 s]
/proc/loadavg: 0.95 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1854320/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=10220 CPUtime=1.48
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 2138 0 0 0 148 0 0 0 25 0 1 0 270663001 10465280 1908 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 2555 1908 303 324 0 1625 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10220

[startup+3.1014 s]
/proc/loadavg: 0.95 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1854192/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=10220 CPUtime=3.09
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 2138 0 0 0 308 1 0 0 25 0 1 0 270663001 10465280 1908 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 2555 1908 303 324 0 1625 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10220

[startup+6.30173 s]
/proc/loadavg: 0.95 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1854000/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=10220 CPUtime=6.29
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 2138 0 0 0 628 1 0 0 25 0 1 0 270663001 10465280 1908 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 2555 1908 303 324 0 1625 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10220

[startup+12.7014 s]
/proc/loadavg: 0.96 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1852208/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=12140 CPUtime=12.69
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 3072 0 0 0 1267 2 0 0 25 0 1 0 270663001 12431360 2379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 3035 2379 305 324 0 2105 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12140

[startup+25.5017 s]
/proc/loadavg: 0.97 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1852272/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=12140 CPUtime=25.48
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 3072 0 0 0 2546 2 0 0 25 0 1 0 270663001 12431360 2379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540690 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 3035 2379 305 324 0 2105 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12140

[startup+51.1014 s]
/proc/loadavg: 0.98 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1852528/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=11876 CPUtime=51.07
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 3466 0 0 0 5105 2 0 0 25 0 1 0 270663001 12161024 2338 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572643 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 2969 2338 309 324 0 2039 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11876

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1846832/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=17536 CPUtime=102.27
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 4867 0 0 0 10223 4 0 0 25 0 1 0 270663001 17956864 3739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 4384 3739 309 324 0 3454 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 17536

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1838768/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=25576 CPUtime=162.24
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 6891 0 0 0 16220 4 0 0 25 0 1 0 270663001 26189824 5763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 6394 5763 309 324 0 5464 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 25576

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1805168/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=58824 CPUtime=222.23
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 15222 0 0 0 22215 8 0 0 25 0 1 0 270663001 60235776 14094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 14706 14094 310 324 0 13776 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 58824

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1758448/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=106100 CPUtime=282.21
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 27020 0 0 0 28207 14 0 0 25 0 1 0 270663001 108646400 25892 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 26525 25892 310 324 0 25595 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 106100

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1717936/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=146180 CPUtime=342.2
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 37051 0 0 0 34200 20 0 0 25 0 1 0 270663001 149688320 35923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 36545 35923 310 324 0 35615 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 146180

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1681648/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=182740 CPUtime=402.18
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 46184 0 0 0 40193 25 0 0 25 0 1 0 270663001 187125760 45056 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 45685 45056 310 324 0 44755 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 182740

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1647984/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=216088 CPUtime=462.17
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 54509 0 0 0 46187 30 0 0 25 0 1 0 270663001 221274112 53381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 54022 53381 310 324 0 53092 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 216088

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1615216/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=248988 CPUtime=522.16
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 62761 0 0 0 52180 36 0 0 25 0 1 0 270663001 254963712 61633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 62247 61633 310 324 0 61317 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 248988

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1585392/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=278536 CPUtime=582.14
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 70142 0 0 0 58173 41 0 0 25 0 1 0 270663001 285220864 69014 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 69634 69014 310 324 0 68704 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 278536

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1557616/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=306064 CPUtime=642.13
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 77012 0 0 0 64167 46 0 0 25 0 1 0 270663001 313409536 75884 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 76516 75884 310 324 0 75586 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 306064


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1439984/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=423512 CPUtime=882.07
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 106380 0 0 0 88141 66 0 0 25 0 1 0 270663001 433676288 105252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 105878 105252 310 324 0 104948 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 423512

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26557
/proc/meminfo: memFree=1409584/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=454276 CPUtime=942.04
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 114055 0 0 0 94132 72 0 0 25 0 1 0 270663001 465178624 112927 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 113569 112927 310 324 0 112639 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 454276

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=1379440/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=484160 CPUtime=1002.03
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 121534 0 0 0 100127 76 0 0 25 0 1 0 270663001 495779840 120406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 121040 120406 310 324 0 120110 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 484160

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=1355824/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=507788 CPUtime=1062.01
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 127433 0 0 0 106122 79 0 0 25 0 1 0 270663001 519974912 126305 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 126947 126305 310 324 0 126017 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 507788

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=1333680/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=529764 CPUtime=1122
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 132935 0 0 0 112117 83 0 0 25 0 1 0 270663001 542478336 131807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 132441 131807 310 324 0 131511 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 529764

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=1313776/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=549728 CPUtime=1181.98
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 137938 0 0 0 118111 87 0 0 25 0 1 0 270663001 562921472 136810 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 137432 136810 310 324 0 136502 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 549728

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=1293744/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=569576 CPUtime=1241.97
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 142893 0 0 0 124108 89 0 0 25 0 1 0 270663001 583245824 141765 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 142394 141765 310 324 0 141464 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 569576

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=1273648/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=589424 CPUtime=1301.96
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 147854 0 0 0 130103 93 0 0 25 0 1 0 270663001 603570176 146726 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 147356 146726 310 324 0 146426 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 589424

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=1255472/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=607720 CPUtime=1361.94
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 152421 0 0 0 136098 96 0 0 25 0 1 0 270663001 622305280 151293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 151930 151293 310 324 0 151000 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 607720

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=1236720/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=626176 CPUtime=1421.92
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 157049 0 0 0 142093 99 0 0 25 0 1 0 270663001 641204224 155921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 156544 155921 310 324 0 155614 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 626176

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=1218032/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=645008 CPUtime=1481.91
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 161756 0 0 0 148088 103 0 0 25 0 1 0 270663001 660488192 160628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 161252 160628 310 324 0 160322 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 645008

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 26559
/proc/meminfo: memFree=1179632/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=683488 CPUtime=1541.89
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 171370 0 0 0 154082 107 0 0 25 0 1 0 270663001 699891712 170242 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 170872 170242 310 324 0 169942 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 683488

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=1115632/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=747752 CPUtime=1601.88
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 187428 0 0 0 160073 115 0 0 25 0 1 0 270663001 765698048 186300 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 186938 186300 310 324 0 186008 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 747752

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=1067824/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=794984 CPUtime=1661.86
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 199260 0 0 0 166067 119 0 0 25 0 1 0 270663001 814063616 198132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 198746 198132 310 324 0 197816 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 794984

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=1031216/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=831844 CPUtime=1721.84
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 208473 0 0 0 172059 125 0 0 25 0 1 0 270663001 851808256 207345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 207961 207345 310 324 0 207031 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 831844

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=993264/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=869488 CPUtime=1781.83
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 217880 0 0 0 178054 129 0 0 25 0 1 0 270663001 890355712 216752 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 217372 216752 310 324 0 216442 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 869488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 26559
/proc/meminfo: memFree=983088/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=879380 CPUtime=1800.03
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194304 220339 0 0 0 179872 131 0 0 25 0 1 0 270663001 900485120 219211 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 219845 219211 310 324 0 218915 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 879380

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 26560
/proc/meminfo: memFree=1591976/2055920 swapFree=4156972/4192956
[pid=26556] ppid=26554 vsize=0 CPUtime=1800.13
/proc/26556/stat : 26556 (bsolo3.0.17) R 26554 26556 26050 0 -1 4194308 220343 0 0 0 179872 141 0 0 25 0 1 0 270663001 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/26556/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.65
CPU time (s): 1800.18
CPU user time (s): 1798.73
CPU system time (s): 1.45178
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 879380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.45178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220343
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 32186

runsolver used 1.45378 second user time and 3.70744 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Mon Apr 30 15:17:34 UTC 2007

IDJOB= 432610
IDBENCH= 1608
IDSOLVER= 199
FILE ID= node7/432610-1177946254

PBS_JOBID= 4727679

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
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.17 -m1800 /tmp/evaluation/432610-1177946254/instance-432610-1177946254.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-432610-1177946254 -o ROOT/results/node7/solver-432610-1177946254 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432610-1177946254/instance-432610-1177946254.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  395bac5c9d0c4cdb5ae1073c67c6675c

RANDOM SEED= 649242122

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1861200 kB
Buffers:         34668 kB
Cached:          90864 kB
SwapCached:      15840 kB
Active:          43648 kB
Inactive:       105108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1861200 kB
SwapTotal:     4192956 kB
SwapFree:      4156972 kB
Dirty:            7400 kB
Writeback:           0 kB
Mapped:          30092 kB
Slab:            31332 kB
Committed_AS:  9003236 kB
PageTables:       1860 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= 66557 MiB

End job on node7 on Mon Apr 30 15:47:36 UTC 2007