Trace number 3692568

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixedSAT-3 1798.26 1798.58

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_1.opb
MD5SUM02054528a722e9af7937139e87d0b5ac
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-134
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -169
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63280
Sum of products size (including duplicates)126560
Number of different products31640
Sum of products size63280

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3692568-1338037321.opb>
0.10/0.15	c original problem has 33640 variables (2000 bin, 0 int, 31640 impl, 0 cont) and 36641 constraints
0.10/0.15	c problem read in 0.15
0.29/0.35	o 0
0.29/0.39	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.29/0.39	c presolving:
0.89/0.91	c (round 1) 0 del vars, 35640 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 128560 impls, 1999 clqs
0.98/1.03	c (round 2) 31640 del vars, 35640 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 128560 impls, 0 clqs
1.10/1.13	c    (1.1s) probing: 51/2000 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.13	c    (1.1s) probing aborted: 50/50 successive totally useless probings
1.10/1.14	c presolving (3 rounds):
1.10/1.14	c  31640 deleted vars, 35640 deleted constraints, 2000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.14	c  128560 implications, 0 cliques
1.10/1.14	c presolved problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
1.10/1.14	c    2000 constraints of type <knapsack>
1.10/1.14	c    1000 constraints of type <setppc>
1.10/1.14	c       1 constraints of type <linear>
1.10/1.14	c transformed objective value is always integral (scale: 1)
1.10/1.14	c Presolving Time: 0.86
1.10/1.14	c - non default parameters ----------------------------------------------------------------------
1.10/1.14	c # SCIP version 2.1.1.4
1.10/1.14	c 
1.10/1.14	c # maximal time in seconds to run
1.10/1.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.14	c limits/time = 1797
1.10/1.14	c 
1.10/1.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.14	c limits/memory = 13950
1.10/1.14	c 
1.10/1.14	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.14	c # [type: int, range: [1,2], default: 1]
1.10/1.14	c timing/clocktype = 2
1.10/1.14	c 
1.10/1.14	c # belongs reading time to solving time?
1.10/1.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.14	c timing/reading = TRUE
1.10/1.14	c 
1.10/1.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.14	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.14	c separating/rapidlearning/freq = 0
1.10/1.14	c 
1.10/1.14	c -----------------------------------------------------------------------------------------------
1.10/1.14	c start solving
1.10/1.14	c 
148.76/148.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
148.76/148.81	c t 149s|     1 |     0 | 19443 |     - |  89M|   0 |2000 |2000 |3001 |2000 |3001 |   0 |   0 |   0 |-5.000000e+02 | 0.000000e+00 |    Inf 
148.86/148.94	o -1
148.86/148.94	c R 149s|     1 |     0 | 19443 |     - |  89M|   0 |2000 |2000 |3001 |2000 |3001 |   0 |   0 |   0 |-5.000000e+02 |-1.000000e+00 |  Large 
632.06/632.21	c   632s|     1 |     2 | 29759 |     - |  89M|   0 |2000 |2000 |3001 |2000 |3001 |   0 |   0 |  20 |-5.000000e+02 |-1.000000e+00 |  Large 
653.66/653.80	o -2
653.66/653.80	c R 654s|     2 |     1 | 31041 |11598.0 |  89M|   1 |1976 |2000 |3001 |2000 |3001 |   0 |   0 |  20 |-5.000000e+02 |-2.000000e+00 |  Large 
1495.62/1496.00	o -3
1495.62/1496.00	c R1496s|     5 |     4 | 32992 |3387.2 |  89M|   4 |1885 |2000 |3001 |2000 |3001 |   0 |   0 |  79 |-5.000000e+02 |-3.000000e+00 |  Large 
1798.07/1798.45	c 
1798.07/1798.45	c SCIP Status        : solving was interrupted [time limit reached]
1798.07/1798.45	c Solving Time (sec) : 1798.44
1798.07/1798.45	c Solving Nodes      : 5
1798.07/1798.45	c Primal Bound       : -3.00000000000114e+00 (4 solutions)
1798.07/1798.45	c Dual Bound         : -5.00000000000000e+02
1798.07/1798.45	c Gap                : 16566.67 %
1798.07/1798.48	s SATISFIABLE
1798.07/1798.48	v -x1454 x1844 -x1936 -x1707 -x1407 -x1244 -x1323 -x1120 -x1732 -x1728 -x1241 -x1793 -x1643 -x1149 -x1248 -x1406 -x1738 -x1593 -x1109 
1798.07/1798.48	v -x1897 -x1886 -x1511 -x1565 -x1360 -x1633 -x1759 -x1253 -x1278 -x1768 -x1162 -x1577 -x1240 -x1695 -x1534 -x1375 -x1269 -x1924 
1798.07/1798.48	v -x1756 -x1980 -x1750 -x1195 -x1521 -x1799 -x1984 -x1867 -x1390 -x1133 -x1346 -x1739 -x1855 -x1942 -x1603 -x1697 -x1870 
1798.07/1798.48	v -x1535 -x1703 -x1547 -x1679 -x1502 -x1065 -x1880 -x1409 -x1898 -x1871 -x1213 -x1967 -x1836 -x1779 -x1412 -x1067 -x1696 -x1753 
1798.07/1798.48	v -x1681 -x1395 -x1188 -x1562 -x1987 -x1923 -x1725 -x1592 -x1752 -x1252 -x1524 -x1801 -x1938 -x1742 -x1782 -x1559 -x1319 -x1069 
1798.07/1798.48	v -x1636 -x1833 -x1268 -x1057 -x1616 -x1884 -x1139 -x1646 -x1550 -x1258 -x1746 -x1503 -x1130 -x1665 -x1093 -x1629 -x1385 -x1289 
1798.07/1798.48	v -x1112 -x1705 -x1451 -x1800 -x1734 -x1545 -x1372 -x1713 -x1187 -x1514 -x1388 -x1079 -x1743 -x1664 -x1675 -x1474 -x1308 -x1186 
1798.07/1798.48	v -x1392 -x1906 -x1558 -x1589 -x1357 -x1481 -x1720 -x1563 -x1949 -x1473 -x1217 -x1175 -x1193 -x1877 -x1667 -x1045 -x1999 -x1846 
1798.07/1798.48	v -x1808 -x1701 -x1651 -x1247 -x1961 -x1878 -x1549 -x1907 -x1107 -x1265 -x1761 -x1914 -x1902 -x1818 -x1103 -x1637 -x1639 -x1301 
1798.07/1798.48	v -x1352 -x1084 -x1362 -x1666 -x1342 -x1264 -x1791 -x1875 -x1332 -x1320 -x1257 -x1483 -x1663 -x1440 -x1694 -x1767 -x1655 
1798.07/1798.48	v -x1635 -x1586 -x1288 -x1998 -x1775 -x1185 -x1736 -x1039 -x1566 -x1100 -x1932 -x1977 -x1911 -x1708 -x1674 -x1272 -x1066 -x1854 
1798.07/1798.48	v -x1816 -x1338 -x1688 -x1657 -x1610 -x1455 -x1526 -x1087 -x1267 -x1383 -x1410 -x1221 -x1963 -x1826 -x1297 -x1416 -x1488 -x1864 
1798.07/1798.48	v -x1497 -x1192 -x1078 -x1604 -x1495 -x1876 -x1788 -x1148 -x1990 -x1969 -x1862 -x1470 -x1114 -x1560 -x1053 -x1992 -x1699 -x1309 
1798.07/1798.48	v -x1033 -x1953 -x1865 -x1596 -x1462 -x1311 -x1159 -x1147 -x1036 -x1729 -x1908 -x1654 -x1704 -x1748 -x1822 -x1849 -x1780 -x1393 
1798.07/1798.48	v -x1279 -x1205 -x1715 -x1348 -x1996 -x1838 -x1817 -x1335 -x1115 -x1041 -x1197 -x1533 -x1786 -x1280 -x1597 -x1968 -x1121 -x1640 
1798.07/1798.48	v -x1196 -x1486 -x1852 -x1605 -x1790 -x1634 -x1331 -x1056 -x1964 -x1837 -x1329 -x1574 -x1944 -x1154 -x1138 -x1776 -x1939 -x1781 
1798.07/1798.48	v -x1520 -x1350 -x1284 -x1166 -x1155 -x1763 -x1378 -x1487 -x1127 -x1094 -x1718 -x1983 -x1823 -x1883 -x1919 -x1769 -x1590 
1798.07/1798.48	v -x1027 -x1719 -x1478 -x1273 -x1181 -x1123 -x1064 -x1956 -x1376 -x1806 -x1712 -x1245 -x1564 -x1106 -x1237 -x1951 -x1912 -x1760 
1798.07/1798.48	v -x1810 -x1555 -x1464 -x1431 -x1071 -x1537 -x1686 -x1978 -x1813 -x1219 -x1517 -x1326 -x1099 -x1031 -x1055 -x1741 -x1232 -x1025 
1798.07/1798.48	v -x2000 -x1986 -x1954 -x1824 -x1717 -x1295 -x1049 -x1952 -x1948 -x1522 -x1116 -x1792 -x1463 -x1848 -x1174 -x1840 -x1656 -x1609 
1798.07/1798.48	v -x1381 -x1266 -x1242 -x1142 x1111 -x1494 -x1234 -x1389 -x1460 -x1472 -x1479 -x1608 -x1484 -x1459 -x1946 -x1958 -x1868 -x1330 
1798.07/1798.48	v -x1255 -x1141 -x1519 -x1218 -x1850 -x1261 -x1567 -x1889 -x1621 -x1642 -x1970 -x1611 -x1617 -x1581 -x1548 -x1420 -x1418 -x1480 
1798.07/1798.48	v -x1513 -x1215 -x1628 -x1594 -x1081 -x1052 -x1971 -x1291 -x1947 -x1553 -x1021 -x1692 -x1584 -x1572 -x1347 -x1101 -x1313 -x1359 
1798.07/1798.48	v -x1615 -x1235 -x1678 -x1426 -x1762 -x1024 -x1361 -x1993 -x1131 -x1262 -x1827 -x1570 -x1683 -x1145 -x1290 -x1950 -x1972 -x1239 
1798.07/1798.49	v -x1901 -x1178 -x1758 -x1456 -x1411 -x1233 -x1222 x1286 -x1965 -x1050 -x1630 -x1340 -x1135 -x1536 -x1152 -x1160 -x1648 -x1682 
1798.07/1798.49	v -x1700 -x1698 -x1018 -x1917 -x1890 -x1832 -x1624 -x1599 -x1358 -x1317 -x1216 -x1172 -x1077 -x1054 -x1557 -x1749 -x1029 
1798.07/1798.49	v -x1305 -x1415 -x1437 -x1158 -x1189 -x1976 -x1153 -x1126 -x1687 -x1893 -x1254 -x1017 -x1975 -x1892 -x1439 -x1425 -x1382 -x1333 
1798.07/1798.49	v -x1324 -x1991 -x1250 -x1798 -x1891 -x1649 -x1134 -x1334 -x1304 -x1754 -x1499 -x1959 -x1909 -x1873 -x1190 -x1016 -x1828 -x1680 
1798.07/1798.49	v -x1672 -x1477 -x1263 -x1165 -x1042 -x1869 -x1843 -x1022 -x1507 -x1203 -x1945 -x1260 -x1962 -x1505 -x1622 -x1206 -x1994 -x1885 
1798.07/1798.49	v -x1580 -x1861 -x1904 -x1881 -x1831 -x1576 -x1554 -x1476 -x1428 -x1401 -x1294 -x1113 -x1089 -x1274 -x1995 -x1156 -x1582 -x1210 
1798.07/1798.49	v -x1299 -x1899 -x1223 -x1386 -x1626 -x1851 -x1673 -x1014 -x1943 -x1894 -x1853 -x1845 -x1835 -x1825 -x1448 -x1182 -x1086 -x1058 
1798.07/1798.49	v -x1973 -x1293 -x1631 -x1082 -x1397 -x1270 -x1225 -x1659 -x1985 -x1151 -x1706 -x1668 -x1941 -x1812 -x1722 -x1600 -x1820 -x1256 
1798.07/1798.49	v -x1856 -x1821 -x1804 -x1784 -x1766 -x1641 -x1447 -x1298 -x1201 -x1157 -x1102 -x1073 -x1322 -x1373 -x1714 -x1207 -x1343 
1798.07/1798.49	v -x1211 -x1660 -x1413 -x1888 -x1419 -x1180 -x1446 -x1108 -x1377 -x1685 -x1512 -x1458 -x1403 -x1339 -x1051 -x1046 -x1467 -x1096 
1798.07/1798.49	v -x1191 -x1669 -x1774 -x1960 -x1982 -x1200 -x1164 -x1661 -x1895 -x1934 -x1931 -x1882 -x1132 -x1974 -x1011 -x1913 -x1575 -x1510 
1798.07/1798.49	v -x1449 -x1399 -x1315 -x1275 -x1214 -x1183 -x1119 -x1048 -x1469 -x1551 -x1900 -x1453 -x1037 -x1601 -x1638 -x1925 -x1259 -x1283 
1798.07/1798.49	v -x1417 -x1466 -x1523 -x1627 -x1321 -x1879 -x1010 -x1588 -x1364 -x1231 -x1224 -x1170 -x1072 -x1662 -x1802 -x1606 -x1811 -x1312 
1798.07/1798.49	v -x1423 -x1569 -x1747 -x1344 -x1300 -x1829 -x1623 -x1612 -x1805 -x1356 -x1508 -x1198 -x1465 -x1543 -x1670 -x1009 -x1989 -x1834 
1798.07/1798.49	v -x1787 -x1727 -x1532 -x1485 -x1243 -x1202 -x1163 -x1137 -x1091 -x1083 -x1038 -x1591 -x1645 -x1726 -x1773 -x1500 -x1491 -x1184 
1798.07/1798.49	v -x1471 -x1918 -x1370 -x1689 -x1129 -x1905 -x1841 -x1607 -x1539 -x1614 -x1444 -x1008 -x1839 -x1807 -x1795 -x1771 -x1721 
1798.07/1798.49	v -x1632 -x1578 -x1573 -x1544 -x1450 -x1345 -x1327 -x1251 -x1161 -x1097 -x1090 -x1405 -x1777 -x1929 -x1144 -x1429 -x1236 -x1238 
1798.07/1798.49	v -x1396 -x1859 -x1122 -x1475 -x1408 -x1276 -x1438 -x1552 -x1433 -x1937 -x1860 -x1007 -x1702 -x1671 -x1644 -x1598 -x1542 -x1528 
1798.07/1798.49	v -x1515 -x1496 -x1424 -x1421 -x1398 -x1104 -x1030 -x1228 -x1744 -x1988 -x1915 -x1035 -x1501 -x1194 -x1351 -x1842 -x1229 -x1765 
1798.07/1798.49	v -x1489 -x1380 -x1556 -x1922 -x1452 -x1246 -x1619 -x1724 -x1797 -x1150 -x1006 -x1735 -x1723 -x1693 -x1561 -x1516 -x1461 -x1402 
1798.07/1798.49	v -x1310 -x1292 -x1209 -x1143 -x1080 -x1709 -x1271 -x1020 -x1504 -x1830 -x1733 -x1872 -x1529 -x1625 -x1220 -x1684 -x1307 -x1966 
1798.07/1798.49	v -x1354 -x1498 -x1857 -x1928 -x1710 -x1676 -x1482 -x1005 -x1658 -x1647 -x1618 -x1530 -x1443 -x1434 -x1432 -x1355 -x1208 -x1204 
1798.07/1798.49	v -x1146 -x1117 -x1075 -x1015 -x1772 -x1032 -x1441 -x1620 -x1690 -x1866 -x1442 -x1287 -x1281 -x1302 -x1757 -x1653 -x1903 
1798.07/1798.49	v -x1468 -x1379 -x1571 -x1796 -x1004 -x1979 -x1819 -x1613 -x1525 -x1518 -x1303 -x1177 -x1176 -x1110 -x1063 -x1062 -x1540 -x1095 
1798.07/1798.49	v -x1587 -x1227 -x1013 -x1740 -x1677 -x1061 -x1933 -x1400 -x1755 -x1652 -x1404 -x1585 -x1789 -x1179 -x1277 -x1809 -x1088 -x1751 
1798.07/1798.49	v -x1044 -x1365 -x1435 -x1368 -x1003 -x1921 -x1602 -x1595 -x1367 -x1341 -x1318 -x1285 -x1226 -x1128 -x1118 -x1105 -x1047 -x1026 
1798.07/1798.49	v -x1019 -x1815 -x1546 -x1583 -x1896 -x1125 -x1858 -x1314 -x1730 -x1847 -x1506 -x1337 -x1328 -x1085 -x1926 -x1282 -x1997 -x1171 
1798.07/1798.49	v -x1874 -x1957 -x1981 -x1092 -x1527 -x1414 -x1002 -x1940 -x1814 -x1745 -x1731 -x1711 -x1445 -x1436 -x1391 -x1366 -x1306 -x1249 
1798.07/1798.49	v -x1169 -x1167 -x1140 -x1371 -x1316 -x1325 -x1199 -x1538 -x1785 -x1920 -x1374 -x1230 -x1043 -x1012 -x1457 -x1394 -x1168 -x1070 
1798.07/1798.49	v -x1059 -x1023 -x1803 -x1930 -x1136 -x1068 -x1124 -x1863 -x1531 -x1001 -x1955 -x1935 -x1910 -x1770 -x1716 -x1579 -x1509 
1798.07/1798.49	v -x1492 -x1490 -x1353 -x1349 -x1296 -x1098 -x1076 -x1074 -x1040 -x1034 -x1783 -x1430 -x1568 -x1369 -x1212 -x1737 -x1173 -x1427 
1798.07/1798.49	v -x1541 -x1927 -x1764 -x1060 -x1691 -x1028 -x1363 -x1422 -x1650 -x1493 -x1387 -x1336 -x1794 -x1916 -x1778 -x1887 -x1384 -x1000 
1798.07/1798.49	v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 
1798.07/1798.49	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 
1798.07/1798.49	v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 
1798.07/1798.49	v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 
1798.07/1798.49	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
1798.07/1798.49	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 
1798.07/1798.49	v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 
1798.07/1798.49	v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 
1798.07/1798.49	v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 
1798.07/1798.49	v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 
1798.07/1798.49	v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 
1798.07/1798.49	v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 
1798.07/1798.49	v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 
1798.07/1798.49	v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 
1798.07/1798.49	v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 
1798.07/1798.49	v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 
1798.07/1798.49	v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 
1798.07/1798.49	v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 
1798.07/1798.49	v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 
1798.07/1798.49	v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 
1798.07/1798.49	v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 
1798.07/1798.49	v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 
1798.07/1798.49	v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 
1798.07/1798.49	v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 
1798.07/1798.49	v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
1798.07/1798.49	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 
1798.07/1798.49	v -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 
1798.07/1798.49	v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 
1798.07/1798.49	v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 
1798.07/1798.49	v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 
1798.07/1798.49	v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 
1798.07/1798.49	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 
1798.07/1798.49	v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 
1798.07/1798.49	v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 
1798.07/1798.49	v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 
1798.07/1798.49	v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 
1798.07/1798.49	v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 
1798.07/1798.49	v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 
1798.07/1798.49	v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 
1798.07/1798.49	v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 
1798.07/1798.49	v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 
1798.07/1798.49	v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 
1798.07/1798.49	v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1798.07/1798.49	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 
1798.07/1798.49	v -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1798.07/1798.49	v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1798.07/1798.49	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 
1798.07/1798.49	v -x2 -x1 
1798.07/1798.49	c SCIP Status        : solving was interrupted [time limit reached]
1798.07/1798.49	c Total Time         :    1798.44
1798.07/1798.49	c   solving          :    1798.44
1798.07/1798.49	c   presolving       :       0.86 (included in solving)
1798.07/1798.49	c   reading          :       0.15 (included in solving)
1798.07/1798.49	c   copying          :       0.03 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1798.07/1798.49	c Original Problem   :
1798.07/1798.49	c   Problem name     : HOME/instance-3692568-1338037321.opb
1798.07/1798.49	c   Variables        : 33640 (2000 binary, 0 integer, 31640 implicit integer, 0 continuous)
1798.07/1798.49	c   Constraints      : 36641 initial, 36641 maximal
1798.07/1798.49	c   Objective sense  : minimize
1798.07/1798.49	c Presolved Problem  :
1798.07/1798.49	c   Problem name     : t_HOME/instance-3692568-1338037321.opb
1798.07/1798.49	c   Variables        : 2000 (2000 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.07/1798.49	c   Constraints      : 3001 initial, 3001 maximal
1798.07/1798.49	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1798.07/1798.49	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.07/1798.49	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.07/1798.49	c   dualfix          :       0.06       0.00      31640          0          0          0          0          0          0          0          0
1798.07/1798.49	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.07/1798.49	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.07/1798.49	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.07/1798.49	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.07/1798.49	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.07/1798.49	c   components       :       0.01       0.00          0          0          0          0          0          0          0          0          0
1798.07/1798.49	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1798.07/1798.49	c   probing          :       0.02       0.00          0          0          0          0          0          0          0          0          0
1798.07/1798.49	c   knapsack         :       0.08       0.00          0          0          0          0          0          0          0          0          0
1798.07/1798.49	c   setppc           :       0.02       0.00          0          0          0          0          0          0          0          0          0
1798.07/1798.49	c   linear           :       0.09       0.00          0          0          0          0          0          0          0          0          0
1798.07/1798.49	c   pseudoboolean    :       0.13       0.01          0          0          0          0          0      35640       2000          0          0
1798.07/1798.49	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1798.07/1798.49	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1798.07/1798.49	c   integral         :          0          0          0          0          5          0         10          0          0          0          0          0         10
1798.07/1798.49	c   knapsack         :       2000       2000          1        109          0          0          4          0          0          2          0          0          0
1798.07/1798.49	c   setppc           :       1000       1000          1        109          0          0          3          0          0          4          0          0          0
1798.07/1798.49	c   linear           :          1          1          1        109          0          0          3          0          0          0          0          0          0
1798.07/1798.49	c   countsols        :          0          0          0          0          0          0          8          0          0          0          0          0          0
1798.07/1798.49	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1798.07/1798.49	c   integral         :    1533.88       0.00       0.00       0.00    1533.88       0.00       0.00       0.00
1798.07/1798.49	c   knapsack         :       0.04       0.00       0.02       0.00       0.00       0.00       0.00       0.00
1798.07/1798.49	c   setppc           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1798.07/1798.49	c   linear           :       0.02       0.00       0.01       0.01       0.00       0.00       0.00       0.00
1798.07/1798.49	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1798.07/1798.49	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1798.07/1798.49	c   rootredcost      :          2          0          0          0
1798.07/1798.49	c   pseudoobj        :         14          0          0          0
1798.07/1798.49	c   vbounds          :          0          0          0          0
1798.07/1798.49	c   redcost          :          5          0          0          0
1798.07/1798.49	c   probing          :          0          0          0          0
1798.07/1798.49	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1798.07/1798.49	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00
1798.07/1798.49	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00
1798.07/1798.49	c   vbounds          :       0.00       0.00       0.00       0.00       0.00
1798.07/1798.49	c   redcost          :       0.00       0.00       0.00       0.00       0.00
1798.07/1798.49	c   probing          :       0.02       0.00       0.02       0.00       0.00
1798.07/1798.49	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.07/1798.49	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1798.07/1798.49	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1798.07/1798.49	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.07/1798.49	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.07/1798.49	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.07/1798.49	c   applied globally :          -          -          -          0        0.0          -          -          -
1798.07/1798.49	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.07/1798.49	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1798.07/1798.49	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 0)
1798.07/1798.49	c   closecuts        :       0.00       0.00          0          0          0          0          0
1798.07/1798.49	c   impliedbounds    :       0.00       0.00          1          0          0          0          0
1798.07/1798.49	c   intobj           :       0.00       0.00          0          0          0          0          0
1798.07/1798.49	c   gomory           :       2.27       0.00          1          0          0          0          0
1798.07/1798.49	c   cgmip            :       0.00       0.00          0          0          0          0          0
1798.07/1798.49	c   strongcg         :       2.27       0.00          1          0          0          0          0
1798.07/1798.49	c   cmir             :       0.01       0.00          1          0          0          0          0
1798.07/1798.49	c   flowcover        :       0.01       0.00          1          0          0          0          0
1798.07/1798.49	c   clique           :       0.00       0.00          1          0          0          0          0
1798.07/1798.49	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1798.07/1798.49	c   mcf              :       0.00       0.00          1          0          0          0          0
1798.07/1798.49	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1798.07/1798.49	c   rapidlearning    :       2.21       0.00          1          0          0          0          0
1798.07/1798.49	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1798.07/1798.49	c   problem variables:       0.00          -          0          0
1798.07/1798.49	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.07/1798.49	c   relpscost        :    1533.88       0.00          5          0          0          0          0         10
1798.07/1798.49	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1798.07/1798.49	c   inference        :       0.00       0.00          0          0          0          0          0          0
1798.07/1798.49	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1798.07/1798.49	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1798.07/1798.49	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1798.07/1798.49	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1798.07/1798.49	c   random           :       0.00       0.00          0          0          0          0          0          0
1798.07/1798.49	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1798.07/1798.49	c   LP solutions     :       0.00          -          -          0
1798.07/1798.49	c   pseudo solutions :       0.00          -          -          0
1798.07/1798.49	c   crossover        :       0.00       0.00          0          0
1798.07/1798.49	c   coefdiving       :       0.00       0.00          0          0
1798.07/1798.49	c   pscostdiving     :       0.00       0.00          0          0
1798.07/1798.49	c   fracdiving       :       0.00       0.00          0          0
1798.07/1798.49	c   veclendiving     :       0.00       0.00          0          0
1798.07/1798.49	c   objpscostdiving  :       0.00       0.00          0          0
1798.07/1798.49	c   smallcard        :       0.00       0.00          0          0
1798.07/1798.49	c   trivial          :       0.08       0.00          2          1
1798.07/1798.49	c   shiftandpropagate:       0.00       0.00          0          0
1798.07/1798.49	c   simplerounding   :       0.00       0.00          0          0
1798.07/1798.49	c   zirounding       :       0.01       0.00          0          0
1798.07/1798.49	c   rounding         :       0.63       0.00          5          3
1798.07/1798.49	c   shifting         :       0.15       0.00          1          0
1798.07/1798.49	c   intshifting      :       0.00       0.00          0          0
1798.07/1798.49	c   oneopt           :       0.01       0.00          3          0
1798.07/1798.49	c   twoopt           :       0.00       0.00          0          0
1798.07/1798.49	c   indoneopt        :       0.00       0.00          0          0
1798.07/1798.49	c   indtwoopt        :       0.00       0.00          0          0
1798.07/1798.49	c   fixandinfer      :       0.00       0.00          0          0
1798.07/1798.49	c   feaspump         :      55.07       0.00          1          0
1798.07/1798.49	c   clique           :       0.00       0.00          0          0
1798.07/1798.49	c   indrounding      :       0.00       0.00          0          0
1798.07/1798.49	c   indcoefdiving    :       0.00       0.00          0          0
1798.07/1798.49	c   nlpdiving        :       0.00       0.00          0          0
1798.07/1798.49	c   intdiving        :       0.00       0.00          0          0
1798.07/1798.49	c   actconsdiving    :       0.00       0.00          0          0
1798.07/1798.49	c   rootsoldiving    :       0.00       0.00          0          0
1798.07/1798.49	c   linesearchdiving :       0.00       0.00          0          0
1798.07/1798.49	c   guideddiving     :       0.00       0.00          0          0
1798.07/1798.49	c   octane           :       0.00       0.00          0          0
1798.07/1798.49	c   rens             :       0.02       0.00          0          0
1798.07/1798.49	c   rins             :       0.00       0.00          0          0
1798.07/1798.49	c   localbranching   :       0.00       0.00          0          0
1798.07/1798.49	c   mutation         :       0.00       0.00          0          0
1798.07/1798.49	c   dins             :       0.00       0.00          0          0
1798.07/1798.49	c   vbounds          :       0.00       0.00          0          0
1798.07/1798.49	c   undercover       :       0.00       0.00          0          0
1798.07/1798.49	c   subnlp           :       0.00       0.00          0          0
1798.07/1798.49	c   trysol           :       0.00       0.00          0          0
1798.07/1798.49	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1798.07/1798.49	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
1798.07/1798.49	c   dual LP          :     203.34          6      22676    4535.20     111.52       2.64          1
1798.07/1798.49	c   lex dual LP      :       0.00          0          0       0.00          -
1798.07/1798.49	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1798.07/1798.49	c   diving/probing LP:      52.33         90      10316     114.62     197.12
1798.07/1798.49	c   strong branching :    1533.88        103      62663     608.38      40.85
1798.07/1798.49	c     (at root node) :          -         20      20000    1000.00          -
1798.07/1798.49	c   conflict analysis:       0.00          0          0       0.00          -
1798.07/1798.49	c B&B Tree           :
1798.07/1798.49	c   number of runs   :          1
1798.07/1798.49	c   nodes            :          5
1798.07/1798.49	c   nodes (total)    :          5
1798.07/1798.49	c   nodes left       :          6
1798.07/1798.49	c   max depth        :          4
1798.07/1798.49	c   max depth (total):          4
1798.07/1798.49	c   backtracks       :          0 (0.0%)
1798.07/1798.49	c   delayed cutoffs  :          0
1798.07/1798.49	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1798.07/1798.49	c   avg switch length:       1.00
1798.07/1798.49	c   switching time   :       0.00
1798.07/1798.49	c Solution           :
1798.07/1798.49	c   Solutions found  :          4 (4 improvements)
1798.07/1798.49	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.32 seconds, depth 0, found by <trivial>)
1798.07/1798.49	c   Primal Bound     : -3.00000000000114e+00   (in run 1, after 5 nodes, 1495.88 seconds, depth 4, found by <rounding>)
1798.07/1798.49	c   Dual Bound       : -5.00000000000000e+02
1798.07/1798.49	c   Gap              :   16566.67 %
1798.07/1798.49	c   Root Dual Bound  : -5.00000000000000e+02
1798.07/1798.49	c   Root Iterations  :      19443
1798.17/1798.58	c Time complete: 1798.25.

Verifier Data 

OK	-3

Watcher Data 

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-3692568-1338037321/watcher-3692568-1338037321 -o /tmp/evaluation-result-3692568-1338037321/solver-3692568-1338037321 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692568-1338037321.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 2.00 3/176 30724
/proc/meminfo: memFree=28847420/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=12028 CPUtime=0 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 1638 0 0 0 0 0 0 0 20 0 1 0 269856211 12316672 1592 33554432000 4194304 10219143 140736224896464 140736938078264 8891101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 3007 1603 398 1471 0 1527 0

[startup+0.103717 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30724
/proc/meminfo: memFree=28847420/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=45908 CPUtime=0.1 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 10219 0 0 0 8 2 0 0 20 0 1 0 269856211 47009792 10173 33554432000 4194304 10219143 140736224896464 140736938078264 8869394 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 11590 10190 436 1471 0 10110 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 45908

[startup+0.200292 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30724
/proc/meminfo: memFree=28847420/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=88164 CPUtime=0.19 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 20928 0 0 0 16 3 0 0 20 0 1 0 269856211 90279936 20689 33554432000 4194304 10219143 140736224896464 140736938078264 4964117 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 22041 20689 491 1471 0 20561 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 88164

[startup+0.300291 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30724
/proc/meminfo: memFree=28847420/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=104996 CPUtime=0.29 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 25124 0 0 0 25 4 0 0 20 0 1 0 269856211 107515904 24885 33554432000 4194304 10219143 140736224896464 140736938078264 5823497 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 26249 24885 519 1471 0 24769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 104996

[startup+0.700234 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30724
/proc/meminfo: memFree=28847420/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=124812 CPUtime=0.68 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 30808 0 0 0 61 7 0 0 20 0 1 0 269856211 127807488 29558 33554432000 4194304 10219143 140736224896464 140736224893704 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 31203 29558 566 1471 0 29723 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 124812

[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30725
/proc/meminfo: memFree=28716072/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=155860 CPUtime=1.49 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 38702 0 0 0 139 10 0 0 20 0 1 0 269856211 159600640 37130 33554432000 4194304 10219143 140736224896464 140736224889768 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 38965 37130 772 1471 0 37485 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 155860

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30725
/proc/meminfo: memFree=28698712/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=162744 CPUtime=3.09 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 40091 0 0 0 298 11 0 0 20 0 1 0 269856211 166649856 38983 33554432000 4194304 10219143 140736224896464 140736224889720 8098763 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 40686 38983 773 1471 0 39206 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 162744

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30725
/proc/meminfo: memFree=28693564/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=162744 CPUtime=6.28 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 40843 0 0 0 617 11 0 0 20 0 1 0 269856211 166649856 38988 33554432000 4194304 10219143 140736224896464 140736224889720 8056486 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 40686 38988 773 1471 0 39206 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 162744

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30725
/proc/meminfo: memFree=28677600/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=183668 CPUtime=12.69 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 45254 0 0 0 1256 13 0 0 20 0 1 0 269856211 188076032 44125 33554432000 4194304 10219143 140736224896464 140736224888088 8098722 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 45917 44125 776 1471 0 44437 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 183668

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30725
/proc/meminfo: memFree=28664628/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=192608 CPUtime=25.48 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 46944 0 0 0 2534 14 0 0 20 0 1 0 269856211 197230592 46436 33554432000 4194304 10219143 140736224896464 140736224888984 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 48152 46436 776 1471 0 46672 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 192608

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30725
/proc/meminfo: memFree=28644764/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=210712 CPUtime=51.08 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 48652 0 0 0 5092 16 0 0 20 0 1 0 269856211 215769088 51397 33554432000 4194304 10219143 140736224896464 140736224890088 8057492 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 52678 51397 776 1471 0 51198 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 210712

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30725
/proc/meminfo: memFree=28624488/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=227860 CPUtime=102.27 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 49803 0 0 0 10209 18 0 0 20 0 1 0 269856211 233328640 55841 33554432000 4194304 10219143 140736224896464 140736224889640 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 56965 55841 776 1471 0 55485 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 227860

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 30725
/proc/meminfo: memFree=28621980/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=229144 CPUtime=162.25 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 58205 0 0 0 16200 25 0 0 20 0 1 0 269856211 234643456 55989 33554432000 4194304 10219143 140736224896464 140736224887896 8098704 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 57286 55989 853 1471 0 55806 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 229144

[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30726
/proc/meminfo: memFree=28634896/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=214636 CPUtime=222.25 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 59145 0 0 0 22197 28 0 0 20 0 1 0 269856211 219787264 52545 33554432000 4194304 10219143 140736224896464 140736224889640 8100264 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 53659 52545 855 1471 0 52179 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 214636

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30726
/proc/meminfo: memFree=28625104/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=230356 CPUtime=282.24 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 64566 0 0 0 28193 31 0 0 20 0 1 0 269856211 235884544 54898 33554432000 4194304 10219143 140736224896464 140736224889592 8069928 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 57589 54898 855 1471 0 56109 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 230356

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30726
/proc/meminfo: memFree=28645588/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=200988 CPUtime=342.22 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 74896 0 0 0 34186 36 0 0 20 0 1 0 269856211 205811712 49267 33554432000 4194304 10219143 140736224896464 140736224889176 8098704 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 50247 49267 855 1471 0 48767 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 200988

[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 30726
/proc/meminfo: memFree=28635280/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=208964 CPUtime=402.21 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 82014 0 0 0 40180 41 0 0 20 0 1 0 269856211 213979136 51250 33554432000 4194304 10219143 140736224896464 140736224889592 8098767 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 52241 51250 855 1471 0 50761 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 208964

[startup+462.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 30726
/proc/meminfo: memFree=28634420/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=207432 CPUtime=462.2 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 92258 0 0 0 46175 45 0 0 20 0 1 0 269856211 212410368 50867 33554432000 4194304 10219143 140736224896464 140736224889176 8056848 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 51858 50867 855 1471 0 50378 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 207432

[startup+522.3 s]
/proc/loadavg: 2.25 2.08 2.02 3/178 30730
/proc/meminfo: memFree=28613040/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=227860 CPUtime=522.19 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 102537 0 0 0 52169 50 0 0 20 0 1 0 269856211 233328640 55589 33554432000 4194304 10219143 140736224896464 140736224889592 8099239 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 56965 55589 855 1471 0 55485 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 227860

[startup+582.3 s]
/proc/loadavg: 2.17 2.09 2.03 3/177 30730
/proc/meminfo: memFree=28618716/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=219884 CPUtime=582.17 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 109808 0 0 0 58164 53 0 0 20 0 1 0 269856211 225161216 53649 33554432000 4194304 10219143 140736224896464 140736224889176 8030338 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 54971 53649 855 1471 0 53491 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 219884

[startup+642.3 s]

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

/proc/meminfo: memFree=28613140/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=204412 CPUtime=1122.08 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 227223 0 0 0 112105 103 0 0 20 0 1 0 269856211 209317888 50109 33554432000 4194304 10219143 140736224896464 140736224888696 8098526 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 51103 50109 855 1471 0 49623 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 204412

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30735
/proc/meminfo: memFree=28608568/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=207620 CPUtime=1182.07 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 242567 0 0 0 118099 108 0 0 20 0 1 0 269856211 212602880 50914 33554432000 4194304 10219143 140736224896464 140736224889640 8066821 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 51905 50914 855 1471 0 50425 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 207620

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30735
/proc/meminfo: memFree=28609660/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=207780 CPUtime=1242.06 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 246577 0 0 0 124095 111 0 0 20 0 1 0 269856211 212766720 50359 33554432000 4194304 10219143 140736224896464 140736224888504 8110944 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30724/statm: 51945 50359 855 1471 0 50465 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 207780

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30735
/proc/meminfo: memFree=28601068/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=198020 CPUtime=1302.05 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 265789 0 0 0 130086 119 0 0 20 0 1 0 269856211 202772480 46584 33554432000 4194304 10219143 140736224896464 140736224889640 8098753 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 49505 46584 855 1471 0 48025 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 198020

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30735
/proc/meminfo: memFree=28599200/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=175068 CPUtime=1362.04 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 289828 0 0 0 136076 128 0 0 20 0 1 0 269856211 179269632 42605 33554432000 4194304 10219143 140736224896464 140736224889176 8099249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 43767 42605 855 1471 0 42287 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 175068

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30736
/proc/meminfo: memFree=28597632/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=214472 CPUtime=1422.04 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 318965 0 0 0 142066 138 0 0 20 0 1 0 269856211 219619328 51985 33554432000 4194304 10219143 140736224896464 140736224889176 8098912 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 53618 51985 855 1471 0 52138 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 214472

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30736
/proc/meminfo: memFree=28601368/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=204876 CPUtime=1482.02 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 344977 0 0 0 148056 146 0 0 20 0 1 0 269856211 209793024 50149 33554432000 4194304 10219143 140736224896464 140736224888696 8098526 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 51219 50149 855 1471 0 49739 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 204876

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30738
/proc/meminfo: memFree=28631392/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=191228 CPUtime=1542.02 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 355263 0 0 0 154051 151 0 0 20 0 1 0 269856211 195817472 46678 33554432000 4194304 10219143 140736224896464 140736224889640 8100707 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 47807 46678 855 1471 0 46327 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 191228

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30738
/proc/meminfo: memFree=28599820/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=204932 CPUtime=1602.01 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 364718 0 0 0 160046 155 0 0 20 0 1 0 269856211 209850368 49445 33554432000 4194304 10219143 140736224896464 140736224889640 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 51233 49445 855 1471 0 49753 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 204932

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 30738
/proc/meminfo: memFree=28598952/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=204932 CPUtime=1661.99 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 372764 0 0 0 166040 159 0 0 20 0 1 0 269856211 209850368 49445 33554432000 4194304 10219143 140736224896464 140736224889592 8099197 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 51233 49445 855 1471 0 49753 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 204932

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 30742
/proc/meminfo: memFree=28582956/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=214616 CPUtime=1721.99 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 379725 0 0 0 172036 163 0 0 20 0 1 0 269856211 219766784 52517 33554432000 4194304 10219143 140736224896464 140736224889176 8098722 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 53654 52517 855 1471 0 52174 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 214616

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30780
/proc/meminfo: memFree=28608080/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=216020 CPUtime=1781.97 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 391300 0 0 0 178028 169 0 0 20 0 1 0 269856211 221204480 52516 33554432000 4194304 10219143 140736224896464 140736224889912 8098912 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 54005 52516 855 1471 0 52525 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 216020

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

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30780
/proc/meminfo: memFree=28620676/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=204932 CPUtime=1791.68 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 392335 0 0 0 178998 170 0 0 20 0 1 0 269856211 209850368 49445 33554432000 4194304 10219143 140736224896464 140736224889592 8098771 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 51233 49445 855 1471 0 49753 0
Current children cumulated CPU time (s) 1791.68
Current children cumulated vsize (KiB) 204932

[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30780
/proc/meminfo: memFree=28610376/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=214576 CPUtime=1794.88 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 392851 0 0 0 179318 170 0 0 20 0 1 0 269856211 219725824 52005 33554432000 4194304 10219143 140736224896464 140736224889912 8098767 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 53644 52005 855 1471 0 52164 0
Current children cumulated CPU time (s) 1794.88
Current children cumulated vsize (KiB) 214576

[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30780
/proc/meminfo: memFree=28610376/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=214576 CPUtime=1796.47 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 392851 0 0 0 179477 170 0 0 20 0 1 0 269856211 219725824 52005 33554432000 4194304 10219143 140736224896464 140736224889176 8051755 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 53644 52005 855 1471 0 52164 0
Current children cumulated CPU time (s) 1796.47
Current children cumulated vsize (KiB) 214576

[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30780
/proc/meminfo: memFree=28608328/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=214576 CPUtime=1797.27 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 392852 0 0 0 179557 170 0 0 20 0 1 0 269856211 219725824 52517 33554432000 4194304 10219143 140736224896464 140736224889640 8098779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 53644 52517 855 1471 0 52164 0
Current children cumulated CPU time (s) 1797.27
Current children cumulated vsize (KiB) 214576

[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30780
/proc/meminfo: memFree=28608328/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=214576 CPUtime=1797.67 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 392852 0 0 0 179597 170 0 0 20 0 1 0 269856211 219725824 52517 33554432000 4194304 10219143 140736224896464 140736224889640 8099282 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 53644 52517 855 1471 0 52164 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 214576

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30780
/proc/meminfo: memFree=28608328/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=214576 CPUtime=1798.07 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 392852 0 0 0 179637 170 0 0 20 0 1 0 269856211 219725824 52517 33554432000 4194304 10219143 140736224896464 140736224889640 8099239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 53644 52517 855 1471 0 52164 0
Current children cumulated CPU time (s) 1798.07
Current children cumulated vsize (KiB) 214576

[startup+1798.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30780
/proc/meminfo: memFree=28608328/32873648 swapFree=7360/7360
[pid=30724] ppid=30722 vsize=214312 CPUtime=1798.17 cores=0,2,4,6
/proc/30724/stat : 30724 (scip-2.1.1.4exp) R 30722 30724 28235 0 -1 4202496 392855 0 0 0 179647 170 0 0 20 0 1 0 269856211 219455488 52454 33554432000 4194304 10219143 140736224896464 140736224889640 9008087 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30724/statm: 53578 52454 858 1471 0 52098 0
Current children cumulated CPU time (s) 1798.17
Current children cumulated vsize (KiB) 214312

Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.26
CPU user time (s): 1796.55
CPU system time (s): 1.71674
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 255832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.55
system time used= 1.71674
maximum resident set size= 251440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 392931
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= 48
involuntary context switches= 2781

runsolver used 2.76858 second user time and 7.04893 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-26 15:02:01
IDJOB=3692568
IDBENCH=48255
IDSOLVER=2271
FILE ID=node149/3692568-1338037321
RUNJOBID= node149-1338029720-29687
PBS_JOBID= 14624326
Free space on /tmp= 71692 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_1.opb
COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692568-1338037321/watcher-3692568-1338037321 -o /tmp/evaluation-result-3692568-1338037321/solver-3692568-1338037321 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692568-1338037321.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 02054528a722e9af7937139e87d0b5ac
RANDOM SEED=1156326318

node149.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28847760 kB
Buffers:          261788 kB
Cached:          2954696 kB
SwapCached:            0 kB
Active:           714324 kB
Inactive:        2542852 kB
Active(anon):      42248 kB
Inactive(anon):        0 kB
Active(file):     672076 kB
Inactive(file):  2542852 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14440 kB
Writeback:             0 kB
AnonPages:         26096 kB
Mapped:            17712 kB
Shmem:               200 kB
Slab:             631076 kB
SReclaimable:      75592 kB
SUnreclaim:       555484 kB
KernelStack:        1480 kB
PageTables:         3600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     154076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node149 at 2012-05-26 15:32:00