Trace number 1870786

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT-33 1793.89 1794.38

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
MD5SUMf77d1de307b7db24bfedc4f252c9c297
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-178
Best CPU time to get the best result obtained on this benchmark14.6738
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints62994
Number of constraints which are clauses62994
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 327
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 327
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	-33

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870786-1245219501/watcher-1870786-1245219501 -o /tmp/evaluation-result-1870786-1245219501/solver-1870786-1245219501 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870786-1245219501.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11722
/proc/meminfo: memFree=1850380/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=6100 CPUtime=0
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 518 0 0 0 0 0 0 0 20 0 1 0 189548008 6246400 500 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/11722/statm: 1525 509 325 886 0 635 0

[startup+0.09703 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11722
/proc/meminfo: memFree=1850380/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=13832 CPUtime=0.08
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 2765 0 0 0 8 0 0 0 20 0 1 0 189548008 14163968 2747 1992294400 4194304 7823515 548682068736 18446744073709551615 6911728 0 0 4096 0 0 0 0 17 1 0 0
/proc/11722/statm: 3458 2747 354 886 0 2568 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13832

[startup+0.10103 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11722
/proc/meminfo: memFree=1850380/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=13832 CPUtime=0.09
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 2765 0 0 0 9 0 0 0 20 0 1 0 189548008 14163968 2747 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0
/proc/11722/statm: 3458 2747 354 886 0 2568 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13832

[startup+0.30105 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11722
/proc/meminfo: memFree=1850380/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=18612 CPUtime=0.29
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 3967 0 0 0 28 1 0 0 22 0 1 0 189548008 19058688 3949 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/11722/statm: 4653 3949 354 886 0 3763 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18612

[startup+0.70109 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11722
/proc/meminfo: memFree=1850380/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=29060 CPUtime=0.69
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 6596 0 0 0 67 2 0 0 25 0 1 0 189548008 29757440 6578 1992294400 4194304 7823515 548682068736 18446744073709551615 5543840 0 0 4096 0 0 0 0 17 1 0 0
/proc/11722/statm: 7265 6578 354 886 0 6375 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29060

[startup+1.50117 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1790660/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=92696 CPUtime=1.49
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 24151 0 0 0 134 15 0 0 25 0 1 0 189548008 94920704 22174 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 23174 22174 428 886 0 22284 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92696

[startup+3.10134 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1741444/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=174756 CPUtime=3.09
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 41979 0 0 0 281 28 0 0 25 0 1 0 189548008 178950144 38488 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 43689 38488 512 886 0 42799 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 174756

[startup+6.30167 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1684100/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=188520 CPUtime=6.29
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 47830 0 0 0 599 30 0 0 25 0 1 0 189548008 193044480 43229 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 47130 43229 515 886 0 46240 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 188520

[startup+12.7013 s]
/proc/loadavg: 1.16 1.03 1.01 2/65 11723
/proc/meminfo: memFree=1669196/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=198540 CPUtime=12.68
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 50375 0 0 0 1237 31 0 0 25 0 1 0 189548008 203304960 45550 1992294400 4194304 7823515 548682068736 18446744073709551615 6908052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 49635 45550 515 886 0 48745 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 198540

[startup+25.5056 s]
/proc/loadavg: 1.57 1.13 1.04 2/65 11723
/proc/meminfo: memFree=1668940/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=198540 CPUtime=25.48
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 50469 0 0 0 2515 33 0 0 25 0 1 0 189548008 203304960 45644 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 49635 45644 515 886 0 48745 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 198540

[startup+51.1013 s]
/proc/loadavg: 1.37 1.12 1.04 2/65 11723
/proc/meminfo: memFree=1669068/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=198540 CPUtime=51.06
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 50521 0 0 0 5071 35 0 0 25 0 1 0 189548008 203304960 45696 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 49635 45696 515 886 0 48745 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 198540

[startup+102.302 s]
/proc/loadavg: 1.16 1.10 1.03 2/65 11723
/proc/meminfo: memFree=1652172/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=214584 CPUtime=102.24
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 55269 0 0 0 10184 40 0 0 25 0 1 0 189548008 219734016 49965 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 53646 49965 551 886 0 52756 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 214584

[startup+162.302 s]
/proc/loadavg: 1.06 1.08 1.03 2/65 11723
/proc/meminfo: memFree=1646540/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=218784 CPUtime=162.22
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 60563 0 0 0 16175 47 0 0 25 0 1 0 189548008 224034816 51361 1992294400 4194304 7823515 548682068736 18446744073709551615 6151325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54696 51361 551 886 0 53806 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 218784

[startup+222.302 s]
/proc/loadavg: 1.02 1.06 1.02 2/65 11723
/proc/meminfo: memFree=1646540/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=218784 CPUtime=222.21
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 60564 0 0 0 22169 52 0 0 25 0 1 0 189548008 224034816 51362 1992294400 4194304 7823515 548682068736 18446744073709551615 6266869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54696 51362 551 886 0 53806 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 218784

[startup+282.301 s]
/proc/loadavg: 1.00 1.05 1.02 2/65 11723
/proc/meminfo: memFree=1646540/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=218784 CPUtime=282.2
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 60567 0 0 0 28165 55 0 0 25 0 1 0 189548008 224034816 51365 1992294400 4194304 7823515 548682068736 18446744073709551615 5925278 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54696 51365 551 886 0 53806 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 218784

[startup+342.305 s]
/proc/loadavg: 1.00 1.04 1.01 2/65 11723
/proc/meminfo: memFree=1646476/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=218784 CPUtime=342.18
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 60570 0 0 0 34160 58 0 0 25 0 1 0 189548008 224034816 51368 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54696 51368 551 886 0 53806 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 218784

[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 11723
/proc/meminfo: memFree=1646476/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=218784 CPUtime=402.17
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 60570 0 0 0 40156 61 0 0 25 0 1 0 189548008 224034816 51368 1992294400 4194304 7823515 548682068736 18446744073709551615 6263043 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54696 51368 551 886 0 53806 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 218784

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 11723
/proc/meminfo: memFree=1646476/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=218784 CPUtime=462.15
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 60570 0 0 0 46151 64 0 0 25 0 1 0 189548008 224034816 51368 1992294400 4194304 7823515 548682068736 18446744073709551615 6212306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54696 51368 551 886 0 53806 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 218784

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 11723
/proc/meminfo: memFree=1646412/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=218784 CPUtime=522.13
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 60573 0 0 0 52146 67 0 0 25 0 1 0 189548008 224034816 51371 1992294400 4194304 7823515 548682068736 18446744073709551615 6211318 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54696 51371 551 886 0 53806 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 218784

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 11723
/proc/meminfo: memFree=1646412/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=218784 CPUtime=582.11
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 60573 0 0 0 58142 69 0 0 25 0 1 0 189548008 224034816 51371 1992294400 4194304 7823515 548682068736 18446744073709551615 6151321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54696 51371 551 886 0 53806 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 218784

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1646412/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=218784 CPUtime=642.1
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 60573 0 0 0 64132 78 0 0 25 0 1 0 189548008 224034816 51371 1992294400 4194304 7823515 548682068736 18446744073709551615 5965829 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54696 51371 551 886 0 53806 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 218784

[startup+702.301 s]

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

/proc/meminfo: memFree=1649356/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=213292 CPUtime=1061.99
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 66247 0 0 0 106090 109 0 0 25 0 1 0 189548008 218411008 50546 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 53323 50546 551 886 0 52433 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 213292

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1649356/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=213292 CPUtime=1121.98
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 66247 0 0 0 112085 113 0 0 25 0 1 0 189548008 218411008 50546 1992294400 4194304 7823515 548682068736 18446744073709551615 6262183 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 53323 50546 551 886 0 52433 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 213292

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1649356/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=213292 CPUtime=1181.97
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 66247 0 0 0 118074 123 0 0 25 0 1 0 189548008 218411008 50546 1992294400 4194304 7823515 548682068736 18446744073709551615 4339152 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 53323 50546 551 886 0 52433 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 213292

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1649292/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=213292 CPUtime=1241.95
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 66247 0 0 0 124062 133 0 0 25 0 1 0 189548008 218411008 50546 1992294400 4194304 7823515 548682068736 18446744073709551615 4338941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 53323 50546 551 886 0 52433 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 213292

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1648460/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=214332 CPUtime=1301.93
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 66431 0 0 0 130053 140 0 0 25 0 1 0 189548008 219475968 50730 1992294400 4194304 7823515 548682068736 18446744073709551615 6257143 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 53583 50730 551 886 0 52693 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 214332

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1648460/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=214332 CPUtime=1361.92
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 66431 0 0 0 136048 144 0 0 25 0 1 0 189548008 219475968 50730 1992294400 4194304 7823515 548682068736 18446744073709551615 6212321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 53583 50730 551 886 0 52693 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 214332

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1648460/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=214332 CPUtime=1421.91
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 66431 0 0 0 142044 147 0 0 25 0 1 0 189548008 219475968 50730 1992294400 4194304 7823515 548682068736 18446744073709551615 6151325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 53583 50730 551 886 0 52693 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 214332

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1648396/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=214332 CPUtime=1481.88
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 66431 0 0 0 148039 149 0 0 25 0 1 0 189548008 219475968 50730 1992294400 4194304 7823515 548682068736 18446744073709551615 6180599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 53583 50730 551 886 0 52693 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 214332

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1648332/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=214332 CPUtime=1541.87
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 66445 0 0 0 154035 152 0 0 25 0 1 0 189548008 219475968 50744 1992294400 4194304 7823515 548682068736 18446744073709551615 6216193 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 53583 50744 551 886 0 52693 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 214332

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1648332/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=214332 CPUtime=1601.85
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 66447 0 0 0 160031 154 0 0 25 0 1 0 189548008 219475968 50746 1992294400 4194304 7823515 548682068736 18446744073709551615 6206144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 53583 50746 551 886 0 52693 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 214332

[startup+1662.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1648204/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=214332 CPUtime=1661.85
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 66477 0 0 0 166027 158 0 0 25 0 1 0 189548008 219475968 50776 1992294400 4194304 7823515 548682068736 18446744073709551615 6212560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 53583 50776 551 886 0 52693 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 214332

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1645708/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=217976 CPUtime=1721.83
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 67093 0 0 0 172021 162 0 0 25 0 1 0 189548008 223207424 51392 1992294400 4194304 7823515 548682068736 18446744073709551615 6263171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54494 51392 551 886 0 53604 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 217976

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1640844/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=219404 CPUtime=1781.81
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 68273 0 0 0 178016 165 0 0 25 0 1 0 189548008 224669696 52572 1992294400 4194304 7823515 548682068736 18446744073709551615 6211574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54851 52572 551 886 0 53961 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 219404

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

[startup+1785.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1640844/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=219404 CPUtime=1785.21
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 68273 0 0 0 178355 166 0 0 25 0 1 0 189548008 224669696 52572 1992294400 4194304 7823515 548682068736 18446744073709551615 6212774 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54851 52572 551 886 0 53961 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 219404

[startup+1788.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1640844/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=219404 CPUtime=1788.41
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 68273 0 0 0 178675 166 0 0 25 0 1 0 189548008 224669696 52572 1992294400 4194304 7823515 548682068736 18446744073709551615 5925260 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54851 52572 551 886 0 53961 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 219404

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1640844/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=219404 CPUtime=1791.61
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 68273 0 0 0 178995 166 0 0 25 0 1 0 189548008 224669696 52572 1992294400 4194304 7823515 548682068736 18446744073709551615 6212306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54851 52572 551 886 0 53961 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 219404

[startup+1793.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1640844/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=219404 CPUtime=1793.21
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 68273 0 0 0 179155 166 0 0 25 0 1 0 189548008 224669696 52572 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11722/statm: 54851 52572 551 886 0 53961 0
Current children cumulated CPU time (s) 1793.21
Current children cumulated vsize (KiB) 219404

[startup+1794.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1640844/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=219404 CPUtime=1793.61
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 68275 0 0 0 179195 166 0 0 16 0 1 0 189548008 224669696 52574 1992294400 4194304 7823515 548682068736 18446744073709551615 6957296 0 0 4096 0 0 0 0 17 1 0 0
/proc/11722/statm: 54851 52574 553 886 0 53961 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (KiB) 219404

[startup+1794.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11723
/proc/meminfo: memFree=1640844/2055920 swapFree=4178720/4192956
[pid=11722] ppid=11720 vsize=219404 CPUtime=1793.81
/proc/11722/stat : 11722 (pbscip.linux.x8) R 11720 11722 11407 0 -1 4194304 68279 0 0 0 179215 166 0 0 18 0 1 0 189548008 224669696 52578 1992294400 4194304 7823515 548682068736 18446744073709551615 4240663 0 0 4096 0 0 0 0 17 0 0 0
/proc/11722/statm: 54851 52578 557 886 0 53961 0
Current children cumulated CPU time (s) 1793.81
Current children cumulated vsize (KiB) 219404

Child status: 0
Real time (s): 1794.38
CPU time (s): 1793.89
CPU user time (s): 1792.19
CPU system time (s): 1.70174
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 219404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.19
system time used= 1.70174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68284
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= 14
involuntary context switches= 1755

runsolver used 2.28565 second user time and 4.54531 second system time

The end

Launcher Data 

Begin job on node90 at 2009-06-17 08:18:21
IDJOB=1870786
IDBENCH=71829
IDSOLVER=683
FILE ID=node90/1870786-1245219501
PBS_JOBID= 9368417
Free space on /tmp= 66528 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-1000opt.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870786-1245219501/watcher-1870786-1245219501 -o /tmp/evaluation-result-1870786-1245219501/solver-1870786-1245219501 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870786-1245219501.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= f77d1de307b7db24bfedc4f252c9c297
RANDOM SEED=1733211001

node90.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1850860 kB
Buffers:         23996 kB
Cached:         114332 kB
SwapCached:       8416 kB
Active:          31024 kB
Inactive:       117880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1850860 kB
SwapTotal:     4192956 kB
SwapFree:      4178720 kB
Dirty:           11880 kB
Writeback:           0 kB
Mapped:          16268 kB
Slab:            42208 kB
Committed_AS:   123436 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66516 MiB
End job on node90 at 2009-06-17 08:48:15