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

OK	0

/tmp/evaluation/458424-1178622596/instance-458424-1178622596.opb is already a linear file

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

command line: runsolver --timestamp -w ROOT/results/node74/watcher-458424-1178622596 -o ROOT/results/node74/solver-458424-1178622596 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458424-1178622596/instance-458424-1178622596.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.91 0.97 0.99 3/66 22775
/proc/meminfo: memFree=1556816/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=1908 CPUtime=0
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 310174336 1953792 267 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 477 267 86 219 0 254 0

[startup+0.013074 s]
/proc/loadavg: 0.91 0.97 0.99 3/66 22775
/proc/meminfo: memFree=1556816/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=2040 CPUtime=0
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 318 0 0 0 0 0 0 0 18 0 1 0 310174336 2088960 300 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530465 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 510 300 86 219 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2040

[startup+0.102085 s]
/proc/loadavg: 0.91 0.97 0.99 3/66 22775
/proc/meminfo: memFree=1556816/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=2696 CPUtime=0.09
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 530 0 0 0 9 0 0 0 18 0 1 0 310174336 2760704 512 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 674 512 86 219 0 451 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2696

[startup+0.301107 s]
/proc/loadavg: 0.91 0.97 0.99 3/66 22775
/proc/meminfo: memFree=1556816/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=4468 CPUtime=0.29
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 1001 0 0 0 29 0 0 0 19 0 1 0 310174336 4575232 837 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 1117 837 86 219 0 894 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4468

[startup+0.702154 s]
/proc/loadavg: 0.91 0.97 0.99 3/66 22775
/proc/meminfo: memFree=1556816/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=8868 CPUtime=0.69
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 1783 0 0 0 68 1 0 0 22 0 1 0 310174336 9080832 1426 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 2217 1426 90 219 0 1994 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8868

[startup+1.50125 s]
/proc/loadavg: 0.91 0.97 0.99 2/67 22776
/proc/meminfo: memFree=1550536/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=9388 CPUtime=1.49
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 2233 0 0 0 146 3 0 0 25 0 1 0 310174336 9613312 1876 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 2347 1876 90 219 0 2124 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9388

[startup+3.10143 s]
/proc/loadavg: 0.91 0.97 0.99 2/67 22776
/proc/meminfo: memFree=1548808/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=9740 CPUtime=3.09
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 2482 0 0 0 300 9 0 0 25 0 1 0 310174336 9973760 2125 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 2435 2125 90 219 0 2212 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9740

[startup+6.3018 s]
/proc/loadavg: 0.92 0.97 0.99 2/67 22776
/proc/meminfo: memFree=1548040/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=10084 CPUtime=6.29
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 2593 0 0 0 608 21 0 0 25 0 1 0 310174336 10326016 2236 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 2521 2236 90 219 0 2298 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10084

[startup+12.7015 s]
/proc/loadavg: 1.01 0.98 0.99 2/67 22776
/proc/meminfo: memFree=1547408/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=10552 CPUtime=12.69
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 2757 0 0 0 1228 41 0 0 25 0 1 0 310174336 10805248 2400 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 2638 2400 90 219 0 2415 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10552

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

[startup+14.3057 s]
/proc/loadavg: 1.01 0.98 0.99 2/67 22776
/proc/meminfo: memFree=1547216/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=10660 CPUtime=14.29
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 2785 0 0 0 1383 46 0 0 25 0 1 0 310174336 10915840 2428 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 2665 2428 90 219 0 2442 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 10660

[startup+15.1018 s]
/proc/loadavg: 1.01 0.98 0.99 2/67 22776
/proc/meminfo: memFree=1547216/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=10660 CPUtime=15.09
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 2811 0 0 0 1460 49 0 0 25 0 1 0 310174336 10915840 2454 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 2665 2454 90 219 0 2442 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 10660

[startup+15.9019 s]
/proc/loadavg: 1.01 0.98 0.99 2/67 22776
/proc/meminfo: memFree=1547088/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=10824 CPUtime=15.89
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 2824 0 0 0 1538 51 0 0 25 0 1 0 310174336 11083776 2467 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 2706 2467 90 219 0 2483 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 10824

[startup+16.302 s]
/proc/loadavg: 1.01 0.98 0.99 2/67 22776
/proc/meminfo: memFree=1547088/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=10824 CPUtime=16.29
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 2828 0 0 0 1577 52 0 0 25 0 1 0 310174336 11083776 2471 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 2706 2471 90 219 0 2483 0
Current children cumulated CPU time (s) 16.29
Current children cumulated vsize (KiB) 10824

[startup+16.402 s]
/proc/loadavg: 1.01 0.98 0.99 2/67 22776
/proc/meminfo: memFree=1547024/2055920 swapFree=4183172/4192956
[pid=22775] ppid=22773 vsize=10824 CPUtime=16.39
/proc/22775/stat : 22775 (PBS4_SAT07v2) R 22773 22775 21819 0 -1 4194304 2838 0 0 0 1587 52 0 0 25 0 1 0 310174336 11083776 2481 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22775/statm: 2706 2481 90 219 0 2483 0
Current children cumulated CPU time (s) 16.39
Current children cumulated vsize (KiB) 10824

Child status: 0
Real time (s): 16.4937
CPU time (s): 16.4865
CPU user time (s): 15.9606
CPU system time (s): 0.52592
CPU usage (%): 99.9563
Max. virtual memory (cumulated for all children) (KiB): 10824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9606
system time used= 0.52592
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2857
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= 8
involuntary context switches= 21

runsolver used 0.014997 second user time and 0.040993 second system time

The end

Begin job on node74 on Tue May  8 11:09:56 UTC 2007

IDJOB= 458424
IDBENCH= 1501
IDSOLVER= 200
FILE ID= node74/458424-1178622596

PBS_JOBID= 5218254

Free space on /tmp= 103242 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458424-1178622596/instance-458424-1178622596.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-458424-1178622596 -o ROOT/results/node74/conversion-458424-1178622596 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458424-1178622596/instance-458424-1178622596.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  24c836f3fcb46569dfcfdc2eda4dee98

RANDOM SEED= 316133766

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1557288 kB
Buffers:         31092 kB
Cached:         356896 kB
SwapCached:       2944 kB
Active:          95124 kB
Inactive:       303424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1557288 kB
SwapTotal:     4192956 kB
SwapFree:      4183172 kB
Dirty:            3316 kB
Writeback:           0 kB
Mapped:          16644 kB
Slab:            85880 kB
Committed_AS:  6927592 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103242 MiB

End job on node74 on Tue May  8 11:10:12 UTC 2007