0.02/0.03 c SCIP version 1.1.0.7
0.02/0.03 c LP-Solver Clp 1.8.2
0.02/0.03 c user parameter file <scip.set> not found - using default parameters
0.02/0.03 c read problem <HOME/instance-1868687-1245132991.opb>
0.02/0.03 c original problem has 1989 variables (1989 bin, 0 int, 0 impl, 0 cont) and 97 constraints
0.02/0.04 c start presolving problem
0.02/0.04 c presolving:
0.02/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.10/1.15 c (1.1s) probing: 814/1989 (40.9%) - 0 fixings, 0 aggregations, 529 implications, 0 bound changes
1.10/1.15 c (1.1s) probing aborted: 100/100 successive totally useless probings
1.10/1.15 c presolving (2 rounds):
1.10/1.15 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.15 c 1058 implications, 95 cliques
1.10/1.15 c presolved problem has 1989 variables (1989 bin, 0 int, 0 impl, 0 cont) and 97 constraints
1.10/1.15 c 1 constraints of type <knapsack>
1.10/1.15 c 95 constraints of type <setppc>
1.10/1.15 c 1 constraints of type <linear>
1.10/1.15 c transformed objective value is always integral (scale: 1)
1.10/1.15 c Presolving Time: 1.10
1.10/1.16 c OPT-LIN
1.10/1.16 c -----------------------------------------------------------------------------------------------
1.10/1.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.16 c limits/memory = c 1620
1.10/1.16 c # maximal time in seconds to run
1.10/1.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.16 c limits/time = c 1791
1.10/1.16 c # frequency for displaying node information lines
1.10/1.16 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.16 c display/freq = c 10000
1.10/1.16 c -----------------------------------------------------------------------------------------------
1.10/1.16 c start solving problem
1.10/1.16 c
1.19/1.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.21 c 1.2s| 1 | 0 | 410 |5916k| 0 | 53 |1989 | 97 | 97 |1989 | 97 | 0 | 0 | 0 | 4.656364e+03 | -- | Inf
1.49/1.50 c 1.4s| 1 | 0 | 1750 |5993k| 0 | 54 |1989 | 97 | 97 |1989 | 99 | 2 | 0 | 0 | 4.656505e+03 | -- | Inf
1.79/1.87 c 1.8s| 1 | 2 | 1750 |5994k| 0 | 54 |1989 | 97 | 97 |1989 | 99 | 2 | 0 | 36 | 4.656505e+03 | -- | Inf
2.59/2.65 o 4880
2.59/2.65 c * 2.6s| 5 | 4 | 2031 |6098k| 4 | - |1989 | 97 | 70 |1989 | 99 | 2 | 0 | 134 | 4.663943e+03 | 4.880000e+03 | 4.63%
2.79/2.81 o 4879
2.79/2.81 c * 2.7s| 7 | 4 | 2151 |6161k| 5 | - |1989 | 97 | 36 |1989 | 99 | 2 | 0 | 151 | 4.663943e+03 | 4.879000e+03 | 4.61%
5.09/5.16 o 4774
5.09/5.16 c * 5.1s| 25 | 10 | 3120 |6234k| 13 | - |1989 | 97 | 80 |1989 | 99 | 2 | 0 | 442 | 4.668198e+03 | 4.774000e+03 | 2.27%
5.99/6.06 o 4773
5.99/6.06 c * 6.0s| 31 | 10 | 3449 |6278k| 13 | - |1989 | 97 | 49 |1989 | 99 | 2 | 0 | 573 | 4.677532e+03 | 4.773000e+03 | 2.04%
6.60/6.66 o 4753
6.60/6.66 c R 6.6s| 34 | 9 | 3632 |6279k| 13 | 6 |1989 | 97 | 81 |1989 | 99 | 2 | 0 | 650 | 4.677532e+03 | 4.753000e+03 | 1.61%
7.09/7.18 o 4750
7.09/7.18 c * 7.1s| 37 | 8 | 3839 |6336k| 13 | - |1989 | 99 | 75 |1989 | 99 | 2 | 2 | 737 | 4.677532e+03 | 4.750000e+03 | 1.55%
8.48/8.58 o 4737
8.48/8.58 c * 8.5s| 43 | 6 | 4264 |6297k| 13 | - |1989 | 99 | 93 |1989 | 99 | 2 | 2 | 923 | 4.677532e+03 | 4.737000e+03 | 1.27%
8.88/8.96 o 4734
8.88/8.96 c * 8.9s| 47 | 4 | 4552 |6326k| 13 | - |1989 | 99 | 86 |1989 | 99 | 2 | 2 | 969 | 4.677532e+03 | 4.734000e+03 | 1.21%
10.58/10.69 o 4722
10.58/10.69 c R10.6s| 58 | 3 | 5434 |6315k| 13 | 6 |1989 | 99 | 88 |1989 | 99 | 2 | 2 |1214 | 4.680180e+03 | 4.722000e+03 | 0.89%
11.19/11.25 c
11.19/11.25 c SCIP Status : problem is solved [optimal solution found]
11.19/11.25 c Solving Time (sec) : 11.14
11.19/11.25 c Solving Nodes : 63
11.19/11.25 c Primal Bound : +4.72200000000000e+03 (10 solutions)
11.19/11.25 c Dual Bound : +4.72200000000000e+03
11.19/11.25 c Gap : 0.00 %
11.19/11.26 c NODE 63
11.19/11.26 c DUAL BOUND 4722
11.19/11.26 c PRIMAL BOUND 4722
11.19/11.26 c GAP 0
11.19/11.26 s OPTIMUM FOUND
11.19/11.26 v -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971
11.19/11.26 v -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954
11.19/11.26 v -x1953 -x1952 x1951 -x1950 x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935
11.19/11.26 v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 x1918 -x1917
11.19/11.26 v -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 x1903 -x1902 -x1901 -x1900 -x1899
11.19/11.26 v -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882
11.19/11.26 v -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864
11.19/11.26 v -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 x1848 -x1847 -x1846
11.19/11.26 v -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828
11.19/11.26 v -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810
11.19/11.26 v -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792
11.19/11.26 v -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774
11.19/11.26 v -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756
11.19/11.26 v -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739
11.19/11.26 v -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721
11.19/11.26 v -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703
11.19/11.26 v -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685
11.19/11.26 v -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667
11.19/11.26 v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649
11.19/11.26 v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631
11.19/11.26 v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613
11.19/11.26 v -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596
11.19/11.26 v -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578
11.19/11.26 v -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560
11.19/11.26 v -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542
11.19/11.26 v -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524
11.19/11.26 v -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506
11.19/11.26 v -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488
11.19/11.26 v -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471
11.19/11.26 v -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453
11.19/11.26 v -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435
11.19/11.26 v -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417
11.19/11.26 v x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399
11.19/11.26 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381
11.19/11.26 v -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363
11.19/11.26 v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345
11.19/11.26 v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328
11.19/11.26 v -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 x1310
11.19/11.26 v -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292
11.19/11.26 v -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274
11.19/11.26 v -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256
11.19/11.26 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238
11.19/11.26 v -x1237 -x1236 -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220
11.19/11.26 v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202
11.19/11.26 v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184
11.19/11.26 v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166
11.19/11.26 v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149
11.19/11.26 v -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131
11.19/11.26 v -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113
11.19/11.26 v -x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095
11.19/11.26 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077
11.19/11.26 v x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059
11.19/11.26 v -x1058 -x1057 -x1056 -x1055 -x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041
11.19/11.26 v -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023
11.19/11.26 v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005
11.19/11.26 v -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985
11.19/11.26 v -x984 -x983 x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964
11.19/11.26 v -x963 x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943
11.19/11.26 v -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923
11.19/11.26 v -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902
11.19/11.26 v -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881
11.19/11.26 v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860
11.19/11.26 v -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839
11.19/11.26 v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818
11.19/11.26 v -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797
11.19/11.26 v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777
11.19/11.26 v -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756
11.19/11.26 v -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735
11.19/11.26 v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714
11.19/11.26 v -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693
11.19/11.26 v -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672
11.19/11.26 v -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
11.19/11.26 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631
11.19/11.26 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
11.19/11.26 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589
11.19/11.26 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
11.19/11.26 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
11.19/11.26 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527
11.19/11.26 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506
11.19/11.26 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485
11.19/11.26 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464
11.19/11.26 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443
11.19/11.26 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422
11.19/11.26 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401
11.19/11.26 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380
11.19/11.26 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360
11.19/11.26 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339
11.19/11.26 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318
11.19/11.26 v -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297
11.19/11.26 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276
11.19/11.26 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255
11.19/11.26 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234
11.19/11.26 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214
11.19/11.26 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 x193 -x192
11.19/11.26 v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172
11.19/11.26 v -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151
11.19/11.26 v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130
11.19/11.26 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109
11.19/11.26 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.19/11.26 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.19/11.26 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.19/11.26 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.19/11.26 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
11.19/11.26 c SCIP Status : problem is solved [optimal solution found]
11.19/11.26 c Solving Time : 11.14
11.19/11.26 c Original Problem :
11.19/11.26 c Problem name : HOME/instance-1868687-1245132991.opb
11.19/11.26 c Variables : 1989 (1989 binary, 0 integer, 0 implicit integer, 0 continuous)
11.19/11.26 c Constraints : 97 initial, 97 maximal
11.19/11.26 c Presolved Problem :
11.19/11.26 c Problem name : t_HOME/instance-1868687-1245132991.opb
11.19/11.26 c Variables : 1989 (1989 binary, 0 integer, 0 implicit integer, 0 continuous)
11.19/11.26 c Constraints : 97 initial, 99 maximal
11.19/11.26 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
11.19/11.26 c trivial : 0.00 0 0 0 0 0 0 0 0
11.19/11.26 c dualfix : 0.00 0 0 0 0 0 0 0 0
11.19/11.26 c boundshift : 0.00 0 0 0 0 0 0 0 0
11.19/11.26 c inttobinary : 0.00 0 0 0 0 0 0 0 0
11.19/11.26 c implics : 0.00 0 0 0 0 0 0 0 0
11.19/11.26 c probing : 1.08 0 0 0 0 0 0 0 0
11.19/11.26 c knapsack : 0.00 0 0 0 0 0 0 0 0
11.19/11.26 c setppc : 0.00 0 0 0 0 0 0 0 0
11.19/11.26 c linear : 0.01 0 0 0 0 0 0 0 0
11.19/11.26 c logicor : 0.00 0 0 0 0 0 0 0 0
11.19/11.26 c root node : - 1199 - - 1199 - - - -
11.19/11.26 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
11.19/11.26 c integral : 0 0 0 163 0 13 326 0 0 66
11.19/11.26 c knapsack : 1 2 2167 7 0 0 0 0 0 0
11.19/11.26 c setppc : 95 2 2167 7 0 1 4494 0 0 0
11.19/11.26 c linear : 1 2 2166 7 0 0 0 0 0 0
11.19/11.26 c logicor : 0+ 0 23 0 0 0 0 0 0 0
11.19/11.26 c countsols : 0 0 0 7 0 0 0 0 0 0
11.19/11.26 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
11.19/11.26 c integral : 7.99 0.00 0.00 7.99 0.00
11.19/11.26 c knapsack : 0.00 0.00 0.00 0.00 0.00
11.19/11.26 c setppc : 0.04 0.00 0.04 0.00 0.00
11.19/11.26 c linear : 0.49 0.00 0.49 0.00 0.00
11.19/11.26 c logicor : 0.00 0.00 0.00 0.00 0.00
11.19/11.26 c countsols : 0.00 0.00 0.00 0.00 0.00
11.19/11.26 c Propagators : Time Calls Cutoffs DomReds
11.19/11.26 c rootredcost : 0.01 9 0 1135
11.19/11.26 c pseudoobj : 0.06 442 0 0
11.19/11.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
11.19/11.26 c propagation : 0.00 1 1 2 80.5 0 0.0 -
11.19/11.26 c infeasible LP : 0.01 18 0 0 0.0 0 0.0 0
11.19/11.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
11.19/11.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
11.19/11.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
11.19/11.26 c applied globally : - - - 2 80.5 - - -
11.19/11.26 c applied locally : - - - 0 0.0 - - -
11.19/11.26 c Separators : Time Calls Cutoffs DomReds Cuts Conss
11.19/11.26 c cut pool : 0.00 1 - - 0 - (maximal pool size: 2)
11.19/11.26 c redcost : 0.04 168 0 11294 0 0
11.19/11.26 c impliedbounds : 0.00 2 0 0 0 0
11.19/11.26 c intobj : 0.00 0 0 0 0 0
11.19/11.26 c gomory : 0.00 2 0 0 0 0
11.19/11.26 c strongcg : 0.00 2 0 0 0 0
11.19/11.26 c cmir : 0.02 2 0 0 0 0
11.19/11.26 c flowcover : 0.04 2 0 0 0 0
11.19/11.26 c clique : 0.01 2 0 0 2 0
11.19/11.26 c zerohalf : 0.00 0 0 0 0 0
11.19/11.26 c mcf : 0.00 1 0 0 0 0
11.19/11.26 c Pricers : Time Calls Vars
11.19/11.26 c problem variables: 0.00 0 0
11.19/11.26 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
11.19/11.26 c relpscost : 7.99 156 13 326 0 0 66
11.19/11.26 c pscost : 0.00 0 0 0 0 0 0
11.19/11.26 c inference : 0.00 0 0 0 0 0 0
11.19/11.26 c mostinf : 0.00 0 0 0 0 0 0
11.19/11.26 c leastinf : 0.00 0 0 0 0 0 0
11.19/11.26 c fullstrong : 0.00 0 0 0 0 0 0
11.19/11.26 c allfullstrong : 0.00 0 0 0 0 0 0
11.19/11.26 c random : 0.00 0 0 0 0 0 0
11.19/11.26 c Primal Heuristics : Time Calls Found
11.19/11.26 c LP solutions : 0.00 - 7
11.19/11.26 c pseudo solutions : 0.00 - 0
11.19/11.26 c linesearchdiving : 0.00 0 0
11.19/11.26 c guideddiving : 0.00 0 0
11.19/11.26 c crossover : 0.00 0 0
11.19/11.26 c oneopt : 0.00 9 0
11.19/11.26 c fracdiving : 0.05 1 0
11.19/11.26 c veclendiving : 0.01 1 0
11.19/11.26 c objpscostdiving : 0.01 1 1
11.19/11.26 c simplerounding : 0.00 0 0
11.19/11.26 c rounding : 0.13 157 2
11.19/11.26 c shifting : 0.02 4 0
11.19/11.26 c intshifting : 0.00 0 0
11.19/11.26 c fixandinfer : 0.00 0 0
11.19/11.26 c feaspump : 0.24 1 0
11.19/11.26 c coefdiving : 0.00 1 0
11.19/11.26 c pscostdiving : 0.02 1 0
11.19/11.26 c intdiving : 0.00 0 0
11.19/11.26 c actconsdiving : 0.00 0 0
11.19/11.26 c rootsoldiving : 0.03 1 0
11.19/11.26 c octane : 0.00 0 0
11.19/11.26 c rens : 0.04 1 0
11.19/11.26 c rins : 0.00 0 0
11.19/11.26 c localbranching : 0.00 0 0
11.19/11.26 c mutation : 0.00 0 0
11.19/11.26 c dins : 0.00 0 0
11.19/11.26 c LP : Time Calls Iterations Iter/call Iter/sec
11.19/11.26 c primal LP : 0.00 0 0 0.00 -
11.19/11.26 c dual LP : 1.06 174 4345 24.97 4099.06
11.19/11.26 c barrier LP : 0.00 0 0 0.00 -
11.19/11.26 c diving/probing LP: 0.33 51 1524 29.88 4618.18
11.19/11.26 c strong branching : 7.98 1281 51787 40.43 6489.60
11.19/11.26 c (at root node) : - 36 1652 45.89 -
11.19/11.26 c conflict analysis: 0.00 0 0 0.00 -
11.19/11.26 c B&B Tree :
11.19/11.26 c number of runs : 1
11.19/11.26 c nodes : 63
11.19/11.26 c nodes (total) : 63
11.19/11.26 c nodes left : 0
11.19/11.26 c max depth : 13
11.19/11.26 c max depth (total): 13
11.19/11.26 c backtracks : 12 (19.0%)
11.19/11.26 c delayed cutoffs : 0
11.19/11.26 c repropagations : 8 (0 domain reductions, 0 cutoffs)
11.19/11.26 c avg switch length: 3.33
11.19/11.26 c switching time : 0.05
11.19/11.26 c Solution :
11.19/11.26 c Solutions found : 10 (9 improvements)
11.19/11.26 c Primal Bound : +4.72200000000000e+03 (in run 1, after 58 nodes, 10.57 seconds, depth 6, found by <rounding>)
11.19/11.26 c Dual Bound : +4.72200000000000e+03
11.19/11.26 c Gap : 0.00 %
11.19/11.26 c Root Dual Bound : +4.65650505050505e+03
11.19/11.28 c Time complete: 11.27.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868687-1245132991/watcher-1868687-1245132991 -o /tmp/evaluation-result-1868687-1245132991/solver-1868687-1245132991 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868687-1245132991.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: 0.94 0.99 0.99 3/64 5207
/proc/meminfo: memFree=1935928/2055920 swapFree=4181748/4192956
[pid=5207] ppid=5205 vsize=5812 CPUtime=0
/proc/5207/stat : 5207 (pbscip.linux.x8) R 5205 5207 4962 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 180899487 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/5207/statm: 1453 501 332 1256 0 192 0
[startup+0.0323869 s]
/proc/loadavg: 0.94 0.99 0.99 3/64 5207
/proc/meminfo: memFree=1935928/2055920 swapFree=4181748/4192956
[pid=5207] ppid=5205 vsize=12012 CPUtime=0.02
/proc/5207/stat : 5207 (pbscip.linux.x8) R 5205 5207 4962 0 -1 4194304 1997 0 0 0 2 0 0 0 18 0 1 0 180899487 12300288 1980 1992294400 4194304 9342243 548682068736 18446744073709551615 4401518 0 0 4096 0 0 0 0 17 1 0 0
/proc/5207/statm: 3003 1980 388 1256 0 1742 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12012
[startup+0.101388 s]
/proc/loadavg: 0.94 0.99 0.99 3/64 5207
/proc/meminfo: memFree=1935928/2055920 swapFree=4181748/4192956
[pid=5207] ppid=5205 vsize=20340 CPUtime=0.09
/proc/5207/stat : 5207 (pbscip.linux.x8) R 5205 5207 4962 0 -1 4194304 4276 0 0 0 8 1 0 0 18 0 1 0 180899487 20828160 3906 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5207/statm: 5085 3906 486 1256 0 3824 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20340
[startup+0.301401 s]
/proc/loadavg: 0.94 0.99 0.99 3/64 5207
/proc/meminfo: memFree=1935928/2055920 swapFree=4181748/4192956
[pid=5207] ppid=5205 vsize=20340 CPUtime=0.29
/proc/5207/stat : 5207 (pbscip.linux.x8) R 5205 5207 4962 0 -1 4194304 4282 0 0 0 28 1 0 0 19 0 1 0 180899487 20828160 3912 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5207/statm: 5085 3912 492 1256 0 3824 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20340
[startup+0.701426 s]
/proc/loadavg: 0.94 0.99 0.99 3/64 5207
/proc/meminfo: memFree=1935928/2055920 swapFree=4181748/4192956
[pid=5207] ppid=5205 vsize=20340 CPUtime=0.69
/proc/5207/stat : 5207 (pbscip.linux.x8) R 5205 5207 4962 0 -1 4194304 4282 0 0 0 68 1 0 0 22 0 1 0 180899487 20828160 3912 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5207/statm: 5085 3912 492 1256 0 3824 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20340
[startup+1.50148 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 5208
/proc/meminfo: memFree=1922160/2055920 swapFree=4181748/4192956
[pid=5207] ppid=5205 vsize=24660 CPUtime=1.49
/proc/5207/stat : 5207 (pbscip.linux.x8) R 5205 5207 4962 0 -1 4194304 5364 0 0 0 147 2 0 0 25 0 1 0 180899487 25251840 4980 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5207/statm: 6165 4980 676 1256 0 4904 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24660
[startup+3.10158 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 5208
/proc/meminfo: memFree=1917936/2055920 swapFree=4181748/4192956
[pid=5207] ppid=5205 vsize=26184 CPUtime=3.09
/proc/5207/stat : 5207 (pbscip.linux.x8) R 5205 5207 4962 0 -1 4194304 8254 0 0 0 304 5 0 0 25 0 1 0 180899487 26812416 5135 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5207/statm: 6546 5135 701 1256 0 5285 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26184
[startup+6.30179 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 5208
/proc/meminfo: memFree=1917680/2055920 swapFree=4181748/4192956
[pid=5207] ppid=5205 vsize=26352 CPUtime=6.29
/proc/5207/stat : 5207 (pbscip.linux.x8) R 5205 5207 4962 0 -1 4194304 8315 0 0 0 623 6 0 0 25 0 1 0 180899487 26984448 5196 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5207/statm: 6588 5196 703 1256 0 5327 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26352
Solver just ended. Dumping a history of the last processes samples
[startup+9.50199 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 5208
/proc/meminfo: memFree=1917560/2055920 swapFree=4181748/4192956
[pid=5207] ppid=5205 vsize=26352 CPUtime=9.49
/proc/5207/stat : 5207 (pbscip.linux.x8) R 5205 5207 4962 0 -1 4194304 8371 0 0 0 941 8 0 0 25 0 1 0 180899487 26984448 5252 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5207/statm: 6588 5252 705 1256 0 5327 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 26352
[startup+10.301 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 5208
/proc/meminfo: memFree=1917432/2055920 swapFree=4181748/4192956
[pid=5207] ppid=5205 vsize=26352 CPUtime=10.28
/proc/5207/stat : 5207 (pbscip.linux.x8) R 5205 5207 4962 0 -1 4194304 8386 0 0 0 1020 8 0 0 25 0 1 0 180899487 26984448 5267 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5207/statm: 6588 5267 705 1256 0 5327 0
Current children cumulated CPU time (s) 10.28
Current children cumulated vsize (KiB) 26352
[startup+10.7011 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 5208
/proc/meminfo: memFree=1917432/2055920 swapFree=4181748/4192956
[pid=5207] ppid=5205 vsize=26352 CPUtime=10.68
/proc/5207/stat : 5207 (pbscip.linux.x8) R 5205 5207 4962 0 -1 4194304 8419 0 0 0 1060 8 0 0 25 0 1 0 180899487 26984448 5300 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5207/statm: 6588 5300 705 1256 0 5327 0
Current children cumulated CPU time (s) 10.68
Current children cumulated vsize (KiB) 26352
[startup+11.1011 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 5208
/proc/meminfo: memFree=1917176/2055920 swapFree=4181748/4192956
[pid=5207] ppid=5205 vsize=26352 CPUtime=11.09
/proc/5207/stat : 5207 (pbscip.linux.x8) R 5205 5207 4962 0 -1 4194304 8453 0 0 0 1100 9 0 0 25 0 1 0 180899487 26984448 5334 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5207/statm: 6588 5334 705 1256 0 5327 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 26352
[startup+11.2011 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 5208
/proc/meminfo: memFree=1917176/2055920 swapFree=4181748/4192956
[pid=5207] ppid=5205 vsize=26864 CPUtime=11.19
/proc/5207/stat : 5207 (pbscip.linux.x8) R 5205 5207 4962 0 -1 4194304 8475 0 0 0 1110 9 0 0 25 0 1 0 180899487 27508736 5356 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5207/statm: 6716 5356 705 1256 0 5455 0
Current children cumulated CPU time (s) 11.19
Current children cumulated vsize (KiB) 26864
Child status: 0
Real time (s): 11.2808
CPU time (s): 11.2773
CPU user time (s): 11.1803
CPU system time (s): 0.096985
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 26864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1803
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8479
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= 20
involuntary context switches= 23
runsolver used 0.010998 second user time and 0.037994 second system time
The end
Begin job on node22 at 2009-06-16 08:16:31
IDJOB=1868687
IDBENCH=1852
IDSOLVER=684
FILE ID=node22/1868687-1245132991
PBS_JOBID= 9363697
Free space on /tmp= 66156 MiB
SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
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.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868687-1245132991/watcher-1868687-1245132991 -o /tmp/evaluation-result-1868687-1245132991/solver-1868687-1245132991 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868687-1245132991.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1a5510d564851e49e3b50f1a87922ca2
RANDOM SEED=762750980
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: 1936344 kB
Buffers: 7288 kB
Cached: 63028 kB
SwapCached: 5504 kB
Active: 58620 kB
Inactive: 19620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1936344 kB
SwapTotal: 4192956 kB
SwapFree: 4181748 kB
Dirty: 11944 kB
Writeback: 0 kB
Mapped: 12876 kB
Slab: 27400 kB
Committed_AS: 151388 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= 66144 MiB
End job on node22 at 2009-06-16 08:16:42