Trace number 458420

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 NameAnswerCPU timeWall clock time
PBS4_v2 2007-03-23SAT 24.6113 24.6215

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUMbcdf4c9a1de867d3db370c95867fefb5
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.18467
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4632
Total number of constraints30964
Number of constraints which are clauses29940
Number of constraints which are cardinality constraints (but not clauses)946
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 104
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

/tmp/evaluation/458420-1178622486/instance-458420-1178622486.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/node25/watcher-458420-1178622486 -o ROOT/results/node25/solver-458420-1178622486 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458420-1178622486/instance-458420-1178622486.opb 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11511
/proc/meminfo: memFree=1586344/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=1908 CPUtime=0
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 310165681 1953792 267 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 477 267 86 219 0 254 0

[startup+0.0951431 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11511
/proc/meminfo: memFree=1586344/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=2696 CPUtime=0.09
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 520 0 0 0 9 0 0 0 18 0 1 0 310165681 2760704 502 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 674 502 86 219 0 451 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2696

[startup+0.101144 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11511
/proc/meminfo: memFree=1586344/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=2696 CPUtime=0.09
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 528 0 0 0 9 0 0 0 18 0 1 0 310165681 2760704 510 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 674 510 86 219 0 451 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2696

[startup+0.301177 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11511
/proc/meminfo: memFree=1586344/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=4356 CPUtime=0.29
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 997 0 0 0 29 0 0 0 19 0 1 0 310165681 4460544 833 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 1089 833 86 219 0 866 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4356

[startup+0.701246 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11511
/proc/meminfo: memFree=1586344/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=6896 CPUtime=0.69
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 1701 0 0 0 67 2 0 0 22 0 1 0 310165681 7061504 1344 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 1724 1344 90 219 0 1501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6896

[startup+1.50138 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11512
/proc/meminfo: memFree=1580128/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=9332 CPUtime=1.49
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 2226 0 0 0 145 4 0 0 25 0 1 0 310165681 9555968 1869 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 2333 1869 90 219 0 2110 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9332

[startup+3.10166 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11512
/proc/meminfo: memFree=1578528/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=13816 CPUtime=3.09
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 2518 0 0 0 301 8 0 0 25 0 1 0 310165681 14147584 2161 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 3454 2161 90 219 0 3231 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13816

[startup+6.3012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11512
/proc/meminfo: memFree=1576800/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=14248 CPUtime=6.29
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 2767 0 0 0 609 20 0 0 25 0 1 0 310165681 14589952 2410 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 3562 2410 90 219 0 3339 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14248

[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11512
/proc/meminfo: memFree=1576160/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=14716 CPUtime=12.69
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 2913 0 0 0 1228 41 0 0 25 0 1 0 310165681 15069184 2556 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 3679 2556 90 219 0 3456 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14716

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

[startup+19.1024 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11512
/proc/meminfo: memFree=1575776/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=14908 CPUtime=19.08
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 3021 0 0 0 1851 57 0 0 25 0 1 0 310165681 15265792 2664 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 3727 2664 90 219 0 3504 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 14908

[startup+22.3019 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11512
/proc/meminfo: memFree=1575584/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=15096 CPUtime=22.28
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 3077 0 0 0 2162 66 0 0 25 0 1 0 310165681 15458304 2720 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 3774 2720 90 219 0 3551 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 15096

[startup+23.9012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11512
/proc/meminfo: memFree=1575328/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=15252 CPUtime=23.88
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 3153 0 0 0 2318 70 0 0 25 0 1 0 310165681 15618048 2796 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 3813 2796 90 219 0 3590 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 15252

[startup+24.3013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11512
/proc/meminfo: memFree=1575264/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=15252 CPUtime=24.28
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 3157 0 0 0 2357 71 0 0 25 0 1 0 310165681 15618048 2800 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 3813 2800 90 219 0 3590 0
Current children cumulated CPU time (s) 24.28
Current children cumulated vsize (KiB) 15252

[startup+24.5013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11512
/proc/meminfo: memFree=1575264/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=15252 CPUtime=24.49
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 3158 0 0 0 2377 72 0 0 25 0 1 0 310165681 15618048 2801 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 3813 2801 90 219 0 3590 0
Current children cumulated CPU time (s) 24.49
Current children cumulated vsize (KiB) 15252

[startup+24.6013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11512
/proc/meminfo: memFree=1575264/2055920 swapFree=4183084/4192956
[pid=11511] ppid=11509 vsize=15252 CPUtime=24.59
/proc/11511/stat : 11511 (PBS4_SAT07v2) R 11509 11511 10150 0 -1 4194304 3160 0 0 0 2387 72 0 0 25 0 1 0 310165681 15618048 2803 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11511/statm: 3813 2803 90 219 0 3590 0
Current children cumulated CPU time (s) 24.59
Current children cumulated vsize (KiB) 15252

Child status: 0
Real time (s): 24.6215
CPU time (s): 24.6113
CPU user time (s): 23.8854
CPU system time (s): 0.725889
CPU usage (%): 99.9585
Max. virtual memory (cumulated for all children) (KiB): 15252

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

runsolver used 0.022996 second user time and 0.053991 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Tue May  8 11:08:06 UTC 2007

IDJOB= 458420
IDBENCH= 1497
IDSOLVER= 200
FILE ID= node25/458420-1178622486

PBS_JOBID= 5218257

Free space on /tmp= 66561 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458420-1178622486/instance-458420-1178622486.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-458420-1178622486 -o ROOT/results/node25/conversion-458420-1178622486 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458420-1178622486/instance-458420-1178622486.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  bcdf4c9a1de867d3db370c95867fefb5

RANDOM SEED= 265234029

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1586816 kB
Buffers:         34096 kB
Cached:         315540 kB
SwapCached:       3896 kB
Active:          78644 kB
Inactive:       281016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1586816 kB
SwapTotal:     4192956 kB
SwapFree:      4183084 kB
Dirty:            3336 kB
Writeback:           0 kB
Mapped:          15996 kB
Slab:            95532 kB
Committed_AS:  8379892 kB
PageTables:       1472 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= 66561 MiB

End job on node25 on Tue May  8 11:08:31 UTC 2007