0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3738124-1338721331.opb>
0.09/0.19 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 29069 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.18/0.23 o 0
0.18/0.23 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.18/0.23 c presolving:
0.18/0.27 c (round 1) 587 del vars, 587 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.29/0.35 c (round 2) 587 del vars, 4987 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24082 upgd conss, 2340 impls, 0 clqs
0.29/0.38 c (0.2s) probing: 101/1438 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.38 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.38 c presolving (3 rounds):
0.29/0.38 c 587 deleted vars, 4987 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.38 c 2340 implications, 0 cliques
0.29/0.38 c presolved problem has 1438 variables (1438 bin, 0 int, 0 impl, 0 cont) and 24082 constraints
0.29/0.38 c 583 constraints of type <setppc>
0.29/0.38 c 23499 constraints of type <logicor>
0.29/0.38 c transformed objective value is always integral (scale: 1)
0.29/0.38 c Presolving Time: 0.16
0.29/0.38 c - non default parameters ----------------------------------------------------------------------
0.29/0.38 c # SCIP version 1.2.1.3
0.29/0.38 c
0.29/0.38 c # frequency for displaying node information lines
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.38 c display/freq = 10000
0.29/0.38 c
0.29/0.38 c # maximal time in seconds to run
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.38 c limits/time = 1789.82
0.29/0.38 c
0.29/0.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.38 c limits/memory = 13950
0.29/0.38 c
0.29/0.38 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.38 c # [type: int, range: [1,2], default: 1]
0.29/0.38 c timing/clocktype = 2
0.29/0.38 c
0.29/0.38 c # should presolving try to simplify inequalities
0.29/0.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.38 c constraints/linear/simplifyinequalities = TRUE
0.29/0.38 c
0.29/0.38 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.38 c constraints/indicator/addCouplingCons = TRUE
0.29/0.38 c
0.29/0.38 c # should presolving try to simplify knapsacks
0.29/0.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.38 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.38 c
0.29/0.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.38 c separating/rapidlearning/freq = 0
0.29/0.38 c
0.29/0.38 c -----------------------------------------------------------------------------------------------
0.29/0.38 c start solving
0.29/0.38 c
1.89/1.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.92 c t 1.7s| 1 | 0 | 2875 | - | 32M| 0 |1395 |1438 | 24k|1438 | 24k| 0 | 0 | 0 |-2.438568e+02 | 0.000000e+00 | 100.00%
1.89/1.97 o -2
1.89/1.97 c R 1.8s| 1 | 0 | 2875 | - | 32M| 0 |1395 |1438 | 24k|1438 | 24k| 0 | 0 | 0 |-2.438568e+02 |-2.000000e+00 | 99.18%
1.99/2.04 o -3
1.99/2.04 c s 1.8s| 1 | 0 | 2875 | - | 32M| 0 |1395 |1438 | 24k|1438 | 24k| 0 | 0 | 0 |-2.438568e+02 |-3.000000e+00 | 98.77%
4.99/5.08 c 4.9s| 1 | 0 | 6058 | - | 33M| 0 |1413 |1438 | 24k|1438 | 24k| 25 | 0 | 0 |-2.371906e+02 |-3.000000e+00 | 98.74%
5.09/5.19 o -9
5.09/5.19 c b 4.9s| 1 | 0 | 6058 | - | 33M| 0 |1413 |1438 | 24k|1438 | 24k| 25 | 0 | 0 |-2.371906e+02 |-9.000000e+00 | 96.21%
24.78/24.83 c 24.6s| 1 | 0 | 20185 | - | 34M| 0 |1436 |1438 | 24k|1438 | 24k| 33 | 0 | 0 |-2.340938e+02 |-9.000000e+00 | 96.16%
107.47/107.50 c 107s| 1 | 0 | 64776 | - | 35M| 0 |1436 |1438 | 24k|1438 | 24k| 64 | 0 | 0 |-2.316910e+02 |-9.000000e+00 | 96.12%
139.16/139.24 c 139s| 1 | 0 | 79737 | - | 37M| 0 |1436 |1438 | 24k|1438 | 24k| 71 | 0 | 0 |-2.298133e+02 |-9.000000e+00 | 96.08%
175.65/175.76 c 176s| 1 | 0 | 93418 | - | 37M| 0 |1434 |1438 | 24k|1438 | 24k| 84 | 0 | 0 |-2.273581e+02 |-9.000000e+00 | 96.04%
206.95/207.07 c 207s| 1 | 0 |104071 | - | 38M| 0 |1435 |1438 | 24k|1438 | 24k| 86 | 0 | 0 |-2.272696e+02 |-9.000000e+00 | 96.04%
207.05/207.10 o -10
207.05/207.10 c R 207s| 1 | 0 |104071 | - | 38M| 0 |1435 |1438 | 24k|1438 | 24k| 86 | 0 | 0 |-2.272696e+02 |-1.000000e+01 | 95.60%
257.04/257.10 c 257s| 1 | 0 |125809 | - | 39M| 0 |1432 |1438 | 24k|1438 | 24k| 93 | 0 | 0 |-2.252394e+02 |-1.000000e+01 | 95.56%
257.04/257.11 o -12
257.04/257.11 c b 257s| 1 | 0 |125809 | - | 39M| 0 |1432 |1438 | 24k|1438 | 24k| 93 | 0 | 0 |-2.252394e+02 |-1.200000e+01 | 94.67%
323.83/323.90 c 324s| 1 | 0 |156725 | - | 39M| 0 |1430 |1438 | 24k|1438 | 24k| 101 | 0 | 0 |-2.239553e+02 |-1.200000e+01 | 94.64%
344.14/344.30 c 344s| 1 | 0 |161660 | - | 39M| 0 |1431 |1438 | 24k|1438 | 24k| 102 | 0 | 0 |-2.239235e+02 |-1.200000e+01 | 94.64%
395.83/395.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
395.83/395.90 c 396s| 1 | 2 |161660 | - | 39M| 0 |1431 |1438 | 24k|1438 | 24k| 102 | 0 | 27 |-2.239235e+02 |-1.200000e+01 | 94.64%
1183.10/1183.30 o -13
1183.10/1183.30 c R1183s| 6 | 5 |496048 |66877.6 | 39M| 3 |1425 |1438 | 24k|1438 | 24k| 102 | 0 | 205 |-2.239235e+02 |-1.300000e+01 | 94.19%
1227.40/1227.62 o -17
1227.40/1227.62 c b1227s| 6 | 5 |505968 |68861.6 | 39M| 3 |1382 |1438 | 24k|1438 | 24k| 102 | 0 | 230 |-2.239235e+02 |-1.700000e+01 | 92.41%
1455.46/1455.74 o -44
1455.46/1455.74 c p1456s| 6 | 7 |644956 |96659.2 | 42M| 3 | - |1438 | 24k|1438 | 24k| 102 | 5 | 274 |-2.239235e+02 |-4.400000e+01 | 80.35%
1789.71/1790.01 c
1789.71/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.71/1790.01 c Solving Time (sec) : 1789.83
1789.71/1790.01 c Solving Nodes : 8
1789.71/1790.01 c Primal Bound : -4.40000000000000e+01 (10 solutions)
1789.71/1790.01 c Dual Bound : -2.23923499628091e+02
1789.71/1790.01 c Gap : 80.35 %
1789.71/1790.02 s SATISFIABLE
1789.71/1790.02 v x2025 x2024 -x2023 x2022 -x2021 -x2020 x2019 x2018 -x2017 x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 x2008 -x2007 x2006
1789.71/1790.02 v -x2005 -x2004 -x2003 x2002 -x2001 x2000 -x1999 x1998 x1997 -x1996 x1995 -x1994 x1993 -x1992 -x1991 -x1990 -x1989 x1988 x1987
1789.71/1790.02 v x1986 -x1985 -x1984 -x1983 x1982 x1981 x1980 x1979 x1978 x1977 x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 x1968
1789.71/1790.02 v -x1967 x1966 x1965 -x1964 x1963 -x1962 -x1961 -x1960 -x1959 x1958 x1957 -x1956 -x1955 -x1954 x1953 -x1952 -x1951 x1950 -x1949
1789.71/1790.02 v x1948 -x1947 x1946 x1945 -x1944 x1943 -x1942 -x1941 -x1940 x1939 -x1938 -x1937 x1936 x1935 -x1934 x1933 x1932 x1931 x1930
1789.71/1790.02 v x1929 x1928 x1927 -x1926 x1925 x1924 x1923 -x1922 x1921 x1920 x1919 x1918 -x1917 -x1916 -x1915 -x1914 x1913 -x1912 -x1911 x1910
1789.71/1790.02 v -x1909 x1908 -x1907 -x1906 -x1905 -x1904 -x1903 x1902 -x1901 x1900 x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892
1789.71/1790.02 v x1891 -x1890 x1889 -x1888 x1887 -x1886 x1885 x1884 -x1883 x1882 -x1881 -x1880 x1879 x1878 x1877 x1876 -x1875 x1874 -x1873 -x1872
1789.71/1790.02 v x1871 x1870 -x1869 -x1868 x1867 x1866 -x1865 x1864 -x1863 x1862 -x1861 x1860 x1859 -x1858 x1857 -x1856 x1855 -x1854 -x1853
1789.71/1790.02 v x1852 x1851 x1850 -x1849 -x1848 x1847 x1846 -x1845 -x1844 x1843 x1842 -x1841 -x1840 x1839 -x1838 -x1837 x1836 x1835 -x1834
1789.71/1790.02 v x1833 -x1832 x1831 -x1830 -x1829 x1828 x1827 -x1826 x1825 -x1824 x1823 -x1822 x1821 -x1820 x1819 x1818 -x1817 x1816 x1815 x1814
1789.71/1790.02 v -x1813 x1812 x1811 -x1810 -x1809 -x1808 -x1807 x1806 -x1805 x1804 x1803 -x1802 x1801 x1800 x1799 -x1798 x1797 -x1796 -x1795
1789.71/1790.02 v -x1794 x1793 x1792 -x1791 x1790 -x1789 x1788 -x1787 x1786 x1785 -x1784 -x1783 -x1782 x1781 x1780 x1779 -x1778 x1777 x1776
1789.71/1790.02 v x1775 x1774 x1773 -x1772 x1771 -x1770 x1769 x1768 -x1767 x1766 -x1765 -x1764 x1763 x1762 x1761 -x1760 -x1759 x1758 -x1757 x1756
1789.71/1790.02 v x1755 -x1754 x1753 x1752 -x1751 x1750 x1749 x1748 -x1747 -x1746 x1745 x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 x1737
1789.71/1790.02 v -x1736 -x1735 x1734 -x1733 x1732 x1731 x1730 -x1729 x1728 -x1727 x1726 -x1725 -x1724 -x1723 x1722 x1721 -x1720 x1719 x1718
1789.71/1790.02 v x1717 x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 x1706 -x1705 x1704 -x1703 x1702 -x1701 -x1700 -x1699
1789.71/1790.02 v -x1698 x1697 x1696 -x1695 x1694 -x1693 x1692 -x1691 x1690 x1689 x1688 -x1687 -x1686 -x1685 -x1684 x1683 x1682 -x1681 x1680
1789.71/1790.02 v x1679 x1678 x1677 -x1676 x1675 -x1674 -x1673 -x1672 x1671 -x1670 x1669 -x1668 x1667 -x1666 x1665 x1664 -x1663 x1662 -x1661
1789.71/1790.02 v x1660 -x1659 x1658 -x1657 x1656 -x1655 x1654 x1653 -x1652 -x1651 x1650 x1649 -x1648 x1647 -x1646 x1645 x1644 -x1643 x1642 -x1641
1789.71/1790.02 v -x1640 x1639 -x1638 x1637 -x1636 x1635 x1634 x1633 -x1632 -x1631 x1630 -x1629 -x1628 x1627 x1626 -x1625 x1624 -x1623 x1622
1789.71/1790.02 v x1621 -x1620 -x1619 -x1618 x1617 x1616 -x1615 -x1614 -x1613 x1612 -x1611 x1610 -x1609 -x1608 -x1607 x1606 -x1605 -x1604 x1603
1789.71/1790.02 v x1602 x1601 x1600 x1599 -x1598 -x1597 x1596 x1595 x1594 -x1593 x1592 -x1591 x1590 x1589 x1588 -x1587 x1586 x1585 -x1584 -x1583
1789.71/1790.02 v -x1582 -x1581 x1580 x1579 x1578 x1577 -x1576 x1575 -x1574 -x1573 -x1572 -x1571 x1570 -x1569 x1568 -x1567 -x1566 -x1565 x1564
1789.71/1790.02 v -x1563 -x1562 -x1561 x1560 x1559 -x1558 x1557 -x1556 x1555 -x1554 x1553 -x1552 x1551 x1550 x1549 -x1548 -x1547 -x1546 x1545
1789.71/1790.02 v x1544 x1543 x1542 -x1541 x1540 -x1539 x1538 -x1537 -x1536 x1535 -x1534 -x1533 -x1532 x1531 -x1530 x1529 x1528 -x1527 x1526
1789.71/1790.02 v -x1525 x1524 -x1523 -x1522 x1521 -x1520 -x1519 x1518 -x1517 -x1516 -x1515 x1514 x1513 -x1512 x1511 x1510 -x1509 x1508 -x1507
1789.71/1790.02 v x1506 x1505 -x1504 x1503 -x1502 x1501 -x1500 x1499 -x1498 -x1497 x1496 x1495 x1494 -x1493 x1492 -x1491 -x1490 -x1489 -x1488
1789.71/1790.02 v x1487 -x1486 -x1485 -x1484 x1483 -x1482 -x1481 x1480 x1479 -x1478 x1477 -x1476 x1475 -x1474 x1473 -x1472 x1471 -x1470 -x1469
1789.71/1790.02 v x1468 -x1467 -x1466 x1465 x1464 -x1463 -x1462 x1461 x1460 x1459 -x1458 x1457 -x1456 -x1455 x1454 -x1453 x1452 -x1451 x1450 -x1449
1789.71/1790.02 v -x1448 x1447 -x1446 x1445 -x1444 x1443 x1442 -x1441 -x1440 x1439 x1438 -x1437 x1436 x1435 -x1434 -x1433 -x1432 -x1431 x1430
1789.71/1790.02 v -x1429 x1428 -x1427 x1426 -x1425 x1424 -x1423 -x1422 x1421 -x1420 x1419 x1418 x1417 x1416 x1415 x1414 x1413 -x1412 -x1411
1789.71/1790.02 v -x1410 -x1409 x1408 x1407 x1406 -x1405 -x1404 -x1403 -x1402 x1401 x1400 -x1399 x1398 x1397 -x1396 -x1395 -x1394 x1393 x1392
1789.71/1790.02 v -x1391 x1390 x1389 x1388 x1387 -x1386 x1385 x1384 -x1383 -x1382 -x1381 x1380 x1379 x1378 x1377 x1376 -x1375 x1374 x1373 -x1372
1789.71/1790.02 v -x1371 -x1370 x1369 x1368 -x1367 -x1366 x1365 -x1364 x1363 -x1362 x1361 -x1360 x1359 -x1358 x1357 x1356 x1355 -x1354 x1353
1789.71/1790.02 v -x1352 -x1351 -x1350 x1349 -x1348 x1347 x1346 -x1345 -x1344 x1343 -x1342 x1341 -x1340 -x1339 x1338 x1337 x1336 x1335 -x1334
1789.71/1790.02 v x1333 -x1332 -x1331 -x1330 x1329 -x1328 x1327 x1326 x1325 -x1324 x1323 -x1322 x1321 -x1320 -x1319 x1318 -x1317 -x1316 x1315 -x1314
1789.71/1790.02 v x1313 -x1312 x1311 -x1310 x1309 -x1308 -x1307 -x1306 -x1305 -x1304 x1303 x1302 -x1301 x1300 -x1299 -x1298 x1297 -x1296
1789.71/1790.02 v x1295 x1294 -x1293 x1292 x1291 -x1290 -x1289 x1288 x1287 -x1286 x1285 x1284 x1283 -x1282 x1281 x1280 x1279 x1278 -x1277 -x1276
1789.71/1790.02 v -x1275 x1274 -x1273 -x1272 x1271 -x1270 x1269 -x1268 x1267 x1266 -x1265 -x1264 x1263 x1262 x1261 x1260 -x1259 x1258 -x1257
1789.71/1790.02 v -x1256 x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246 -x1245 x1244 -x1243 x1242 -x1241 -x1240 x1239 -x1238
1789.71/1790.02 v -x1237 -x1236 x1235 x1234 -x1233 x1232 x1231 -x1230 x1229 -x1228 x1227 x1226 -x1225 x1224 -x1223 -x1222 x1221 -x1220 -x1219
1789.71/1790.02 v x1218 x1217 -x1216 x1215 -x1214 x1213 x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 x1205 x1204 -x1203 -x1202 x1201 -x1200
1789.71/1790.02 v -x1199 x1198 x1197 -x1196 -x1195 x1194 x1193 x1192 -x1191 -x1190 x1189 x1188 -x1187 -x1186 x1185 x1184 -x1183 x1182 x1181 -x1180
1789.71/1790.02 v x1179 -x1178 x1177 x1176 x1175 -x1174 -x1173 x1172 -x1171 x1170 x1169 x1168 x1167 x1166 x1165 -x1164 x1163 -x1162 -x1161
1789.71/1790.02 v -x1160 x1159 x1158 x1157 x1156 -x1155 x1154 -x1153 x1152 -x1151 x1150 x1149 x1148 -x1147 -x1146 x1145 x1144 -x1143 x1142 x1141
1789.71/1790.02 v -x1140 x1139 x1138 -x1137 x1136 -x1135 x1134 x1133 -x1132 -x1131 x1130 x1129 -x1128 x1127 -x1126 x1125 x1124 -x1123 -x1122
1789.71/1790.02 v x1121 x1120 -x1119 -x1118 x1117 x1116 -x1115 x1114 x1113 x1112 x1111 x1110 x1109 -x1108 x1107 -x1106 x1105 -x1104 x1103 -x1102
1789.71/1790.02 v x1101 -x1100 x1099 x1098 -x1097 -x1096 x1095 x1094 x1093 -x1092 x1091 -x1090 x1089 -x1088 x1087 -x1086 x1085 x1084 x1083
1789.71/1790.02 v -x1082 -x1081 x1080 -x1079 x1078 -x1077 x1076 -x1075 -x1074 x1073 -x1072 x1071 x1070 -x1069 -x1068 -x1067 x1066 -x1065 x1064
1789.71/1790.02 v x1063 x1062 x1061 x1060 x1059 x1058 x1057 x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 x1046 -x1045 -x1044
1789.71/1790.02 v x1043 -x1042 -x1041 -x1040 x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 x1031 -x1030 -x1029 -x1028 -x1027 x1026
1789.71/1790.02 v -x1025 -x1024 x1023 -x1022 -x1021 x1020 -x1019 -x1018 x1017 x1016 -x1015 x1014 x1013 x1012 x1011 x1010 x1009 -x1008 -x1007 x1006
1789.71/1790.02 v -x1005 -x1004 -x1003 -x1002 x1001 x1000 -x999 x998 x997 x996 -x995 -x994 x993 -x992 x991 x990 x989 x988 x987 -x986 x985 -x984
1789.71/1790.02 v x983 -x982 -x981 -x980 x979 x978 -x977 x976 -x975 -x974 x973 x972 -x971 x970 -x969 x968 -x967 -x966 x965 -x964 -x963 -x962
1789.71/1790.02 v x961 -x960 x959 -x958 x957 -x956 -x955 -x954 x953 -x952 -x951 x950 -x949 x948 x947 -x946 x945 -x944 x943 -x942 x941 -x940
1789.71/1790.02 v x939 x938 -x937 x936 -x935 x934 -x933 -x932 x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 x920 x919 -x918 -x917
1789.71/1790.02 v -x916 -x915 x914 -x913 x912 -x911 x910 -x909 x908 -x907 x906 -x905 -x904 x903 -x902 x901 -x900 x899 -x898 -x897 -x896 -x895
1789.71/1790.02 v x894 -x893 -x892 x891 -x890 x889 x888 -x887 x886 x885 -x884 -x883 x882 -x881 x880 x879 -x878 -x877 x876 -x875 -x874 x873 -x872
1789.71/1790.02 v x871 -x870 -x869 x868 -x867 -x866 -x865 x864 -x863 -x862 -x861 -x860 -x859 x858 -x857 x856 -x855 -x854 -x853 -x852 -x851
1789.71/1790.02 v x850 x849 -x848 -x847 -x846 -x845 x844 -x843 x842 -x841 -x840 x839 x838 -x837 -x836 x835 -x834 x833 -x832 x831 -x830 x829 x828
1789.71/1790.02 v -x827 x826 -x825 -x824 -x823 -x822 x821 -x820 x819 x818 -x817 x816 -x815 -x814 x813 -x812 x811 x810 -x809 -x808 -x807 x806
1789.71/1790.02 v -x805 -x804 x803 -x802 x801 x800 -x799 x798 -x797 x796 x795 x794 x793 x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 x784 x783
1789.71/1790.02 v x782 -x781 -x780 -x779 x778 -x777 x776 -x775 x774 -x773 -x772 -x771 -x770 x769 x768 -x767 x766 x765 -x764 -x763 -x762 -x761
1789.71/1790.02 v -x760 -x759 -x758 x757 x756 -x755 x754 -x753 x752 x751 x750 x749 -x748 x747 x746 x745 x744 x743 x742 -x741 -x740 x739 -x738
1789.71/1790.02 v x737 x736 x735 -x734 -x733 -x732 x731 x730 x729 -x728 -x727 -x726 x725 -x724 -x723 -x722 -x721 x720 -x719 x718 x717 x716 x715
1789.71/1790.02 v x714 x713 x712 -x711 -x710 x709 x708 -x707 x706 -x705 x704 -x703 x702 x701 -x700 x699 x698 -x697 x696 x695 x694 x693 x692 x691
1789.71/1790.02 v -x690 -x689 x688 -x687 -x686 x685 -x684 -x683 x682 x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669
1789.71/1790.02 v x668 -x667 -x666 -x665 x664 -x663 x662 x661 -x660 x659 x658 x657 x656 -x655 -x654 x653 -x652 -x651 -x650 -x649 -x648 -x647
1789.71/1790.02 v -x646 x645 -x644 x643 -x642 x641 x640 -x639 -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 x630 -x629 -x628 x627 x626 -x625
1789.71/1790.02 v x624 -x623 x622 x621 -x620 -x619 x618 x617 x616 -x615 -x614 x613 x612 -x611 -x610 x609 -x608 x607 x606 -x605 -x604 -x603 x602
1789.71/1790.02 v x601 -x600 -x599 -x598 x597 -x596 -x595 x594 x593 -x592 -x591 x590 x589 -x588 x587 x586 -x585 -x584 -x583 -x582 -x581 x580
1789.71/1790.02 v -x579 -x578 x577 -x576 x575 x574 -x573 x572 x571 x570 x569 -x568 x567 x566 -x565 -x564 x563 -x562 -x561 x560 x559 -x558 -x557
1789.71/1790.02 v -x556 -x555 x554 x553 -x552 x551 -x550 x549 -x548 x547 x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 x538 -x537 x536 -x535
1789.71/1790.02 v -x534 x533 -x532 -x531 x530 x529 x528 x527 x526 -x525 -x524 -x523 -x522 x521 -x520 -x519 x518 -x517 x516 x515 -x514 -x513 x512
1789.71/1790.02 v x511 x510 -x509 -x508 x507 x506 -x505 x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 x493 x492 x491 x490 -x489
1789.71/1790.02 v x488 x487 x486 x485 x484 x483 x482 x481 -x480 -x479 x478 -x477 -x476 -x475 x474 x473 -x472 -x471 x470 x469 -x468 x467 x466
1789.71/1790.02 v -x465 -x464 -x463 x462 -x461 -x460 x459 -x458 x457 x456 x455 -x454 -x453 -x452 -x451 -x450 x449 x448 -x447 -x446 -x445 x444
1789.71/1790.02 v x443 x442 -x441 -x440 -x439 -x438 x437 x436 x435 x434 -x433 x432 x431 -x430 x429 x428 -x427 x426 x425 x424 x423 -x422 x421 x420
1789.71/1790.02 v x419 x418 -x417 -x416 -x415 x414 x413 x412 x411 -x410 x409 x408 -x407 -x406 -x405 x404 x403 -x402 -x401 -x400 x399 -x398
1789.71/1790.02 v -x397 -x396 -x395 -x394 x393 -x392 -x391 -x390 -x389 x388 x387 -x386 -x385 -x384 -x383 x382 x381 x380 x379 -x378 -x377 x376 -x375
1789.71/1790.02 v x374 -x373 -x372 -x371 -x370 x369 x368 x367 -x366 -x365 -x364 x363 -x362 x361 x360 x359 x358 -x357 x356 x355 x354 -x353
1789.71/1790.02 v x352 x351 x350 x349 x348 -x347 -x346 x345 x344 x343 -x342 -x341 x340 x339 x338 x337 x336 x335 -x334 x333 -x332 -x331 x330 x329
1789.71/1790.02 v x328 -x327 x326 -x325 x324 -x323 -x322 x321 -x320 -x319 x318 x317 x316 -x315 -x314 x313 -x312 x311 -x310 x309 -x308 -x307 -x306
1789.71/1790.02 v x305 -x304 x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285
1789.71/1790.02 v -x284 x283 -x282 -x281 -x280 -x279 -x278 x277 x276 x275 -x274 x273 -x272 -x271 -x270 -x269 x268 x267 -x266 x265 x264 -x263 x262
1789.71/1790.02 v -x261 x260 x259 -x258 x257 -x256 -x255 -x254 x253 -x252 -x251 x250 -x249 x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 x240
1789.71/1790.02 v -x239 -x238 -x237 x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 x226 x225 -x224 x223 -x222 x221 -x220 -x219 x218
1789.71/1790.02 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 x205 -x204 x203 -x202 x201 -x200 -x199 -x198 x197 -x196
1789.71/1790.02 v x195 -x194 -x193 -x192 -x191 x190 -x189 x188 -x187 -x186 x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174
1789.71/1790.02 v -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 x163 -x162 x161 -x160 x159 -x158 -x157 x156 x155 -x154 -x153 -x152
1789.71/1790.02 v x151 x150 x149 -x148 -x147 -x146 -x145 -x144 x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130
1789.71/1790.02 v -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1789.71/1790.02 v -x108 -x107 x106 -x105 -x104 x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85
1789.71/1790.02 v -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
1789.71/1790.02 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 -x34
1789.71/1790.02 v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 x9 -x8
1789.71/1790.02 v -x7 -x6 x5 -x4 -x3 -x2 -x1
1789.71/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.71/1790.02 c Solving Time : 1789.83
1789.71/1790.02 c Original Problem :
1789.71/1790.02 c Problem name : HOME/instance-3738124-1338721331.opb
1789.71/1790.02 c Variables : 2025 (2025 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.02 c Constraints : 29069 initial, 29069 maximal
1789.71/1790.02 c Presolved Problem :
1789.71/1790.02 c Problem name : t_HOME/instance-3738124-1338721331.opb
1789.71/1790.02 c Variables : 1438 (1438 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.02 c Constraints : 24082 initial, 24083 maximal
1789.71/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.71/1790.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.03 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.03 c implics : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.03 c probing : 0.02 0 0 0 0 0 0 0 0
1789.71/1790.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.03 c linear : 0.09 0 587 0 0 0 4987 0 0
1789.71/1790.03 c logicor : 0.02 0 0 0 0 0 0 0 0
1789.71/1790.03 c root node : - 3 - - 3 - - - -
1789.71/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.71/1790.03 c integral : 0 0 0 14 0 0 16 0 0 16
1789.71/1790.03 c setppc : 583 10 1143 0 0 1 29 0 0 0
1789.71/1790.03 c logicor : 23499+ 10 1061 0 0 7 0 0 0 0
1789.71/1790.03 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.71/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.71/1790.03 c integral : 408.87 0.00 0.00 408.87 0.00
1789.71/1790.03 c setppc : 0.02 0.00 0.02 0.00 0.00
1789.71/1790.03 c logicor : 0.04 0.01 0.03 0.00 0.00
1789.71/1790.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.71/1790.03 c Propagators : Time Calls Cutoffs DomReds
1789.71/1790.03 c vbounds : 0.00 2 0 0
1789.71/1790.03 c rootredcost : 0.00 3 0 0
1789.71/1790.03 c pseudoobj : 0.00 953 0 0
1789.71/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.71/1790.03 c propagation : 0.00 8 8 11 4.0 1 7.0 -
1789.71/1790.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.71/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.71/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.71/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.71/1790.03 c applied globally : - - - 10 4.3 - - -
1789.71/1790.03 c applied locally : - - - 0 0.0 - - -
1789.71/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.71/1790.03 c cut pool : 0.01 9 - - 47 - (maximal pool size: 2622)
1789.71/1790.03 c redcost : 0.00 23 0 0 0 0
1789.71/1790.03 c impliedbounds : 0.00 10 0 0 0 0
1789.71/1790.03 c intobj : 0.00 0 0 0 0 0
1789.71/1790.03 c cgmip : 0.00 0 0 0 0 0
1789.71/1790.03 c gomory : 53.83 10 0 0 1995 0
1789.71/1790.03 c strongcg : 43.13 10 0 0 2750 0
1789.71/1790.03 c cmir : 1.57 10 0 0 2 0
1789.71/1790.03 c flowcover : 3.45 10 0 0 2 0
1789.71/1790.03 c clique : 0.00 1 0 0 0 0
1789.71/1790.03 c zerohalf : 0.00 0 0 0 0 0
1789.71/1790.03 c mcf : 0.01 1 0 0 0 0
1789.71/1790.03 c rapidlearning : 0.00 0 0 0 0 0
1789.71/1790.03 c Pricers : Time Calls Vars
1789.71/1790.03 c problem variables: 0.00 0 0
1789.71/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.71/1790.03 c relpscost : 408.87 14 0 16 0 0 16
1789.71/1790.03 c pscost : 0.00 0 0 0 0 0 0
1789.71/1790.03 c inference : 0.00 0 0 0 0 0 0
1789.71/1790.03 c mostinf : 0.00 0 0 0 0 0 0
1789.71/1790.03 c leastinf : 0.00 0 0 0 0 0 0
1789.71/1790.03 c fullstrong : 0.00 0 0 0 0 0 0
1789.71/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0
1789.71/1790.03 c random : 0.00 0 0 0 0 0 0
1789.71/1790.03 c Primal Heuristics : Time Calls Found
1789.71/1790.03 c LP solutions : 0.00 - 0
1789.71/1790.03 c pseudo solutions : 0.00 - 0
1789.71/1790.03 c crossover : 0.00 0 0
1789.71/1790.03 c objpscostdiving : 0.00 0 0
1789.71/1790.03 c oneopt : 0.02 6 3
1789.71/1790.03 c trivial : 0.01 2 2
1789.71/1790.03 c simplerounding : 0.00 0 0
1789.71/1790.03 c zirounding : 0.01 7 0
1789.71/1790.03 c rounding : 0.20 23 3
1789.71/1790.03 c shifting : 0.12 10 1
1789.71/1790.03 c intshifting : 0.00 0 0
1789.71/1790.03 c twoopt : 0.00 0 0
1789.71/1790.03 c fixandinfer : 0.00 0 0
1789.71/1790.03 c feaspump : 0.00 0 0
1789.71/1790.03 c coefdiving : 274.56 1 0
1789.71/1790.03 c pscostdiving : 148.87 1 1
1789.71/1790.03 c fracdiving : 227.23 1 0
1789.71/1790.03 c veclendiving : 10.15 1 0
1789.71/1790.03 c intdiving : 0.00 0 0
1789.71/1790.03 c actconsdiving : 0.00 0 0
1789.71/1790.03 c rootsoldiving : 0.00 0 0
1789.71/1790.03 c linesearchdiving : 0.00 0 0
1789.71/1790.03 c guideddiving : 0.00 0 0
1789.71/1790.03 c octane : 0.00 0 0
1789.71/1790.03 c rens : 0.00 0 0
1789.71/1790.03 c rins : 0.00 0 0
1789.71/1790.03 c localbranching : 0.00 0 0
1789.71/1790.03 c mutation : 0.00 0 0
1789.71/1790.03 c dins : 0.00 0 0
1789.71/1790.03 c undercover : 0.00 0 0
1789.71/1790.03 c nlp : 0.00 0 0
1789.71/1790.03 c trysol : 0.00 0 0
1789.71/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec
1789.71/1790.03 c primal LP : 0.01 0 0 0.00 0.00
1789.71/1790.03 c dual LP : 617.46 23 389278 16925.13 630.45
1789.71/1790.03 c lex dual LP : 0.00 0 0 0.00 -
1789.71/1790.03 c barrier LP : 0.00 0 0 0.00 -
1789.71/1790.03 c diving/probing LP: 659.47 605 483966 799.94 733.87
1789.71/1790.03 c strong branching : 408.86 307 298996 973.93 731.29
1789.71/1790.03 c (at root node) : - 27 27000 1000.00 -
1789.71/1790.03 c conflict analysis: 0.00 0 0 0.00 -
1789.71/1790.03 c B&B Tree :
1789.71/1790.03 c number of runs : 1
1789.71/1790.03 c nodes : 8
1789.71/1790.03 c nodes (total) : 8
1789.71/1790.03 c nodes left : 9
1789.71/1790.03 c max depth : 4
1789.71/1790.03 c max depth (total): 4
1789.71/1790.03 c backtracks : 3 (37.5%)
1789.71/1790.03 c delayed cutoffs : 0
1789.71/1790.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.71/1790.03 c avg switch length: 1.88
1789.71/1790.03 c switching time : 0.01
1789.71/1790.03 c Solution :
1789.71/1790.03 c Solutions found : 10 (9 improvements)
1789.71/1790.03 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1789.71/1790.03 c Primal Bound : -4.40000000000000e+01 (in run 1, after 6 nodes, 1455.55 seconds, depth 254, found by <pscostdiving>)
1789.71/1790.03 c Dual Bound : -2.23923499628091e+02
1789.71/1790.03 c Gap : 80.35 %
1789.71/1790.03 c Root Dual Bound : -2.23923499628091e+02
1789.71/1790.03 c Root Iterations : 161660
1789.71/1790.07 c Time complete: 1789.78.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3738124-1338721331/watcher-3738124-1338721331 -o /tmp/evaluation-result-3738124-1338721331/solver-3738124-1338721331 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3738124-1338721331.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 3181
/proc/meminfo: memFree=28605244/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 1656 0 0 0 0 0 0 0 20 0 1 0 338258828 10211328 1602 33554432000 4194304 8395647 140736400421408 140736230616904 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 2493 1613 374 1026 0 1463 0
[startup+0.0595069 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 3181
/proc/meminfo: memFree=28605244/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=15804 CPUtime=0.05 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 3193 0 0 0 5 0 0 0 20 0 1 0 338258828 16183296 3139 33554432000 4194304 8395647 140736400421408 140736230616904 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 3951 3139 393 1026 0 2921 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15804
[startup+0.100277 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 3181
/proc/meminfo: memFree=28605244/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=17864 CPUtime=0.09 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 3737 0 0 0 9 0 0 0 20 0 1 0 338258828 18292736 3683 33554432000 4194304 8395647 140736400421408 140736230616904 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 4466 3683 393 1026 0 3436 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17864
[startup+0.30026 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 3181
/proc/meminfo: memFree=28605244/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=50256 CPUtime=0.29 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 12678 0 0 0 28 1 0 0 20 0 1 0 338258828 51462144 11516 33554432000 4194304 8395647 140736400421408 140736230616904 4217160 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 12564 11516 486 1026 0 11534 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50256
[startup+0.700267 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 3181
/proc/meminfo: memFree=28605244/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=90348 CPUtime=0.68 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 21398 0 0 0 66 2 0 0 20 0 1 0 338258828 92516352 20231 33554432000 4194304 8395647 140736400421408 140736400417688 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 22587 20231 574 1026 0 21557 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 90348
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 3182
/proc/meminfo: memFree=28520920/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=97340 CPUtime=1.49 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 23834 0 0 0 146 3 0 0 20 0 1 0 338258828 99676160 22759 33554432000 4194304 8395647 140736400421408 140736400416536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 24335 22759 574 1026 0 23305 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97340
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 3182
/proc/meminfo: memFree=28514836/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=99780 CPUtime=3.09 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 24518 0 0 0 306 3 0 0 20 0 1 0 338258828 102174720 23396 33554432000 4194304 8395647 140736400421408 140736400416696 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 24945 23396 603 1026 0 23915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99780
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 3182
/proc/meminfo: memFree=28504604/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=105092 CPUtime=6.28 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 26690 0 0 0 624 4 0 0 20 0 1 0 338258828 107614208 24584 33554432000 4194304 8395647 140736400421408 140736400416696 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 26273 24584 604 1026 0 25243 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 105092
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 3182
/proc/meminfo: memFree=28507224/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=105092 CPUtime=12.68 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 26998 0 0 0 1263 5 0 0 20 0 1 0 338258828 107614208 24892 33554432000 4194304 8395647 140736400421408 140736400416536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 26273 24892 604 1026 0 25243 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 105092
[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 1.98 3/177 3182
/proc/meminfo: memFree=28507472/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=105092 CPUtime=25.49 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 27000 0 0 0 2542 7 0 0 20 0 1 0 338258828 107614208 24894 33554432000 4194304 8395647 140736400421408 140736400416600 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 26273 24894 604 1026 0 25243 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 105092
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 3182
/proc/meminfo: memFree=28508196/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=106020 CPUtime=51.08 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 28061 0 0 0 5098 10 0 0 20 0 1 0 338258828 108564480 24606 33554432000 4194304 8395647 140736400421408 140736400416536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 26505 24606 604 1026 0 25475 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 106020
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 3182
/proc/meminfo: memFree=28503112/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=106020 CPUtime=102.27 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 28184 0 0 0 10212 15 0 0 20 0 1 0 338258828 108564480 25411 33554432000 4194304 8395647 140736400421408 140736400416536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 26505 25411 604 1026 0 25475 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 106020
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 3220
/proc/meminfo: memFree=28455784/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=112360 CPUtime=162.25 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 29991 0 0 0 16202 23 0 0 20 0 1 0 338258828 115056640 26947 33554432000 4194304 8395647 140736400421408 140736400415816 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 28090 26947 606 1026 0 27060 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 112360
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 3220
/proc/meminfo: memFree=28444960/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=117708 CPUtime=222.25 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 30604 0 0 0 22193 32 0 0 20 0 1 0 338258828 120532992 28351 33554432000 4194304 8395647 140736400421408 140736400416696 6391396 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 29427 28351 606 1026 0 28397 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 117708
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 3221
/proc/meminfo: memFree=28445528/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=117708 CPUtime=282.24 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 30606 0 0 0 28184 40 0 0 20 0 1 0 338258828 120532992 28353 33554432000 4194304 8395647 140736400421408 140736400416536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 29427 28353 606 1026 0 28397 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 117708
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 3221
/proc/meminfo: memFree=28443724/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=117708 CPUtime=342.23 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31025 0 0 0 34176 47 0 0 20 0 1 0 338258828 120532992 28771 33554432000 4194304 8395647 140736400421408 140736400416536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 29427 28771 606 1026 0 28397 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 117708
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 3221
/proc/meminfo: memFree=28444028/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=117708 CPUtime=402.22 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31037 0 0 0 40167 55 0 0 20 0 1 0 338258828 120532992 28850 33554432000 4194304 8395647 140736400421408 140736400416920 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 29427 28850 615 1026 0 28397 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 117708
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 3221
/proc/meminfo: memFree=28433108/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=117708 CPUtime=462.21 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31037 0 0 0 46161 60 0 0 20 0 1 0 338258828 120532992 28850 33554432000 4194304 8395647 140736400421408 140736400416280 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 29427 28850 615 1026 0 28397 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 117708
[startup+522.3 s]
/proc/loadavg: 2.06 2.01 1.99 3/178 3224
/proc/meminfo: memFree=28433472/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=117708 CPUtime=522.2 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31037 0 0 0 52153 67 0 0 20 0 1 0 338258828 120532992 28850 33554432000 4194304 8395647 140736400421408 140736400415960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 29427 28850 615 1026 0 28397 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 117708
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/176 3224
/proc/meminfo: memFree=28420776/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=582.2 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31736 0 0 0 58146 74 0 0 20 0 1 0 338258828 123396096 29549 33554432000 4194304 8395647 140736400421408 140736400416536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29549 615 1026 0 29096 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 120504
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28411756/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1062.12 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31737 0 0 0 106090 122 0 0 20 0 1 0 338258828 123396096 29608 33554432000 4194304 8395647 140736400421408 140736400416632 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29608 615 1026 0 29096 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 120504
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3230
/proc/meminfo: memFree=28411252/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1122.11 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31737 0 0 0 112085 126 0 0 20 0 1 0 338258828 123396096 29608 33554432000 4194304 8395647 140736400421408 140736400416632 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29608 615 1026 0 29096 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 120504
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3230
/proc/meminfo: memFree=28411260/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1182.1 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31737 0 0 0 118079 131 0 0 20 0 1 0 338258828 123396096 29608 33554432000 4194304 8395647 140736400421408 140736400416536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29608 615 1026 0 29096 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 120504
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3231
/proc/meminfo: memFree=28411012/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1242.09 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31737 0 0 0 124071 138 0 0 20 0 1 0 338258828 123396096 29608 33554432000 4194304 8395647 140736400421408 140736400416536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29608 615 1026 0 29096 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 120504
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3231
/proc/meminfo: memFree=28410888/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1302.09 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31737 0 0 0 130064 145 0 0 20 0 1 0 338258828 123396096 29608 33554432000 4194304 8395647 140736400421408 140736400416280 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29608 615 1026 0 29096 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 120504
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3231
/proc/meminfo: memFree=28410640/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1362.07 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31737 0 0 0 136056 151 0 0 20 0 1 0 338258828 123396096 29608 33554432000 4194304 8395647 140736400421408 140736400415896 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29608 615 1026 0 29096 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 120504
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 3231
/proc/meminfo: memFree=28410640/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1422.07 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31737 0 0 0 142049 158 0 0 20 0 1 0 338258828 123396096 29608 33554432000 4194304 8395647 140736400421408 140736400417048 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29608 615 1026 0 29096 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 120504
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 3232
/proc/meminfo: memFree=28410508/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1482.06 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31740 0 0 0 148041 165 0 0 20 0 1 0 338258828 123396096 29611 33554432000 4194304 8395647 140736400421408 140736400416536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29611 618 1026 0 29096 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 120504
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3233
/proc/meminfo: memFree=28411012/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1542.04 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31740 0 0 0 154033 171 0 0 20 0 1 0 338258828 123396096 29611 33554432000 4194304 8395647 140736400421408 140736400416648 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29611 618 1026 0 29096 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 120504
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3233
/proc/meminfo: memFree=28411012/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1602.04 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31740 0 0 0 160026 178 0 0 20 0 1 0 338258828 123396096 29611 33554432000 4194304 8395647 140736400421408 140736400416648 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29611 618 1026 0 29096 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 120504
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3233
/proc/meminfo: memFree=28411136/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1662.03 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31740 0 0 0 166018 185 0 0 20 0 1 0 338258828 123396096 29611 33554432000 4194304 8395647 140736400421408 140736400416648 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29611 618 1026 0 29096 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 120504
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3236
/proc/meminfo: memFree=28411376/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1722.02 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31740 0 0 0 172009 193 0 0 20 0 1 0 338258828 123396096 29611 33554432000 4194304 8395647 140736400421408 140736400416648 6697416 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29611 618 1026 0 29096 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 120504
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3236
/proc/meminfo: memFree=28411012/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1782.01 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31740 0 0 0 178003 198 0 0 20 0 1 0 338258828 123396096 29611 33554432000 4194304 8395647 140736400421408 140736400416648 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29611 618 1026 0 29096 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 120504
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3236
/proc/meminfo: memFree=28411136/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1785.21 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31740 0 0 0 178322 199 0 0 20 0 1 0 338258828 123396096 29611 33554432000 4194304 8395647 140736400421408 140736400417032 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29611 618 1026 0 29096 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 120504
[startup+1787.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3236
/proc/meminfo: memFree=28411136/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1786.81 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31740 0 0 0 178482 199 0 0 20 0 1 0 338258828 123396096 29611 33554432000 4194304 8395647 140736400421408 140736400416648 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29611 618 1026 0 29096 0
Current children cumulated CPU time (s) 1786.81
Current children cumulated vsize (KiB) 120504
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3236
/proc/meminfo: memFree=28411136/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1788.41 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31740 0 0 0 178642 199 0 0 20 0 1 0 338258828 123396096 29611 33554432000 4194304 8395647 140736400421408 140736400417032 6741683 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29611 618 1026 0 29096 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 120504
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3236
/proc/meminfo: memFree=28411136/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1789.21 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31740 0 0 0 178722 199 0 0 20 0 1 0 338258828 123396096 29611 33554432000 4194304 8395647 140736400421408 140736400415928 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29611 618 1026 0 29096 0
Current children cumulated CPU time (s) 1789.21
Current children cumulated vsize (KiB) 120504
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3236
/proc/meminfo: memFree=28411136/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1789.61 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31740 0 0 0 178762 199 0 0 20 0 1 0 338258828 123396096 29611 33554432000 4194304 8395647 140736400421408 140736400415928 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29611 618 1026 0 29096 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (KiB) 120504
[startup+1790 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3236
/proc/meminfo: memFree=28411136/32873844 swapFree=7112/7112
[pid=3181] ppid=3179 vsize=120504 CPUtime=1789.71 cores=0,2,4,6
/proc/3181/stat : 3181 (pbscip.linux.x8) R 3179 3181 2459 0 -1 4202496 31740 0 0 0 178772 199 0 0 20 0 1 0 338258828 123396096 29611 33554432000 4194304 8395647 140736400421408 140736400415928 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3181/statm: 30126 29611 618 1026 0 29096 0
Current children cumulated CPU time (s) 1789.71
Current children cumulated vsize (KiB) 120504
Child status: 0
Real time (s): 1790.07
CPU time (s): 1789.79
CPU user time (s): 1787.79
CPU system time (s): 2.00169
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 120504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.79
system time used= 2.00169
maximum resident set size= 118468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31749
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= 16
involuntary context switches= 1842
runsolver used 4.65729 second user time and 9.60154 second system time
The end