Trace number 4464772

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-30SAT-84 3586.22 3598.63

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_60_5.opb
MD5SUM65b4d1c4023a2b46e150e438eeed87ff
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-89
Best CPU time to get the best result obtained on this benchmark60631.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)150576
Sum of products size (including duplicates)301152
Number of different products75288
Sum of products size150576

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.50/0.53	c Default LC presolving (default).
0.50/0.53	c ** Before presolving: virtualMemUsedAtLc = 405611033, getVmSize() = 281960448, SCIPgetMemUsed() = 237557019, SCIPgetMemTotal() = 252969731, SCIPgetMemExternEstim() = 152641302
0.50/0.53	c ** set memory limit for presolving in LC to 8.79597e+12 for SCIP **
1.38/1.46	c ** Estimated virtualMemUsedAtSolver = 315770953, getVmSize() = 354467840, SCIPgetMemUsed() = 244001432, SCIPgetMemTotal() = 321015128, SCIPgetMemExternEstim() = 152641302
1.38/1.46	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.38/1.46	c Original Problem   :
1.38/1.46	c   Problem name     : instance-4464772-1722382194
1.38/1.46	c   Variables        : 77288 (2000 binary, 0 integer, 75288 implicit integer, 0 continuous)
1.38/1.46	c   Constraints      : 80289
1.38/1.46	c   Objective sense  : minimize
1.38/1.46	c Presolved Problem  :
1.38/1.46	c   Variables        : 2000 (2000 binary, 0 integer, 0 implicit integer, 0 continuous)
1.38/1.46	c   Constraints      : 3001
1.38/1.46	c Constraints        : Number
1.38/1.46	c   knapsack         : 2000 
1.38/1.46	c   setppc           : 1000 
1.38/1.46	c   linear           : 1 
1.38/1.46	c ** Instance transfer method used: 0
1.38/1.48	c ** ParaScipInstance copy does not increase the number of variables. **
1.38/1.50	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.38/1.50	c                                Nodes    Active                                            
1.38/1.50	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
8.72/8.83	c *       9              0           1         1          -1.0000                -          -
8.72/8.83	c         9              0           1         1          -1.0000                -          -
115.47/116.67	c *     117              0           1         1         -69.0000                -          -
115.47/116.67	c       117              0           1         1         -69.0000                -          -
235.07/237.41	c       237              2           1         1         -69.0000        -500.0000          -
449.97/453.93	c       454              3           2         1         -69.0000        -500.0000          -
649.40/653.89	c       654              4           3         1         -69.0000        -500.0000          -
801.22/806.05	c       806              5           4         1         -69.0000        -500.0000          -
912.44/917.50	c       918              6           5         1         -69.0000        -500.0000          -
1137.81/1143.49	c      1143              7           6         1         -69.0000        -500.0000          -
1234.97/1240.81	c      1241              8           7         1         -69.0000        -500.0000          -
1317.48/1323.53	c      1324              9           8         1         -69.0000        -500.0000          -
1388.71/1394.99	c      1395             10           9         1         -69.0000        -500.0000          -
1498.21/1504.74	c      1505             12          11         1         -69.0000        -500.0000          -
1504.50/1511.10	c      1511             14          13         1         -69.0000        -500.0000          -
1513.17/1519.75	c *    1520             15          14         1         -70.0000        -500.0000          -
1513.17/1519.75	c      1520             15          14         1         -70.0000        -500.0000          -
1521.74/1528.39	c      1528             18          17         1         -70.0000        -500.0000          -
1531.42/1538.01	c      1538             19          18         1         -70.0000        -500.0000          -
1539.59/1546.29	c      1546             21          20         1         -70.0000        -500.0000          -
1547.87/1554.50	c      1555             23          22         1         -70.0000        -500.0000          -
1604.70/1611.56	c      1612             25          24         1         -70.0000        -500.0000          -
1617.76/1624.67	c *    1625             27          26         1         -82.0000        -500.0000          -
1617.76/1624.67	c      1625             27          26         1         -82.0000        -500.0000          -
1629.54/1636.43	c      1636             30          29         1         -82.0000        -500.0000          -
1636.42/1643.34	c      1643             32          31         1         -82.0000        -500.0000          -
1642.90/1649.89	c      1650             34          33         1         -82.0000        -500.0000          -
1691.55/1698.67	c      1699             35          34         1         -82.0000        -500.0000          -
1748.39/1755.60	c      1756             38          37         1         -82.0000        -500.0000          -
1757.56/1764.84	c      1765             40          39         1         -82.0000        -500.0000          -
1762.65/1769.97	c      1770             42          41         1         -82.0000        -500.0000          -
1772.42/1779.79	c      1780             44          43         1         -82.0000        -500.0000          -
1778.90/1786.27	c      1786             46          45         1         -82.0000        -500.0000          -
1846.31/1853.80	c      1854             48          47         1         -82.0000        -500.0000          -
1852.49/1860.07	c      1860             50          49         1         -82.0000        -500.0000          -
1863.46/1871.10	c      1871             52          51         1         -82.0000        -500.0000          -
1870.24/1877.89	c      1878             54          53         1         -82.0000        -500.0000          -
1877.02/1884.65	c      1885             56          55         1         -82.0000        -500.0000          -
1948.51/1956.33	c      1956             57          56         1         -82.0000        -500.0000          -
1998.68/2006.67	c      2007             58          57         1         -82.0000        -500.0000          -
2005.26/2013.27	c      2013             61          60         1         -82.0000        -500.0000          -
2014.23/2022.25	c      2022             64          63         1         -82.0000        -500.0000          -
2019.31/2027.34	c      2027             65          64         1         -82.0000        -500.0000          -
2026.19/2034.28	c      2034             67          66         1         -82.0000        -500.0000          -
2134.88/2143.22	c      2143             69          68         1         -82.0000        -500.0000          -
2140.77/2149.19	c      2149             70          69         1         -82.0000        -500.0000          -
2678.00/2687.88	c      2688             71          70         1         -82.0000        -500.0000          -
2693.16/2703.10	c      2703             72          71         1         -82.0000        -499.7617          -
2733.84/2743.85	c      2744             73          72         1         -82.0000        -499.7617          -
2748.70/2758.73	c *    2759             74          73         1         -83.0000        -499.7617          -
2748.70/2758.73	c      2759             74          73         1         -83.0000        -499.7617          -
2899.37/2909.81	c      2910             77          76         1         -83.0000        -499.7617          -
2939.66/2950.22	c      2950             78          77         1         -83.0000        -499.7617          -
2959.81/2970.49	c      2970             79          78         1         -83.0000        -499.7617          -
2969.88/2980.51	c      2981             80          79         1         -83.0000        -499.7617          -
2988.12/2998.83	c      2999             81          80         1         -83.0000        -499.7617          -
2994.80/3005.52	c      3006             82          81         1         -83.0000        -499.5235          -
3036.88/3047.75	c *    3048             82          81         1         -84.0000        -499.5235    494.67%
3036.88/3047.75	c      3048             82          81         1         -84.0000        -499.5235    494.67%
3059.32/3070.24	c      3070             85          84         1         -84.0000        -499.5235    494.67%
3074.67/3085.64	c      3086             87          86         1         -84.0000        -499.5235    494.67%
3087.03/3098.09	c      3098             89          88         1         -84.0000        -499.5235    494.67%
3099.29/3110.36	c      3110             91          90         1         -84.0000        -499.5235    494.67%
3110.07/3121.10	c      3121             92          91         1         -84.0000        -499.2828    494.38%
3246.86/3258.35	c      3258             93          92         1         -84.0000        -499.2828    494.38%
3260.92/3272.41	c      3272             95          94         1         -84.0000        -499.2828    494.38%
3270.19/3281.76	c      3282             97          96         1         -84.0000        -499.2828    494.38%
3280.16/3291.74	c      3292             99          98         1         -84.0000        -499.2828    494.38%
3286.64/3298.29	c      3298            101         100         1         -84.0000        -499.2828    494.38%
3293.43/3305.08	c      3305            102         101         1         -84.0000        -499.2828    494.38%
3304.29/3315.91	c      3316            105         104         1         -84.0000        -499.2828    494.38%
3312.38/3324.05	c      3324            109         108         1         -84.0000        -499.2828    494.38%
3331.12/3342.87	c      3343            110         109         1         -84.0000        -499.2828    494.38%
3336.60/3348.31	c      3348            118         117         1         -84.0000        -499.2828    494.38%
3341.78/3353.50	c      3354            123         122         1         -84.0000        -499.2828    494.38%
3363.72/3375.52	c      3376            128         129         1         -84.0000        -499.2828    494.38%
3368.82/3380.64	c      3381            151         150         1         -84.0000        -499.2828    494.38%
3377.19/3389.03	c      3389            283         174         1         -84.0000        -499.2828    494.38%
3382.67/3394.54	c      3395            331         176         1         -84.0000        -499.2828    494.38%
3393.44/3405.36	c      3405            362         177         1         -84.0000        -499.0410    494.10%
3508.01/3520.29	c      3520            363         178         1         -84.0000        -499.0410    494.10%
3513.19/3525.44	c      3525            364         179         1         -84.0000        -499.0410    494.10%
3520.87/3533.11	c      3533            365         180         1         -84.0000        -499.0410    494.10%
3530.24/3542.60	c      3543            367         182         1         -84.0000        -499.0410    494.10%
3585.88/3598.40	c      3598            367         182         0         -84.0000        -499.0410    494.10%
3585.98/3598.45	c SCIP Status        : c solving was interrupted [hard time limit reached]
3585.98/3598.45	c Total Time         : 3598.45
3585.98/3598.45	c   solving          : 3598.45
3585.98/3598.45	c   presolving       : 0.92 (included in solving)
3585.98/3598.45	c B&B Tree           :
3585.98/3598.45	c   nodes (total)    : 1
3585.98/3598.45	c Solution           :
3585.98/3598.45	c   Solutions found  : 7
3585.98/3598.45	c   Primal Bound     : -8.40000000000000e+01
3585.98/3598.45	c   Dual Bound       : -4.99040987454511e+02
3585.98/3598.45	c Gap                : 494.09641 %
3585.98/3598.45	c * Warning: final gap: 4.94096e+00 is greater than SCIPepsilon: 1.00000e-09
3586.08/3598.50	o -84
3586.08/3598.50	s SATISFIABLE
3586.08/3598.50	v -x1741 -x1615 -x1703 -x1445 -x1623 -x1831 -x1778 -x1433 -x1885 -x1363 -x1726 -x1716 -x1931 -x1221 -x1513 -x1945 -x1820 -x1464 -x1788 
3586.08/3598.50	v -x1539 -x1742 -x1852 -x1270 -x1770 -x1902 -x1497 -x1681 -x1876 -x1789 -x1971 -x1275 -x1997 x1956 -x1926 x1929 -x1605 -x1714 
3586.08/3598.50	v -x1367 -x1808 -x1922 -x1600 -x1535 -x1585 -x1410 -x1772 -x1184 -x1110 -x1896 -x1927 -x1373 -x1892 -x1299 -x1272 -x1469 -x1029 
3586.08/3598.50	v -x1493 -x1983 -x1763 -x1510 -x1350 -x1895 -x1138 -x1877 -x1542 -x1524 -x1514 -x1734 -x1531 -x1393 -x1661 -x1343 -x1828 
3586.08/3598.50	v x1641 -x1170 -x1913 -x1618 -x1516 -x1342 -x1786 -x1400 -x1793 -x1284 -x1399 -x1667 -x1557 x1842 -x1697 -x1879 -x1473 -x1943 -x1924 
3586.08/3598.50	v -x1141 x1813 -x1614 x1447 -x1360 -x1257 -x1964 -x1974 -x1559 -x1086 -x1928 -x1841 -x1907 -x1700 -x1815 -x1379 -x1025 -x1604 
3586.08/3598.50	v -x1314 -x1950 -x1640 -x1440 -x1321 -x1909 -x1472 -x1326 -x1273 -x1116 -x1548 -x1944 -x1693 -x1873 -x1706 -x1957 -x1809 -x1352 
3586.08/3598.50	v -x1978 -x1175 -x1998 -x1328 -x1988 -x1171 -x1908 -x1682 -x1544 x1460 -x1387 -x1065 -x1936 -x1751 -x1423 -x1787 -x1185 -x1602 
3586.08/3598.50	v -x1753 -x1722 -x1662 -x1567 -x1474 x1441 -x1378 -x1258 -x1589 -x1656 -x1398 -x1385 x1893 -x1179 -x1764 -x1381 -x1860 -x1031 
3586.08/3598.50	v x1543 -x1754 -x1565 -x1383 -x1099 -x1975 -x1746 -x1649 x1261 -x1103 -x1087 -x1137 -x1952 -x1154 -x1668 -x1837 -x1207 -x1298 
3586.08/3598.50	v -x1049 -x1757 x1691 -x1678 -x1067 x1999 -x1817 -x1760 x1203 -x1195 -x1898 -x1672 -x1050 x1948 -x1197 -x1963 -x1803 -x1761 
3586.08/3598.50	v -x1158 -x1112 -x1785 -x1646 -x1233 -x1632 -x1613 -x1735 -x1686 -x1268 -x1231 -x1658 -x1904 -x1418 -x1897 -x1994 -x1014 -x1986 
3586.08/3598.50	v -x1878 -x1660 -x1413 -x1406 -x1322 -x1183 -x1155 -x1114 -x1071 -x1044 -x1037 -x1018 -x1541 -x1293 -x1984 -x1327 -x1694 -x1249 
3586.08/3598.50	v -x1675 -x1871 -x1093 -x1644 -x1054 x1655 -x1416 -x1671 -x1857 -x1547 -x1013 -x1919 -x1781 -x1747 -x1738 -x1645 -x1536 -x1517 
3586.08/3598.50	v -x1501 -x1481 -x1452 -x1451 -x1421 -x1390 -x1348 -x1325 -x1311 x1267 -x1132 -x1189 -x1457 -x1206 x1850 -x1775 -x1450 -x1840 
3586.08/3598.50	v -x1824 -x1699 -x1241 -x1125 -x1208 -x1784 -x1620 -x1865 -x1973 -x1617 -x1903 -x1894 -x1872 -x1427 -x1679 -x1012 -x1891 -x1838 
3586.08/3598.50	v -x1621 -x1573 -x1453 -x1391 -x1339 -x1186 -x1162 -x1105 -x1150 -x1026 -x1404 -x1068 -x1743 -x1918 -x1281 -x1341 -x1376 -x1669 
3586.08/3598.50	v -x1847 -x1827 -x1946 -x1587 -x1173 x1755 -x1659 -x1288 -x1584 -x1814 -x1812 -x1805 -x1721 -x1684 -x1625 -x1606 -x1578 -x1336 
3586.08/3598.50	v -x1316 -x1282 -x1262 -x1224 -x1166 -x1130 -x1711 -x1230 x1471 -x1255 -x1414 x1949 -x1767 -x1063 x1331 x1674 -x1491 -x1296 
3586.08/3598.50	v -x1947 -x1409 -x1723 -x1942 -x1330 -x1351 -x1783 x1951 -x1495 x1855 x1848 -x1752 -x1583 -x1494 -x1486 -x1485 -x1482 -x1425 -x1402 
3586.08/3598.50	v -x1317 x1289 -x1225 x1630 -x1167 -x1375 x1663 -x1639 x1420 x1905 -x1864 -x1985 -x1178 -x1739 -x1571 -x1407 -x1181 -x1665 
3586.08/3598.50	v -x1024 -x1512 x1534 -x1142 -x1254 x1388 -x1744 -x1329 -x1562 -x1906 -x1834 -x1830 -x1732 -x1715 -x1705 x1598 -x1549 x1417 -x1394 
3586.08/3598.50	v -x1358 -x1356 -x1148 -x1129 -x1020 -x1176 -x1980 -x1832 x1295 -x1689 -x1570 -x1889 -x1702 -x1442 -x1380 -x1248 -x1794 -x1750 
3586.08/3598.50	v -x1880 x1467 -x1582 -x1465 -x1237 -x1476 -x1654 -x1210 -x1269 x1910 -x1323 x1022 -x1932 x1995 -x1937 x1818 -x1707 -x1670 
3586.08/3598.50	v -x1500 -x1430 -x1283 -x1245 -x1229 -x1196 x1118 x1084 -x1123 -x1915 -x1386 -x1779 -x1300 -x1683 -x1560 -x1853 -x1687 x1900 
3586.08/3598.50	v -x1718 -x1377 -x1522 -x1810 -x1177 -x1169 -x1776 -x1209 -x1263 -x1318 -x1597 -x1120 -x1916 -x1856 -x1698 -x1187 -x1007 -x1993 
3586.08/3598.50	v -x1934 -x1911 -x1859 -x1846 -x1791 -x1720 -x1712 x1685 -x1591 -x1490 -x1429 -x1302 -x1294 -x1276 -x1235 -x1182 -x1145 -x1121 
3586.08/3598.50	v -x1047 -x1796 -x1976 -x1749 -x1259 -x1843 -x1737 -x1959 -x1265 x1239 -x1100 -x1795 -x1200 -x1448 -x1041 -x1821 -x1701 -x1875 
3586.08/3598.50	v -x1023 -x1555 -x1222 -x1194 -x1933 -x1372 -x1260 -x1292 -x1862 -x1507 -x1389 -x1140 -x1648 -x1503 -x1244 -x1769 -x1798 -x1160 
3586.08/3598.50	v -x1748 -x1462 -x1977 -x1938 -x1901 -x1858 -x1819 -x1801 -x1634 -x1622 -x1601 -x1563 -x1521 -x1499 -x1466 -x1392 x1361 -x1252 
3586.08/3598.50	v -x1250 -x1243 -x1226 -x1193 -x1191 -x1190 -x1174 x1156 -x1153 x1144 -x1101 -x1069 -x1061 -x1039 -x1969 -x1708 -x1333 -x1987 
3586.08/3598.50	v -x1642 -x1935 -x1729 -x1046 -x1552 -x1368 -x1966 -x1108 -x1285 -x1286 -x1759 -x1274 -x1403 -x1506 -x1637 x1370 -x1104 -x1483 
3586.08/3598.50	v -x1365 -x1771 -x1537 -x1826 x1939 -x1731 -x1581 -x1580 -x1096 -x1979 -x1303 x1338 -x1353 -x1532 -x1638 -x1005 -x1961 -x1925 
3586.08/3598.50	v -x1816 -x1804 x1756 -x1692 x1651 -x1575 -x1546 -x1477 -x1439 -x1432 -x1345 -x1271 -x1213 -x1211 -x1205 x1180 -x1127 -x1113 -x1097 
3586.08/3598.50	v -x1088 -x1083 -x1076 -x1064 -x1058 -x1057 -x1802 -x1965 -x1713 -x1594 -x1599 -x1240 -x1349 -x1340 -x1278 -x1458 -x1301 -x1234 
3586.08/3598.50	v -x1733 -x1364 -x1147 -x1484 -x1960 -x1090 -x1449 -x1854 -x1768 -x1566 -x1958 -x1089 x1550 -x1109 -x1115 -x1523 -x1882 -x1844 
3586.08/3598.50	v -x1740 -x1806 -x1953 -x1217 -x1504 -x1736 -x1883 -x1881 -x1079 -x1540 -x1395 -x1917 -x1955 x1863 -x1825 -x1823 -x1797 -x1780 
3586.08/3598.50	v -x1643 -x1631 -x1576 -x1455 -x1359 -x1319 -x1232 -x1198 -x1161 -x1143 x1133 x1124 -x1075 -x1048 -x1040 -x1017 -x1107 -x1970 
3586.08/3598.50	v -x1015 -x1609 -x1492 -x1914 -x1033 -x1446 -x1628 -x1028 -x1228 -x1920 -x1431 x1725 -x1436 x1981 -x1218 -x1335 -x1306 -x1134 
3586.08/3598.50	v -x1811 -x1034 -x1092 x1556 -x1923 -x1172 -x1149 -x1577 -x1695 -x1287 -x1574 -x1419 -x1188 -x1246 -x1151 x1912 -x1136 -x1677 
3586.08/3598.50	v -x1256 -x1357 -x1561 -x1992 -x1139 -x1496 -x1558 -x1709 -x1426 -x1003 x1982 -x1972 -x1967 -x1930 -x1890 -x1773 -x1704 -x1538 
3586.08/3598.50	v -x1530 -x1412 -x1354 -x1310 x1305 -x1291 -x1280 -x1220 -x1212 -x1204 -x1168 -x1157 x1131 -x1062 -x1060 -x1010 -x1009 -x1991 
3586.08/3598.50	v -x1518 -x1569 x1408 -x1126 -x1511 -x1652 -x1886 -x1035 -x1822 -x1899 -x1251 -x1016 -x1529 -x1320 -x1307 -x1264 -x1867 -x1066 
3586.08/3598.50	v -x1078 -x1719 -x1216 -x1192 -x1315 -x1070 -x1111 -x1765 -x1444 -x1545 -x1498 x1626 -x1456 -x1636 -x1758 -x1572 -x1884 -x1042 
3586.08/3598.50	v -x1135 -x1564 -x1119 -x1266 -x1102 -x1242 -x1478 -x1438 x1996 -x1868 -x1052 -x1146 -x1081 -x1627 -x1215 -x1002 -x1954 -x1839 
3586.08/3598.50	v -x1836 -x1833 -x1730 -x1710 -x1696 -x1690 -x1688 -x1657 -x1619 -x1612 -x1607 -x1596 -x1588 -x1526 -x1509 -x1505 -x1470 -x1468 
3586.08/3598.50	v -x1443 x1396 -x1346 -x1324 -x1312 -x1308 -x1297 -x1290 -x1238 -x1163 -x1122 -x1106 -x1077 -x1059 -x1056 -x1051 -x1045 -x1030 
3586.08/3598.50	v -x1019 -x1595 -x1568 -x1727 -x1508 -x1533 -x1401 -x1098 -x1397 -x1479 -x1004 -x1870 -x1463 -x1525 -x1313 -x1247 -x1610 -x1551 
3586.08/3598.50	v -x1592 -x1371 -x1807 -x1502 -x1520 -x1515 x1777 -x1647 -x1344 -x1553 -x1579 -x1219 -x1159 -x1590 -x1792 -x1435 -x1653 x1887 
3586.08/3598.50	v -x1095 -x1528 -x1664 -x1480 -x1799 -x1279 -x1475 -x1762 -x1304 -x1888 x1745 -x1091 -x1851 -x1940 -x1489 -x1869 x1434 -x1128 
3586.08/3598.50	v -x1001 x2000 -x1962 -x1845 -x1835 -x1790 x1782 -x1673 -x1635 -x1629 -x1603 -x1593 x1527 -x1519 -x1488 -x1459 -x1437 -x1424 
3586.08/3598.50	v -x1422 -x1405 -x1369 -x1355 -x1337 -x1334 -x1253 -x1201 x1165 -x1164 -x1152 -x1117 -x1082 -x1080 -x1055 -x1036 -x1032 -x1008 
3586.08/3598.50	v -x1717 -x1043 -x1990 -x1428 -x1724 -x1586 -x1554 x1989 -x1774 -x1223 -x1616 -x1094 -x1866 -x1202 x1608 x1624 -x1236 -x1666 -x1214 
3586.08/3598.50	v -x1038 -x1454 -x1366 -x1011 -x1072 -x1941 -x1362 -x1800 -x1309 -x1085 -x1728 -x1347 -x1968 -x1053 -x1874 -x1384 -x1461 -x1332 
3586.08/3598.50	v -x1374 -x1680 -x1006 -x1415 -x1487 x1829 -x1227 -x1021 -x1411 -x1199 -x1861 -x1849 -x1027 -x1382 -x1074 -x1650 -x1921 x1633 
3586.08/3598.50	v x1277 -x1073 -x1611 -x1766 -x1676 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 x993 -x992 x991 -x990 -x989 x988 -x987 -x986 
3586.08/3598.50	v -x985 -x984 -x983 -x982 -x981 x980 x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 x969 x968 x967 -x966 -x965 -x964 
3586.08/3598.50	v x963 -x962 x961 x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 x943 x942 
3586.08/3598.50	v -x941 -x940 -x939 -x938 x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 x928 -x927 -x926 x925 -x924 -x923 -x922 -x921 
3586.08/3598.50	v -x920 -x919 -x918 -x917 x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 x903 -x902 -x901 -x900 -x899 
3586.08/3598.50	v -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 x890 -x889 x888 -x887 -x886 x885 -x884 -x883 -x882 x881 -x880 -x879 -x878 
3586.08/3598.50	v -x877 -x876 -x875 -x874 x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 x864 -x863 -x862 -x861 -x860 -x859 x858 -x857 
3586.08/3598.50	v -x856 -x855 -x854 x853 -x852 -x851 -x850 x849 -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 x837 -x836 -x835 
3586.08/3598.50	v -x834 x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 
3586.08/3598.50	v -x813 -x812 -x811 -x810 x809 x808 x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 
3586.08/3598.50	v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 
3586.08/3598.50	v -x770 x769 -x768 -x767 -x766 -x765 -x764 x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 
3586.08/3598.50	v -x749 -x748 x747 x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 
3586.08/3598.50	v -x728 -x727 -x726 -x725 -x724 x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 x710 -x709 -x708 
3586.08/3598.50	v -x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 x686 
3586.08/3598.50	v -x685 x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 
3586.08/3598.50	v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 
3586.08/3598.50	v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 
3586.08/3598.50	v -x622 -x621 -x620 -x619 x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 
3586.08/3598.50	v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 
3586.08/3598.50	v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 
3586.08/3598.50	v -x559 -x558 -x557 -x556 -x555 -x554 -x553 x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 -x539 
3586.08/3598.50	v -x538 -x537 -x536 -x535 -x534 -x533 -x532 x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 
3586.08/3598.50	v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 
3586.08/3598.50	v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 
3586.08/3598.50	v -x475 x474 x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 
3586.08/3598.50	v -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 
3586.08/3598.50	v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 
3586.08/3598.50	v -x411 -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 
3586.08/3598.50	v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 
3586.08/3598.50	v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 x349 
3586.08/3598.50	v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 
3586.08/3598.50	v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 
3586.08/3598.50	v -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 
3586.08/3598.50	v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 
3586.08/3598.50	v -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 
3586.08/3598.50	v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 
3586.08/3598.50	v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 
3586.08/3598.50	v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 
3586.08/3598.50	v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 
3586.08/3598.50	v x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 
3586.18/3598.63	v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 
3586.18/3598.63	v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 
3586.18/3598.63	v -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 
3586.18/3598.63	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 
3586.18/3598.63	v -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 
3586.18/3598.63	v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-84

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 (60805 MiB free)
  memory of node 1: 64510 MiB (62742 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464772-1722382194/watcher-4464772-1722382194 -o /tmp/evaluation-result-4464772-1722382194/solver-4464772-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30698 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464772-1722382194.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
Current StackSize limit: 8192 KiB

solver pid=33524, runsolver pid=33521

[startup+0.100554 s]*
/proc/loadavg: 4.19 4.14 4.05 5/266 33525
/proc/meminfo: memFree=126450500/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=86892 memory=73432 CPUtime=0.09 cores=1,3
/proc/33524/stat : 33524 (fscip) R 33521 33524 30686 0 -1 4194304 16230 0 0 0 7 2 0 0 20 0 1 0 4816846 88977408 18358 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 21723 18358 2363 3035 0 18119 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86892 KiB
Current children cumulated memory: 73432 KiB

[startup+0.205578 s]*
/proc/loadavg: 4.19 4.14 4.05 5/266 33525
/proc/meminfo: memFree=126402712/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=133100 memory=120088 CPUtime=0.19 cores=1,3
/proc/33524/stat : 33524 (fscip) R 33521 33524 30686 0 -1 4194304 27863 0 0 0 15 4 0 0 20 0 1 0 4816846 136294400 30022 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 33275 30022 2363 3035 0 29671 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 133100 KiB
Current children cumulated memory: 120088 KiB

[startup+0.305617 s]*
/proc/loadavg: 4.19 4.14 4.05 5/266 33525
/proc/meminfo: memFree=126336484/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=200348 memory=189764 CPUtime=0.29 cores=1,3
/proc/33524/stat : 33524 (fscip) R 33521 33524 30686 0 -1 4194304 46441 0 0 0 23 6 0 0 20 0 1 0 4816846 205156352 47441 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 50087 47441 2571 3035 0 46483 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 200348 KiB
Current children cumulated memory: 189764 KiB

[startup+0.700233 s]
/proc/loadavg: 4.19 4.14 4.05 5/266 33525
/proc/meminfo: memFree=126263068/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=318892 memory=305640 CPUtime=0.68 cores=1,3
/proc/33524/stat : 33524 (fscip) R 33521 33524 30686 0 -1 4194304 74897 0 0 0 58 10 0 0 20 0 1 0 4816846 326545408 76410 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 79723 76410 2614 3035 0 76119 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 318892 KiB
Current children cumulated memory: 305640 KiB

[startup+1.50043 s]
/proc/loadavg: 4.19 4.14 4.05 5/259 33561
/proc/meminfo: memFree=126244716/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=431644 memory=343984 CPUtime=1.49 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 86138 0 0 0 137 12 0 0 20 0 3 0 4816846 442003456 85996 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 107911 85996 2710 3035 0 90118 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 431644 KiB
Current children cumulated memory: 343984 KiB

[startup+3.10554 s]
/proc/loadavg: 4.17 4.14 4.05 5/266 33573
/proc/meminfo: memFree=126020848/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=500012 memory=451516 CPUtime=3.07 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 119459 0 0 0 291 16 0 0 20 0 3 0 4816846 512012288 112879 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 125003 112879 2950 3035 0 117763 0
[pid=33524/tid=33572] ppid=33521 vsize=500012 memory=198340509722 CPUtime=1.6 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 35474 0 0 0 156 4 0 0 20 0 3 0 4816992 512012288 112879 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=500012 memory=-6000919476984703340 CPUtime=0 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4816996 512012288 112879 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 500012 KiB
Current children cumulated memory: 451516 KiB

[startup+6.30053 s]
/proc/loadavg: 4.17 4.14 4.05 5/268 33576
/proc/meminfo: memFree=125863344/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=589596 memory=493496 CPUtime=6.24 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 127888 0 0 0 606 18 0 0 20 0 3 0 4816846 603746304 123374 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 147399 123374 2950 3035 0 129925 0
[pid=33524/tid=33572] ppid=33521 vsize=589596 memory=203008 CPUtime=4.76 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 43897 0 0 0 470 6 0 0 20 0 3 0 4816992 603746304 123374 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=589596 memory=489436 CPUtime=0 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4816996 603746304 123374 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 589596 KiB
Current children cumulated memory: 493496 KiB

[startup+12.7005 s]
/proc/loadavg: 4.22 4.15 4.06 5/268 33632
/proc/meminfo: memFree=125767768/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=610660 memory=544232 CPUtime=12.58 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 162625 0 0 0 1236 22 0 0 20 0 3 0 4816846 625315840 136058 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 152665 136058 2998 3035 0 144383 0
[pid=33524/tid=33572] ppid=33521 vsize=610660 memory=530124 CPUtime=11.11 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 78316 0 0 0 1101 10 0 0 20 0 3 0 4816992 625315840 136058 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=610660 memory=11360 CPUtime=0 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4816996 625315840 136058 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 610660 KiB
Current children cumulated memory: 544232 KiB

[startup+25.5005 s]
/proc/loadavg: 4.19 4.14 4.06 5/268 33635
/proc/meminfo: memFree=125726780/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=613504 memory=563104 CPUtime=25.26 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 215696 0 0 0 2500 26 0 0 20 0 3 0 4816846 628228096 140776 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 153376 140776 2998 3035 0 148977 0
[pid=33524/tid=33572] ppid=33521 vsize=613504 memory=225 CPUtime=23.78 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 131373 0 0 0 2364 14 0 0 20 0 3 0 4816992 628228096 140776 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=613504 memory=559212 CPUtime=0 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4816996 628228096 140776 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 613504 KiB
Current children cumulated memory: 563104 KiB

[startup+51.1055 s]
/proc/loadavg: 4.19 4.15 4.06 5/267 33638
/proc/meminfo: memFree=125700024/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=582264 CPUtime=50.61 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 306155 0 0 0 5028 33 0 0 20 0 3 0 4816846 706260992 145566 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 172427 145566 2998 3035 0 154943 0
[pid=33524/tid=33572] ppid=33521 vsize=689708 memory=582260 CPUtime=49.13 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 221818 0 0 0 4892 21 0 0 20 0 3 0 4816992 706260992 145566 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=689708 memory=573484 CPUtime=0 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 4816996 706260992 145566 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 50.61 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 582264 KiB

[startup+102.301 s]
/proc/loadavg: 4.13 4.14 4.06 5/267 33648
/proc/meminfo: memFree=125661640/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=583248 CPUtime=101.29 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 350639 0 0 0 10093 36 0 0 20 0 3 0 4816846 706260992 145812 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 172427 145812 2998 3035 0 156661 0
[pid=33524/tid=33572] ppid=33521 vsize=689708 memory=583248 CPUtime=99.82 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 266280 0 0 0 9958 24 0 0 20 0 3 0 4816992 706260992 145812 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=689708 memory=583248 CPUtime=0 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 71 0 0 0 0 0 0 0 20 0 3 0 4816996 706260992 145812 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 101.29 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 583248 KiB

[startup+162.301 s]
/proc/loadavg: 4.16 4.14 4.07 5/267 33658
/proc/meminfo: memFree=125613964/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=592084 CPUtime=160.71 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 394373 0 0 0 16031 40 0 0 20 0 3 0 4816846 706260992 148021 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 172427 148021 2998 3035 0 157266 0
[pid=33524/tid=33572] ppid=33521 vsize=689708 memory=592084 CPUtime=159.24 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 309612 0 0 0 15896 28 0 0 20 0 3 0 4816992 706260992 148021 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=689708 memory=592084 CPUtime=0 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 4816996 706260992 148021 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 160.71 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 592084 KiB

[startup+222.301 s]
/proc/loadavg: 4.17 4.14 4.07 5/266 33668
/proc/meminfo: memFree=125587980/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=592084 CPUtime=220.12 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 406312 0 0 0 21971 41 0 0 20 0 3 0 4816846 706260992 148021 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 172427 148021 2998 3035 0 157266 0
[pid=33524/tid=33572] ppid=33521 vsize=689708 memory=13044 CPUtime=218.64 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 321539 0 0 0 21835 29 0 0 20 0 3 0 4816992 706260992 148021 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=689708 memory=1960 CPUtime=0 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 97 0 0 0 0 0 0 0 20 0 3 0 4816996 706260992 148021 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 220.12 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 592084 KiB

[startup+282.301 s]
/proc/loadavg: 4.11 4.13 4.07 5/265 33681
/proc/meminfo: memFree=125559296/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=599080 CPUtime=279.55 cores=1,3

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

[pid=33524] ppid=33521 vsize=755244 memory=652760 CPUtime=3390.45 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 660050 0 0 0 338980 65 0 0 20 0 3 0 4816846 773369856 163190 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 188811 163190 3014 3035 0 170220 0
[pid=33524/tid=33572] ppid=33521 vsize=755244 memory=627092 CPUtime=3388.91 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 573990 0 0 0 338842 49 0 0 20 0 3 0 4816992 773369856 163190 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=755244 memory=630000 CPUtime=0.04 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 500 0 0 0 1 3 0 0 20 0 3 0 4816996 773369856 163190 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 3390.45 s
Current children cumulated vsize: 755244 KiB
Current children cumulated memory: 652760 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 35369
/proc/meminfo: memFree=121125420/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=646612 CPUtime=3450.28 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 665072 0 0 0 344962 66 0 0 20 0 3 0 4816846 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 172427 161653 3014 3035 0 167202 0
[pid=33524/tid=33572] ppid=33521 vsize=689708 memory=627092 CPUtime=3448.74 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 579003 0 0 0 344824 50 0 0 20 0 3 0 4816992 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=689708 memory=11360 CPUtime=0.04 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 507 0 0 0 1 3 0 0 20 0 3 0 4816996 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 3450.28 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 646612 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 35549
/proc/meminfo: memFree=121122272/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=646612 CPUtime=3510.1 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 669658 0 0 0 350944 66 0 0 20 0 3 0 4816846 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 172427 161653 3014 3035 0 167202 0
[pid=33524/tid=33572] ppid=33521 vsize=689708 memory=646612 CPUtime=3508.56 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 583561 0 0 0 350806 50 0 0 20 0 3 0 4816992 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=689708 memory=11360 CPUtime=0.04 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 514 0 0 0 1 3 0 0 20 0 3 0 4816996 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 3510.1 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 646612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 35559
/proc/meminfo: memFree=121114828/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=646612 CPUtime=3569.92 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 675040 0 0 0 356925 67 0 0 20 0 3 0 4816846 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 172427 161653 3014 3035 0 167202 0
[pid=33524/tid=33572] ppid=33521 vsize=689708 memory=11360 CPUtime=3568.39 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 588931 0 0 0 356788 51 0 0 20 0 3 0 4816992 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=689708 memory=646612 CPUtime=0.04 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 521 0 0 0 1 3 0 0 20 0 3 0 4816996 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 3569.92 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 646612 KiB

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

# cumulated CPU time of all completed processes:  user=3585.52 s, system=0.696018 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 35560
/proc/meminfo: memFree=121114716/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=646612 CPUtime=3571.62 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 675040 0 0 0 357095 67 0 0 20 0 3 0 4816846 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 172427 161653 3014 3035 0 167202 0
[pid=33524/tid=33572] ppid=33521 vsize=689708 memory=-7163093423917981049 CPUtime=3570.09 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 588931 0 0 0 356958 51 0 0 20 0 3 0 4816992 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=689708 memory=4426362905571258013 CPUtime=0.04 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 521 0 0 0 1 3 0 0 20 0 3 0 4816996 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 646612 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 35561
/proc/meminfo: memFree=121114732/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=646612 CPUtime=3578 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 677322 0 0 0 357733 67 0 0 20 0 3 0 4816846 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 172427 161653 3014 3035 0 167202 0
[pid=33524/tid=33572] ppid=33521 vsize=689708 memory=646612 CPUtime=3576.46 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 591212 0 0 0 357595 51 0 0 20 0 3 0 4816992 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=689708 memory=646612 CPUtime=0.04 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 522 0 0 0 1 3 0 0 20 0 3 0 4816996 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 3578 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 646612 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 35561
/proc/meminfo: memFree=121114744/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=646612 CPUtime=3581.19 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 677405 0 0 0 358052 67 0 0 20 0 3 0 4816846 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 172427 161653 3014 3035 0 167202 0
[pid=33524/tid=33572] ppid=33521 vsize=689708 memory=646612 CPUtime=3579.65 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 591295 0 0 0 357914 51 0 0 20 0 3 0 4816992 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=689708 memory=4426362905571258013 CPUtime=0.04 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 522 0 0 0 1 3 0 0 20 0 3 0 4816996 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 3581.19 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 646612 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 35563
/proc/meminfo: memFree=121114528/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=646612 CPUtime=3584.38 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 678485 0 0 0 358371 67 0 0 20 0 3 0 4816846 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 172427 161653 3014 3035 0 167202 0
[pid=33524/tid=33572] ppid=33521 vsize=689708 memory=1804 CPUtime=3582.84 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 592375 0 0 0 358233 51 0 0 20 0 3 0 4816992 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=689708 memory=646612 CPUtime=0.04 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 522 0 0 0 1 3 0 0 20 0 3 0 4816996 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 3584.38 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 646612 KiB

[startup+3597.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 35563
/proc/meminfo: memFree=121114600/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=646612 CPUtime=3585.18 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 678485 0 0 0 358451 67 0 0 20 0 3 0 4816846 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 172427 161653 3014 3035 0 167202 0
[pid=33524/tid=33572] ppid=33521 vsize=689708 memory=12760 CPUtime=3583.64 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 592375 0 0 0 358313 51 0 0 20 0 3 0 4816992 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=689708 memory=11360 CPUtime=0.04 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 522 0 0 0 1 3 0 0 20 0 3 0 4816996 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 3585.18 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 646612 KiB

[startup+3598.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 35563
/proc/meminfo: memFree=121114600/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=689708 memory=646612 CPUtime=3585.98 cores=1,3
/proc/33524/stat : 33524 (fscip) S 33521 33524 30686 0 -1 1077936128 678567 0 0 0 358531 67 0 0 20 0 3 0 4816846 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 172427 161653 3014 3035 0 167202 0
[pid=33524/tid=33572] ppid=33521 vsize=689708 memory=2700 CPUtime=3584.44 cores=1,3
/proc/33524/task/33572/stat : 33572 (fscip) R 33521 33524 30686 0 -1 4194368 592471 0 0 0 358393 51 0 0 20 0 3 0 4816992 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
[pid=33524/tid=33573] ppid=33521 vsize=689708 memory=11360 CPUtime=0.04 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 522 0 0 0 1 3 0 0 20 0 3 0 4816996 706260992 161653 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 3585.98 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 646612 KiB

[startup+3598.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 35563
/proc/meminfo: memFree=121114600/131524600 swapFree=131071996/131071996
[pid=33524] ppid=33521 vsize=619824 memory=588460 CPUtime=3586.18 cores=1,3
/proc/33524/stat : 33524 (fscip) R 33521 33524 30686 0 -1 4194304 687003 0 0 0 358550 68 0 0 20 0 2 0 4816846 634699776 147115 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
/proc/33524/statm: 154956 147115 3014 3035 0 149731 0
[pid=33524/tid=33573] ppid=33521 vsize=619824 memory=13044 CPUtime=0.04 cores=1,3
/proc/33524/task/33573/stat : 33573 (fscip) S 33521 33524 30686 0 -1 1077936192 522 0 0 0 1 3 0 0 20 0 2 0 4816996 634699776 147115 134679101440 4194304 16623229 140724888627520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 36466688 140724888634390 140724888634506 140724888634506 140724888641520 0
Current children cumulated CPU time: 3586.18 s
Current children cumulated vsize: 619824 KiB
Current children cumulated memory: 588460 KiB

Child status: 0

Real time (s): 3598.63
CPU time (s): 3586.22
CPU user time (s): 3585.52
CPU system time (s): 0.696018
CPU usage (%): 99.6551
Max. virtual memory (cumulated for all children) (KiB): 755244
Max. memory (cumulated for all children) (KiB): 656856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.52
system time used= 0.696018
maximum resident set size= 656856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 691260
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= 3895
involuntary context switches= 5826


# summary of solver processes directly reported to runsolver:
#   pid: 33524
#   total CPU time (s): 3586.22
#   total CPU user time (s): 3585.52
#   total CPU system time (s): 0.696018

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01007 second user time and 18.9027 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-31 01:29:54
IDJOB=4464772
IDBENCH=148664
IDSOLVER=3092
FILE ID=nodeC018/4464772-1722382194
RUNJOBID= nodeC018-1722378594-30698
SLURM_JOB_ID= 8249831
Free space on /tmp= 889972 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_5.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-4464772-1722382194/watcher-4464772-1722382194 -o /tmp/evaluation-result-4464772-1722382194/solver-4464772-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30698 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464772-1722382194.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 65b4d1c4023a2b46e150e438eeed87ff
RANDOM SEED=1367756045

nodeC018.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		: 3667.986
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.92
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		: 3677.504
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	: 7007.08
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.397
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.92
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		: 3665.647
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	: 7007.08
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		: 3667.945
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.92
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		: 3674.254
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	: 7007.08
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		: 3600.033
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.92
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		: 3600.608
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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126513836 kB
MemAvailable:   128056596 kB
Buffers:          101108 kB
Cached:          2261320 kB
SwapCached:            0 kB
Active:           272372 kB
Inactive:        4227892 kB
Active(anon):       1532 kB
Inactive(anon):  2157640 kB
Active(file):     270840 kB
Inactive(file):  2070252 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             58688 kB
Writeback:             0 kB
AnonPages:       2137944 kB
Mapped:           124460 kB
Shmem:             21336 kB
KReclaimable:      82628 kB
Slab:             167600 kB
SReclaimable:      82628 kB
SUnreclaim:        84972 kB
KernelStack:        4272 kB
PageTables:        13268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1789408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1136640 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:      148180 kB
DirectMap2M:    10110976 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 889904 MiB
End job on nodeC018 at 2024-07-31 02:29:53