Trace number 459733

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)-108 1800.08 1800.53

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_5.opb
MD5SUM2b02b42135ec6f53aa7a47afb99951df
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-110
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 -110
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)6270
Sum of products size (including duplicates)12540
Number of different products3135
Sum of products size6270

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

Verifier Data (download as text)

OK	-108

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459733-1178658976/instance-459733-1178658976.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1582
/proc/meminfo: memFree=1927016/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=1828 CPUtime=0
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 341936074 1871872 232 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 457 232 86 219 0 234 0

[startup+0.077771 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1582
/proc/meminfo: memFree=1927016/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=2900 CPUtime=0.07
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 549 0 0 0 7 0 0 0 18 0 1 0 341936074 2969600 498 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 725 499 86 219 0 502 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2900

[startup+0.101772 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1582
/proc/meminfo: memFree=1927016/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=3428 CPUtime=0.09
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 723 0 0 0 9 0 0 0 18 0 1 0 341936074 3510272 607 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 857 607 89 219 0 634 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3428

[startup+0.301791 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1582
/proc/meminfo: memFree=1927016/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=5220 CPUtime=0.29
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 1150 0 0 0 29 0 0 0 19 0 1 0 341936074 5345280 1034 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 1305 1034 102 219 0 1082 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5220

[startup+0.701827 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1582
/proc/meminfo: memFree=1927016/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=11560 CPUtime=0.69
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 1872 0 0 0 68 1 0 0 23 0 1 0 341936074 11837440 1756 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 2890 1756 102 219 0 2667 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11560

[startup+1.5019 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1918752/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=19752 CPUtime=1.49
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 2853 0 0 0 148 1 0 0 25 0 1 0 341936074 20226048 2737 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 4938 2737 102 219 0 4715 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19752

[startup+3.10205 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1913312/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=19944 CPUtime=3.09
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 4893 0 0 0 307 2 0 0 25 0 1 0 341936074 20422656 4728 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 4986 4728 102 219 0 4763 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19944

[startup+6.30134 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1899040/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=37220 CPUtime=6.29
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 8251 0 0 0 624 5 0 0 25 0 1 0 341936074 38113280 8086 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547211 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 9305 8086 102 219 0 9082 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37220

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1887584/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=71136 CPUtime=12.69
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 10139 0 0 0 1262 7 0 0 25 0 1 0 341936074 72843264 9877 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134558765 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 17784 9877 102 219 0 17561 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71136

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1884064/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=72284 CPUtime=25.49
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 11015 0 0 0 2539 10 0 0 25 0 1 0 341936074 74018816 10753 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 18071 10753 102 219 0 17848 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72284

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1880800/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=74032 CPUtime=51.07
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 12034 0 0 0 5093 14 0 0 25 0 1 0 341936074 75808768 11579 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 18508 11579 102 219 0 18285 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74032

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1875424/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=77264 CPUtime=102.27
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 13758 0 0 0 10203 24 0 0 25 0 1 0 341936074 79118336 12918 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 19316 12918 102 219 0 19093 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 77264

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1871776/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=81836 CPUtime=162.25
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 15410 0 0 0 16189 36 0 0 25 0 1 0 341936074 83800064 13801 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 20459 13801 102 219 0 20236 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 81836

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1869536/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=83004 CPUtime=222.24
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 15940 0 0 0 22178 46 0 0 25 0 1 0 341936074 84996096 14331 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134564704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 20751 14331 102 219 0 20528 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 83004

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1867424/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=84092 CPUtime=282.22
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 16464 0 0 0 28168 54 0 0 25 0 1 0 341936074 86110208 14855 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 21023 14855 102 219 0 20800 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 84092

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1865376/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=91412 CPUtime=342.21
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 18485 0 0 0 34155 66 0 0 25 0 1 0 341936074 93605888 15339 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 22853 15339 102 219 0 22630 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 91412

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1863712/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=92328 CPUtime=402.19
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 18889 0 0 0 40146 73 0 0 25 0 1 0 341936074 94543872 15743 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 23082 15743 102 219 0 22859 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 92328

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1861792/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=92932 CPUtime=462.18
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 19342 0 0 0 46138 80 0 0 25 0 1 0 341936074 95162368 16196 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549412 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 23233 16196 102 219 0 23010 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 92932

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1859936/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=94028 CPUtime=522.16
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 19782 0 0 0 52128 88 0 0 25 0 1 0 341936074 96284672 16636 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 23507 16636 102 219 0 23284 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 94028

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1858400/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=94628 CPUtime=582.15
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 20165 0 0 0 58119 96 0 0 25 0 1 0 341936074 96899072 17019 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 23657 17019 102 219 0 23434 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 94628

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1856672/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=95940 CPUtime=642.13
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 20587 0 0 0 64110 103 0 0 25 0 1 0 341936074 98242560 17441 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 23985 17441 102 219 0 23762 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 95940


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1850976/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=110524 CPUtime=882.08
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 24997 0 0 0 88083 125 0 0 25 0 1 0 341936074 113176576 18778 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 27631 18778 102 219 0 27408 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 110524

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1849696/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=111384 CPUtime=942.06
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 25311 0 0 0 94076 130 0 0 25 0 1 0 341936074 114057216 19092 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 27846 19092 102 219 0 27623 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 111384

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1848352/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=112300 CPUtime=1002.05
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 25614 0 0 0 100071 134 0 0 25 0 1 0 341936074 114995200 19395 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 28075 19395 102 219 0 27852 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 112300

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1847136/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=112300 CPUtime=1062.03
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 25912 0 0 0 106064 139 0 0 25 0 1 0 341936074 114995200 19693 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 28075 19693 102 219 0 27852 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 112300

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1583
/proc/meminfo: memFree=1845856/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=113272 CPUtime=1122.02
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 26212 0 0 0 112057 145 0 0 25 0 1 0 341936074 115990528 19993 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 28318 19993 102 219 0 28095 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 113272

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1585
/proc/meminfo: memFree=1844448/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=114304 CPUtime=1182
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 26509 0 0 0 118050 150 0 0 25 0 1 0 341936074 117047296 20290 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 28576 20290 102 219 0 28353 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 114304

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1585
/proc/meminfo: memFree=1843232/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=114304 CPUtime=1241.99
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 26804 0 0 0 124044 155 0 0 25 0 1 0 341936074 117047296 20585 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 28576 20585 102 219 0 28353 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 114304

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1585
/proc/meminfo: memFree=1841952/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=115400 CPUtime=1301.97
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 27080 0 0 0 130038 159 0 0 25 0 1 0 341936074 118169600 20861 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 28850 20861 102 219 0 28627 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 115400

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1585
/proc/meminfo: memFree=1840800/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=115400 CPUtime=1361.96
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 27355 0 0 0 136033 163 0 0 25 0 1 0 341936074 118169600 21136 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 28850 21136 102 219 0 28627 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 115400

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1585
/proc/meminfo: memFree=1839648/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=116564 CPUtime=1421.94
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 27622 0 0 0 142027 167 0 0 25 0 1 0 341936074 119361536 21403 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 29141 21403 102 219 0 28918 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 116564

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1585
/proc/meminfo: memFree=1838496/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=116564 CPUtime=1481.93
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 27888 0 0 0 148021 172 0 0 25 0 1 0 341936074 119361536 21669 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 29141 21669 102 219 0 28918 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 116564

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1585
/proc/meminfo: memFree=1837408/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=117804 CPUtime=1541.91
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 28156 0 0 0 154014 177 0 0 25 0 1 0 341936074 120631296 21937 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 29451 21937 102 219 0 29228 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 117804

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1585
/proc/meminfo: memFree=1836320/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=117804 CPUtime=1601.9
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 28417 0 0 0 160009 181 0 0 25 0 1 0 341936074 120631296 22198 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 29451 22198 102 219 0 29228 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 117804

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1585
/proc/meminfo: memFree=1835296/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=117804 CPUtime=1661.88
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 28671 0 0 0 166003 185 0 0 25 0 1 0 341936074 120631296 22452 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 29451 22452 102 219 0 29228 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 117804

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1585
/proc/meminfo: memFree=1834208/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=119120 CPUtime=1721.87
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 28934 0 0 0 171997 190 0 0 25 0 1 0 341936074 121978880 22715 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 29780 22715 102 219 0 29557 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 119120

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1585
/proc/meminfo: memFree=1832992/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=119120 CPUtime=1781.86
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 29184 0 0 0 177993 193 0 0 25 0 1 0 341936074 121978880 22965 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 29780 22965 102 219 0 29557 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 119120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1585
/proc/meminfo: memFree=1832672/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=119120 CPUtime=1800.06
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 29258 0 0 0 179812 194 0 0 25 0 1 0 341936074 121978880 23039 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 29780 23039 102 219 0 29557 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 119120

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1585
/proc/meminfo: memFree=1832672/2055920 swapFree=4157260/4192956
[pid=1582] ppid=1580 vsize=119120 CPUtime=1800.06
/proc/1582/stat : 1582 (PBS4_SAT07v2) R 1580 1582 663 0 -1 4194304 29258 0 0 0 179812 194 0 0 25 0 1 0 341936074 121978880 23039 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1582/statm: 29780 23039 102 219 0 29557 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 119120

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.08
CPU user time (s): 1798.12
CPU system time (s): 1.9587
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 119120

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

runsolver used 1.53277 second user time and 4.38833 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Tue May  8 21:16:16 UTC 2007

IDJOB= 459733
IDBENCH= 48194
IDSOLVER= 200
FILE ID= node72/459733-1178658976

PBS_JOBID= 5218405

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_5.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459733-1178658976/instance-459733-1178658976.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-459733-1178658976 -o ROOT/results/node72/conversion-459733-1178658976 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459733-1178658976/instance-459733-1178658976.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  2b02b42135ec6f53aa7a47afb99951df

RANDOM SEED= 78671262

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.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.222
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	: 5931.00
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.222
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:       1927488 kB
Buffers:          9768 kB
Cached:          32912 kB
SwapCached:      16684 kB
Active:          57520 kB
Inactive:        11212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1927488 kB
SwapTotal:     4192956 kB
SwapFree:      4157260 kB
Dirty:            2536 kB
Writeback:           0 kB
Mapped:          33520 kB
Slab:            45248 kB
Committed_AS:  7409824 kB
PageTables:       1796 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 node72 on Tue May  8 21:46:19 UTC 2007