Trace number 4434847

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
FiberSCIP 2024-07-02OPT-10280 349.44 350.717

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z7-s2.opb
MD5SUMd13cdfe545ae2728c47d5ad7db8600db
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10280
Best CPU time to get the best result obtained on this benchmark345.088
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2023
Total number of constraints31798
Number of constraints which are clauses31790
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint2023
Number of terms in the objective function 1997
Biggest coefficient in the objective function 333
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 170608
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 735392
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 5003866
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.08	c Default LC presolving (default).
0.00/0.09	c ** Before presolving: virtualMemUsedAtLc = 79649167, getVmSize() = 70922240, SCIPgetMemUsed() = 39158674, SCIPgetMemTotal() = 46768498, SCIPgetMemExternEstim() = 32880669
0.00/0.09	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
3.77/3.86	c ** Estimated virtualMemUsedAtSolver = 113077297, getVmSize() = 164970496, SCIPgetMemUsed() = 79586829, SCIPgetMemTotal() = 136735277, SCIPgetMemExternEstim() = 32880669
3.77/3.86	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
3.77/3.86	c Original Problem   :
3.77/3.86	c   Problem name     : instance-4434847-1721126087
3.77/3.86	c   Variables        : 2023 (2023 binary, 0 integer, 0 implicit integer, 0 continuous)
3.77/3.86	c   Constraints      : 31798
3.77/3.86	c   Objective sense  : minimize
3.77/3.86	c Presolved Problem  :
3.77/3.86	c   Variables        : 1896 (1896 binary, 0 integer, 0 implicit integer, 0 continuous)
3.77/3.86	c   Constraints      : 26691
3.77/3.86	c Constraints        : Number
3.77/3.86	c   knapsack         : 8 
3.77/3.86	c   setppc           : 26683 
3.77/3.86	c ** Instance transfer method used: 0
3.77/3.90	c ** ParaScipInstance copy does not increase the number of variables. **
3.88/3.93	c LC is working with racing ramp-up and with rebuilding tree after racing.
3.88/3.93	c                                Nodes    Active                                            
3.88/3.93	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
7.73/7.82	c *       8              0           1         1       -2804.0000                -          -
7.73/7.82	c         8              0           1         1       -2804.0000                -          -
7.73/7.85	c *       8              0           1         1       -4927.0000                -          -
7.73/7.90	c *       8              0           1         1       -5995.0000                -          -
18.44/18.69	c *      19              0           1         1       -8547.0000                -          -
18.44/18.69	c        19              0           1         1       -8547.0000                -          -
32.17/32.45	c        32              2           1         1       -8547.0000      -12819.0589     49.98%
38.85/39.18	c        39              3           2         1       -8547.0000      -12777.0676     49.49%
41.53/41.89	c *      42              4           3         1       -8549.0000      -12777.0676     49.46%
41.64/41.90	c *      42              6           5         1       -8565.0000      -12777.0676     49.18%
41.74/42.07	c *      42              6           5         1       -8586.0000      -12777.0676     48.81%
41.84/42.16	c *      42              6           5         1       -8595.0000      -12777.0676     48.66%
49.41/49.72	c        50             22          14         1       -8595.0000      -12729.8701     48.11%
56.88/57.20	c        57             24          14         1       -8595.0000      -12686.8890     47.61%
63.96/64.30	c        64             26          14         1       -8595.0000      -12645.1419     47.12%
81.20/81.63	c        82             28          14         1       -8595.0000      -12489.6586     45.31%
89.17/89.66	c        90             30          14         1       -8595.0000      -12420.5996     44.51%
95.76/96.27	c        96             32          14         1       -8595.0000      -12420.5996     44.51%
103.13/103.68	c       104             36          14         1       -8595.0000      -12406.8923     44.35%
107.82/108.30	c *     108             42          14         1       -8600.0000      -12377.8056     43.93%
109.12/109.63	c       110             93          20         1       -8600.0000      -12377.8056     43.93%
114.60/115.15	c *     115            124          25         1       -9341.0000      -12300.6008     31.68%
114.60/115.15	c       115            124          25         1       -9341.0000      -12300.6008     31.68%
119.77/120.38	c       120            196          14         1       -9341.0000      -12300.6008     31.68%
123.57/124.14	c *     124            204          16         1       -9379.0000      -12299.9778     31.14%
123.57/124.14	c *     124            204          16         1       -9405.0000      -12299.9778     30.78%
123.66/124.20	c *     124            204          16         1       -9406.0000      -12299.9778     30.77%
125.25/125.86	c       126            226          13         1       -9406.0000      -12299.9778     30.77%
126.85/127.45	c *     127            232          15         1       -9877.0000      -12299.0281     24.52%
126.85/127.48	c *     127            235          15         1       -9889.0000      -12299.0281     24.37%
126.95/127.57	c *     128            235          15         1       -9967.0000      -12299.0281     23.40%
127.05/127.61	c *     128            235          15         1      -10004.0000      -12299.0281     22.94%
131.04/131.68	c       132            343          66         1      -10004.0000      -12293.0410     22.88%
137.72/138.35	c       138            382          73         1      -10004.0000      -12080.4754     20.76%
143.41/144.04	c       144            432          87         1      -10004.0000      -11933.1520     19.28%
152.66/153.30	c       153            481          98         1      -10004.0000      -11716.6513     17.12%
158.45/159.11	c       159            525          94         1      -10004.0000      -11656.0610     16.51%
163.73/164.42	c       164            545         100         1      -10004.0000      -11588.9855     15.84%
169.81/170.58	c       171            624         127         1      -10004.0000      -11550.2667     15.46%
180.28/181.03	c       181            662         133         1      -10004.0000      -11278.8732     12.74%
185.56/186.33	c       186            676         137         1      -10004.0000      -11273.5609     12.69%
187.45/188.24	c *     188            684         136         1      -10005.0000      -11246.8768     12.41%
192.74/193.55	c       194            773         125         1      -10005.0000      -11209.5894     12.04%
198.42/199.23	c       199            826         134         1      -10005.0000      -11192.7727     11.87%
203.50/204.31	c       204            872         140         1      -10005.0000      -11152.1666     11.47%
209.08/209.96	c       210            874         140         1      -10005.0000      -11133.7842     11.28%
214.37/215.20	c       215            889         149         1      -10005.0000      -11133.2843     11.28%
226.33/227.24	c       227            935         127         1      -10005.0000      -11076.8935     10.71%
232.21/233.19	c       233            975         125         1      -10005.0000      -11068.8571     10.63%
240.48/241.48	c       241           1075         161         1      -10005.0000      -11041.5220     10.36%
245.86/246.82	c       247           1147         161         1      -10005.0000      -10974.5336      9.69%
251.84/252.81	c       253           1162         166         1      -10005.0000      -10958.7092      9.53%
253.94/254.92	c *     255           1172         167         1      -10070.0000      -10956.8293      8.81%
253.94/254.96	c *     255           1178          88         1      -10169.0000      -10956.8293      7.75%
253.94/254.99	c *     255           1178          88         1      -10190.0000      -10956.8293      7.53%
254.04/255.00	c *     255           1178          88         1      -10198.0000      -10956.8293      7.44%
254.04/255.02	c *     255           1178          88         1      -10210.0000      -10956.8293      7.31%
254.04/255.03	c *     255           1178          88         1      -10211.0000      -10956.8293      7.30%
254.24/255.28	c *     255           1178          88         1      -10216.0000      -10956.8293      7.25%
254.43/255.48	c *     255           1178          88         1      -10232.0000      -10956.8293      7.08%
257.82/258.88	c       259           1226          79         1      -10232.0000      -10901.1547      6.54%
263.50/264.59	c       265           1332          85         1      -10232.0000      -10888.5622      6.42%
268.79/269.85	c       270           1356          91         1      -10232.0000      -10880.4134      6.34%
268.99/270.05	c *     270           1356          91         1      -10236.0000      -10880.4134      6.30%
269.09/270.12	c *     270           1356          91         1      -10250.0000      -10880.4134      6.15%
269.09/270.12	c *     270           1356          91         1      -10257.0000      -10880.4134      6.08%
274.46/275.54	c       276           1498         171         1      -10257.0000      -10861.5672      5.89%
280.15/281.29	c       281           1652         247         1      -10257.0000      -10828.7828      5.57%
281.34/282.40	c *     282           1684         261         1      -10259.0000      -10828.7828      5.55%
286.12/287.24	c       287           1912         324         1      -10259.0000      -10819.1303      5.46%
293.50/294.63	c       295           2102         358         1      -10259.0000      -10807.4501      5.35%
299.38/300.58	c       301           2252         416         1      -10259.0000      -10798.7315      5.26%
304.77/305.99	c       306           2358         432         1      -10259.0000      -10779.5763      5.07%
305.97/307.13	c *     307           2382         434         1      -10263.0000      -10772.3532      4.96%
305.97/307.16	c *     307           2382         434         1      -10264.0000      -10772.3532      4.95%
305.97/307.19	c *     307           2382         434         1      -10279.0000      -10772.3532      4.80%
310.85/312.01	c       312           2411          76         1      -10279.0000      -10767.7835      4.76%
316.02/317.29	c       317           2552         129         1      -10279.0000      -10672.5094      3.83%
321.40/322.66	c       323           2632         128         1      -10279.0000      -10664.1333      3.75%
327.08/328.32	c       328           2702          93         1      -10279.0000      -10613.4928      3.25%
333.77/335.05	c       335           2752          59         1      -10279.0000      -10560.6611      2.74%
334.77/336.05	c *     336           2752          59         1      -10280.0000      -10560.6611      2.73%
339.24/340.58	c       341           2882          55         1      -10280.0000      -10529.1765      2.42%
344.33/345.61	c       346           2922          41         1      -10280.0000      -10490.7750      2.05%
349.31/350.60	c       351           2993           0         0      -10280.0000      -10280.0000      0.00%
349.31/350.67	c       351           2993           0         0      -10280.0000      -10280.0000          -
349.31/350.67	c SCIP Status        : c problem is solved
349.31/350.67	c Total Time         : 350.6700
349.31/350.67	c   solving          : 350.6700
349.31/350.67	c   presolving       : 3.7718 (included in solving)
349.31/350.67	c B&B Tree           :
349.31/350.67	c   nodes (total)    : 2993
349.31/350.67	c Solution           :
349.31/350.67	c   Solutions found  : 35
349.31/350.67	c   Primal Bound     : -1.02800000000000e+04
349.31/350.67	c   Dual Bound       : -1.02800000000000e+04
349.31/350.67	c Gap                : 0.00000 %
349.31/350.67	o -10280
349.31/350.67	s OPTIMUM FOUND
349.31/350.67	v x2023 -x2022 -x2021 -x2020 -x2019 x2018 x2017 x2016 -x2015 -x2014 -x2013 -x2012 x2011 x2010 x2009 -x2008 x2007 x2006 -x2005 -x2004 
349.31/350.67	v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 
349.31/350.67	v -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 
349.31/350.67	v -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 
349.31/350.67	v -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 
349.31/350.67	v -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 
349.31/350.67	v -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 
349.31/350.67	v -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 
349.31/350.67	v -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 
349.31/350.67	v -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 
349.31/350.67	v -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 
349.31/350.67	v -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 
349.31/350.67	v -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 
349.31/350.67	v -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 
349.31/350.67	v -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 
349.31/350.67	v -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 
349.31/350.67	v -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 
349.31/350.67	v -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 
349.31/350.67	v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 
349.31/350.67	v -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 
349.31/350.67	v -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 
349.31/350.67	v -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 
349.31/350.67	v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 
349.31/350.67	v -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 
349.31/350.67	v -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 
349.31/350.67	v -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 
349.31/350.67	v -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 
349.31/350.67	v -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 
349.31/350.67	v -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 
349.31/350.67	v -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 
349.31/350.67	v -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 
349.31/350.67	v -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 
349.31/350.67	v -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 
349.31/350.67	v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 
349.31/350.67	v -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 x1398 -x1397 
349.31/350.67	v -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 x1383 -x1382 x1381 x1380 -x1379 
349.31/350.67	v -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 x1364 x1363 x1362 -x1361 -x1360 
349.31/350.67	v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 x1346 -x1345 -x1344 -x1343 -x1342 
349.31/350.67	v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 
349.31/350.67	v -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 
349.31/350.67	v -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 
349.31/350.67	v -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 
349.31/350.67	v -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 
349.31/350.67	v -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 
349.31/350.67	v -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 
349.31/350.67	v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 
349.31/350.67	v -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 
349.31/350.67	v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 
349.31/350.67	v -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 
349.31/350.67	v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 
349.31/350.67	v -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 x1113 x1112 x1111 x1110 -x1109 
349.31/350.67	v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 x1097 x1096 x1095 x1094 x1093 x1092 -x1091 
349.31/350.67	v -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 x1080 x1079 x1078 x1077 x1076 x1075 -x1074 -x1073 -x1072 
349.31/350.67	v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 x1063 x1062 x1061 x1060 x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 
349.31/350.67	v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 x1045 x1044 x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
349.31/350.67	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 
349.31/350.67	v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 
349.31/350.67	v -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 
349.31/350.67	v -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 
349.31/350.67	v -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 
349.31/350.67	v -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 
349.31/350.67	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
349.31/350.67	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 
349.31/350.67	v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 
349.31/350.67	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 x844 x843 x842 x841 x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 
349.31/350.67	v -x830 x829 x828 x827 x826 x825 x824 x823 -x822 x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 x813 x812 x811 x810 x809 x808 
349.31/350.67	v x807 x806 x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 x795 x794 x793 x792 x791 x790 x789 x788 x787 x786 -x785 
349.31/350.67	v -x784 -x783 -x782 -x781 -x780 -x779 -x778 x777 x776 x775 x774 x773 x772 x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 
349.31/350.67	v -x762 -x761 -x760 x759 x758 x757 x756 x755 x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 x741 x740 
349.31/350.67	v x739 x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 x723 -x722 -x721 -x720 -x719 
349.31/350.67	v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 
349.31/350.67	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 
349.31/350.67	v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 
349.31/350.67	v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 
349.31/350.67	v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 
349.31/350.67	v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 
349.31/350.67	v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 
349.31/350.67	v -x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 x557 x556 x555 x554 x553 x552 x551 
349.31/350.67	v x550 x549 x548 x547 -x546 -x545 -x544 -x543 x542 x541 x540 x539 x538 x537 x536 x535 x534 x533 x532 x531 -x530 -x529 x528 x527 
349.31/350.67	v x526 x525 x524 x523 x522 x521 x520 x519 x518 x517 x516 -x515 -x514 -x513 x512 x511 x510 x509 x508 x507 x506 x505 x504 x503 x502 
349.31/350.67	v x501 x500 -x499 -x498 -x497 -x496 x495 -x494 x493 x492 x491 x490 x489 x488 x487 x486 x485 x484 x483 -x482 -x481 -x480 -x479 
349.31/350.67	v -x478 -x477 x476 x475 x474 x473 x472 x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 x461 x460 x459 x458 x457 x456 
349.31/350.67	v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 x444 x443 x442 x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 
349.31/350.67	v -x433 x432 -x431 -x430 -x429 -x428 x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 
349.31/350.67	v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 
349.31/350.67	v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 
349.31/350.67	v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 
349.31/350.67	v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 
349.31/350.67	v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 
349.31/350.67	v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 x294 x293 x292 x291 -x290 -x289 x288 x287 
349.31/350.67	v -x286 -x285 -x284 -x283 -x282 x281 x280 x279 x278 x277 x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265 x264 x263 
349.31/350.67	v x262 x261 x260 x259 x258 x257 x256 x255 x254 x253 x252 x251 x250 x249 x248 x247 x246 x245 x244 x243 x242 x241 x240 x239 x238 
349.31/350.67	v x237 x236 -x235 x234 x233 x232 x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219 -x218 -x217 x216 x215 x214 x213 
349.31/350.67	v x212 x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 -x201 -x200 -x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 
349.31/350.67	v x188 x187 x186 -x185 x184 -x183 -x182 x181 x180 x179 x178 x177 x176 x175 x174 x173 -x172 x171 x170 -x169 -x168 -x167 x166 x165 
349.31/350.67	v -x164 x163 x162 x161 x160 x159 x158 x157 x156 -x155 -x154 -x153 x152 -x151 x150 x149 x148 -x147 -x146 x145 x144 x143 x142 
349.42/350.70	v x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 
349.42/350.70	v -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 x105 -x104 -x103 x102 -x101 -x100 x99 -x98 
349.42/350.70	v -x97 -x96 -x95 x94 -x93 -x92 x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 
349.42/350.70	v -x71 x70 x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 x59 -x58 -x57 x56 x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 
349.42/350.70	v -x45 x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 x30 x29 x28 x27 -x26 -x25 x24 x23 -x22 -x21 -x20 -x19 
349.42/350.70	v -x18 -x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-10280

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60987 MiB free)
  memory of node 1: 64510 MiB (60957 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434847-1721126087/watcher-4434847-1721126087 -o /tmp/evaluation-result-4434847-1721126087/solver-4434847-1721126087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721122498-850731 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434847-1721126087.opb -qsol -t 3600 -sth 1 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=852804, runsolver pid=852801

[startup+0.100388 s]*
/proc/loadavg: 4.09 4.08 4.02 6/259 852815
/proc/meminfo: memFree=124756148/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=71084 memory=58212 CPUtime=0.09 cores=0,2
/proc/852804/stat : 852804 (fscip) R 852801 852804 850721 0 -1 4194304 12431 0 0 0 9 0 0 0 20 0 1 0 164778454 72790016 14553 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 17771 14553 2590 3032 0 14171 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71084 KiB
Current children cumulated memory: 58212 KiB

[startup+0.21037 s]*
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=124601784/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=90612 memory=78056 CPUtime=0.19 cores=0,2
/proc/852804/stat : 852804 (fscip) R 852801 852804 850721 0 -1 4194304 18462 0 0 0 18 1 0 0 20 0 1 0 164778454 92786688 19514 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 22653 19514 2670 3032 0 19053 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90612 KiB
Current children cumulated memory: 78056 KiB

[startup+0.305599 s]*
/proc/loadavg: 4.09 4.08 4.02 6/261 852817
/proc/meminfo: memFree=124539284/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=82552 memory=70336 CPUtime=0.29 cores=0,2
/proc/852804/stat : 852804 (fscip) R 852801 852804 850721 0 -1 4194304 19080 0 0 0 28 1 0 0 20 0 1 0 164778454 84533248 17584 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 20638 17584 2702 3032 0 17038 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82552 KiB
Current children cumulated memory: 70336 KiB

[startup+0.700182 s]
/proc/loadavg: 4.09 4.08 4.02 6/261 852817
/proc/meminfo: memFree=124379512/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=88480 memory=76260 CPUtime=0.68 cores=0,2
/proc/852804/stat : 852804 (fscip) R 852801 852804 850721 0 -1 4194304 21318 0 0 0 66 2 0 0 20 0 1 0 164778454 90603520 19065 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 22120 19065 2702 3032 0 18520 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88480 KiB
Current children cumulated memory: 76260 KiB

[startup+1.50022 s]
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=124060616/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=89596 memory=78020 CPUtime=1.47 cores=0,2
/proc/852804/stat : 852804 (fscip) R 852801 852804 850721 0 -1 4194304 21718 0 0 0 145 2 0 0 20 0 1 0 164778454 91746304 19505 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 22399 19505 2750 3032 0 18799 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 89596 KiB
Current children cumulated memory: 78020 KiB

[startup+3.10511 s]
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=123809064/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=96648 memory=84356 CPUtime=3.08 cores=0,2
/proc/852804/stat : 852804 (fscip) R 852801 852804 850721 0 -1 4194304 23328 0 0 0 305 3 0 0 20 0 1 0 164778454 98967552 21089 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 24162 21089 2750 3032 0 20562 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 96648 KiB
Current children cumulated memory: 84356 KiB

[startup+6.30039 s]
/proc/loadavg: 4.08 4.08 4.02 5/263 852821
/proc/meminfo: memFree=123574204/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=311412 memory=212576 CPUtime=6.24 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 62417 0 0 0 616 8 0 0 20 0 3 0 164778454 318885888 53144 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 77853 53144 2798 3032 0 59269 0
[pid=852804/tid=852818] ppid=852801 vsize=311412 memory=3472275528323712188 CPUtime=2.36 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 26923 0 0 0 234 2 0 0 20 0 3 0 164778840 318885888 53144 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=311412 memory=12340 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 164778847 318885888 53144 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 311412 KiB
Current children cumulated memory: 212576 KiB

[startup+12.7004 s]
/proc/loadavg: 4.07 4.08 4.02 5/264 852822
/proc/meminfo: memFree=123396012/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=359136 memory=299100 CPUtime=12.6 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 93608 0 0 0 1248 12 0 0 20 0 3 0 164778454 367755264 74775 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 89784 74775 2974 3032 0 82184 0
[pid=852804/tid=852818] ppid=852801 vsize=359136 memory=-6729057793885780843 CPUtime=8.71 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 57724 0 0 0 865 6 0 0 20 0 3 0 164778840 367755264 74775 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=359136 memory=298896 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 164778847 367755264 74775 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 359136 KiB
Current children cumulated memory: 299100 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.08 4.02 5/264 852823
/proc/meminfo: memFree=123295140/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=424672 memory=339820 CPUtime=25.28 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 141182 0 0 0 2513 15 0 0 20 0 3 0 164778454 434864128 84955 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 106168 84955 2974 3032 0 93435 0
[pid=852804/tid=852818] ppid=852801 vsize=424672 memory=0 CPUtime=21.4 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 104888 0 0 0 2131 9 0 0 20 0 3 0 164778840 434864128 84955 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=424672 memory=0 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 164778847 434864128 84955 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 424672 KiB
Current children cumulated memory: 339820 KiB

[startup+51.1055 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 852830
/proc/meminfo: memFree=122494952/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=424672 memory=340012 CPUtime=50.81 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 175186 0 0 0 5063 18 0 0 20 0 3 0 164778454 434864128 85003 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 106168 85003 2974 3032 0 93435 0
[pid=852804/tid=852818] ppid=852801 vsize=424672 memory=5492 CPUtime=46.93 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 138373 0 0 0 4681 12 0 0 20 0 3 0 164778840 434864128 85003 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=424672 memory=339828 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 164778847 434864128 85003 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 424672 KiB
Current children cumulated memory: 340012 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/264 852838
/proc/meminfo: memFree=122077440/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=424672 memory=340016 CPUtime=101.84 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 209560 0 0 0 10164 20 0 0 20 0 3 0 164778454 434864128 85004 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 106168 85004 2974 3032 0 93435 0
[pid=852804/tid=852818] ppid=852801 vsize=424672 memory=340016 CPUtime=97.95 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 172637 0 0 0 9781 14 0 0 20 0 3 0 164778840 434864128 85004 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=424672 memory=340016 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 164778847 434864128 85004 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 424672 KiB
Current children cumulated memory: 340016 KiB

[startup+162.3 s]
/proc/loadavg: 4.34 4.17 4.06 5/264 852849
/proc/meminfo: memFree=121970736/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=490208 memory=394112 CPUtime=161.64 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 284979 0 0 0 16138 26 0 0 20 0 3 0 164778454 501972992 98528 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 122552 98528 2974 3032 0 106763 0
[pid=852804/tid=852818] ppid=852801 vsize=490208 memory=367964 CPUtime=157.75 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 247396 0 0 0 15755 20 0 0 20 0 3 0 164778840 501972992 98528 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=490208 memory=391868 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 164778847 501972992 98528 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 490208 KiB
Current children cumulated memory: 394112 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.15 4.06 5/264 852859
/proc/meminfo: memFree=121956748/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=490208 memory=394220 CPUtime=221.44 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 320185 0 0 0 22115 29 0 0 20 0 3 0 164778454 501972992 98555 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 122552 98555 2974 3032 0 106763 0
[pid=852804/tid=852818] ppid=852801 vsize=490208 memory=12340 CPUtime=217.54 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 282184 0 0 0 21732 22 0 0 20 0 3 0 164778840 501972992 98555 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=490208 memory=25948 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 164778847 501972992 98555 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 490208 KiB
Current children cumulated memory: 394220 KiB

[startup+282.3 s]
/proc/loadavg: 4.57 4.26 4.10 5/264 852869
/proc/meminfo: memFree=121918720/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=490208 memory=394292 CPUtime=281.24 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 354689 0 0 0 28092 32 0 0 20 0 3 0 164778454 501972992 98573 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 122552 98573 2974 3032 0 106763 0
[pid=852804/tid=852818] ppid=852801 vsize=490208 memory=394228 CPUtime=277.34 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 316199 0 0 0 27709 25 0 0 20 0 3 0 164778840 501972992 98573 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=490208 memory=41440 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 78 0 0 0 0 0 0 0 20 0 3 0 164778847 501972992 98573 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 490208 KiB
Current children cumulated memory: 394292 KiB

[startup+342.3 s]
/proc/loadavg: 4.32 4.25 4.10 5/262 852879
/proc/meminfo: memFree=121890068/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=490712 memory=400348 CPUtime=341.04 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 386935 0 0 0 34068 36 0 0 20 0 3 0 164778454 502489088 100087 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 122678 100087 2974 3032 0 107402 0
[pid=852804/tid=852818] ppid=852801 vsize=490712 memory=394228 CPUtime=337.13 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 347738 0 0 0 33684 29 0 0 20 0 3 0 164778840 502489088 100087 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=490712 memory=41440 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 164778847 502489088 100087 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 490712 KiB
Current children cumulated memory: 400348 KiB

[startup+350.717 s]
# the end of solver process 852804 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=349.058 s, system=0.381665 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+345.6 s]
/proc/loadavg: 4.32 4.25 4.10 5/262 852880
/proc/meminfo: memFree=121888796/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=490712 memory=400680 CPUtime=344.33 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 386976 0 0 0 34397 36 0 0 20 0 3 0 164778454 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 122678 100170 2974 3032 0 107402 0
[pid=852804/tid=852818] ppid=852801 vsize=490712 memory=12340 CPUtime=340.42 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 347779 0 0 0 34013 29 0 0 20 0 3 0 164778840 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=490712 memory=398248 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 164778847 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 344.33 s
Current children cumulated vsize: 490712 KiB
Current children cumulated memory: 400680 KiB

[startup+348.8 s]
/proc/loadavg: 4.30 4.24 4.10 5/264 852886
/proc/meminfo: memFree=121884412/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=490712 memory=400680 CPUtime=347.52 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 387054 0 0 0 34716 36 0 0 20 0 3 0 164778454 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 122678 100170 2974 3032 0 107402 0
[pid=852804/tid=852818] ppid=852801 vsize=490712 memory=400680 CPUtime=343.61 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 347857 0 0 0 34332 29 0 0 20 0 3 0 164778840 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=490712 memory=12340 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 164778847 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 347.52 s
Current children cumulated vsize: 490712 KiB
Current children cumulated memory: 400680 KiB

[startup+349.6 s]
/proc/loadavg: 4.30 4.24 4.10 5/264 852886
/proc/meminfo: memFree=121884048/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=490712 memory=400680 CPUtime=348.31 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 387082 0 0 0 34795 36 0 0 20 0 3 0 164778454 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 122678 100170 2974 3032 0 107402 0
[pid=852804/tid=852818] ppid=852801 vsize=490712 memory=15976 CPUtime=344.41 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 347885 0 0 0 34412 29 0 0 20 0 3 0 164778840 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=490712 memory=2220 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 164778847 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 348.31 s
Current children cumulated vsize: 490712 KiB
Current children cumulated memory: 400680 KiB

[startup+350.4 s]
/proc/loadavg: 4.30 4.24 4.10 5/264 852886
/proc/meminfo: memFree=121884048/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=490712 memory=400680 CPUtime=349.11 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 387202 0 0 0 34875 36 0 0 20 0 3 0 164778454 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 122678 100170 2974 3032 0 107402 0
[pid=852804/tid=852818] ppid=852801 vsize=490712 memory=400680 CPUtime=345.2 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 348005 0 0 0 34491 29 0 0 20 0 3 0 164778840 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=490712 memory=41440 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 164778847 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 349.11 s
Current children cumulated vsize: 490712 KiB
Current children cumulated memory: 400680 KiB

[startup+350.6 s]
/proc/loadavg: 4.30 4.24 4.10 5/264 852886
/proc/meminfo: memFree=121884048/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=490712 memory=400680 CPUtime=349.31 cores=0,2
/proc/852804/stat : 852804 (fscip) S 852801 852804 850721 0 -1 1077936128 387243 0 0 0 34895 36 0 0 20 0 3 0 164778454 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 122678 100170 2974 3032 0 107402 0
[pid=852804/tid=852818] ppid=852801 vsize=490712 memory=1816 CPUtime=345.4 cores=0,2
/proc/852804/task/852818/stat : 852818 (fscip) R 852801 852804 850721 0 -1 4194368 348052 0 0 0 34511 29 0 0 20 0 3 0 164778840 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
[pid=852804/tid=852819] ppid=852801 vsize=490712 memory=2000 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 164778847 502489088 100170 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 349.31 s
Current children cumulated vsize: 490712 KiB
Current children cumulated memory: 400680 KiB

[startup+350.701 s]
/proc/loadavg: 4.30 4.24 4.10 5/264 852886
/proc/meminfo: memFree=121884048/131524600 swapFree=131071996/131071996
[pid=852804] ppid=852801 vsize=429296 memory=344564 CPUtime=349.42 cores=0,2
/proc/852804/stat : 852804 (fscip) R 852801 852804 850721 0 -1 4194304 398098 0 0 0 34905 37 0 0 20 0 2 0 164778454 439599104 86141 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
/proc/852804/statm: 107324 86141 2974 3032 0 92048 0
[pid=852804/tid=852819] ppid=852801 vsize=429296 memory=41440 CPUtime=0 cores=0,2
/proc/852804/task/852819/stat : 852819 (fscip) S 852801 852804 850721 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 2 0 164778847 439599104 86141 134679101440 4194304 16613245 140734860235152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25227264 140734860239893 140734860240009 140734860240009 140734860247024 0
Current children cumulated CPU time: 349.42 s
Current children cumulated vsize: 429296 KiB
Current children cumulated memory: 344564 KiB

Child status: 0

Real time (s): 350.717
CPU time (s): 349.44
CPU user time (s): 349.058
CPU system time (s): 0.381665
CPU usage (%): 99.6358
Max. virtual memory (cumulated for all children) (KiB): 490712
Max. memory (cumulated for all children) (KiB): 400680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 349.058
system time used= 0.381665
maximum resident set size= 400680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398418
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= 812
involuntary context switches= 2594


# summary of solver processes directly reported to runsolver:
#   pid: 852804
#   total CPU time (s): 349.44
#   total CPU user time (s): 349.058
#   total CPU system time (s): 0.381665

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.713467 second user time and 1.58378 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 12:34:59
IDJOB=4434847
IDBENCH=155343
IDSOLVER=3064
FILE ID=nodeC033/4434847-1721126087
RUNJOBID= nodeC033-1721122498-850731
SLURM_JOB_ID= 7505674
Free space on /tmp= 890028 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z7-s2.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434847-1721126087/watcher-4434847-1721126087 -o /tmp/evaluation-result-4434847-1721126087/solver-4434847-1721126087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721122498-850731 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434847-1721126087.opb -qsol -t 3600 -sth 1

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db
RANDOM SEED=985858961

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3651.882
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.282
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.392
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3675.150
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3632.068
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3675.685
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3660.797
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.969
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124885036 kB
MemAvailable:   129634868 kB
Buffers:          433864 kB
Cached:          5096572 kB
SwapCached:            0 kB
Active:           689864 kB
Inactive:        5233544 kB
Active(anon):       1588 kB
Inactive(anon):   429092 kB
Active(file):     688276 kB
Inactive(file):  4804452 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             93692 kB
Writeback:             0 kB
AnonPages:        390024 kB
Mapped:           125148 kB
Shmem:             37716 kB
KReclaimable:     193504 kB
Slab:             310772 kB
SReclaimable:     193504 kB
SUnreclaim:       117268 kB
KernelStack:        3944 kB
PageTables:         9540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     768684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62048 kB
HardwareCorrupted:     0 kB
AnonHugePages:    460800 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      262868 kB
DirectMap2M:    25724928 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC033 at 2024-07-16 12:40:50