Trace number 4464179

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-30OPT-10280 357.365 358.497

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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0         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.10/0.21	c Default LC presolving (default).
0.21/0.22	c ** Before presolving: virtualMemUsedAtLc = 79649167, getVmSize() = 70938624, SCIPgetMemUsed() = 39158754, SCIPgetMemTotal() = 46768498, SCIPgetMemExternEstim() = 32880669
0.21/0.22	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
4.87/4.93	c ** Estimated virtualMemUsedAtSolver = 113077297, getVmSize() = 164995072, SCIPgetMemUsed() = 79586909, SCIPgetMemTotal() = 136735277, SCIPgetMemExternEstim() = 32880669
4.87/4.93	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
4.87/4.93	c Original Problem   :
4.87/4.93	c   Problem name     : instance-4464179-1722382201
4.87/4.93	c   Variables        : 2023 (2023 binary, 0 integer, 0 implicit integer, 0 continuous)
4.87/4.93	c   Constraints      : 31798
4.87/4.93	c   Objective sense  : minimize
4.87/4.93	c Presolved Problem  :
4.87/4.93	c   Variables        : 1896 (1896 binary, 0 integer, 0 implicit integer, 0 continuous)
4.87/4.93	c   Constraints      : 26691
4.87/4.93	c Constraints        : Number
4.87/4.93	c   knapsack         : 8 
4.87/4.93	c   setppc           : 26683 
4.87/4.93	c ** Instance transfer method used: 0
4.87/4.96	c ** ParaScipInstance copy does not increase the number of variables. **
4.96/5.05	c LC is working with racing ramp-up and with rebuilding tree after racing.
4.96/5.05	c                                Nodes    Active                                            
4.96/5.05	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
9.60/9.77	c *      10              0           1         1       -2804.0000                -          -
9.60/9.77	c        10              0           1         1       -2804.0000                -          -
9.71/9.80	c *      10              0           1         1       -4927.0000                -          -
9.71/9.85	c *      10              0           1         1       -5995.0000                -          -
21.47/21.63	c *      22              0           1         1       -8547.0000                -          -
21.47/21.63	c        22              0           1         1       -8547.0000                -          -
35.24/35.45	c        35              2           1         1       -8547.0000      -12819.0589     49.98%
42.02/42.21	c        42              3           2         1       -8547.0000      -12777.0676     49.49%
44.71/44.92	c *      45              4           3         1       -8549.0000      -12777.0676     49.46%
44.71/44.93	c *      45              6           5         1       -8565.0000      -12777.0676     49.18%
44.82/45.10	c *      45              6           5         1       -8586.0000      -12777.0676     48.81%
45.01/45.20	c *      45              6           5         1       -8595.0000      -12777.0676     48.66%
52.49/52.77	c        53             22          14         1       -8595.0000      -12729.8701     48.11%
59.97/60.23	c        60             24          14         1       -8595.0000      -12686.8890     47.61%
67.05/67.34	c        67             26          14         1       -8595.0000      -12645.1419     47.12%
84.40/84.70	c        85             28          14         1       -8595.0000      -12489.6586     45.31%
92.38/92.74	c        93             30          14         1       -8595.0000      -12420.5996     44.51%
98.96/99.36	c        99             32          14         1       -8595.0000      -12420.5996     44.51%
106.34/106.78	c       107             36          14         1       -8595.0000      -12406.8923     44.35%
111.04/111.45	c *     111             42          14         1       -8600.0000      -12377.8056     43.93%
112.43/112.86	c       113             93          20         1       -8600.0000      -12377.8056     43.93%
118.01/118.41	c *     118            124          25         1       -9341.0000      -12300.6008     31.68%
118.01/118.41	c       118            124          25         1       -9341.0000      -12300.6008     31.68%
123.30/123.71	c       124            195          15         1       -9341.0000      -12300.6008     31.68%
127.09/127.51	c *     128            204          16         1       -9379.0000      -12299.9778     31.14%
127.09/127.52	c *     128            204          16         1       -9405.0000      -12299.9778     30.78%
127.09/127.57	c *     128            204          16         1       -9406.0000      -12299.9778     30.77%
128.78/129.27	c       129            226          13         1       -9406.0000      -12299.9778     30.77%
130.38/130.86	c *     131            232          15         1       -9877.0000      -12299.0281     24.52%
130.48/130.90	c *     131            235          15         1       -9889.0000      -12299.0281     24.37%
130.48/130.98	c *     131            235          15         1       -9967.0000      -12299.0281     23.40%
130.59/131.02	c *     131            235          15         1      -10004.0000      -12299.0281     22.94%
134.68/135.11	c       135            339          64         1      -10004.0000      -12293.0410     22.88%
141.55/142.01	c       142            382          73         1      -10004.0000      -12080.4754     20.76%
147.22/147.76	c       148            432          87         1      -10004.0000      -11933.1520     19.28%
156.60/157.13	c       157            481          98         1      -10004.0000      -11716.6513     17.12%
162.58/163.18	c       163            525          94         1      -10004.0000      -11656.0610     16.51%
167.94/168.50	c       169            545         100         1      -10004.0000      -11588.9855     15.84%
174.13/174.80	c       175            624         127         1      -10004.0000      -11550.2667     15.46%
184.69/185.39	c       185            662         133         1      -10004.0000      -11278.8732     12.74%
190.07/190.72	c       191            676         137         1      -10004.0000      -11273.5609     12.69%
191.97/192.64	c *     193            684         136         1      -10005.0000      -11246.8768     12.41%
197.36/198.10	c       198            773         125         1      -10005.0000      -11209.5894     12.04%
203.13/203.84	c       204            826         134         1      -10005.0000      -11192.7727     11.87%
208.21/208.98	c       209            872         140         1      -10005.0000      -11152.1666     11.47%
213.89/214.65	c       215            874         140         1      -10005.0000      -11133.7842     11.28%
219.08/219.88	c       220            889         149         1      -10005.0000      -11133.2843     11.28%
224.16/224.96	c       225            932         126         1      -10005.0000      -11076.8935     10.71%
231.25/232.02	c       232            935         127         1      -10005.0000      -11076.8935     10.71%
237.23/238.03	c       238            975         125         1      -10005.0000      -11068.8571     10.63%
242.21/243.06	c       243           1072         158         1      -10005.0000      -11041.5220     10.36%
247.58/248.42	c       248           1086         158         1      -10005.0000      -11031.2851     10.26%
256.95/257.89	c       258           1162         166         1      -10005.0000      -10958.7092      9.53%
259.15/260.02	c *     260           1172         167         1      -10070.0000      -10956.8293      8.81%
259.15/260.07	c *     260           1178          88         1      -10169.0000      -10956.8293      7.75%
259.15/260.09	c *     260           1178          88         1      -10190.0000      -10956.8293      7.53%
259.15/260.10	c *     260           1178          88         1      -10198.0000      -10956.8293      7.44%
259.25/260.12	c *     260           1178          88         1      -10210.0000      -10956.8293      7.31%
259.25/260.14	c *     260           1178          88         1      -10211.0000      -10956.8293      7.30%
259.54/260.40	c *     260           1178          88         1      -10216.0000      -10956.8293      7.25%
259.64/260.59	c *     261           1178          88         1      -10232.0000      -10956.8293      7.08%
262.03/262.92	c       263           1222          79         1      -10232.0000      -10901.1547      6.54%
267.01/267.98	c       268           1272          81         1      -10232.0000      -10891.2727      6.44%
273.30/274.20	c       274           1342          89         1      -10232.0000      -10880.4134      6.34%
274.50/275.43	c *     275           1354          93         1      -10236.0000      -10880.4134      6.30%
274.50/275.49	c *     276           1354          93         1      -10250.0000      -10880.4134      6.15%
274.60/275.50	c *     276           1354          93         1      -10257.0000      -10880.4134      6.08%
278.99/279.97	c       280           1448         143         1      -10257.0000      -10861.5672      5.89%
285.97/286.94	c       287           1652         247         1      -10257.0000      -10828.7828      5.57%
287.07/288.10	c *     288           1682         261         1      -10259.0000      -10828.7828      5.55%
291.16/292.18	c       292           1908         324         1      -10259.0000      -10828.7828      5.55%
296.53/297.53	c       298           2055         359         1      -10259.0000      -10819.1303      5.46%
302.42/303.41	c       303           2143         377         1      -10259.0000      -10807.4501      5.35%
309.69/310.73	c       311           2262         410         1      -10259.0000      -10785.0395      5.13%
312.68/313.76	c *     314           2382         434         1      -10263.0000      -10772.3532      4.96%
312.68/313.79	c *     314           2382         434         1      -10264.0000      -10772.3532      4.95%
312.79/313.83	c *     314           2382         434         1      -10279.0000      -10772.3532      4.80%
316.48/317.56	c       318           2402          75         1      -10279.0000      -10767.7835      4.76%
321.85/323.01	c       323           2542         131         1      -10279.0000      -10677.5727      3.88%
327.54/328.68	c       329           2622         130         1      -10279.0000      -10668.7993      3.79%
334.22/335.39	c       335           2702          93         1      -10279.0000      -10613.4928      3.25%
341.10/342.23	c       342           2752          59         1      -10279.0000      -10560.6611      2.74%
342.10/343.29	c *     343           2787          66         1      -10280.0000      -10560.6611      2.73%
346.79/347.98	c       348           2882          55         1      -10280.0000      -10529.1765      2.42%
351.99/353.12	c       353           2922          41         1      -10280.0000      -10490.7750      2.05%
357.06/358.29	c       358           2993           0         0      -10280.0000      -10280.0000      0.00%
357.06/358.29	c       358           2993           0         0      -10280.0000      -10280.0000      0.00%
357.16/358.35	c       358           2993           0         0      -10280.0000      -10280.0000          -
357.16/358.35	c SCIP Status        : c problem is solved
357.16/358.35	c Total Time         : 358.3600
357.16/358.35	c   solving          : 358.3600
357.16/358.35	c   presolving       : 4.7140 (included in solving)
357.16/358.35	c B&B Tree           :
357.16/358.35	c   nodes (total)    : 2993
357.16/358.35	c Solution           :
357.16/358.35	c   Solutions found  : 35
357.16/358.35	c   Primal Bound     : -1.02800000000000e+04
357.16/358.35	c   Dual Bound       : -1.02800000000000e+04
357.16/358.35	c Gap                : 0.00000 %
357.16/358.37	o -10280
357.16/358.37	s OPTIMUM FOUND
357.16/358.37	v x2023 -x2022 -x2021 -x2020 -x2019 x2018 x2017 x2016 -x2015 -x2014 -x2013 -x2012 x2011 x2010 x2009 -x2008 x2007 x2006 -x2005 -x2004 
357.16/358.37	v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 
357.16/358.37	v -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 
357.16/358.37	v -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 
357.16/358.37	v -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 
357.16/358.37	v -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 
357.16/358.37	v -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 
357.16/358.37	v -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 
357.16/358.37	v -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 
357.16/358.37	v -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 
357.16/358.37	v -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 
357.16/358.37	v -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 
357.16/358.37	v -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 
357.16/358.37	v -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 
357.16/358.37	v -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 
357.16/358.37	v -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 
357.16/358.37	v -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 
357.16/358.37	v -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 
357.16/358.37	v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 
357.16/358.37	v -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 
357.16/358.37	v -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 
357.16/358.37	v -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 
357.16/358.37	v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 
357.16/358.37	v -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 
357.16/358.37	v -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 
357.16/358.37	v -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 
357.16/358.37	v -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 
357.16/358.37	v -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 
357.16/358.37	v -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 
357.16/358.37	v -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 
357.16/358.37	v -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 
357.16/358.37	v -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 
357.16/358.37	v -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 
357.16/358.37	v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 
357.16/358.37	v -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 x1398 -x1397 
357.16/358.37	v -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 x1383 -x1382 x1381 x1380 -x1379 
357.16/358.37	v -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 x1364 x1363 x1362 -x1361 -x1360 
357.16/358.37	v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 x1346 -x1345 -x1344 -x1343 -x1342 
357.16/358.37	v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 
357.16/358.37	v -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 
357.16/358.37	v -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 
357.16/358.37	v -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 
357.16/358.37	v -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 
357.16/358.37	v -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 
357.16/358.37	v -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 
357.16/358.37	v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 
357.16/358.37	v -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 
357.16/358.37	v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 
357.16/358.37	v -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 
357.16/358.37	v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 
357.16/358.37	v -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 x1113 x1112 x1111 x1110 -x1109 
357.16/358.37	v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 x1097 x1096 x1095 x1094 x1093 x1092 -x1091 
357.16/358.37	v -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 x1080 x1079 x1078 x1077 x1076 x1075 -x1074 -x1073 -x1072 
357.16/358.37	v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 x1063 x1062 x1061 x1060 x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 
357.16/358.37	v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 x1045 x1044 x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
357.16/358.37	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 
357.16/358.37	v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 
357.16/358.37	v -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 
357.16/358.37	v -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 
357.16/358.37	v -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 
357.16/358.37	v -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 
357.16/358.37	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
357.16/358.37	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 
357.16/358.37	v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 
357.16/358.37	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 x844 x843 x842 x841 x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 
357.16/358.37	v -x830 x829 x828 x827 x826 x825 x824 x823 -x822 x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 x813 x812 x811 x810 x809 x808 
357.16/358.37	v x807 x806 x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 x795 x794 x793 x792 x791 x790 x789 x788 x787 x786 -x785 
357.16/358.37	v -x784 -x783 -x782 -x781 -x780 -x779 -x778 x777 x776 x775 x774 x773 x772 x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 
357.16/358.37	v -x762 -x761 -x760 x759 x758 x757 x756 x755 x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 x741 x740 
357.16/358.37	v x739 x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 x723 -x722 -x721 -x720 -x719 
357.16/358.37	v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 
357.16/358.37	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 
357.16/358.37	v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 
357.16/358.37	v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 
357.16/358.37	v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 
357.16/358.37	v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 
357.16/358.37	v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 
357.16/358.37	v -x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 x557 x556 x555 x554 x553 x552 x551 
357.16/358.37	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 
357.16/358.37	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 
357.16/358.37	v x501 x500 -x499 -x498 -x497 -x496 x495 -x494 x493 x492 x491 x490 x489 x488 x487 x486 x485 x484 x483 -x482 -x481 -x480 -x479 
357.16/358.37	v -x478 -x477 x476 x475 x474 x473 x472 x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 x461 x460 x459 x458 x457 x456 
357.16/358.37	v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 x444 x443 x442 x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 
357.16/358.37	v -x433 x432 -x431 -x430 -x429 -x428 x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 
357.16/358.37	v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 
357.16/358.37	v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 
357.16/358.37	v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 
357.16/358.37	v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 
357.16/358.37	v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 
357.16/358.37	v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 x294 x293 x292 x291 -x290 -x289 x288 x287 
357.16/358.37	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 
357.16/358.37	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 
357.16/358.37	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 
357.16/358.37	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 
357.16/358.37	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 
357.16/358.37	v -x164 x163 x162 x161 x160 x159 x158 x157 x156 -x155 -x154 -x153 x152 -x151 x150 x149 x148 -x147 -x146 x145 x144 x143 x142 
357.26/358.46	v x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 
357.26/358.46	v -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 x105 -x104 -x103 x102 -x101 -x100 x99 -x98 
357.26/358.46	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 
357.26/358.46	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 
357.26/358.46	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 
357.26/358.46	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: 64096 MiB (63215 MiB free)
  memory of node 1: 64473 MiB (62425 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=30378, runsolver pid=30375
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 4.21 4.15 4.10 5/249 30379
/proc/meminfo: memFree=128640640/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=38628 memory=26952 CPUtime=0.1 cores=1,3
/proc/30378/stat : 30378 (fscip) R 30375 30378 27997 0 -1 4194304 4667 0 0 0 9 1 0 0 20 0 1 0 4590454 39555072 6738 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 9657 6738 2347 3035 0 6053 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38628 KiB
Current children cumulated memory: 26952 KiB

[startup+0.21219 s]*
/proc/loadavg: 4.21 4.15 4.10 5/249 30379
/proc/meminfo: memFree=128608480/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=71100 memory=58252 CPUtime=0.21 cores=1,3
/proc/30378/stat : 30378 (fscip) R 30375 30378 27997 0 -1 4194304 12427 0 0 0 17 4 0 0 20 0 1 0 4590454 72806400 14563 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 17775 14563 2598 3035 0 14171 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 71100 KiB
Current children cumulated memory: 58252 KiB

[startup+0.313077 s]*
/proc/loadavg: 4.21 4.15 4.10 5/249 30379
/proc/meminfo: memFree=128604308/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=73760 memory=61012 CPUtime=0.32 cores=1,3
/proc/30378/stat : 30378 (fscip) R 30375 30378 27997 0 -1 4194304 13082 0 0 0 27 5 0 0 20 0 1 0 4590454 75530240 15253 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 18440 15253 2630 3035 0 14836 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 73760 KiB
Current children cumulated memory: 61012 KiB

[startup+0.70026 s]
/proc/loadavg: 4.21 4.15 4.10 5/249 30379
/proc/meminfo: memFree=128593164/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=90780 memory=78520 CPUtime=0.69 cores=1,3
/proc/30378/stat : 30378 (fscip) R 30375 30378 27997 0 -1 4194304 21458 0 0 0 62 7 0 0 20 0 1 0 4590454 92958720 19630 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 22695 19630 2726 3035 0 19091 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90780 KiB
Current children cumulated memory: 78520 KiB

[startup+1.50029 s]
/proc/loadavg: 4.21 4.15 4.10 4/245 30396
/proc/meminfo: memFree=128626212/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=88892 memory=76728 CPUtime=1.49 cores=1,3
/proc/30378/stat : 30378 (fscip) R 30375 30378 27997 0 -1 4194304 21738 0 0 0 142 7 0 0 20 0 1 0 4590454 91025408 19182 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 22223 19182 2726 3035 0 18619 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88892 KiB
Current children cumulated memory: 76728 KiB

[startup+3.11264 s]
/proc/loadavg: 4.21 4.15 4.10 5/253 30413
/proc/meminfo: memFree=128452868/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=92936 memory=81392 CPUtime=3.09 cores=1,3
/proc/30378/stat : 30378 (fscip) R 30375 30378 27997 0 -1 4194304 22867 0 0 0 302 7 0 0 20 0 1 0 4590454 95166464 20348 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 23234 20348 2774 3035 0 19630 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 92936 KiB
Current children cumulated memory: 81392 KiB

[startup+6.30031 s]
/proc/loadavg: 4.20 4.15 4.10 5/255 30415
/proc/meminfo: memFree=128276456/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=311432 memory=210028 CPUtime=6.24 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 58104 0 0 0 608 16 0 0 20 0 3 0 4590454 318906368 52507 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 77858 52507 2806 3035 0 58129 0
[pid=30378/tid=30414] ppid=30375 vsize=311432 memory=209852 CPUtime=1.29 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 19905 0 0 0 124 5 0 0 20 0 3 0 4590947 318906368 52507 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=311432 memory=76728 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4590959 318906368 52507 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 311432 KiB
Current children cumulated memory: 210028 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.15 4.10 5/255 30417
/proc/meminfo: memFree=128152668/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=359156 memory=299092 CPUtime=12.59 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 94091 0 0 0 1239 20 0 0 20 0 3 0 4590454 367775744 74773 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 89789 74773 2998 3035 0 82115 0
[pid=30378/tid=30414] ppid=30375 vsize=359156 memory=11536 CPUtime=7.65 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 55494 0 0 0 755 10 0 0 20 0 3 0 4590947 367775744 74773 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=359156 memory=297536 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4590959 367775744 74773 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 359156 KiB
Current children cumulated memory: 299092 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.14 4.09 5/255 30418
/proc/meminfo: memFree=128085232/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=424692 memory=333764 CPUtime=25.36 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 145225 0 0 0 2511 25 0 0 20 0 3 0 4590454 434884608 83441 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 106173 83441 3014 3035 0 93417 0
[pid=30378/tid=30414] ppid=30375 vsize=424692 memory=333752 CPUtime=20.42 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 106220 0 0 0 2027 15 0 0 20 0 3 0 4590947 434884608 83441 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=424692 memory=299504 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4590959 434884608 83441 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 424692 KiB
Current children cumulated memory: 333764 KiB

[startup+51.1125 s]
/proc/loadavg: 4.21 4.16 4.10 5/252 30479
/proc/meminfo: memFree=128023248/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=424692 memory=334296 CPUtime=50.91 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 186799 0 0 0 5063 28 0 0 20 0 3 0 4590454 434884608 83574 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 106173 83574 3014 3035 0 93417 0
[pid=30378/tid=30414] ppid=30375 vsize=424692 memory=16320 CPUtime=45.95 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 147296 0 0 0 4578 17 0 0 20 0 3 0 4590947 434884608 83574 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=424692 memory=299092 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 4590959 434884608 83574 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 424692 KiB
Current children cumulated memory: 334296 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/252 30487
/proc/meminfo: memFree=127997652/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=424692 memory=334300 CPUtime=101.96 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 222705 0 0 0 10166 30 0 0 20 0 3 0 4590454 434884608 83575 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 106173 83575 3014 3035 0 93417 0
[pid=30378/tid=30414] ppid=30375 vsize=424692 memory=11536 CPUtime=97 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 183050 0 0 0 9680 20 0 0 20 0 3 0 4590947 434884608 83575 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=424692 memory=16320 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 4590959 434884608 83575 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 424692 KiB
Current children cumulated memory: 334300 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/252 30499
/proc/meminfo: memFree=127912480/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=490228 memory=394780 CPUtime=161.77 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 280928 0 0 0 16141 36 0 0 20 0 3 0 4590454 501993472 98695 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 122557 98695 3014 3035 0 106814 0
[pid=30378/tid=30414] ppid=30375 vsize=490228 memory=-7452449699976536441 CPUtime=156.8 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 240754 0 0 0 15655 25 0 0 20 0 3 0 4590947 501993472 98695 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=490228 memory=373464 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 78 0 0 0 0 0 0 0 20 0 3 0 4590959 501993472 98695 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 490228 KiB
Current children cumulated memory: 394780 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/252 30509
/proc/meminfo: memFree=127880192/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=490228 memory=394892 CPUtime=221.56 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 309978 0 0 0 22118 38 0 0 20 0 3 0 4590454 501993472 98723 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 122557 98723 3014 3035 0 106814 0
[pid=30378/tid=30414] ppid=30375 vsize=490228 memory=0 CPUtime=216.59 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 269386 0 0 0 21632 27 0 0 20 0 3 0 4590947 501993472 98723 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=490228 memory=11536 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 3 0 4590959 501993472 98723 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 490228 KiB
Current children cumulated memory: 394892 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/250 30520
/proc/meminfo: memFree=127851032/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=490228 memory=394912 CPUtime=281.38 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 334214 0 0 0 28097 41 0 0 20 0 3 0 4590454 501993472 98728 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 122557 98728 3014 3035 0 106814 0
[pid=30378/tid=30414] ppid=30375 vsize=490228 memory=394912 CPUtime=276.39 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 293130 0 0 0 27610 29 0 0 20 0 3 0 4590947 501993472 98728 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=490228 memory=394912 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 3 0 4590959 501993472 98728 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 490228 KiB
Current children cumulated memory: 394912 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/249 30532
/proc/meminfo: memFree=127831168/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=490228 memory=397212 CPUtime=341.2 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 374933 0 0 0 34075 45 0 0 20 0 3 0 4590454 501993472 99303 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 122557 99303 3014 3035 0 107254 0
[pid=30378/tid=30414] ppid=30375 vsize=490228 memory=395692 CPUtime=336.21 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 333389 0 0 0 33588 33 0 0 20 0 3 0 4590947 501993472 99303 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=490228 memory=397212 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 91 0 0 0 0 0 0 0 20 0 3 0 4590959 501993472 99303 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 490228 KiB
Current children cumulated memory: 397212 KiB

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

# cumulated CPU time of all completed processes:  user=356.847 s, system=0.517897 s

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

[startup+345.6 s]
/proc/loadavg: 4.06 4.11 4.09 5/249 30532
/proc/meminfo: memFree=127830932/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=490480 memory=397276 CPUtime=344.5 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 380508 0 0 0 34404 46 0 0 20 0 3 0 4590454 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 122620 99319 3014 3035 0 107317 0
[pid=30378/tid=30414] ppid=30375 vsize=490480 memory=11536 CPUtime=339.51 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 338920 0 0 0 33917 34 0 0 20 0 3 0 4590947 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=490480 memory=397212 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 93 0 0 0 0 0 0 0 20 0 3 0 4590959 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 344.5 s
Current children cumulated vsize: 490480 KiB
Current children cumulated memory: 397276 KiB

[startup+352 s]*
/proc/loadavg: 4.06 4.11 4.09 5/249 30536
/proc/meminfo: memFree=127824644/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=490480 memory=397276 CPUtime=350.89 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 381883 0 0 0 35043 46 0 0 20 0 3 0 4590454 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 122620 99319 3014 3035 0 107317 0
[pid=30378/tid=30414] ppid=30375 vsize=490480 memory=-7380392105938608000 CPUtime=345.9 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 340294 0 0 0 34556 34 0 0 20 0 3 0 4590947 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=490480 memory=2248 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 93 0 0 0 0 0 0 0 20 0 3 0 4590959 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 350.89 s
Current children cumulated vsize: 490480 KiB
Current children cumulated memory: 397276 KiB

[startup+355.2 s]
/proc/loadavg: 4.05 4.11 4.09 5/249 30536
/proc/meminfo: memFree=127823688/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=490480 memory=397276 CPUtime=354.07 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 381928 0 0 0 35361 46 0 0 20 0 3 0 4590454 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 122620 99319 3014 3035 0 107317 0
[pid=30378/tid=30414] ppid=30375 vsize=490480 memory=-7452449699976536441 CPUtime=349.08 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 340339 0 0 0 34874 34 0 0 20 0 3 0 4590947 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=490480 memory=397276 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 93 0 0 0 0 0 0 0 20 0 3 0 4590959 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 354.07 s
Current children cumulated vsize: 490480 KiB
Current children cumulated memory: 397276 KiB

[startup+356.8 s]
/proc/loadavg: 4.05 4.11 4.09 5/249 30536
/proc/meminfo: memFree=127823548/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=490480 memory=397276 CPUtime=355.66 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 382002 0 0 0 35520 46 0 0 20 0 3 0 4590454 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 122620 99319 3014 3035 0 107317 0
[pid=30378/tid=30414] ppid=30375 vsize=490480 memory=1487 CPUtime=350.67 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 340413 0 0 0 35033 34 0 0 20 0 3 0 4590947 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=490480 memory=27319 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 93 0 0 0 0 0 0 0 20 0 3 0 4590959 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 355.66 s
Current children cumulated vsize: 490480 KiB
Current children cumulated memory: 397276 KiB

[startup+357.6 s]
/proc/loadavg: 4.05 4.11 4.09 5/249 30537
/proc/meminfo: memFree=127823520/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=490480 memory=397276 CPUtime=356.46 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 382030 0 0 0 35600 46 0 0 20 0 3 0 4590454 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 122620 99319 3014 3035 0 107317 0
[pid=30378/tid=30414] ppid=30375 vsize=490480 memory=1840 CPUtime=351.47 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 340441 0 0 0 35113 34 0 0 20 0 3 0 4590947 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=490480 memory=-7452449699976536441 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 93 0 0 0 0 0 0 0 20 0 3 0 4590959 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 356.46 s
Current children cumulated vsize: 490480 KiB
Current children cumulated memory: 397276 KiB

[startup+358 s]*
/proc/loadavg: 4.05 4.11 4.09 5/249 30537
/proc/meminfo: memFree=127823184/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=490480 memory=397276 CPUtime=356.87 cores=1,3
/proc/30378/stat : 30378 (fscip) S 30375 30378 27997 0 -1 1077936128 382223 0 0 0 35641 46 0 0 20 0 3 0 4590454 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 122620 99319 3014 3035 0 107317 0
[pid=30378/tid=30414] ppid=30375 vsize=490480 memory=-7380392105938608000 CPUtime=351.88 cores=1,3
/proc/30378/task/30414/stat : 30414 (fscip) R 30375 30378 27997 0 -1 4194368 340634 0 0 0 35154 34 0 0 20 0 3 0 4590947 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
[pid=30378/tid=30415] ppid=30375 vsize=490480 memory=0 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 93 0 0 0 0 0 0 0 20 0 3 0 4590959 502251520 99319 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 356.87 s
Current children cumulated vsize: 490480 KiB
Current children cumulated memory: 397276 KiB

[startup+358.401 s]
/proc/loadavg: 4.05 4.11 4.09 5/249 30537
/proc/meminfo: memFree=127823184/131655788 swapFree=131071728/131071996
[pid=30378] ppid=30375 vsize=442152 memory=355132 CPUtime=357.26 cores=1,3
/proc/30378/stat : 30378 (fscip) R 30375 30378 27997 0 -1 4194304 395278 0 0 0 35679 47 0 0 20 0 2 0 4590454 452763648 88783 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
/proc/30378/statm: 110538 88783 3014 3035 0 95235 0
[pid=30378/tid=30415] ppid=30375 vsize=442152 memory=37112 CPUtime=0 cores=1,3
/proc/30378/task/30415/stat : 30415 (fscip) S 30375 30378 27997 0 -1 1077936192 93 0 0 0 0 0 0 0 20 0 2 0 4590959 452763648 88783 134679101440 4194304 16623229 140721525795984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36528128 140721525802006 140721525802122 140721525802122 140721525809136 0
Current children cumulated CPU time: 357.26 s
Current children cumulated vsize: 442152 KiB
Current children cumulated memory: 355132 KiB

Child status: 0

Real time (s): 358.497
CPU time (s): 357.365
CPU user time (s): 356.847
CPU system time (s): 0.517897
CPU usage (%): 99.6843
Max. virtual memory (cumulated for all children) (KiB): 490480
Max. memory (cumulated for all children) (KiB): 397276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 356.847
system time used= 0.517897
maximum resident set size= 397276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401516
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= 829
involuntary context switches= 287


# summary of solver processes directly reported to runsolver:
#   pid: 30378
#   total CPU time (s): 357.365
#   total CPU user time (s): 356.847
#   total CPU system time (s): 0.517897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.86127 second user time and 3.36073 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-31 01:30:01
IDJOB=4464179
IDBENCH=155343
IDSOLVER=3092
FILE ID=nodeC011/4464179-1722382201
RUNJOBID= nodeC011-1722378594-28009
SLURM_JOB_ID= 8249841
Free space on /tmp= 723680 MiB

SOLVER NAME= FiberSCIP 2024-07-30
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-4464179-1722382201/watcher-4464179-1722382201 -o /tmp/evaluation-result-4464179-1722382201/solver-4464179-1722382201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28009 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464179-1722382201.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db
RANDOM SEED=292526229

nodeC011.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	: 0xb00001f
cpu MHz		: 3491.640
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.28
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	: 0xb00001f
cpu MHz		: 1453.838
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.29
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	: 0xb00001f
cpu MHz		: 1197.290
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.28
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	: 0xb00001f
cpu MHz		: 1197.137
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.29
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	: 0xb00001f
cpu MHz		: 1323.429
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.28
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	: 0xb00001f
cpu MHz		: 2584.092
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.29
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	: 0xb00001f
cpu MHz		: 1754.329
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.28
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	: 0xb00001f
cpu MHz		: 1197.265
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128657444 kB
MemAvailable:   129685164 kB
Buffers:           90956 kB
Cached:          1780808 kB
SwapCached:           12 kB
Active:           288116 kB
Inactive:        2279092 kB
Active(anon):       1924 kB
Inactive(anon):   722984 kB
Active(file):     286192 kB
Inactive(file):  1556108 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             87192 kB
Writeback:             8 kB
AnonPages:        693692 kB
Mapped:           115932 kB
Shmem:             29468 kB
KReclaimable:      51236 kB
Slab:             127140 kB
SReclaimable:      51236 kB
SUnreclaim:        75904 kB
KernelStack:        4016 kB
PageTables:        10604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     929936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6784 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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:      156488 kB
DirectMap2M:     9185280 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723668 MiB
End job on nodeC011 at 2024-07-31 01:36:00