Trace number 459194

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)19863 1800.08 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb
MD5SUM7546aeed0de3680ab75d817854256b46
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4812
Best CPU time to get the best result obtained on this benchmark6.36403
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4812
Optimality of the best value was proved YES
Number of variables4360
Total number of constraints8610
Number of constraints which are clauses8610
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint163
Number of terms in the objective function 2173
Biggest coefficient in the objective function 305
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 525495
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 305
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 525495
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	19863

Conversion Script Data (download as text)

/tmp/evaluation/459194-1178651247/instance-459194-1178651247.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-459194-1178651247 -o ROOT/results/node15/solver-459194-1178651247 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459194-1178651247/instance-459194-1178651247.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 21453
/proc/meminfo: memFree=1492016/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=1880 CPUtime=0
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313042367 1925120 258 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 470 258 84 219 0 247 0

[startup+0.091312 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21453
/proc/meminfo: memFree=1492016/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=2544 CPUtime=0.08
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 466 0 0 0 8 0 0 0 18 0 1 0 313042367 2605056 448 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 636 448 86 219 0 413 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2544

[startup+0.101312 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21453
/proc/meminfo: memFree=1492016/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=2544 CPUtime=0.09
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 480 0 0 0 9 0 0 0 18 0 1 0 313042367 2605056 462 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 636 462 86 219 0 413 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2544

[startup+0.30133 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21453
/proc/meminfo: memFree=1492016/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=3388 CPUtime=0.29
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 663 0 0 0 27 2 0 0 19 0 1 0 313042367 3469312 596 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544680 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 847 596 102 219 0 624 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3388

[startup+0.701367 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21453
/proc/meminfo: memFree=1492016/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=3936 CPUtime=0.69
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 848 0 0 0 66 3 0 0 23 0 1 0 313042367 4030464 781 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 984 781 102 219 0 761 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3936

[startup+1.50144 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 21454
/proc/meminfo: memFree=1489128/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=4592 CPUtime=1.49
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 954 0 0 0 146 3 0 0 25 0 1 0 313042367 4702208 887 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 1148 887 102 219 0 925 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4592

[startup+3.10159 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 21454
/proc/meminfo: memFree=1488552/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=5760 CPUtime=3.09
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 1096 0 0 0 306 3 0 0 25 0 1 0 313042367 5898240 1029 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 1440 1029 102 219 0 1217 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5760

[startup+6.30188 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 21454
/proc/meminfo: memFree=1487144/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=7808 CPUtime=6.29
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 1415 0 0 0 625 4 0 0 25 0 1 0 313042367 7995392 1348 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560672 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 1952 1348 102 219 0 1729 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7808

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 21454
/proc/meminfo: memFree=1484520/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=12152 CPUtime=12.69
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 2054 0 0 0 1264 5 0 0 25 0 1 0 313042367 12443648 1987 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134555988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 3038 1987 102 219 0 2815 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12152

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 21454
/proc/meminfo: memFree=1478632/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=14576 CPUtime=25.49
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 3539 0 0 0 2541 8 0 0 25 0 1 0 313042367 14925824 3375 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 3644 3375 102 219 0 3421 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14576

[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 21454
/proc/meminfo: memFree=1475304/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=17916 CPUtime=51.08
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 4424 0 0 0 5095 13 0 0 25 0 1 0 313042367 18345984 4260 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 4479 4260 102 219 0 4256 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17916

[startup+102.306 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1472680/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=20716 CPUtime=102.27
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 5247 0 0 0 10204 23 0 0 25 0 1 0 313042367 21213184 4890 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 5179 4890 102 219 0 4956 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 20716

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1470568/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=23952 CPUtime=162.25
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 6161 0 0 0 16191 34 0 0 25 0 1 0 313042367 24526848 5419 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 5988 5419 102 219 0 5765 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 23952

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1468776/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=25268 CPUtime=222.24
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 6587 0 0 0 22182 42 0 0 25 0 1 0 313042367 25874432 5845 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 6317 5845 102 219 0 6094 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 25268

[startup+282.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 21454
/proc/meminfo: memFree=1467048/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=26540 CPUtime=282.22
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 7015 0 0 0 28171 51 0 0 25 0 1 0 313042367 27176960 6273 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 6635 6273 102 219 0 6412 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 26540

[startup+342.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 21454
/proc/meminfo: memFree=1465704/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=27580 CPUtime=342.2
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 7341 0 0 0 34163 57 0 0 25 0 1 0 313042367 28241920 6599 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 6895 6599 102 219 0 6672 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 27580

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1464488/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=31436 CPUtime=402.19
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 8416 0 0 0 40154 65 0 0 25 0 1 0 313042367 32190464 6905 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 7859 6905 102 219 0 7636 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 31436

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1463656/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=32148 CPUtime=462.18
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 8637 0 0 0 46147 71 0 0 25 0 1 0 313042367 32919552 7126 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 8037 7126 102 219 0 7814 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 32148

[startup+522.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 21454
/proc/meminfo: memFree=1462824/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=32408 CPUtime=522.16
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 8841 0 0 0 52138 78 0 0 25 0 1 0 313042367 33185792 7330 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 8102 7330 102 219 0 7879 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 32408

[startup+582.302 s]
/proc/loadavg: 1.09 1.03 1.00 2/78 21454
/proc/meminfo: memFree=1462056/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=32816 CPUtime=582.14
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 9031 0 0 0 58131 83 0 0 25 0 1 0 313042367 33603584 7520 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 8204 7520 102 219 0 7981 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 32816

[startup+642.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 21454
/proc/meminfo: memFree=1460456/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=34348 CPUtime=642.14
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 9431 0 0 0 64123 91 0 0 25 0 1 0 313042367 35172352 7920 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 8587 7920 102 219 0 8364 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 34348


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 21454
/proc/meminfo: memFree=1457448/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=36132 CPUtime=882.07
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 10176 0 0 0 88094 113 0 0 25 0 1 0 313042367 36999168 8665 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 9033 8665 102 219 0 8810 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 36132

[startup+942.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 21454
/proc/meminfo: memFree=1456936/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=42276 CPUtime=942.06
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 11843 0 0 0 94087 119 0 0 25 0 1 0 313042367 43290624 8795 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 10569 8795 102 219 0 10346 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 42276

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1456360/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=42696 CPUtime=1002.04
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 11993 0 0 0 100079 125 0 0 25 0 1 0 313042367 43720704 8945 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544725 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 10674 8945 102 219 0 10451 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 42696

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1455720/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=43140 CPUtime=1062.03
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 12156 0 0 0 106072 131 0 0 25 0 1 0 313042367 44175360 9108 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 10785 9108 102 219 0 10562 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 43140

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1455016/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=43612 CPUtime=1122.01
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 12326 0 0 0 112062 139 0 0 25 0 1 0 313042367 44658688 9278 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 10903 9278 102 219 0 10680 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 43612

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1454440/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=43612 CPUtime=1182.01
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 12476 0 0 0 118056 145 0 0 25 0 1 0 313042367 44658688 9428 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 10903 9428 102 219 0 10680 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 43612

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1453864/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=44116 CPUtime=1241.99
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 12622 0 0 0 124047 152 0 0 25 0 1 0 313042367 45174784 9574 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 11029 9574 102 219 0 10806 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 44116

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1453160/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=44116 CPUtime=1301.97
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 12783 0 0 0 130040 157 0 0 25 0 1 0 313042367 45174784 9735 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 11029 9735 102 219 0 10806 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 44116

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1452584/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=44652 CPUtime=1361.96
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 12921 0 0 0 136032 164 0 0 25 0 1 0 313042367 45723648 9873 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 11163 9873 102 219 0 10940 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 44652

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1451944/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=45220 CPUtime=1421.94
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 13088 0 0 0 142024 170 0 0 25 0 1 0 313042367 46305280 10040 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 11305 10040 102 219 0 11082 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 45220

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1451304/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=45220 CPUtime=1481.93
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 13241 0 0 0 148018 175 0 0 25 0 1 0 313042367 46305280 10193 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 11305 10193 102 219 0 11082 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 45220

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1450792/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=45824 CPUtime=1541.92
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 13374 0 0 0 154011 181 0 0 25 0 1 0 313042367 46923776 10326 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 11456 10326 102 219 0 11233 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 45824

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1450216/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=45824 CPUtime=1601.9
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 13535 0 0 0 160004 186 0 0 25 0 1 0 313042367 46923776 10487 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 11456 10487 102 219 0 11233 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 45824

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1449640/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=46464 CPUtime=1661.89
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 13670 0 0 0 165996 193 0 0 25 0 1 0 313042367 47579136 10622 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549401 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 11616 10622 102 219 0 11393 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 46464

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1449128/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=46552 CPUtime=1721.87
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 13801 0 0 0 171990 197 0 0 25 0 1 0 313042367 47669248 10753 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 11638 10753 102 219 0 11415 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 46552

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1448552/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=46552 CPUtime=1781.86
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 13942 0 0 0 177985 201 0 0 25 0 1 0 313042367 47669248 10894 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 11638 10894 102 219 0 11415 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 46552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1448360/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=46552 CPUtime=1800.05
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 13978 0 0 0 179803 202 0 0 25 0 1 0 313042367 47669248 10930 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 11638 10930 102 219 0 11415 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 46552

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: 1.00 1.00 1.00 2/78 21454
/proc/meminfo: memFree=1448360/2055920 swapFree=4169132/4192956
[pid=21453] ppid=21451 vsize=46552 CPUtime=1800.05
/proc/21453/stat : 21453 (PBS4_SAT07v2) R 21451 21453 21386 0 -1 4194304 13978 0 0 0 179803 202 0 0 25 0 1 0 313042367 47669248 10930 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21453/statm: 11638 10930 102 219 0 11415 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 46552

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1798.04
CPU system time (s): 2.03469
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 46560

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

runsolver used 1.42378 second user time and 3.86141 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Tue May  8 19:07:28 UTC 2007

IDJOB= 459194
IDBENCH= 24965
IDSOLVER= 200
FILE ID= node15/459194-1178651247

PBS_JOBID= 5217839

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459194-1178651247/instance-459194-1178651247.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node15/convwatcher-459194-1178651247 -o ROOT/results/node15/conversion-459194-1178651247 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459194-1178651247/instance-459194-1178651247.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  7546aeed0de3680ab75d817854256b46

RANDOM SEED= 144829510

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1492488 kB
Buffers:         63732 kB
Cached:         400056 kB
SwapCached:       2692 kB
Active:         176692 kB
Inactive:       309960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1492488 kB
SwapTotal:     4192956 kB
SwapFree:      4169132 kB
Dirty:            2716 kB
Writeback:           0 kB
Mapped:          30140 kB
Slab:            62192 kB
Committed_AS: 10767596 kB
PageTables:       1868 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 node15 on Tue May  8 19:37:30 UTC 2007