Trace number 458688

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
PBS4_v2 2007-03-23SAT (TO)-3970 1800.17 1800.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb
MD5SUM7ddc5796bc843f2bf9bc94a0b22fd8e4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-4362
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -4362
Optimality of the best value was proved NO
Number of variables5383
Total number of constraints3279
Number of constraints which are clauses2977
Number of constraints which are cardinality constraints (but not clauses)276
Number of constraints which are nor clauses,nor cardinality constraints26
Minimum length of a constraint2
Maximum length of a constraint2952
Number of terms in the objective function 2946
Biggest coefficient in the objective function 334
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 526119
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 254588
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 526119
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/458688-1178640461/instance-458688-1178640461.opb ......
0.19/0.27	c done parsing opb.
0.19/0.27	o 522848
0.29/0.36	o 522710
0.39/0.46	o 522698
0.49/0.55	o 522664
0.59/0.64	o 522506
0.69/0.73	o 522504
0.79/0.83	o 522486
0.89/0.92	o 522372
0.99/1.01	o 522300
1.09/1.10	o 522236
1.09/1.20	o 522229
1.19/1.29	o 522203
1.29/1.38	o 522169
1.39/1.47	o 522159
1.49/1.57	o 522155
1.59/1.66	o 522149
1.69/1.75	o 522136
1.79/1.84	o 522101
1.89/1.94	o 521950
1.99/2.03	o 521940
2.09/2.12	o 521925
2.20/2.21	o 521905
2.30/2.31	o 521868
2.39/2.40	o 521845
2.39/2.49	o 521818
2.49/2.58	o 521720
2.59/2.68	o 521651
2.69/2.77	o 521551
2.79/2.86	o 521541
2.89/2.95	o 521510
2.99/3.05	o 521503
3.09/3.14	o 521464
3.19/3.23	o 521343
3.30/3.33	o 521310
3.40/3.42	o 521267
3.49/3.51	o 521213
3.59/3.60	o 521185
3.59/3.70	o 521041
3.69/3.79	o 521039
3.79/3.88	o 521024
3.89/3.97	o 521004
3.99/4.07	o 520980
4.09/4.16	o 520974
4.19/4.25	o 520905
4.29/4.34	o 520863
4.40/4.44	o 520740
4.79/4.85	o 520656
58.07/58.13	o 520533
58.17/58.22	o 520503
58.28/58.32	o 520490
58.38/58.41	o 520313
58.47/58.50	o 520149
58.47/58.59	o 520147
58.57/58.68	o 519983
58.77/58.84	o 519982
58.87/58.96	o 516834
58.98/59.09	o 516813
827.97/828.25	o 516786
1800.03/1800.50	s SATISFIABLE
1800.03/1800.50	v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013
1800.03/1800.50	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029
1800.03/1800.50	v -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045
1800.03/1800.50	v -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061
1800.03/1800.50	v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077
1800.03/1800.50	v -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093
1800.03/1800.50	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1800.03/1800.50	v -x111 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.03/1800.50	v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141
1800.03/1800.50	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157
1800.03/1800.50	v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173
1800.03/1800.50	v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189
1800.03/1800.50	v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204
1800.03/1800.50	v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220
1800.03/1800.50	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
1800.03/1800.50	v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252
1800.03/1800.50	v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.03/1800.50	v -x1269 -x127 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284
1800.03/1800.50	v -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130
1800.03/1800.50	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
1800.03/1800.50	v -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331
1800.03/1800.50	v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1800.03/1800.50	v -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363
1800.03/1800.50	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.03/1800.50	v -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395
1800.03/1800.50	v -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410
1800.03/1800.50	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427
1800.03/1800.50	v -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443
1800.03/1800.50	v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459
1800.03/1800.50	v -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475
1800.03/1800.50	v -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491
1800.03/1800.50	v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507
1800.03/1800.50	v -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523
1800.03/1800.50	v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154
1800.03/1800.50	v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555
1800.03/1800.50	v -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571
1800.03/1800.50	v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588
1800.03/1800.50	v -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603
1800.03/1800.50	v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619
1800.03/1800.50	v -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635
1800.03/1800.50	v -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651
1800.03/1800.50	v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667
1800.03/1800.50	v -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683
1800.03/1800.50	v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x17
1800.03/1800.50	v -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715
1800.03/1800.50	v -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731
1800.03/1800.50	v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748
1800.03/1800.50	v -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764
1800.03/1800.50	v -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780
1800.03/1800.50	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796
1800.03/1800.50	v -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811
1800.03/1800.50	v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827
1800.03/1800.50	v -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843
1800.03/1800.50	v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x186
1800.03/1800.50	v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876
1800.03/1800.50	v -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892
1800.03/1800.50	v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908
1800.03/1800.50	v -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924
1800.03/1800.50	v -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940
1800.03/1800.50	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956
1800.03/1800.50	v -x1957 -x1958 -x1959 -x196 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972
1800.03/1800.50	v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988
1800.03/1800.50	v -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002
1800.03/1800.50	v -x2003 -x2004 -x2005 -x2006 -x2007 x2008 -x2009 -x201 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019
1800.03/1800.50	v -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035
1800.03/1800.50	v -x2036 -x2037 -x2038 -x2039 -x204 -x2040 x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051
1800.03/1800.50	v -x2052 x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068
1800.03/1800.50	v -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 x2082 x2083 -x2084
1800.03/1800.50	v -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210
1800.03/1800.50	v -x2100 -x2101 x2102 -x2103 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 x2114 x2115 x2116
1800.03/1800.50	v x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132
1800.03/1800.50	v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x214 x2140 x2141 x2142 x2143 x2144 x2145 -x2146 x2147 x2148 x2149 -x215
1800.03/1800.50	v x2150 x2151 x2152 x2153 x2154 x2155 x2156 -x2157 x2158 x2159 -x216 x2160 x2161 x2162 -x2163 -x2164 x2165 x2166 x2167 x2168
1800.03/1800.50	v -x2169 -x217 x2170 x2171 x2172 x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x218 x2180 -x2181 -x2182 -x2183 x2184 -x2185
1800.03/1800.50	v -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x22 -x220 -x2200
1800.03/1800.50	v -x2201 -x2202 x2203 x2204 -x2205 -x2206 x2207 -x2208 x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
1800.03/1800.50	v -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233
1800.03/1800.50	v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249
1800.03/1800.50	v -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265
1800.03/1800.50	v -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 x2279 -x228 -x2280 -x2281
1800.03/1800.50	v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298
1800.03/1800.50	v -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313
1800.03/1800.50	v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329
1800.03/1800.50	v -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345
1800.03/1800.50	v -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361
1800.03/1800.50	v -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377
1800.03/1800.50	v -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393
1800.03/1800.50	v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409
1800.03/1800.50	v -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425
1800.03/1800.50	v -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441
1800.03/1800.50	v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457
1800.03/1800.50	v -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473
1800.03/1800.50	v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249
1800.03/1800.50	v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505
1800.03/1800.50	v -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521
1800.03/1800.50	v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537
1800.03/1800.50	v -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553
1800.03/1800.50	v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569
1800.03/1800.50	v -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585
1800.03/1800.50	v -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600
1800.03/1800.50	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616
1800.03/1800.50	v -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632
1800.03/1800.50	v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648
1800.03/1800.50	v -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664
1800.03/1800.50	v -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680
1800.03/1800.50	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696
1800.03/1800.50	v x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711
1800.03/1800.50	v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727
1800.03/1800.50	v -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743
1800.03/1800.50	v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759
1800.03/1800.50	v -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775
1800.03/1800.50	v -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791
1800.03/1800.50	v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807
1800.03/1800.50	v -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823
1800.03/1800.50	v x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284
1800.03/1800.50	v -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855
1800.03/1800.50	v -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871
1800.03/1800.50	v -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887
1800.03/1800.50	v -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902
1800.03/1800.50	v -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918
1800.03/1800.50	v -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934
1800.03/1800.50	v -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950
1800.03/1800.50	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966
1800.03/1800.50	v -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982
1800.03/1800.50	v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999
1800.03/1800.50	v -x3 -x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013
1800.03/1800.50	v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029
1800.03/1800.50	v -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045
1800.03/1800.50	v -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061
1800.03/1800.50	v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077
1800.03/1800.50	v -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093
1800.03/1800.50	v -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109
1800.03/1800.50	v -x311 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125
1800.03/1800.50	v -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141
1800.03/1800.50	v -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158
1800.03/1800.50	v -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174
1800.03/1800.50	v -x3175 -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190
1800.03/1800.50	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206
1800.03/1800.50	v -x3207 -x3208 -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222
1800.03/1800.50	v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238
1800.03/1800.50	v -x3239 -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254
1800.03/1800.50	v -x3255 -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270
1800.03/1800.50	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286
1800.03/1800.50	v -x3287 -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301
1800.03/1800.50	v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317
1800.03/1800.50	v -x3318 -x3319 -x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333
1800.03/1800.50	v -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x334 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 x3347 -x3348 -x3349 -x335
1800.03/1800.50	v -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365
1800.03/1800.50	v -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381
1800.03/1800.50	v -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397
1800.03/1800.50	v -x3398 -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 x341 -x3410 -x3411 -x3412
1800.03/1800.50	v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428
1800.03/1800.50	v -x3429 -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 -x3443 -x3444
1800.03/1800.50	v -x3445 -x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460
1800.03/1800.50	v -x3461 -x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477
1800.03/1800.50	v -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493
1800.03/1800.50	v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509
1800.03/1800.50	v -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525
1800.03/1800.50	v -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541
1800.03/1800.50	v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558
1800.03/1800.50	v -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574
1800.03/1800.50	v -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590
1800.03/1800.50	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606
1800.03/1800.50	v -x3607 -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622
1800.03/1800.50	v -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638
1800.03/1800.50	v -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654
1800.03/1800.50	v -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 -x3670
1800.03/1800.50	v x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687
1800.03/1800.50	v -x3688 -x3689 -x369 -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x37 -x370 -x3700 -x3701 -x3702
1800.03/1800.50	v -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718
1800.03/1800.50	v -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733 -x3734
1800.03/1800.50	v -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750
1800.03/1800.50	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766
1800.03/1800.50	v -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x378 -x3780 -x3781 -x3782
1800.03/1800.50	v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798
1800.03/1800.50	v -x3799 -x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 -x3813
1800.03/1800.50	v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829
1800.03/1800.50	v -x383 -x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845
1800.03/1800.50	v -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860 -x3861
1800.03/1800.50	v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877
1800.03/1800.50	v -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890 -x3891 -x3892 -x3893
1800.03/1800.50	v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 -x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909
1800.03/1800.50	v -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925
1800.03/1800.50	v -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x394 -x3940 -x3941
1800.03/1800.50	v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957
1800.03/1800.50	v -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x397 -x3970 -x3971 -x3972 -x3973
1800.03/1800.50	v -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989
1800.03/1800.50	v -x399 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4 -x40 -x400 -x4000 -x4001 -x4002 -x4003
1800.03/1800.50	v -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x401 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019
1800.03/1800.50	v -x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035
1800.03/1800.50	v -x4036 -x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x405 -x4050 -x4051
1800.03/1800.50	v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067
1800.03/1800.50	v -x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 -x4081 -x4082 -x4083
1800.03/1800.50	v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099
1800.03/1800.50	v -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113 -x4114
1800.03/1800.50	v -x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x413 -x4130
1800.03/1800.50	v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x414 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146
1800.03/1800.50	v -x4147 -x4148 -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x416 -x4160 -x4161 -x4162
1800.03/1800.50	v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x417 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178
1800.03/1800.50	v -x4179 -x418 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x419 -x4190 -x4191 -x4192 -x4193 -x4194
1800.03/1800.50	v -x4195 -x4196 -x4197 -x4198 -x4199 -x42 x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x421
1800.03/1800.50	v -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226
1800.03/1800.50	v -x4227 -x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241 -x4242
1800.03/1800.50	v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258
1800.03/1800.50	v -x4259 -x426 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 x4266 -x4267 -x4268 -x4269 -x427 -x4270 -x4271 -x4272 -x4273 -x4274
1800.03/1800.50	v -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x429 -x4290
1800.03/1800.50	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306
1800.03/1800.50	v -x4307 -x4308 -x4309 -x431 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x432 -x4320 -x4321 -x4322
1800.03/1800.50	v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 -x433 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339
1800.03/1800.50	v -x434 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x435 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355
1800.03/1800.50	v -x4356 -x4357 -x4358 -x4359 -x436 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x437 -x4370 -x4371
1800.03/1800.50	v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x438 -x4380 -x4381 -x4382 x4383 -x4384 -x4385 -x4386 -x4387 -x4388
1800.03/1800.50	v -x4389 -x439 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x44 -x440 -x4400 -x4401 -x4402 -x4403
1800.03/1800.50	v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419
1800.03/1800.50	v -x442 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x443 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435
1800.03/1800.50	v -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x445 -x4450 -x4451
1800.03/1800.50	v -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461 -x4462 x4463 -x4464 -x4465 -x4466 -x4467 -x4468
1800.03/1800.50	v -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x448 -x4480 -x4481 -x4482 -x4483 -x4484
1800.03/1800.50	v -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x45 -x450
1800.03/1800.50	v -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515
1800.03/1800.50	v -x4516 -x4517 -x4518 -x4519 -x452 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x453 -x4530 -x4531
1800.03/1800.50	v -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547
1800.03/1800.50	v -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 x4555 -x4556 -x4557 -x4558 -x4559 -x456 -x4560 -x4561 -x4562 -x4563
1800.03/1800.50	v -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579
1800.03/1800.50	v -x458 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x459 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595
1800.03/1800.50	v -x4596 -x4597 -x4598 -x4599 -x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x461 -x4610
1800.03/1800.50	v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622 x4623 -x4624 -x4625 -x4626 -x4627
1800.03/1800.50	v -x4628 -x4629 -x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x464 -x4640 -x4641 -x4642 -x4643
1800.03/1800.50	v -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659
1800.03/1800.50	v -x466 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x467 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675
1800.03/1800.50	v -x4676 -x4677 -x4678 x4679 -x468 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x469 -x4690 -x4691
1800.03/1800.50	v -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 x4699 -x47 -x470 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707
1800.03/1800.50	v -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 x4719 -x472 -x4720 -x4721 -x4722 -x4723
1800.03/1800.50	v -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739
1800.03/1800.50	v -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x475 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755
1800.03/1800.50	v -x4756 x4757 -x4758 -x4759 -x476 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x477 -x4770 -x4771
1800.03/1800.50	v -x4772 -x4773 -x4774 -x4775 x4776 -x4777 -x4778 -x4779 -x478 -x4780 -x4781 -x4782 -x4783 x4784 -x4785 -x4786 -x4787 -x4788
1800.03/1800.50	v -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x48 -x480 -x4800 -x4801 -x4802 -x4803
1800.03/1800.50	v -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x481 x4810 -x4811 -x4812 -x4813 -x4814 -x4815 x4816 -x4817 -x4818 -x4819 -x482
1800.03/1800.50	v -x4820 -x4821 -x4822 -x4823 -x4824 x4825 -x4826 -x4827 -x4828 -x4829 -x483 -x4830 -x4831 x4832 -x4833 x4834 -x4835 -x4836
1800.03/1800.50	v -x4837 -x4838 -x4839 -x484 -x4840 -x4841 -x4842 x4843 x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x485 -x4850 -x4851 -x4852
1800.03/1800.50	v -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x486 -x4860 -x4861 -x4862 -x4863 x4864 x4865 -x4866 -x4867 -x4868 -x4869
1800.03/1800.50	v -x487 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x488 -x4880 -x4881 -x4882 -x4883 x4884 -x4885
1800.03/1800.50	v -x4886 -x4887 -x4888 -x4889 -x489 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x49 -x490 -x4900
1800.03/1800.50	v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x491 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916
1800.03/1800.50	v -x4917 -x4918 -x4919 -x492 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x493 -x4930 -x4931 -x4932
1800.03/1800.50	v -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x494 -x4940 x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949
1800.03/1800.50	v -x495 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x496 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965
1800.03/1800.50	v -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x498 -x4980 -x4981
1800.03/1800.50	v -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x499 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997
1800.03/1800.50	v -x4998 -x4999 -x5 -x50 -x500 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x501 -x5010 -x5011
1800.03/1800.50	v -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x502 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027
1800.03/1800.50	v -x5028 -x5029 -x503 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x504 -x5040 -x5041 -x5042 -x5043
1800.03/1800.50	v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x505 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059
1800.03/1800.50	v -x506 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x507 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075
1800.03/1800.50	v -x5076 -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 x5087 -x5088 -x5089 -x509 -x5090 -x5091
1800.03/1800.50	v -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 x51 -x510 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107
1800.03/1800.50	v -x5108 -x5109 -x511 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x512 -x5120 -x5121 -x5122 -x5123
1800.03/1800.50	v -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x513 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139
1800.03/1800.50	v -x514 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x515 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155
1800.03/1800.50	v -x5156 -x5157 -x5158 -x5159 -x516 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x517 -x5170 -x5171
1800.03/1800.50	v -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187
1800.03/1800.50	v -x5188 -x5189 -x519 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x52 -x520 -x5200 -x5201 -x5202
1800.03/1800.50	v -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x521 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218
1800.03/1800.50	v -x5219 -x522 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x523 -x5230 -x5231 -x5232 -x5233 -x5234
1800.03/1800.50	v -x5235 -x5236 -x5237 -x5238 -x5239 -x524 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x525 -x5250
1800.03/1800.50	v -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x526 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266
1800.03/1800.50	v -x5267 -x5268 -x5269 -x527 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x528 -x5280 -x5281 -x5282
1800.03/1800.50	v -x5283 x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x529 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299
1800.03/1800.50	v -x53 -x530 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x531 -x5310 -x5311 -x5312 -x5313 -x5314
1800.03/1800.50	v -x5315 -x5316 -x5317 -x5318 -x5319 -x532 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x533 -x5330
1800.03/1800.50	v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x534 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346
1800.03/1800.50	v -x5347 -x5348 -x5349 -x535 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x536 -x5360 -x5361 -x5362
1800.03/1800.50	v -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x537 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378
1800.03/1800.50	v -x5379 -x538 -x5380 -x5381 -x5382 -x5383 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550
1800.03/1800.50	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57
1800.03/1800.50	v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
1800.03/1800.50	v -x59 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.03/1800.50	v -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1800.03/1800.50	v -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646
1800.03/1800.50	v -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665
1800.03/1800.50	v -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684
1800.03/1800.50	v -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702
1800.03/1800.50	v -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721
1800.03/1800.50	v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740
1800.03/1800.50	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76
1800.03/1800.50	v -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779
1800.03/1800.50	v -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
1800.03/1800.50	v -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816
1800.03/1800.50	v -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835
1800.03/1800.50	v -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854
1800.03/1800.50	v -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x87 -x870 -x871 -x872 -x873
1800.03/1800.50	v -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892
1800.03/1800.50	v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910
1800.03/1800.50	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93
1800.03/1800.50	v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949
1800.03/1800.50	v -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968
1800.03/1800.50	v -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.03/1800.50	v -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data (download as text)

OK	-3970

Conversion Script Data (download as text)

/tmp/evaluation/458688-1178640461/instance-458688-1178640461.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-458688-1178640461 -o ROOT/results/node47/solver-458688-1178640461 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458688-1178640461/instance-458688-1178640461.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.00 1.00 0.99 3/77 15279
/proc/meminfo: memFree=1803504/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=1980 CPUtime=0
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 218891530 2027520 290 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530029 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 495 290 84 219 0 272 0

[startup+0.101528 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 15279
/proc/meminfo: memFree=1803504/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=2384 CPUtime=0.09
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 387 0 0 0 9 0 0 0 18 0 1 0 218891530 2441216 369 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134587797 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 596 369 86 219 0 373 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2384

[startup+0.201538 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 15279
/proc/meminfo: memFree=1803504/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=3064 CPUtime=0.19
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 572 0 0 0 19 0 0 0 18 0 1 0 218891530 3137536 554 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 766 554 89 219 0 543 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3064

[startup+0.301549 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 15279
/proc/meminfo: memFree=1803504/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=3064 CPUtime=0.29
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 584 0 0 0 29 0 0 0 19 0 1 0 218891530 3137536 566 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 766 566 101 219 0 543 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3064

[startup+0.701592 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 15279
/proc/meminfo: memFree=1803504/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=3064 CPUtime=0.69
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 584 0 0 0 69 0 0 0 23 0 1 0 218891530 3137536 566 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 766 566 101 219 0 543 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3064

[startup+1.50168 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15280
/proc/meminfo: memFree=1801640/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=3064 CPUtime=1.49
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 584 0 0 0 149 0 0 0 25 0 1 0 218891530 3137536 566 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 766 566 101 219 0 543 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3064

[startup+3.10185 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15280
/proc/meminfo: memFree=1801512/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=3064 CPUtime=3.09
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 584 0 0 0 307 2 0 0 25 0 1 0 218891530 3137536 566 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 766 566 101 219 0 543 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3064

[startup+6.3022 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15280
/proc/meminfo: memFree=1798960/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=11000 CPUtime=6.29
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 1870 0 0 0 626 3 0 0 25 0 1 0 218891530 11264000 1852 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 2750 1852 102 219 0 2527 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11000

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15280
/proc/meminfo: memFree=1777072/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=35904 CPUtime=12.69
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 7079 0 0 0 1263 6 0 0 25 0 1 0 218891530 36765696 7061 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 8976 7061 102 219 0 8753 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35904

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15280
/proc/meminfo: memFree=1738672/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=68940 CPUtime=25.49
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 16362 0 0 0 2538 11 0 0 25 0 1 0 218891530 70594560 16344 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 17235 16344 102 219 0 17012 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68940

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15280
/proc/meminfo: memFree=1670896/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=135244 CPUtime=51.07
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 33532 0 0 0 5088 19 0 0 25 0 1 0 218891530 138489856 33465 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134558758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 33811 33465 102 219 0 33588 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 135244

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15280
/proc/meminfo: memFree=1603888/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=267908 CPUtime=102.27
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 49852 0 0 0 10199 28 0 0 25 0 1 0 218891530 274337792 49785 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 66977 49785 102 219 0 66754 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 267908

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15280
/proc/meminfo: memFree=1602928/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=269020 CPUtime=162.25
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 50157 0 0 0 16196 29 0 0 25 0 1 0 218891530 275476480 49993 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 67255 49993 102 219 0 67032 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 269020

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15280
/proc/meminfo: memFree=1600944/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=270880 CPUtime=222.24
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 50643 0 0 0 22193 31 0 0 25 0 1 0 218891530 277381120 50479 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 67720 50479 102 219 0 67497 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 270880

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=1503920/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=405876 CPUtime=282.22
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 74868 0 0 0 28173 49 0 0 25 0 1 0 218891530 415617024 74511 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 101469 74511 102 219 0 101246 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 405876

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=1385456/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=606236 CPUtime=342.2
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 104627 0 0 0 34158 62 0 0 25 0 1 0 218891530 620785664 104270 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 151559 104270 102 219 0 151336 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 606236

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=1270960/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=611604 CPUtime=402.19
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 133024 0 0 0 40141 78 0 0 25 0 1 0 218891530 626282496 132667 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 152901 132667 102 219 0 152678 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 611604

[startup+462.302 s]
/proc/loadavg: 1.04 1.01 0.99 2/78 15282
/proc/meminfo: memFree=1214128/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=618736 CPUtime=462.17
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 147217 0 0 0 46131 86 0 0 25 0 1 0 218891530 633585664 146860 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 154684 146860 102 219 0 154461 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 618736

[startup+522.301 s]
/proc/loadavg: 1.01 1.01 0.99 2/78 15282
/proc/meminfo: memFree=1180400/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=743168 CPUtime=522.16
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 155348 0 0 0 52117 99 0 0 25 0 1 0 218891530 761004032 154991 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 185792 154991 102 219 0 185569 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 743168

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=1132016/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=748124 CPUtime=582.13
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 167799 0 0 0 58107 106 0 0 25 0 1 0 218891530 766078976 167057 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 187031 167057 102 219 0 186808 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 748124

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=1129392/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=751136 CPUtime=642.13
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 168439 0 0 0 64104 109 0 0 25 0 1 0 218891530 769163264 167697 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134561317 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 187784 167697 102 219 0 187561 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 751136


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

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=1015088/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=906556 CPUtime=882.06
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 196901 0 0 0 88076 130 0 0 25 0 1 0 218891530 928313344 196159 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 226639 196159 102 219 0 226416 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 906556

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=990192/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=908296 CPUtime=942.05
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 203103 0 0 0 94069 136 0 0 25 0 1 0 218891530 930095104 202361 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 227074 202361 102 219 0 226851 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 908296

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=989680/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=908772 CPUtime=1002.03
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 203211 0 0 0 100065 138 0 0 25 0 1 0 218891530 930582528 202469 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 227193 202469 102 219 0 226970 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 908772

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=988912/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=909172 CPUtime=1062.01
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 203381 0 0 0 106061 140 0 0 25 0 1 0 218891530 930992128 202639 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134532698 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 227293 202639 102 219 0 227070 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 909172

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=987824/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=913100 CPUtime=1122
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 204398 0 0 0 112056 144 0 0 25 0 1 0 218891530 935014400 202887 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 228275 202887 102 219 0 228052 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 913100

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=986032/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=914996 CPUtime=1181.98
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 204832 0 0 0 118052 146 0 0 25 0 1 0 218891530 936955904 203321 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 228749 203321 102 219 0 228526 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 914996

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=983344/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=917848 CPUtime=1241.97
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 205446 0 0 0 124047 150 0 0 25 0 1 0 218891530 939876352 203935 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134584020 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 229462 203935 102 219 0 229239 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 917848

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=981680/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=919672 CPUtime=1301.95
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 205851 0 0 0 130042 153 0 0 25 0 1 0 218891530 941744128 204340 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 229918 204340 102 219 0 229695 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 919672

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 15282
/proc/meminfo: memFree=979888/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=921720 CPUtime=1361.94
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 206282 0 0 0 136038 156 0 0 25 0 1 0 218891530 943841280 204771 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 230430 204771 102 219 0 230207 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 921720

[startup+1422.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 15282
/proc/meminfo: memFree=978992/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=922664 CPUtime=1421.93
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 206500 0 0 0 142034 159 0 0 25 0 1 0 218891530 944807936 204989 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 230666 204989 102 219 0 230443 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 922664

[startup+1482.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/78 15282
/proc/meminfo: memFree=977776/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=923976 CPUtime=1481.9
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 206780 0 0 0 148029 161 0 0 25 0 1 0 218891530 946151424 205269 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 230994 205269 102 219 0 230771 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 923976

[startup+1542.31 s]
/proc/loadavg: 1.12 1.04 1.00 2/78 15282
/proc/meminfo: memFree=974192/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=927804 CPUtime=1541.89
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 207653 0 0 0 154026 163 0 0 25 0 1 0 218891530 950071296 206142 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 231951 206142 102 219 0 231728 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 927804

[startup+1602.3 s]
/proc/loadavg: 1.17 1.06 1.01 2/78 15282
/proc/meminfo: memFree=973488/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=928284 CPUtime=1601.88
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 207817 0 0 0 160022 166 0 0 25 0 1 0 218891530 950562816 206306 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 232071 206306 102 219 0 231848 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 928284

[startup+1662.3 s]
/proc/loadavg: 1.18 1.08 1.01 2/78 15282
/proc/meminfo: memFree=972656/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=928924 CPUtime=1661.86
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 208010 0 0 0 166017 169 0 0 25 0 1 0 218891530 951218176 206499 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546877 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 232231 206499 102 219 0 232008 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 928924

[startup+1722.3 s]
/proc/loadavg: 1.06 1.06 1.01 2/78 15282
/proc/meminfo: memFree=971632/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=929872 CPUtime=1721.84
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 208246 0 0 0 172012 172 0 0 25 0 1 0 218891530 952188928 206735 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 232468 206735 102 219 0 232245 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 929872

[startup+1782.3 s]
/proc/loadavg: 1.05 1.06 1.01 2/78 15282
/proc/meminfo: memFree=971120/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=929872 CPUtime=1781.83
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 208324 0 0 0 178008 175 0 0 25 0 1 0 218891530 952188928 206813 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 232468 206813 102 219 0 232245 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 929872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.04 1.06 1.01 2/78 15282
/proc/meminfo: memFree=971056/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=929872 CPUtime=1800.03
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194304 208350 0 0 0 179826 177 0 0 25 0 1 0 218891530 952188928 206839 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 232468 206839 102 219 0 232245 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 929872

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: 1.04 1.06 1.01 2/78 15282
/proc/meminfo: memFree=971056/2055920 swapFree=4157832/4192956
[pid=15279] ppid=15277 vsize=0 CPUtime=1800.12
/proc/15279/stat : 15279 (PBS4_SAT07v2) R 15277 15279 14745 0 -1 4194308 208353 0 0 0 179826 186 0 0 25 0 1 0 218891530 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/15279/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.17
CPU user time (s): 1798.27
CPU system time (s): 1.89971
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 929872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.27
system time used= 1.89971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208353
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= 9
involuntary context switches= 36121

runsolver used 1.51177 second user time and 4.32034 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Tue May  8 16:07:41 UTC 2007

IDJOB= 458688
IDBENCH= 1810
IDSOLVER= 200
FILE ID= node47/458688-1178640461

PBS_JOBID= 5218335

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458688-1178640461/instance-458688-1178640461.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-458688-1178640461 -o ROOT/results/node47/conversion-458688-1178640461 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458688-1178640461/instance-458688-1178640461.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-458688-1178640461 -o ROOT/results/node47/solver-458688-1178640461 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/458688-1178640461/instance-458688-1178640461.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  7ddc5796bc843f2bf9bc94a0b22fd8e4

RANDOM SEED= 153915042

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1803976 kB
Buffers:          4968 kB
Cached:         112404 kB
SwapCached:       3464 kB
Active:         168200 kB
Inactive:        10200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1803976 kB
SwapTotal:     4192956 kB
SwapFree:      4157832 kB
Dirty:            2488 kB
Writeback:           0 kB
Mapped:          68156 kB
Slab:            58916 kB
Committed_AS:  5579616 kB
PageTables:       1880 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= 66562 MiB

End job on node47 on Tue May  8 16:37:44 UTC 2007