0.00/0.03 c SCIP version 1.1.0.7
0.00/0.03 c LP-Solver SoPlex 1.4.1
0.00/0.03 c user parameter file <scip.set> not found - using default parameters
0.00/0.03 c read problem <HOME/instance-1868686-1245132978.opb>
0.00/0.03 c original problem has 1989 variables (1989 bin, 0 int, 0 impl, 0 cont) and 97 constraints
0.00/0.04 c start presolving problem
0.00/0.04 c presolving:
0.05/0.06 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 96 upgd conss, 0 impls, 95 clqs
1.09/1.14 c (1.1s) probing: 814/1989 (40.9%) - 0 fixings, 0 aggregations, 529 implications, 0 bound changes
1.09/1.14 c (1.1s) probing aborted: 100/100 successive totally useless probings
1.09/1.14 c presolving (2 rounds):
1.09/1.14 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.09/1.14 c 1058 implications, 95 cliques
1.09/1.14 c presolved problem has 1989 variables (1989 bin, 0 int, 0 impl, 0 cont) and 97 constraints
1.09/1.14 c 1 constraints of type <knapsack>
1.09/1.14 c 95 constraints of type <setppc>
1.09/1.14 c 1 constraints of type <linear>
1.09/1.14 c transformed objective value is always integral (scale: 1)
1.09/1.14 c Presolving Time: 1.09
1.09/1.14 c OPT-LIN
1.09/1.14 c -----------------------------------------------------------------------------------------------
1.09/1.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.14 c limits/memory = c 1620
1.09/1.14 c # maximal time in seconds to run
1.09/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.14 c limits/time = c 1791
1.09/1.14 c # frequency for displaying node information lines
1.09/1.14 c # [type: int, range: [-1,2147483647], default: 100]
1.09/1.14 c display/freq = c 10000
1.09/1.14 c -----------------------------------------------------------------------------------------------
1.09/1.14 c start solving problem
1.09/1.14 c
1.29/1.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.31 c 1.3s| 1 | 0 | 1187 |5916k| 0 | 53 |1989 | 97 | 97 |1989 | 97 | 0 | 0 | 0 | 4.656364e+03 | -- | Inf
1.49/1.54 c 1.5s| 1 | 0 | 2145 |5993k| 0 | 54 |1989 | 97 | 97 |1989 | 99 | 2 | 0 | 0 | 4.656505e+03 | -- | Inf
1.89/1.92 c 1.9s| 1 | 2 | 2145 |5994k| 0 | 54 |1989 | 97 | 97 |1989 | 99 | 2 | 0 | 36 | 4.656505e+03 | -- | Inf
3.09/3.14 o 4880
3.09/3.14 c * 3.1s| 5 | 4 | 2415 |6098k| 4 | - |1989 | 97 | 70 |1989 | 99 | 2 | 0 | 165 | 4.663943e+03 | 4.880000e+03 | 4.63%
3.29/3.31 o 4879
3.29/3.31 c * 3.2s| 7 | 4 | 2518 |6160k| 5 | - |1989 | 97 | 42 |1989 | 99 | 2 | 0 | 182 | 4.663943e+03 | 4.879000e+03 | 4.61%
4.59/4.69 o 4768
4.59/4.69 c * 4.6s| 13 | 6 | 2739 |6165k| 9 | - |1989 | 97 | 75 |1989 | 99 | 2 | 0 | 321 | 4.663943e+03 | 4.768000e+03 | 2.23%
5.69/5.71 o 4753
5.69/5.71 c R 5.6s| 21 | 8 | 3037 |6225k| 9 | 6 |1989 | 97 | 70 |1989 | 99 | 2 | 0 | 412 | 4.668892e+03 | 4.753000e+03 | 1.80%
5.99/6.08 o 4752
5.99/6.08 c * 6.0s| 23 | 8 | 3145 |6258k| 9 | - |1989 | 97 | 52 |1989 | 99 | 2 | 0 | 475 | 4.668892e+03 | 4.752000e+03 | 1.78%
5.99/6.09 o 4746
5.99/6.09 c * 6.0s| 24 | 7 | 3146 |6275k| 9 | - |1989 | 97 | 74 |1989 | 99 | 2 | 0 | 475 | 4.668892e+03 | 4.746000e+03 | 1.65%
8.80/8.86 o 4737
8.80/8.86 c * 8.7s| 38 | 6 | 3861 |6276k| 9 | - |1989 | 97 | 69 |1989 | 99 | 2 | 0 | 809 | 4.677532e+03 | 4.737000e+03 | 1.27%
10.19/10.26 o 4734
10.19/10.26 c *10.1s| 45 | 3 | 4446 |6309k| 9 | - |1989 | 97 | 79 |1989 | 99 | 2 | 1 | 993 | 4.677532e+03 | 4.734000e+03 | 1.21%
10.89/10.97 o 4722
10.89/10.97 c *10.8s| 51 | 3 | 4753 |6303k| 9 | - |1989 | 99 | 74 |1989 | 99 | 2 | 4 |1072 | 4.677532e+03 | 4.722000e+03 | 0.95%
11.59/11.63 c
11.59/11.63 c SCIP Status : problem is solved [optimal solution found]
11.59/11.63 c Solving Time (sec) : 11.46
11.59/11.63 c Solving Nodes : 54
11.59/11.63 c Primal Bound : +4.72200000000000e+03 (9 solutions)
11.59/11.63 c Dual Bound : +4.72200000000000e+03
11.59/11.63 c Gap : 0.00 %
11.59/11.63 c NODE 54
11.59/11.63 c DUAL BOUND 4722
11.59/11.63 c PRIMAL BOUND 4722
11.59/11.63 c GAP 0
11.59/11.63 s OPTIMUM FOUND
11.59/11.63 v -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971
11.59/11.63 v -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954
11.59/11.63 v -x1953 -x1952 x1951 -x1950 x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935
11.59/11.63 v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 x1918 -x1917
11.59/11.63 v -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 x1903 -x1902 -x1901 -x1900 -x1899
11.59/11.63 v -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882
11.59/11.63 v -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864
11.59/11.63 v -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 x1848 -x1847 -x1846
11.59/11.63 v -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828
11.59/11.63 v -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810
11.59/11.63 v -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792
11.59/11.63 v -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774
11.59/11.63 v -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756
11.59/11.63 v -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739
11.59/11.63 v -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721
11.59/11.63 v -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703
11.59/11.63 v -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685
11.59/11.63 v -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667
11.59/11.63 v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649
11.59/11.63 v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631
11.59/11.63 v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613
11.59/11.63 v -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596
11.59/11.63 v -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578
11.59/11.63 v -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560
11.59/11.63 v -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542
11.59/11.63 v -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524
11.59/11.63 v -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506
11.59/11.63 v -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488
11.59/11.63 v -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471
11.59/11.63 v -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453
11.59/11.63 v -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435
11.59/11.63 v -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417
11.59/11.63 v x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399
11.59/11.63 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381
11.59/11.63 v -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363
11.59/11.63 v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345
11.59/11.63 v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328
11.59/11.63 v -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 x1310
11.59/11.63 v -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292
11.59/11.63 v -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274
11.59/11.63 v -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256
11.59/11.63 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238
11.59/11.63 v -x1237 -x1236 -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220
11.59/11.63 v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202
11.59/11.63 v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184
11.59/11.63 v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166
11.59/11.63 v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149
11.59/11.63 v -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131
11.59/11.63 v -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113
11.59/11.63 v -x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095
11.59/11.63 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077
11.59/11.63 v x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059
11.59/11.63 v -x1058 -x1057 -x1056 -x1055 -x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041
11.59/11.63 v -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023
11.59/11.63 v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005
11.59/11.63 v -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985
11.59/11.63 v -x984 -x983 x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964
11.59/11.63 v -x963 x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943
11.59/11.63 v -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923
11.59/11.63 v -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902
11.59/11.63 v -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881
11.59/11.63 v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860
11.59/11.63 v -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839
11.59/11.63 v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818
11.59/11.63 v -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797
11.59/11.63 v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777
11.59/11.63 v -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756
11.59/11.63 v -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735
11.59/11.63 v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714
11.59/11.63 v -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693
11.59/11.63 v -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672
11.59/11.63 v -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
11.59/11.63 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631
11.59/11.63 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
11.59/11.63 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589
11.59/11.63 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
11.59/11.63 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
11.59/11.63 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527
11.59/11.63 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506
11.59/11.63 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485
11.59/11.63 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464
11.59/11.63 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443
11.59/11.63 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422
11.59/11.63 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401
11.59/11.63 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380
11.59/11.63 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360
11.59/11.63 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339
11.59/11.63 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318
11.59/11.63 v -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297
11.59/11.63 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276
11.59/11.63 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255
11.59/11.63 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234
11.59/11.63 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214
11.59/11.63 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 x193 -x192
11.59/11.63 v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172
11.59/11.63 v -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151
11.59/11.63 v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130
11.59/11.63 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109
11.59/11.63 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86
11.59/11.63 v -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
11.59/11.63 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
11.59/11.63 v x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
11.59/11.63 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
11.59/11.63 c SCIP Status : problem is solved [optimal solution found]
11.59/11.63 c Solving Time : 11.46
11.59/11.63 c Original Problem :
11.59/11.63 c Problem name : HOME/instance-1868686-1245132978.opb
11.59/11.63 c Variables : 1989 (1989 binary, 0 integer, 0 implicit integer, 0 continuous)
11.59/11.63 c Constraints : 97 initial, 97 maximal
11.59/11.63 c Presolved Problem :
11.59/11.63 c Problem name : t_HOME/instance-1868686-1245132978.opb
11.59/11.63 c Variables : 1989 (1989 binary, 0 integer, 0 implicit integer, 0 continuous)
11.59/11.63 c Constraints : 97 initial, 99 maximal
11.59/11.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
11.59/11.63 c trivial : 0.00 0 0 0 0 0 0 0 0
11.59/11.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
11.59/11.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
11.59/11.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
11.59/11.63 c implics : 0.00 0 0 0 0 0 0 0 0
11.59/11.63 c probing : 1.07 0 0 0 0 0 0 0 0
11.59/11.63 c knapsack : 0.00 0 0 0 0 0 0 0 0
11.59/11.63 c setppc : 0.00 0 0 0 0 0 0 0 0
11.59/11.63 c linear : 0.01 0 0 0 0 0 0 0 0
11.59/11.63 c logicor : 0.00 0 0 0 0 0 0 0 0
11.59/11.63 c root node : - 1208 - - 1208 - - - -
11.59/11.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
11.59/11.63 c integral : 0 0 0 152 0 16 339 0 0 54
11.59/11.63 c knapsack : 1 2 2169 8 0 0 0 0 0 0
11.59/11.63 c setppc : 95 2 2169 8 0 0 3923 0 0 0
11.59/11.63 c linear : 1 2 2169 8 0 0 0 0 0 0
11.59/11.63 c logicor : 0+ 0 4 0 0 0 0 0 0 0
11.59/11.63 c countsols : 0 0 0 8 0 0 0 0 0 0
11.59/11.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
11.59/11.63 c integral : 8.66 0.00 0.00 8.66 0.00
11.59/11.63 c knapsack : 0.00 0.00 0.00 0.00 0.00
11.59/11.63 c setppc : 0.02 0.00 0.02 0.00 0.00
11.59/11.63 c linear : 0.52 0.01 0.51 0.00 0.00
11.59/11.63 c logicor : 0.00 0.00 0.00 0.00 0.00
11.59/11.63 c countsols : 0.00 0.00 0.00 0.00 0.00
11.59/11.63 c Propagators : Time Calls Cutoffs DomReds
11.59/11.63 c rootredcost : 0.01 9 0 1141
11.59/11.63 c pseudoobj : 0.09 440 0 0
11.59/11.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
11.59/11.63 c propagation : 0.00 0 0 0 0.0 0 0.0 -
11.59/11.63 c infeasible LP : 0.01 5 4 12 256.8 0 0.0 0
11.59/11.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
11.59/11.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
11.59/11.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
11.59/11.63 c applied globally : - - - 2 115.5 - - -
11.59/11.63 c applied locally : - - - 3 258.3 - - -
11.59/11.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
11.59/11.63 c cut pool : 0.00 1 - - 0 - (maximal pool size: 2)
11.59/11.63 c redcost : 0.05 159 0 10944 0 0
11.59/11.63 c impliedbounds : 0.00 2 0 0 0 0
11.59/11.63 c intobj : 0.00 0 0 0 0 0
11.59/11.63 c gomory : 0.00 2 0 0 0 0
11.59/11.63 c strongcg : 0.01 2 0 0 0 0
11.59/11.63 c cmir : 0.01 2 0 0 0 0
11.59/11.63 c flowcover : 0.03 2 0 0 0 0
11.59/11.63 c clique : 0.00 2 0 0 2 0
11.59/11.63 c zerohalf : 0.00 0 0 0 0 0
11.59/11.63 c mcf : 0.01 1 0 0 0 0
11.59/11.63 c Pricers : Time Calls Vars
11.59/11.63 c problem variables: 0.00 0 0
11.59/11.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
11.59/11.63 c relpscost : 8.66 144 16 339 0 0 54
11.59/11.63 c pscost : 0.00 0 0 0 0 0 0
11.59/11.63 c inference : 0.00 0 0 0 0 0 0
11.59/11.63 c mostinf : 0.00 0 0 0 0 0 0
11.59/11.63 c leastinf : 0.00 0 0 0 0 0 0
11.59/11.63 c fullstrong : 0.00 0 0 0 0 0 0
11.59/11.63 c allfullstrong : 0.00 0 0 0 0 0 0
11.59/11.63 c random : 0.00 0 0 0 0 0 0
11.59/11.63 c Primal Heuristics : Time Calls Found
11.59/11.63 c LP solutions : 0.02 - 8
11.59/11.63 c pseudo solutions : 0.00 - 0
11.59/11.63 c oneopt : 0.00 9 0
11.59/11.63 c coefdiving : 0.01 1 0
11.59/11.63 c pscostdiving : 0.02 1 0
11.59/11.63 c fracdiving : 0.00 1 0
11.59/11.63 c veclendiving : 0.02 1 0
11.59/11.63 c objpscostdiving : 0.02 1 0
11.59/11.63 c rootsoldiving : 0.02 1 0
11.59/11.63 c simplerounding : 0.00 0 0
11.59/11.63 c rounding : 0.07 145 1
11.59/11.63 c shifting : 0.00 2 0
11.59/11.63 c intshifting : 0.00 0 0
11.59/11.63 c fixandinfer : 0.00 0 0
11.59/11.63 c feaspump : 0.18 1 0
11.59/11.63 c intdiving : 0.00 0 0
11.59/11.63 c actconsdiving : 0.00 0 0
11.59/11.63 c linesearchdiving : 0.02 1 0
11.59/11.63 c guideddiving : 0.00 1 0
11.59/11.63 c octane : 0.00 0 0
11.59/11.63 c rens : 0.04 1 0
11.59/11.63 c rins : 0.00 0 0
11.59/11.63 c localbranching : 0.00 0 0
11.59/11.63 c mutation : 0.00 0 0
11.59/11.63 c crossover : 0.00 0 0
11.59/11.63 c dins : 0.00 0 0
11.59/11.63 c LP : Time Calls Iterations Iter/call Iter/sec
11.59/11.63 c primal LP : 0.00 0 0 0.00 -
11.59/11.63 c dual LP : 0.82 156 3919 25.12 4779.27
11.59/11.63 c barrier LP : 0.00 0 0 0.00 -
11.59/11.63 c diving/probing LP: 0.22 50 1176 23.52 5345.45
11.59/11.63 c strong branching : 8.64 1165 36009 30.91 4167.71
11.59/11.63 c (at root node) : - 36 1241 34.47 -
11.59/11.63 c conflict analysis: 0.00 0 0 0.00 -
11.59/11.63 c B&B Tree :
11.59/11.63 c number of runs : 1
11.59/11.63 c nodes : 54
11.59/11.63 c nodes (total) : 54
11.59/11.63 c nodes left : 0
11.59/11.63 c max depth : 9
11.59/11.63 c max depth (total): 9
11.59/11.63 c backtracks : 10 (18.5%)
11.59/11.63 c delayed cutoffs : 0
11.59/11.63 c repropagations : 17 (57 domain reductions, 0 cutoffs)
11.59/11.63 c avg switch length: 3.59
11.59/11.63 c switching time : 0.03
11.59/11.63 c Solution :
11.59/11.63 c Solutions found : 9 (9 improvements)
11.59/11.63 c Primal Bound : +4.72200000000000e+03 (in run 1, after 51 nodes, 10.81 seconds, depth 6, found by <relaxation>)
11.59/11.63 c Dual Bound : +4.72200000000000e+03
11.59/11.63 c Gap : 0.00 %
11.59/11.63 c Root Dual Bound : +4.65650505050505e+03
11.59/11.65 c Time complete: 11.64.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868686-1245132978/watcher-1868686-1245132978 -o /tmp/evaluation-result-1868686-1245132978/solver-1868686-1245132978 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868686-1245132978.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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 5180
/proc/meminfo: memFree=1938096/2055920 swapFree=4181748/4192956
[pid=5180] ppid=5178 vsize=4648 CPUtime=0
/proc/5180/stat : 5180 (pbscip.linux.x8) R 5178 5180 4962 0 -1 4194304 493 0 0 0 0 0 0 0 18 0 1 0 180898269 4759552 477 1992294400 4194304 7823515 548682068736 18446744073709551615 5898624 0 0 4096 0 0 0 0 17 1 0 0
/proc/5180/statm: 1162 485 318 886 0 272 0
[startup+0.0570401 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 5180
/proc/meminfo: memFree=1938096/2055920 swapFree=4181748/4192956
[pid=5180] ppid=5178 vsize=17300 CPUtime=0.05
/proc/5180/stat : 5180 (pbscip.linux.x8) R 5178 5180 4962 0 -1 4194304 3728 0 0 0 4 1 0 0 18 0 1 0 180898269 17715200 3356 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5180/statm: 4325 3356 418 886 0 3435 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17300
[startup+0.101042 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 5180
/proc/meminfo: memFree=1938096/2055920 swapFree=4181748/4192956
[pid=5180] ppid=5178 vsize=19140 CPUtime=0.09
/proc/5180/stat : 5180 (pbscip.linux.x8) R 5178 5180 4962 0 -1 4194304 4230 0 0 0 8 1 0 0 18 0 1 0 180898269 19599360 3858 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5180/statm: 4785 3858 444 886 0 3895 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19140
[startup+0.301055 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 5180
/proc/meminfo: memFree=1938096/2055920 swapFree=4181748/4192956
[pid=5180] ppid=5178 vsize=19140 CPUtime=0.29
/proc/5180/stat : 5180 (pbscip.linux.x8) R 5178 5180 4962 0 -1 4194304 4236 0 0 0 28 1 0 0 19 0 1 0 180898269 19599360 3864 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5180/statm: 4785 3864 450 886 0 3895 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19140
[startup+0.701081 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 5180
/proc/meminfo: memFree=1938096/2055920 swapFree=4181748/4192956
[pid=5180] ppid=5178 vsize=19140 CPUtime=0.69
/proc/5180/stat : 5180 (pbscip.linux.x8) R 5178 5180 4962 0 -1 4194304 4236 0 0 0 68 1 0 0 22 0 1 0 180898269 19599360 3864 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5180/statm: 4785 3864 450 886 0 3895 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19140
[startup+1.50113 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 5181
/proc/meminfo: memFree=1924392/2055920 swapFree=4181748/4192956
[pid=5180] ppid=5178 vsize=21480 CPUtime=1.49
/proc/5180/stat : 5180 (pbscip.linux.x8) R 5178 5180 4962 0 -1 4194304 5005 0 0 0 147 2 0 0 25 0 1 0 180898269 21995520 4609 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5180/statm: 5370 4609 532 886 0 4480 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21480
[startup+3.10124 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 5181
/proc/meminfo: memFree=1920552/2055920 swapFree=4181748/4192956
[pid=5180] ppid=5178 vsize=22216 CPUtime=3.09
/proc/5180/stat : 5180 (pbscip.linux.x8) R 5178 5180 4962 0 -1 4194304 8156 0 0 0 304 5 0 0 25 0 1 0 180898269 22749184 4837 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5180/statm: 5554 4837 574 886 0 4664 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22216
[startup+6.30144 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 5181
/proc/meminfo: memFree=1920488/2055920 swapFree=4181748/4192956
[pid=5180] ppid=5178 vsize=22216 CPUtime=6.29
/proc/5180/stat : 5180 (pbscip.linux.x8) R 5178 5180 4962 0 -1 4194304 8165 0 0 0 620 9 0 0 25 0 1 0 180898269 22749184 4846 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5180/statm: 5554 4846 578 886 0 4664 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22216
Solver just ended. Dumping a history of the last processes samples
[startup+9.50165 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 5181
/proc/meminfo: memFree=1920496/2055920 swapFree=4181748/4192956
[pid=5180] ppid=5178 vsize=22500 CPUtime=9.49
/proc/5180/stat : 5180 (pbscip.linux.x8) R 5178 5180 4962 0 -1 4194304 8198 0 0 0 937 12 0 0 25 0 1 0 180898269 23040000 4879 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5180/statm: 5625 4879 578 886 0 4735 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 22500
[startup+10.3017 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 5181
/proc/meminfo: memFree=1920496/2055920 swapFree=4181748/4192956
[pid=5180] ppid=5178 vsize=22500 CPUtime=10.29
/proc/5180/stat : 5180 (pbscip.linux.x8) R 5178 5180 4962 0 -1 4194304 8209 0 0 0 1016 13 0 0 25 0 1 0 180898269 23040000 4890 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5180/statm: 5625 4890 579 886 0 4735 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 22500
[startup+11.1017 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 5181
/proc/meminfo: memFree=1920432/2055920 swapFree=4181748/4192956
[pid=5180] ppid=5178 vsize=22500 CPUtime=11.08
/proc/5180/stat : 5180 (pbscip.linux.x8) R 5178 5180 4962 0 -1 4194304 8223 0 0 0 1095 13 0 0 25 0 1 0 180898269 23040000 4904 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5180/statm: 5625 4904 579 886 0 4735 0
Current children cumulated CPU time (s) 11.08
Current children cumulated vsize (KiB) 22500
[startup+11.5018 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 5181
/proc/meminfo: memFree=1920432/2055920 swapFree=4181748/4192956
[pid=5180] ppid=5178 vsize=22500 CPUtime=11.49
/proc/5180/stat : 5180 (pbscip.linux.x8) R 5178 5180 4962 0 -1 4194304 8223 0 0 0 1135 14 0 0 25 0 1 0 180898269 23040000 4904 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5180/statm: 5625 4904 579 886 0 4735 0
Current children cumulated CPU time (s) 11.49
Current children cumulated vsize (KiB) 22500
[startup+11.6018 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 5181
/proc/meminfo: memFree=1920432/2055920 swapFree=4181748/4192956
[pid=5180] ppid=5178 vsize=22500 CPUtime=11.59
/proc/5180/stat : 5180 (pbscip.linux.x8) R 5178 5180 4962 0 -1 4194304 8223 0 0 0 1145 14 0 0 25 0 1 0 180898269 23040000 4904 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5180/statm: 5625 4904 579 886 0 4735 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (KiB) 22500
Child status: 0
Real time (s): 11.6537
CPU time (s): 11.6492
CPU user time (s): 11.5062
CPU system time (s): 0.142978
CPU usage (%): 99.9612
Max. virtual memory (cumulated for all children) (KiB): 31436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5062
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8228
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= 17
involuntary context switches= 19
runsolver used 0.015997 second user time and 0.032994 second system time
The end
Begin job on node22 at 2009-06-16 08:16:19
IDJOB=1868686
IDBENCH=1852
IDSOLVER=683
FILE ID=node22/1868686-1245132978
PBS_JOBID= 9363697
Free space on /tmp= 66156 MiB
SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868686-1245132978/watcher-1868686-1245132978 -o /tmp/evaluation-result-1868686-1245132978/solver-1868686-1245132978 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868686-1245132978.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1a5510d564851e49e3b50f1a87922ca2
RANDOM SEED=1656981108
node22.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.231
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.231
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: 1938512 kB
Buffers: 7208 kB
Cached: 61204 kB
SwapCached: 5504 kB
Active: 56636 kB
Inactive: 19592 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1938512 kB
SwapTotal: 4192956 kB
SwapFree: 4181748 kB
Dirty: 9952 kB
Writeback: 0 kB
Mapped: 12860 kB
Slab: 27272 kB
Committed_AS: 151380 kB
PageTables: 1372 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= 66148 MiB
End job on node22 at 2009-06-16 08:16:30