Trace number 459219

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)163 1800.09 1800.62

General information on the benchmark

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

Verifier Data (download as text)

OK	163

Conversion Script Data (download as text)

/tmp/evaluation/459219-1178651542/instance-459219-1178651542.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/node74/watcher-459219-1178651542 -o ROOT/results/node74/solver-459219-1178651542 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459219-1178651542/instance-459219-1178651542.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.84 0.94 0.95 3/66 25321
/proc/meminfo: memFree=1412880/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=1872 CPUtime=0
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 313068975 1916928 244 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 468 244 84 219 0 245 0

[startup+0.100864 s]
/proc/loadavg: 0.84 0.94 0.95 3/66 25321
/proc/meminfo: memFree=1412880/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=2384 CPUtime=0.09
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 466 0 0 0 9 0 0 0 18 0 1 0 313068975 2441216 448 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 596 448 86 219 0 373 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2384

[startup+0.201872 s]
/proc/loadavg: 0.84 0.94 0.95 3/66 25321
/proc/meminfo: memFree=1412880/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=2940 CPUtime=0.19
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 601 0 0 0 18 1 0 0 18 0 1 0 313068975 3010560 534 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 735 534 102 219 0 512 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2940

[startup+0.301884 s]
/proc/loadavg: 0.84 0.94 0.95 3/66 25321
/proc/meminfo: memFree=1412880/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=3212 CPUtime=0.29
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 679 0 0 0 27 2 0 0 19 0 1 0 313068975 3289088 612 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 803 612 102 219 0 580 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3212

[startup+0.701929 s]
/proc/loadavg: 0.84 0.94 0.95 3/66 25321
/proc/meminfo: memFree=1412880/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=4144 CPUtime=0.69
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 828 0 0 0 67 2 0 0 22 0 1 0 313068975 4243456 761 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 1036 761 102 219 0 813 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4144

[startup+1.50202 s]
/proc/loadavg: 0.84 0.94 0.95 2/67 25322
/proc/meminfo: memFree=1409672/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=5312 CPUtime=1.49
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 1045 0 0 0 147 2 0 0 25 0 1 0 313068975 5439488 978 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 1328 978 102 219 0 1105 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5312

[startup+3.10121 s]
/proc/loadavg: 0.85 0.94 0.95 2/67 25322
/proc/meminfo: memFree=1408392/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=7360 CPUtime=3.09
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 1460 0 0 0 306 3 0 0 25 0 1 0 313068975 7536640 1393 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 1840 1393 102 219 0 1617 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7360

[startup+6.30158 s]
/proc/loadavg: 0.85 0.94 0.95 2/67 25322
/proc/meminfo: memFree=1405064/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=11456 CPUtime=6.29
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 2234 0 0 0 623 6 0 0 25 0 1 0 313068975 11730944 2167 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 2864 2167 102 219 0 2641 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11456

[startup+12.7013 s]
/proc/loadavg: 0.88 0.94 0.95 2/67 25322
/proc/meminfo: memFree=1399376/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=21164 CPUtime=12.68
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 3598 0 0 0 1258 10 0 0 25 0 1 0 313068975 21671936 3434 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 5291 3434 102 219 0 5068 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21164

[startup+25.5028 s]
/proc/loadavg: 0.89 0.94 0.95 2/67 25322
/proc/meminfo: memFree=1395856/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=22376 CPUtime=25.48
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 4431 0 0 0 2536 12 0 0 25 0 1 0 313068975 22913024 4267 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 5594 4267 102 219 0 5371 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22376

[startup+51.1028 s]
/proc/loadavg: 0.93 0.94 0.95 2/67 25322
/proc/meminfo: memFree=1395088/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=23048 CPUtime=51.07
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 4624 0 0 0 5094 13 0 0 25 0 1 0 313068975 23601152 4460 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 5762 4460 102 219 0 5539 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23048

[startup+102.303 s]
/proc/loadavg: 0.97 0.95 0.95 2/67 25322
/proc/meminfo: memFree=1394128/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=23832 CPUtime=102.26
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 4871 0 0 0 10211 15 0 0 25 0 1 0 313068975 24403968 4707 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560640 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 5958 4707 102 219 0 5735 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23832

[startup+162.303 s]
/proc/loadavg: 0.99 0.96 0.95 2/67 25322
/proc/meminfo: memFree=1391504/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=27124 CPUtime=162.24
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 5708 0 0 0 16203 21 0 0 25 0 1 0 313068975 27774976 5351 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 6781 5351 102 219 0 6558 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 27124

[startup+222.306 s]
/proc/loadavg: 0.99 0.96 0.95 2/67 25322
/proc/meminfo: memFree=1389776/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=28480 CPUtime=222.23
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 6134 0 0 0 22197 26 0 0 25 0 1 0 313068975 29163520 5777 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134548654 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 7120 5777 102 219 0 6897 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 28480

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1388688/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=29408 CPUtime=282.21
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 6405 0 0 0 28191 30 0 0 25 0 1 0 313068975 30113792 6048 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 7352 6048 102 219 0 7129 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 29408

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1387792/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=31720 CPUtime=342.19
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 6995 0 0 0 34186 33 0 0 25 0 1 0 313068975 32481280 6253 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 7930 6253 102 219 0 7707 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 31720

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1386832/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=32468 CPUtime=402.17
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 7240 0 0 0 40179 38 0 0 25 0 1 0 313068975 33247232 6498 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 8117 6498 102 219 0 7894 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 32468

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1386064/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=33032 CPUtime=462.15
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 7424 0 0 0 46172 43 0 0 25 0 1 0 313068975 33824768 6682 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 8258 6682 102 219 0 8035 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 33032

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1385360/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=33440 CPUtime=522.14
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 7584 0 0 0 52168 46 0 0 25 0 1 0 313068975 34242560 6842 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 8360 6842 102 219 0 8137 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 33440

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1384784/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=33976 CPUtime=582.12
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 7749 0 0 0 58164 48 0 0 25 0 1 0 313068975 34791424 7007 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 8494 7007 102 219 0 8271 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 33976

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1384208/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=34240 CPUtime=642.1
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 7876 0 0 0 64159 51 0 0 25 0 1 0 313068975 35061760 7134 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 8560 7134 102 219 0 8337 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 34240


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

[startup+882.305 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1382160/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=38836 CPUtime=882.04
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9166 0 0 0 88133 71 0 0 25 0 1 0 313068975 39768064 7655 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555556 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 9709 7655 102 219 0 9486 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 38836

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1381648/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=39196 CPUtime=942.02
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9290 0 0 0 94127 75 0 0 25 0 1 0 313068975 40136704 7779 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 9799 7779 102 219 0 9576 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 39196

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1381008/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=39680 CPUtime=1001.99
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9456 0 0 0 100118 81 0 0 25 0 1 0 313068975 40632320 7945 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 9920 7945 102 219 0 9697 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 39680

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1380432/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=40056 CPUtime=1061.98
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9596 0 0 0 106112 86 0 0 25 0 1 0 313068975 41017344 8085 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10014 8085 102 219 0 9791 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 40056

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1379920/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=40192 CPUtime=1121.97
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9714 0 0 0 112107 90 0 0 25 0 1 0 313068975 41156608 8203 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10048 8203 102 219 0 9825 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 40192

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1379536/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=40452 CPUtime=1181.95
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9822 0 0 0 118102 93 0 0 25 0 1 0 313068975 41422848 8311 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10113 8311 102 219 0 9890 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 40452

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1378832/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=41016 CPUtime=1241.93
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 9984 0 0 0 124097 96 0 0 25 0 1 0 313068975 42000384 8473 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10254 8473 102 219 0 10031 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 41016

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1378448/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=41308 CPUtime=1301.91
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10085 0 0 0 130092 99 0 0 25 0 1 0 313068975 42299392 8574 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10327 8574 102 219 0 10104 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 41308

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1377936/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=41436 CPUtime=1361.89
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10195 0 0 0 136087 102 0 0 25 0 1 0 313068975 42430464 8684 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10359 8684 102 219 0 10136 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 41436

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1377552/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=41972 CPUtime=1421.88
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10308 0 0 0 142081 107 0 0 25 0 1 0 313068975 42979328 8797 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10493 8797 102 219 0 10270 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 41972

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1377040/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=41972 CPUtime=1481.86
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10433 0 0 0 148074 112 0 0 25 0 1 0 313068975 42979328 8922 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10493 8922 102 219 0 10270 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 41972

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1376720/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=42300 CPUtime=1541.84
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10509 0 0 0 154068 116 0 0 25 0 1 0 313068975 43315200 8998 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557345 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10575 8998 102 219 0 10352 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 42300

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1376336/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=42412 CPUtime=1601.82
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10624 0 0 0 160061 121 0 0 25 0 1 0 313068975 43429888 9113 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10603 9113 102 219 0 10380 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 42412

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1375952/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=42892 CPUtime=1661.81
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10715 0 0 0 166057 124 0 0 25 0 1 0 313068975 43921408 9204 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560663 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10723 9204 102 219 0 10500 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 42892

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1375568/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=42892 CPUtime=1721.79
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10804 0 0 0 172052 127 0 0 25 0 1 0 313068975 43921408 9293 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10723 9293 102 219 0 10500 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 42892

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1375184/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=43380 CPUtime=1781.77
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10910 0 0 0 178047 130 0 0 25 0 1 0 313068975 44421120 9399 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10845 9399 102 219 0 10622 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 43380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1375056/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=43380 CPUtime=1800.06
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10935 0 0 0 179876 130 0 0 25 0 1 0 313068975 44421120 9424 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10845 9424 102 219 0 10622 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 43380

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

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

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 25322
/proc/meminfo: memFree=1375056/2055920 swapFree=4183172/4192956
[pid=25321] ppid=25319 vsize=43380 CPUtime=1800.06
/proc/25321/stat : 25321 (PBS4_SAT07v2) R 25319 25321 25254 0 -1 4194304 10935 0 0 0 179876 130 0 0 25 0 1 0 313068975 44421120 9424 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25321/statm: 10845 9424 102 219 0 10622 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 43380

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.09
CPU user time (s): 1798.77
CPU system time (s): 1.3178
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 43380

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

runsolver used 1.3118 second user time and 3.61945 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Tue May  8 19:12:22 UTC 2007

IDJOB= 459219
IDBENCH= 24990
IDSOLVER= 200
FILE ID= node74/459219-1178651542

PBS_JOBID= 5218415

Free space on /tmp= 103242 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459219-1178651542/instance-459219-1178651542.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-459219-1178651542 -o ROOT/results/node74/conversion-459219-1178651542 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459219-1178651542/instance-459219-1178651542.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  6e9753dce198ef5ddba763a137b390c4

RANDOM SEED= 334526682

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1413352 kB
Buffers:         34812 kB
Cached:         498084 kB
SwapCached:       2944 kB
Active:         164132 kB
Inactive:       378332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1413352 kB
SwapTotal:     4192956 kB
SwapFree:      4183172 kB
Dirty:            2764 kB
Writeback:           0 kB
Mapped:          15700 kB
Slab:            85948 kB
Committed_AS:  6927936 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103242 MiB

End job on node74 on Tue May  8 19:42:25 UTC 2007