Trace number 459703

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)-106 1800.07 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_4.opb
MD5SUM81ea6ef3f58dd056541f0542171b5402
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-112
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -112
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6326
Sum of products size (including duplicates)12652
Number of different products3163
Sum of products size6326

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

Verifier Data (download as text)

OK	-106

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459703-1178658480/instance-459703-1178658480.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node13/watcher-459703-1178658480 -o ROOT/results/node13/solver-459703-1178658480 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459703-1178658480/instance-459703-1178658480.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.99 0.98 0.99 3/77 29033
/proc/meminfo: memFree=1589696/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=1828 CPUtime=0
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 313765817 1871872 232 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134586979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 457 232 86 219 0 234 0

[startup+0.057445 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 29033
/proc/meminfo: memFree=1589696/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=2928 CPUtime=0.05
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 526 0 0 0 5 0 0 0 18 0 1 0 313765817 2998272 475 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134591356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 732 475 86 219 0 509 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2928

[startup+0.101453 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 29033
/proc/meminfo: memFree=1589696/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=3468 CPUtime=0.09
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 721 0 0 0 9 0 0 0 18 0 1 0 313765817 3551232 605 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 867 605 88 219 0 644 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3468

[startup+0.301497 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 29033
/proc/meminfo: memFree=1589696/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=5260 CPUtime=0.29
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 1011 0 0 0 29 0 0 0 19 0 1 0 313765817 5386240 895 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 1315 895 102 219 0 1092 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5260

[startup+0.701581 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 29033
/proc/meminfo: memFree=1589696/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=7504 CPUtime=0.69
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 1585 0 0 0 68 1 0 0 23 0 1 0 313765817 7684096 1469 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 1876 1469 102 219 0 1653 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7504

[startup+1.50175 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1582584/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=11600 CPUtime=1.49
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 2672 0 0 0 148 1 0 0 25 0 1 0 313765817 11878400 2556 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 2900 2556 102 219 0 2677 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11600

[startup+3.10109 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1576696/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=19792 CPUtime=3.08
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 4592 0 0 0 306 2 0 0 25 0 1 0 313765817 20267008 4476 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 4948 4476 102 219 0 4725 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19792

[startup+6.30178 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1562552/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=37180 CPUtime=6.29
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 8115 0 0 0 625 4 0 0 25 0 1 0 313765817 38072320 7950 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 9295 7950 102 219 0 9072 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37180

[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1548088/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=71504 CPUtime=12.68
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 10734 0 0 0 1261 7 0 0 25 0 1 0 313765817 73220096 10472 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 17876 10472 102 219 0 17653 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 71504

[startup+25.5019 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1546680/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=72292 CPUtime=25.48
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 11038 0 0 0 2539 9 0 0 25 0 1 0 313765817 74027008 10776 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 18073 10776 102 219 0 17850 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72292

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1545080/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=74156 CPUtime=51.07
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 11640 0 0 0 5094 13 0 0 25 0 1 0 313765817 75935744 11185 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 18539 11185 102 219 0 18316 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74156

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1542776/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=77016 CPUtime=102.26
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 12600 0 0 0 10203 23 0 0 25 0 1 0 313765817 78864384 11760 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 19254 11760 102 219 0 19031 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 77016

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1540344/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=81276 CPUtime=162.23
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 13973 0 0 0 16190 33 0 0 25 0 1 0 313765817 83226624 12364 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 20319 12364 102 219 0 20096 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 81276

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1538296/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=82400 CPUtime=222.21
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 14455 0 0 0 22178 43 0 0 25 0 1 0 313765817 84377600 12846 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 20600 12846 102 219 0 20377 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 82400

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1536568/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=83436 CPUtime=282.19
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 14908 0 0 0 28170 49 0 0 25 0 1 0 313765817 85438464 13299 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 20859 13299 102 219 0 20636 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 83436

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1534776/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=84244 CPUtime=342.16
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 15342 0 0 0 34160 56 0 0 25 0 1 0 313765817 86265856 13733 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 21061 13733 102 219 0 20838 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 84244

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1533112/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=91296 CPUtime=402.14
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 17292 0 0 0 40150 64 0 0 25 0 1 0 313765817 93487104 14146 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 22824 14146 102 219 0 22601 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 91296

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1531512/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=91792 CPUtime=462.12
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 17688 0 0 0 46142 70 0 0 25 0 1 0 313765817 93995008 14542 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 22948 14542 102 219 0 22725 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 91792

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1530040/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=92880 CPUtime=522.1
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 18073 0 0 0 52135 75 0 0 25 0 1 0 313765817 95109120 14927 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 23220 14927 102 219 0 22997 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 92880

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1528504/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=93476 CPUtime=582.08
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 18444 0 0 0 58126 82 0 0 25 0 1 0 313765817 95719424 15298 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 23369 15298 102 219 0 23146 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 93476

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1527032/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=94108 CPUtime=642.06
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 18806 0 0 0 64118 88 0 0 25 0 1 0 313765817 96366592 15660 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 23527 15660 102 219 0 23304 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 94108


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1521784/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=109340 CPUtime=881.97
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 23221 0 0 0 88084 113 0 0 25 0 1 0 313765817 111964160 17002 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134546904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 27335 17002 102 219 0 27112 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 109340

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1520504/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=110196 CPUtime=941.95
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 23538 0 0 0 94078 117 0 0 25 0 1 0 313765817 112840704 17319 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 27549 17319 102 219 0 27326 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 110196

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1519288/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=111104 CPUtime=1001.93
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 23845 0 0 0 100070 123 0 0 25 0 1 0 313765817 113770496 17626 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 27776 17626 102 219 0 27553 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 111104

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1518072/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=111104 CPUtime=1061.91
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 24147 0 0 0 106063 128 0 0 25 0 1 0 313765817 113770496 17928 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 27776 17928 102 219 0 27553 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 111104

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1516856/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=112068 CPUtime=1121.88
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 24443 0 0 0 112056 132 0 0 25 0 1 0 313765817 114757632 18224 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560862 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 28017 18224 102 219 0 27794 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 112068

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1515704/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=112068 CPUtime=1181.86
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 24731 0 0 0 118049 137 0 0 25 0 1 0 313765817 114757632 18512 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 28017 18512 102 219 0 27794 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 112068

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1514488/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=113092 CPUtime=1241.84
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 25017 0 0 0 124041 143 0 0 25 0 1 0 313765817 115806208 18798 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 28273 18798 102 219 0 28050 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 113092

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1513400/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=114180 CPUtime=1301.82
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 25297 0 0 0 130035 147 0 0 25 0 1 0 313765817 116920320 19078 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 28545 19078 102 219 0 28322 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 114180

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1512312/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=114180 CPUtime=1361.8
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 25569 0 0 0 136029 151 0 0 25 0 1 0 313765817 116920320 19350 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 28545 19350 102 219 0 28322 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 114180

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1511224/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=115336 CPUtime=1421.77
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 25839 0 0 0 142022 155 0 0 25 0 1 0 313765817 118104064 19620 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 28834 19620 102 219 0 28611 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 115336

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1510200/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=115336 CPUtime=1481.75
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 26102 0 0 0 148016 159 0 0 25 0 1 0 313765817 118104064 19883 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 28834 19883 102 219 0 28611 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 115336

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1509112/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=115336 CPUtime=1541.73
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 26365 0 0 0 154009 164 0 0 25 0 1 0 313765817 118104064 20146 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 28834 20146 102 219 0 28611 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 115336

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1508152/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=116564 CPUtime=1601.71
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 26621 0 0 0 160002 169 0 0 25 0 1 0 313765817 119361536 20402 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 29141 20402 102 219 0 28918 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 116564

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1507064/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=116564 CPUtime=1661.69
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 26874 0 0 0 165996 173 0 0 25 0 1 0 313765817 119361536 20655 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 29141 20655 102 219 0 28918 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 116564

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1506104/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=117872 CPUtime=1721.66
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 27127 0 0 0 171988 178 0 0 25 0 1 0 313765817 120700928 20908 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 29468 20908 102 219 0 29245 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 117872

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1505080/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=117872 CPUtime=1781.64
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 27373 0 0 0 177981 183 0 0 25 0 1 0 313765817 120700928 21154 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 29468 21154 102 219 0 29245 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 117872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1504760/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=117872 CPUtime=1800.04
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 27448 0 0 0 179820 184 0 0 25 0 1 0 313765817 120700928 21229 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588681 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 29468 21229 102 219 0 29245 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 117872

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

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

[startup+1800.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29034
/proc/meminfo: memFree=1504760/2055920 swapFree=4159396/4192956
[pid=29033] ppid=29031 vsize=117872 CPUtime=1800.04
/proc/29033/stat : 29033 (PBS4_SAT07v2) R 29031 29033 28290 0 -1 4194304 27448 0 0 0 179820 184 0 0 25 0 1 0 313765817 120700928 21229 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588681 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29033/statm: 29468 21229 102 219 0 29245 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 117872

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.07
CPU user time (s): 1798.21
CPU system time (s): 1.85672
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 121632

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

runsolver used 1.42678 second user time and 4.12337 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Tue May  8 21:08:00 UTC 2007

IDJOB= 459703
IDBENCH= 48164
IDSOLVER= 200
FILE ID= node13/459703-1178658480

PBS_JOBID= 5218007

Free space on /tmp= 66562 MiB

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  81ea6ef3f58dd056541f0542171b5402

RANDOM SEED= 618380724

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1590168 kB
Buffers:         45608 kB
Cached:         327664 kB
SwapCached:      12696 kB
Active:         180436 kB
Inactive:       216300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1590168 kB
SwapTotal:     4192956 kB
SwapFree:      4159396 kB
Dirty:            2560 kB
Writeback:           0 kB
Mapped:          30544 kB
Slab:            54512 kB
Committed_AS:  9711836 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node13 on Tue May  8 21:38:03 UTC 2007