Trace number 458541

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)45 1800.09 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-israel.opb
MD5SUM916719a95a95b5989e5d4b5f3d786df3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36
Optimality of the best value was proved NO
Number of variables4260
Total number of constraints174
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints174
Minimum length of a constraint30
Maximum length of a constraint3540
Number of terms in the objective function 2670
Biggest coefficient in the objective function 42742
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 526467
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262137
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527037
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	45

Conversion Script Data (download as text)

/tmp/evaluation/458541-1178634484/instance-458541-1178634484.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node76/watcher-458541-1178634484 -o ROOT/results/node76/solver-458541-1178634484 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458541-1178634484/instance-458541-1178634484.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/69 16724
/proc/meminfo: memFree=1475424/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=1868 CPUtime=0
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 272 0 0 0 0 0 0 0 20 0 1 0 311362975 1912832 255 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 467 255 84 219 0 244 0

[startup+0.037372 s]
/proc/loadavg: 1.00 1.00 1.00 3/69 16724
/proc/meminfo: memFree=1475424/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=2144 CPUtime=0.03
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 314 0 0 0 3 0 0 0 20 0 1 0 311362975 2195456 297 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 536 297 86 219 0 313 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2144

[startup+0.101384 s]
/proc/loadavg: 1.00 1.00 1.00 3/69 16724
/proc/meminfo: memFree=1475424/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=2548 CPUtime=0.09
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 436 0 0 0 9 0 0 0 20 0 1 0 311362975 2609152 419 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134587081 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 637 419 86 219 0 414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2548

[startup+0.301425 s]
/proc/loadavg: 1.00 1.00 1.00 3/69 16724
/proc/meminfo: memFree=1475424/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=2880 CPUtime=0.29
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 524 0 0 0 29 0 0 0 22 0 1 0 311362975 2949120 507 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 720 507 86 219 0 497 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2880

[startup+0.702499 s]
/proc/loadavg: 1.00 1.00 1.00 3/69 16724
/proc/meminfo: memFree=1475424/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=4744 CPUtime=0.69
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 998 0 0 0 69 0 0 0 25 0 1 0 311362975 4857856 881 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 1186 881 90 219 0 963 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4744

[startup+1.50165 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1471960/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=4744 CPUtime=1.49
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1000 0 0 0 149 0 0 0 25 0 1 0 311362975 4857856 883 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 1186 883 90 219 0 963 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4744

[startup+3.10196 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1471832/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=4744 CPUtime=3.09
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1007 0 0 0 309 0 0 0 25 0 1 0 311362975 4857856 890 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557345 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 1186 890 90 219 0 963 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4744

[startup+6.30158 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1471704/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=4744 CPUtime=6.29
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1037 0 0 0 629 0 0 0 25 0 1 0 311362975 4857856 920 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545317 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 1186 920 90 219 0 963 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4744

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1470496/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=6536 CPUtime=12.68
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1360 0 0 0 1268 0 0 0 25 0 1 0 311362975 6692864 1243 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 1634 1243 90 219 0 1411 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6536

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1470432/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=6536 CPUtime=25.48
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1371 0 0 0 2548 0 0 0 25 0 1 0 311362975 6692864 1254 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 1634 1254 90 219 0 1411 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 6536

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1469984/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=6536 CPUtime=51.07
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1509 0 0 0 5106 1 0 0 25 0 1 0 311362975 6692864 1392 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 1634 1392 90 219 0 1411 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6536

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1469920/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=6676 CPUtime=102.25
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 1532 0 0 0 10224 1 0 0 25 0 1 0 311362975 6836224 1415 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 1669 1415 90 219 0 1446 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 6676

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1464032/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=13136 CPUtime=162.23
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 3064 0 0 0 16220 3 0 0 25 0 1 0 311362975 13451264 2947 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 3284 2947 90 219 0 3061 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 13136

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1460000/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=21544 CPUtime=222.21
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 3990 0 0 0 22216 5 0 0 25 0 1 0 311362975 22061056 3873 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5386 3873 90 219 0 5163 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 21544

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1459488/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=22252 CPUtime=282.19
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4164 0 0 0 28213 6 0 0 25 0 1 0 311362975 22786048 3998 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5563 3998 90 219 0 5340 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 22252

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1458976/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=22568 CPUtime=342.17
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4287 0 0 0 34210 7 0 0 25 0 1 0 311362975 23109632 4121 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5642 4121 102 219 0 5419 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 22568

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1457952/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=22944 CPUtime=402.15
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4551 0 0 0 40205 10 0 0 25 0 1 0 311362975 23494656 4385 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5736 4385 102 219 0 5513 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 22944

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1457760/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=23208 CPUtime=462.13
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4607 0 0 0 46202 11 0 0 25 0 1 0 311362975 23764992 4441 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5802 4441 102 219 0 5579 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 23208

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1457568/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=23592 CPUtime=522.11
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4709 0 0 0 52200 11 0 0 25 0 1 0 311362975 24158208 4446 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5898 4446 102 219 0 5675 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 23592

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1457568/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=23592 CPUtime=582.09
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4719 0 0 0 58198 11 0 0 25 0 1 0 311362975 24158208 4456 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5898 4456 102 219 0 5675 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 23592

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1457568/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=23592 CPUtime=642.07
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4721 0 0 0 64196 11 0 0 25 0 1 0 311362975 24158208 4458 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5898 4458 102 219 0 5675 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 23592


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16725
/proc/meminfo: memFree=1457248/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=23836 CPUtime=881.99
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4788 0 0 0 88187 12 0 0 25 0 1 0 311362975 24408064 4525 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5959 4525 102 219 0 5736 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 23836

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1457248/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=23836 CPUtime=941.96
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4789 0 0 0 94184 12 0 0 25 0 1 0 311362975 24408064 4526 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5959 4526 102 219 0 5736 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 23836

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1457120/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=23836 CPUtime=1001.94
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4879 0 0 0 100182 12 0 0 25 0 1 0 311362975 24408064 4616 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5959 4616 102 219 0 5736 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 23836

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1456672/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=23836 CPUtime=1061.92
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 4978 0 0 0 106180 12 0 0 25 0 1 0 311362975 24408064 4715 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5959 4715 102 219 0 5736 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 23836

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1456224/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=23836 CPUtime=1121.9
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5080 0 0 0 112178 12 0 0 25 0 1 0 311362975 24408064 4817 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5959 4817 102 219 0 5736 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 23836

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1455904/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=23836 CPUtime=1181.88
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5174 0 0 0 118175 13 0 0 25 0 1 0 311362975 24408064 4911 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5959 4911 102 219 0 5736 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 23836

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1455456/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=23972 CPUtime=1241.86
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5271 0 0 0 124173 13 0 0 25 0 1 0 311362975 24547328 5008 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 5993 5008 102 219 0 5770 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 23972

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1455264/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=24096 CPUtime=1301.85
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5317 0 0 0 130171 14 0 0 25 0 1 0 311362975 24674304 5054 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 6024 5054 102 219 0 5801 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 24096

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1455200/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=24096 CPUtime=1361.82
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5328 0 0 0 136168 14 0 0 25 0 1 0 311362975 24674304 5065 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 6024 5065 102 219 0 5801 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 24096

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1455008/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=24340 CPUtime=1421.8
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5398 0 0 0 142165 15 0 0 25 0 1 0 311362975 24924160 5135 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 6085 5135 102 219 0 5862 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 24340

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1454560/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=24740 CPUtime=1481.77
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5492 0 0 0 148161 16 0 0 25 0 1 0 311362975 25333760 5229 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 6185 5229 102 219 0 5962 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 24740

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1454560/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=24740 CPUtime=1541.76
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5502 0 0 0 154159 17 0 0 25 0 1 0 311362975 25333760 5239 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 6185 5239 102 219 0 5962 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 24740

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1454496/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=24740 CPUtime=1601.74
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5514 0 0 0 160157 17 0 0 25 0 1 0 311362975 25333760 5251 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 6185 5251 102 219 0 5962 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 24740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1454304/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=24860 CPUtime=1661.72
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5561 0 0 0 166153 19 0 0 25 0 1 0 311362975 25456640 5298 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 6215 5298 102 219 0 5992 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 24860

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1454240/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=24860 CPUtime=1721.7
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5565 0 0 0 172151 19 0 0 25 0 1 0 311362975 25456640 5302 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 6215 5302 102 219 0 5992 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 24860

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1454240/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=24860 CPUtime=1781.68
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5570 0 0 0 178149 19 0 0 25 0 1 0 311362975 25456640 5307 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 6215 5307 102 219 0 5992 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 24860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1454240/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=24860 CPUtime=1800.08
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5572 0 0 0 179989 19 0 0 25 0 1 0 311362975 25456640 5309 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 6215 5309 102 219 0 5992 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 24860

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 16727
/proc/meminfo: memFree=1454240/2055888 swapFree=4087212/4096564
[pid=16724] ppid=16722 vsize=24860 CPUtime=1800.08
/proc/16724/stat : 16724 (PBS4_SAT07v2) R 16722 16724 16013 0 -1 4194304 5572 0 0 0 179989 19 0 0 25 0 1 0 311362975 25456640 5309 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16724/statm: 6215 5309 102 219 0 5992 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 24860

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.09
CPU user time (s): 1799.89
CPU system time (s): 0.19697
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 24860

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

runsolver used 1.66175 second user time and 3.2605 second system time

The end

Launcher Data (download as text)

Begin job on node76 on Tue May  8 14:28:04 UTC 2007

IDJOB= 458541
IDBENCH= 1655
IDSOLVER= 200
FILE ID= node76/458541-1178634484

PBS_JOBID= 5218302

Free space on /tmp= 66649 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458541-1178634484/instance-458541-1178634484.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node76/convwatcher-458541-1178634484 -o ROOT/results/node76/conversion-458541-1178634484 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458541-1178634484/instance-458541-1178634484.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  916719a95a95b5989e5d4b5f3d786df3

RANDOM SEED= 591205356

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.277
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	: 6006.17
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.277
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1475896 kB
Buffers:         38488 kB
Cached:         431284 kB
SwapCached:       3032 kB
Active:          88500 kB
Inactive:       391400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1475896 kB
SwapTotal:     4096564 kB
SwapFree:      4087212 kB
Dirty:            2852 kB
Writeback:           0 kB
Mapped:          16112 kB
Slab:            86556 kB
Committed_AS:  5765592 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66649 MiB

End job on node76 on Tue May  8 14:58:07 UTC 2007