Trace number 459208

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)98 1800.07 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_006_area_delay.opb
MD5SUM7294dff8a2fbe1f0b26c181010dcfed2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark3.2725
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 22
Optimality of the best value was proved YES
Number of variables3041
Total number of constraints7696
Number of constraints which are clauses7696
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 1510
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1510
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1510
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	98

Conversion Script Data (download as text)

/tmp/evaluation/459208-1178651368/instance-459208-1178651368.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/node22/watcher-459208-1178651368 -o ROOT/results/node22/solver-459208-1178651368 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459208-1178651368/instance-459208-1178651368.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.98 0.98 0.99 3/77 9812
/proc/meminfo: memFree=1489904/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=1752 CPUtime=0
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 233 0 0 0 0 0 0 0 18 0 1 0 313054469 1794048 215 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134804492 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 438 215 84 219 0 215 0

[startup+0.016481 s]
/proc/loadavg: 0.98 0.98 0.99 3/77 9812
/proc/meminfo: memFree=1489904/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=1752 CPUtime=0.01
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 253 0 0 0 1 0 0 0 18 0 1 0 313054469 1794048 235 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134587081 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 438 235 86 219 0 215 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1752

[startup+0.101494 s]
/proc/loadavg: 0.98 0.98 0.99 3/77 9812
/proc/meminfo: memFree=1489904/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=2232 CPUtime=0.09
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 434 0 0 0 9 0 0 0 18 0 1 0 313054469 2285568 416 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 558 416 102 219 0 335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2232

[startup+0.301525 s]
/proc/loadavg: 0.98 0.98 0.99 3/77 9812
/proc/meminfo: memFree=1489904/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=3136 CPUtime=0.29
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 577 0 0 0 29 0 0 0 19 0 1 0 313054469 3211264 559 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 784 559 102 219 0 561 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3136

[startup+0.701585 s]
/proc/loadavg: 0.98 0.98 0.99 3/77 9812
/proc/meminfo: memFree=1489904/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=4500 CPUtime=0.69
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 896 0 0 0 68 1 0 0 22 0 1 0 313054469 4608000 829 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545355 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 1125 829 102 219 0 902 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4500

[startup+1.50171 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1486440/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=6828 CPUtime=1.49
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 1386 0 0 0 148 1 0 0 25 0 1 0 313054469 6991872 1319 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 1707 1319 102 219 0 1484 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6828

[startup+3.10195 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1483304/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=11328 CPUtime=3.09
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 2165 0 0 0 306 3 0 0 25 0 1 0 313054469 11599872 2098 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 2832 2098 102 219 0 2609 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11328

[startup+6.30244 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1477992/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=19520 CPUtime=6.29
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 3447 0 0 0 626 3 0 0 25 0 1 0 313054469 19988480 3380 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 4880 3380 102 219 0 4657 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19520

[startup+12.7014 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1472616/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=20592 CPUtime=12.68
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 4450 0 0 0 1263 5 0 0 25 0 1 0 313054469 21086208 4286 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 5148 4286 102 219 0 4925 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20592

[startup+25.5014 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1471976/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=21272 CPUtime=25.48
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 4653 0 0 0 2542 6 0 0 25 0 1 0 313054469 21782528 4489 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 5318 4489 102 219 0 5095 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21272

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1470888/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=22912 CPUtime=51.07
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 5103 0 0 0 5098 9 0 0 25 0 1 0 313054469 23461888 4746 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 5728 4746 102 219 0 5505 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22912

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1469672/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=23632 CPUtime=102.26
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 5430 0 0 0 10210 16 0 0 25 0 1 0 313054469 24199168 5073 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 5908 5073 102 219 0 5685 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23632

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1468392/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=25960 CPUtime=162.24
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 6139 0 0 0 16199 25 0 0 25 0 1 0 313054469 26583040 5397 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 6490 5397 102 219 0 6267 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 25960

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1466600/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=27296 CPUtime=222.22
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 6570 0 0 0 22190 32 0 0 25 0 1 0 313054469 27951104 5828 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 6824 5828 102 219 0 6601 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 27296

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1465384/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=28124 CPUtime=282.2
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 6863 0 0 0 28182 38 0 0 25 0 1 0 313054469 28798976 6121 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 7031 6121 102 219 0 6808 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 28124

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1463976/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=31936 CPUtime=342.19
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 7930 0 0 0 34174 45 0 0 25 0 1 0 313054469 32702464 6419 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 7984 6419 102 219 0 7761 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 31936

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1463016/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=32604 CPUtime=402.17
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 8197 0 0 0 40165 52 0 0 25 0 1 0 313054469 33386496 6686 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 8151 6686 102 219 0 7928 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 32604

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1462120/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=33444 CPUtime=462.15
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 8467 0 0 0 46157 58 0 0 25 0 1 0 313054469 34246656 6956 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 8361 6956 102 219 0 8138 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 33444

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1461288/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=33824 CPUtime=522.13
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 8677 0 0 0 52149 64 0 0 25 0 1 0 313054469 34635776 7166 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 8456 7166 102 219 0 8233 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 33824

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1460456/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=34108 CPUtime=582.11
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 8878 0 0 0 58142 69 0 0 25 0 1 0 313054469 34926592 7367 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 8527 7367 102 219 0 8304 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 34108

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1459560/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=34944 CPUtime=642.09
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 9100 0 0 0 64135 74 0 0 25 0 1 0 313054469 35782656 7589 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 8736 7589 102 219 0 8513 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 34944


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 9813
/proc/meminfo: memFree=1456808/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=42400 CPUtime=822.04
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 11241 0 0 0 82114 90 0 0 25 0 1 0 313054469 43417600 8193 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 10600 8193 102 219 0 10377 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 42400

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1456296/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=42804 CPUtime=882.02
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 11418 0 0 0 88107 95 0 0 25 0 1 0 313054469 43831296 8370 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 10701 8370 102 219 0 10478 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 42804

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1455592/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=42936 CPUtime=942
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 11591 0 0 0 94101 99 0 0 25 0 1 0 313054469 43966464 8543 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 10734 8543 102 219 0 10511 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 42936

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1455080/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=43368 CPUtime=1001.99
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 11765 0 0 0 100095 104 0 0 25 0 1 0 313054469 44408832 8717 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 10842 8717 102 219 0 10619 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 43368

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1454440/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=43932 CPUtime=1061.97
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 11939 0 0 0 106088 109 0 0 25 0 1 0 313054469 44986368 8891 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 10983 8891 102 219 0 10760 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 43932

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 9813
/proc/meminfo: memFree=1453672/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=44064 CPUtime=1121.95
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 12121 0 0 0 112081 114 0 0 25 0 1 0 313054469 45121536 9073 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 11016 9073 102 219 0 10793 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 44064

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1453032/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=44660 CPUtime=1181.93
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 12287 0 0 0 118074 119 0 0 25 0 1 0 313054469 45731840 9239 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 11165 9239 102 219 0 10942 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 44660

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1452264/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=45176 CPUtime=1241.91
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 12453 0 0 0 124068 123 0 0 25 0 1 0 313054469 46260224 9405 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 11294 9405 102 219 0 11071 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 45176

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1451624/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=45288 CPUtime=1301.9
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 12604 0 0 0 130063 127 0 0 25 0 1 0 313054469 46374912 9556 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 11322 9556 102 219 0 11099 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 45288

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9813
/proc/meminfo: memFree=1450984/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=45836 CPUtime=1361.87
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 12759 0 0 0 136057 130 0 0 25 0 1 0 313054469 46936064 9711 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 11459 9711 102 219 0 11236 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 45836

[startup+1422.31 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 9813
/proc/meminfo: memFree=1450344/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=45944 CPUtime=1421.86
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 12915 0 0 0 142052 134 0 0 25 0 1 0 313054469 47046656 9867 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 11486 9867 102 219 0 11263 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 45944

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 9813
/proc/meminfo: memFree=1449768/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=46528 CPUtime=1481.83
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13052 0 0 0 148045 138 0 0 25 0 1 0 313054469 47644672 10004 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 11632 10004 102 219 0 11409 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 46528

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9813
/proc/meminfo: memFree=1449128/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=46528 CPUtime=1541.82
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13213 0 0 0 154038 144 0 0 25 0 1 0 313054469 47644672 10165 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 11632 10165 102 219 0 11409 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 46528

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9813
/proc/meminfo: memFree=1448552/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=47148 CPUtime=1601.8
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13355 0 0 0 160033 147 0 0 25 0 1 0 313054469 48279552 10307 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 11787 10307 102 219 0 11564 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 47148

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9813
/proc/meminfo: memFree=1447912/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=47256 CPUtime=1661.78
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13503 0 0 0 166028 150 0 0 25 0 1 0 313054469 48390144 10455 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 11814 10455 102 219 0 11591 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 47256

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9813
/proc/meminfo: memFree=1447336/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=47912 CPUtime=1721.76
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13663 0 0 0 172022 154 0 0 25 0 1 0 313054469 49061888 10615 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 11978 10615 102 219 0 11755 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 47912

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 9813
/proc/meminfo: memFree=1446440/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=48168 CPUtime=1781.75
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13888 0 0 0 178017 158 0 0 25 0 1 0 313054469 49324032 10840 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 12042 10840 102 219 0 11819 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 48168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9813
/proc/meminfo: memFree=1446120/2055920 swapFree=4163680/4192956
[pid=9812] ppid=9810 vsize=48448 CPUtime=1800.05
/proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13956 0 0 0 179846 159 0 0 25 0 1 0 313054469 49610752 10908 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9812/statm: 12112 10908 102 219 0 11889 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 48448

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.07
CPU user time (s): 1798.47
CPU system time (s): 1.59876
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 48448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.47
system time used= 1.59876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13959
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= 11
involuntary context switches= 3965

runsolver used 1.37279 second user time and 4.01239 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Tue May  8 19:09:28 UTC 2007

IDJOB= 459208
IDBENCH= 24979
IDSOLVER= 200
FILE ID= node22/459208-1178651368

PBS_JOBID= 5218358

Free space on /tmp= 66540 MiB

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  7294dff8a2fbe1f0b26c181010dcfed2

RANDOM SEED= 811295179

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1490376 kB
Buffers:         38648 kB
Cached:         405236 kB
SwapCached:       7364 kB
Active:         208024 kB
Inactive:       258876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1490376 kB
SwapTotal:     4192956 kB
SwapFree:      4163680 kB
Dirty:            2500 kB
Writeback:           0 kB
Mapped:          30176 kB
Slab:            84316 kB
Committed_AS:  4535800 kB
PageTables:       1676 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= 66540 MiB

End job on node22 on Tue May  8 19:39:31 UTC 2007