Trace number 459792

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)-26 1800.15 1800.77

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_5.opb
MD5SUMb1b77cfc7c7e45b216596a736ff4b926
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-29
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12452
Sum of products size (including duplicates)24904
Number of different products6226
Sum of products size12452

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

Verifier Data (download as text)

OK	-26

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459792-1178660349/instance-459792-1178660349.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node71/watcher-459792-1178660349 -o ROOT/results/node71/solver-459792-1178660349 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459792-1178660349/instance-459792-1178660349.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.92 0.98 0.99 3/64 14199
/proc/meminfo: memFree=1475904/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=2236 CPUtime=0
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 342024300 2289664 329 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 559 329 86 219 0 336 0

[startup+0.020165 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14199
/proc/meminfo: memFree=1475904/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=2372 CPUtime=0.01
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 406 0 0 0 1 0 0 0 18 0 1 0 342024300 2428928 388 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 593 388 86 219 0 370 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2372

[startup+0.101175 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14199
/proc/meminfo: memFree=1475904/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=3624 CPUtime=0.09
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 692 0 0 0 9 0 0 0 18 0 1 0 342024300 3710976 674 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134591356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 906 674 86 219 0 683 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3624

[startup+0.301201 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14199
/proc/meminfo: memFree=1475904/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=4364 CPUtime=0.29
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 957 0 0 0 29 0 0 0 19 0 1 0 342024300 4468736 874 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561131 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 1091 874 90 219 0 868 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4364

[startup+0.701257 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14199
/proc/meminfo: memFree=1475904/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=4364 CPUtime=0.69
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 957 0 0 0 69 0 0 0 22 0 1 0 342024300 4468736 874 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 1091 874 90 219 0 868 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4364

[startup+1.50137 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 14200
/proc/meminfo: memFree=1472760/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=4364 CPUtime=1.49
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 963 0 0 0 149 0 0 0 25 0 1 0 342024300 4468736 880 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 1091 880 90 219 0 868 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4364

[startup+3.10158 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 14200
/proc/meminfo: memFree=1472568/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=4364 CPUtime=3.09
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 976 0 0 0 309 0 0 0 25 0 1 0 342024300 4468736 893 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 1091 893 90 219 0 868 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4364

[startup+6.30202 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 14200
/proc/meminfo: memFree=1470008/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=8864 CPUtime=6.29
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 1760 0 0 0 628 1 0 0 25 0 1 0 342024300 9076736 1677 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561131 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 2216 1677 102 219 0 1993 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8864

[startup+12.7019 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 14200
/proc/meminfo: memFree=1467136/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=14084 CPUtime=12.69
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 2529 0 0 0 1265 4 0 0 25 0 1 0 342024300 14422016 2397 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545877 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 3521 2397 102 219 0 3298 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14084

[startup+25.5016 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 14200
/proc/meminfo: memFree=1461696/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=15476 CPUtime=25.48
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 3836 0 0 0 2539 9 0 0 25 0 1 0 342024300 15847424 3607 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 3869 3607 102 219 0 3646 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15476

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14200
/proc/meminfo: memFree=1460608/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=16884 CPUtime=51.08
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 4278 0 0 0 5089 19 0 0 25 0 1 0 342024300 17289216 3856 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 4221 3856 102 219 0 3998 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16884

[startup+102.305 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 14200
/proc/meminfo: memFree=1459136/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=17892 CPUtime=102.27
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 4682 0 0 0 10184 43 0 0 25 0 1 0 342024300 18321408 4260 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 4473 4260 102 219 0 4250 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 17892

[startup+162.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 14200
/proc/meminfo: memFree=1457152/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=20644 CPUtime=162.24
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 5567 0 0 0 16158 66 0 0 25 0 1 0 342024300 21139456 4760 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 5161 4760 102 219 0 4938 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 20644

[startup+222.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 14200
/proc/meminfo: memFree=1452352/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=29600 CPUtime=222.23
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 6760 0 0 0 22136 87 0 0 25 0 1 0 342024300 30310400 5953 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 7400 5953 102 219 0 7177 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 29600

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 14200
/proc/meminfo: memFree=1445696/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=33592 CPUtime=282.21
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 9197 0 0 0 28123 98 0 0 25 0 1 0 342024300 34398208 7621 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 8398 7621 102 219 0 8175 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 33592

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 14200
/proc/meminfo: memFree=1390656/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=151332 CPUtime=342.19
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 22983 0 0 0 34103 116 0 0 25 0 1 0 342024300 154963968 21407 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 37833 21407 102 219 0 37610 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 151332

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14200
/proc/meminfo: memFree=1379904/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=156236 CPUtime=402.18
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 25779 0 0 0 40094 124 0 0 25 0 1 0 342024300 159985664 24203 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 39059 24203 102 219 0 38836 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 156236

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14202
/proc/meminfo: memFree=1360896/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=157900 CPUtime=462.16
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 30309 0 0 0 46082 134 0 0 25 0 1 0 342024300 161689600 28733 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134783748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 39475 28733 102 219 0 39252 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 157900

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14202
/proc/meminfo: memFree=1359680/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=164636 CPUtime=522.14
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 32104 0 0 0 52073 141 0 0 25 0 1 0 342024300 168587264 28991 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 41159 28991 102 219 0 40936 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 164636

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14202
/proc/meminfo: memFree=1349504/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=168128 CPUtime=582.12
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 34730 0 0 0 58066 146 0 0 25 0 1 0 342024300 172163072 31617 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 42032 31617 102 219 0 41809 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 168128

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14202
/proc/meminfo: memFree=1313152/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=171392 CPUtime=642.11
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 43754 0 0 0 64053 158 0 0 25 0 1 0 342024300 175505408 40641 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 42848 40641 102 219 0 42625 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 171392


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

[startup+882.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 14202
/proc/meminfo: memFree=1297664/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=306980 CPUtime=882.04
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 47549 0 0 0 88028 176 0 0 25 0 1 0 342024300 314347520 44436 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134583768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 76745 44436 102 219 0 76522 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 306980

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14202
/proc/meminfo: memFree=1269504/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=307904 CPUtime=942.02
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 54606 0 0 0 94019 183 0 0 25 0 1 0 342024300 315293696 51493 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 76976 51493 102 219 0 76753 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 307904

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14202
/proc/meminfo: memFree=1241984/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=308696 CPUtime=1002
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 61442 0 0 0 100010 190 0 0 25 0 1 0 342024300 316104704 58329 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 77174 58329 102 219 0 76951 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 308696

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14202
/proc/meminfo: memFree=1218240/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=310808 CPUtime=1061.98
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 67425 0 0 0 106002 196 0 0 25 0 1 0 342024300 318267392 64312 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 77702 64312 102 219 0 77479 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 310808

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14202
/proc/meminfo: memFree=1195072/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=311732 CPUtime=1121.97
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 73176 0 0 0 111996 201 0 0 25 0 1 0 342024300 319213568 70063 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 77933 70063 102 219 0 77710 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 311732

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14202
/proc/meminfo: memFree=1172160/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=315824 CPUtime=1181.95
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 79086 0 0 0 117988 207 0 0 25 0 1 0 342024300 323403776 75973 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 78956 75973 102 219 0 78733 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 315824

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14202
/proc/meminfo: memFree=1157184/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=450056 CPUtime=1241.94
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 82485 0 0 0 123979 215 0 0 25 0 1 0 342024300 460857344 79372 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 112514 79372 102 219 0 112291 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 450056

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14202
/proc/meminfo: memFree=1156224/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=450980 CPUtime=1301.92
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 82715 0 0 0 129974 218 0 0 25 0 1 0 342024300 461803520 79602 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 112745 79602 102 219 0 112522 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 450980

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 14376
/proc/meminfo: memFree=1151872/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=454800 CPUtime=1361.82
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 83510 0 0 0 135959 223 0 0 25 0 1 0 342024300 465715200 80364 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 113700 80364 102 219 0 113477 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 454800

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14400
/proc/meminfo: memFree=1151672/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=456088 CPUtime=1421.79
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 83866 0 0 0 141953 226 0 0 25 0 1 0 342024300 467034112 80720 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 114022 80720 102 219 0 113799 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 456088

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14400
/proc/meminfo: memFree=1150776/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=456872 CPUtime=1481.77
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 84164 0 0 0 147949 228 0 0 25 0 1 0 342024300 467836928 80952 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 114218 80952 102 219 0 113995 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 456872

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14400
/proc/meminfo: memFree=1144248/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=461824 CPUtime=1541.74
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 86018 0 0 0 153942 232 0 0 25 0 1 0 342024300 472907776 82575 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 115456 82575 102 219 0 115233 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 461824

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14400
/proc/meminfo: memFree=1143992/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=461824 CPUtime=1601.73
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 86081 0 0 0 159938 235 0 0 25 0 1 0 342024300 472907776 82638 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 115456 82638 102 219 0 115233 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 461824

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14400
/proc/meminfo: memFree=1143736/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=461824 CPUtime=1661.72
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 86140 0 0 0 165934 238 0 0 25 0 1 0 342024300 472907776 82697 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 115456 82697 102 219 0 115233 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 461824

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14400
/proc/meminfo: memFree=1141824/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=466084 CPUtime=1721.69
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 87108 0 0 0 171929 240 0 0 25 0 1 0 342024300 477270016 83170 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 116521 83170 102 219 0 116298 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 466084

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14400
/proc/meminfo: memFree=1139520/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=471360 CPUtime=1781.68
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 88583 0 0 0 177924 244 0 0 25 0 1 0 342024300 482672640 83754 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 117840 83754 102 219 0 117617 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 471360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14400
/proc/meminfo: memFree=1139456/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=471360 CPUtime=1800.08
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 88595 0 0 0 179764 244 0 0 25 0 1 0 342024300 482672640 83766 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 117840 83766 102 219 0 117617 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 471360

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

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14400
/proc/meminfo: memFree=1139456/2055920 swapFree=4184264/4192956
[pid=14199] ppid=14197 vsize=471360 CPUtime=1800.08
/proc/14199/stat : 14199 (PBS4_SAT07v2) R 14197 14199 13454 0 -1 4194304 88595 0 0 0 179764 244 0 0 25 0 1 0 342024300 482672640 83766 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14199/statm: 117840 83766 102 219 0 117617 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 471360

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.15
CPU user time (s): 1797.65
CPU system time (s): 2.50062
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 471360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.65
system time used= 2.50062
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88598
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= 1235

runsolver used 1.44078 second user time and 3.54046 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Tue May  8 21:39:09 UTC 2007

IDJOB= 459792
IDBENCH= 48253
IDSOLVER= 200
FILE ID= node71/459792-1178660349

PBS_JOBID= 5218408

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_5.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459792-1178660349/instance-459792-1178660349.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node71/convwatcher-459792-1178660349 -o ROOT/results/node71/conversion-459792-1178660349 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459792-1178660349/instance-459792-1178660349.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  b1b77cfc7c7e45b216596a736ff4b926

RANDOM SEED= 756571457

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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.234
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.234
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:       1476312 kB
Buffers:         38252 kB
Cached:         439432 kB
SwapCached:       2668 kB
Active:         172740 kB
Inactive:       317920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1476312 kB
SwapTotal:     4192956 kB
SwapFree:      4184264 kB
Dirty:            2772 kB
Writeback:           0 kB
Mapped:          19244 kB
Slab:            74916 kB
Committed_AS:  6981456 kB
PageTables:       1456 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 node71 on Tue May  8 22:09:13 UTC 2007