Trace number 4460019

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-02SAT-76992 3590.72 3601.06

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-60.opb
MD5SUM93ed2607cb9e7eaa6de474e9ba688804
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-82737
Best CPU time to get the best result obtained on this benchmark3600.13
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 52575
Biggest coefficient in the objective function 13565
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 6490280
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 13565
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 6490280
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)52515
Sum of products size (including duplicates)172450
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.20/0.21	c Default LC presolving (default).
0.20/0.21	c ** Before presolving: virtualMemUsedAtLc = 267824534, getVmSize() = 198123520, SCIPgetMemUsed() = 148469914, SCIPgetMemTotal() = 170864258, SCIPgetMemExternEstim() = 96960276
0.20/0.21	c ** set memory limit for presolving in LC to 8.79601e+12 for SCIP **
12.44/12.53	c ** Estimated virtualMemUsedAtSolver = 474755928, getVmSize() = 651091968, SCIPgetMemUsed() = 442682312, SCIPgetMemTotal() = 615173616, SCIPgetMemExternEstim() = 96960276
12.44/12.53	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
12.44/12.53	c Original Problem   :
12.44/12.53	c   Problem name     : instance-4460019-1721943068
12.44/12.53	c   Variables        : 52575 (60 binary, 0 integer, 52515 implicit integer, 0 continuous)
12.44/12.53	c   Constraints      : 52515
12.44/12.53	c   Objective sense  : minimize
12.44/12.53	c Presolved Problem  :
12.44/12.53	c   Variables        : 52575 (60 binary, 0 integer, 52515 implicit integer, 0 continuous)
12.44/12.53	c   Constraints      : 52515
12.44/12.53	c Constraints        : Number
12.44/12.53	c   and              : 52515 
12.44/12.53	c ** Instance transfer method used: 0
12.54/12.65	c ** ParaScipInstance copy does not increase the number of variables. **
12.65/12.74	c LC is working with racing ramp-up and with rebuilding tree after racing.
12.65/12.74	c                                Nodes    Active                                            
12.65/12.74	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
26.09/26.22	c *      26              0           1         1       -1711.0000                -          -
26.09/26.22	c        26              0           1         1       -1711.0000                -          -
385.91/387.24	c *     387              0           1         1      -65384.0000                -          -
385.91/387.24	c       387              0           1         1      -65384.0000                -          -
422.70/424.11	c       424              2           1         1      -65384.0000    -1581145.9936          -
456.38/457.90	c       458              3           2         1      -65384.0000    -1581145.9936          -
511.49/513.25	c       513              4           3         1      -65384.0000    -1549278.8333          -
538.60/540.43	c       540              5           4         1      -65384.0000    -1549278.8333          -
591.43/593.45	c       593              6           5         1      -65384.0000    -1549278.8333          -
631.70/633.87	c       634              7           6         1      -65384.0000    -1517875.8333          -
689.83/692.11	c       692              8           7         1      -65384.0000    -1517875.8333          -
721.43/723.82	c       724              9           8         1      -65384.0000    -1517875.8333          -
729.89/732.31	c       732             10           9         1      -65384.0000    -1517875.8333          -
764.89/767.46	c       767             11          10         1      -65384.0000    -1517875.8333          -
820.81/823.51	c       824             12          11         1      -65384.0000    -1489899.6667          -
872.26/875.12	c       875             14          13         1      -65384.0000    -1489899.6667          -
901.56/904.55	c       905             15          14         1      -65384.0000    -1489899.6667          -
920.11/923.16	c       923             16          15         1      -65384.0000    -1489899.6667          -
930.98/934.02	c       934             17          16         1      -65384.0000    -1489899.6667          -
968.26/971.45	c       971             18          17         1      -65384.0000    -1489899.6667          -
1007.15/1010.44	c      1010             19          18         1      -65384.0000    -1489899.6667          -
1068.08/1071.58	c      1072             20          19         1      -65384.0000    -1469029.1667          -
1087.73/1091.28	c      1091             21          20         1      -65384.0000    -1469029.1667          -
1130.92/1134.59	c      1135             23          22         1      -65384.0000    -1469029.1667          -
1142.98/1146.65	c      1147             24          23         1      -65384.0000    -1469029.1667          -
1173.90/1177.65	c      1178             25          24         1      -65384.0000    -1469029.1667          -
1184.57/1188.32	c      1188             26          25         1      -65384.0000    -1458780.8333          -
1193.25/1197.06	c      1197             27          26         1      -65384.0000    -1458780.8333          -
1213.39/1217.26	c      1217             29          28         1      -65384.0000    -1458780.8333          -
1245.41/1249.38	c      1249             30          29         1      -65384.0000    -1458780.8333          -
1267.95/1271.95	c      1272             31          30         1      -65384.0000    -1458780.8333          -
1324.09/1328.24	c      1328             32          31         1      -65384.0000    -1439418.6667          -
1329.68/1333.82	c      1334             33          32         1      -65384.0000    -1439418.6667          -
1374.25/1378.56	c      1379             34          33         1      -65384.0000    -1439418.6667          -
1401.68/1406.00	c      1406             36          35         1      -65384.0000    -1439418.6667          -
1425.91/1430.37	c      1430             37          36         1      -65384.0000    -1439418.6667          -
1434.70/1439.19	c      1439             39          38         1      -65384.0000    -1439418.6667          -
1443.77/1448.28	c      1448             40          39         1      -65384.0000    -1439418.6667          -
1449.35/1453.80	c      1454             41          40         1      -65384.0000    -1439418.6667          -
1466.71/1471.22	c      1471             42          41         1      -65384.0000    -1438712.3333          -
1488.74/1493.35	c      1493             44          43         1      -65384.0000    -1438712.3333          -
1521.96/1526.65	c      1527             46          45         1      -65384.0000    -1438712.3333          -
1536.81/1541.52	c *    1542             46          45         1      -76247.0000    -1438712.3333          -
1536.81/1541.52	c      1542             46          45         1      -76247.0000    -1438712.3333          -
1547.49/1552.23	c      1552             49          48         1      -76247.0000    -1438712.3333          -
1558.86/1563.65	c      1564             51          50         1      -76247.0000    -1438712.3333          -
1572.91/1577.78	c      1578             52          51         1      -76247.0000    -1411926.1667          -
1581.90/1586.71	c      1587             54          53         1      -76247.0000    -1411926.1667          -
1599.55/1604.45	c      1604             55          54         1      -76247.0000    -1411926.1667          -
1612.51/1617.44	c      1617             56          55         1      -76247.0000    -1411926.1667          -
1619.79/1624.73	c      1625             58          57         1      -76247.0000    -1411926.1667          -
1632.36/1637.32	c      1637             59          58         1      -76247.0000    -1411926.1667          -
1637.54/1642.50	c      1642             60          59         1      -76247.0000    -1411926.1667          -
1658.78/1663.81	c      1664             62          61         1      -76247.0000    -1411926.1667          -
1706.85/1712.08	c      1712             63          62         1      -76247.0000    -1411926.1667          -
1721.22/1726.40	c      1726             64          63         1      -76247.0000    -1411926.1667          -
1731.79/1737.02	c      1737             65          64         1      -76247.0000    -1411926.1667          -
1738.07/1743.31	c      1743             66          65         1      -76247.0000    -1411926.1667          -
1761.00/1766.30	c      1766             67          66         1      -76247.0000    -1411926.1667          -
1772.67/1778.10	c      1778             68          67         1      -76247.0000    -1411926.1667          -
1778.25/1783.69	c      1784             69          68         1      -76247.0000    -1411926.1667          -
1791.60/1797.05	c      1797             70          69         1      -76247.0000    -1411926.1667          -
1804.26/1809.72	c      1810             71          70         1      -76247.0000    -1411926.1667          -
1828.90/1834.42	c      1834             72          71         1      -76247.0000    -1411565.0000          -
1879.37/1885.06	c      1885             73          72         1      -76247.0000    -1411565.0000          -
1884.85/1890.51	c      1891             74          73         1      -76247.0000    -1411565.0000          -
1921.55/1927.30	c      1927             75          74         1      -76247.0000    -1411565.0000          -
1937.90/1943.77	c      1944             77          76         1      -76247.0000    -1411565.0000          -
1947.07/1952.90	c      1953             79          78         1      -76247.0000    -1411565.0000          -
1989.65/1995.67	c      1996             81          80         1      -76247.0000    -1411565.0000          -
2003.71/2009.77	c      2010             82          81         1      -76247.0000    -1406134.1667          -
2011.10/2017.19	c      2017             83          82         1      -76247.0000    -1406134.1667          -
2032.24/2038.35	c      2038             84          83         1      -76247.0000    -1406134.1667          -
2046.40/2052.57	c      2053             85          84         1      -76247.0000    -1406134.1667          -
2054.17/2060.31	c      2060             86          85         1      -76247.0000    -1406134.1667          -
2061.75/2067.96	c      2068             88          87         1      -76247.0000    -1406134.1667          -
2079.60/2085.81	c      2086             89          88         1      -76247.0000    -1406134.1667          -
2085.08/2091.32	c      2091             90          89         1      -76247.0000    -1406134.1667          -
2118.29/2124.63	c      2125             91          90         1      -76247.0000    -1406134.1667          -
2143.02/2149.40	c      2149             92          91         1      -76247.0000    -1406134.1667          -
2149.20/2155.69	c      2156             93          92         1      -76247.0000    -1406134.1667          -
2168.06/2174.51	c      2175             94          93         1      -76247.0000    -1406134.1667          -
2176.43/2182.92	c      2183             96          95         1      -76247.0000    -1406134.1667          -
2199.97/2206.51	c      2207             98          97         1      -76247.0000    -1406134.1667          -
2209.04/2215.61	c      2216             99          98         1      -76247.0000    -1406134.1667          -
2215.53/2222.14	c      2222            100          99         1      -76247.0000    -1406134.1667          -
2239.36/2246.08	c      2246            101         100         1      -76247.0000    -1406134.1667          -
2248.03/2254.73	c      2255            102         101         1      -76247.0000    -1406134.1667          -
2256.50/2263.28	c      2263            104         103         1      -76247.0000    -1406134.1667          -
2279.26/2286.01	c      2286            105         104         1      -76247.0000    -1406134.1667          -
2292.22/2299.10	c      2299            106         105         1      -76247.0000    -1406134.1667          -
2301.59/2308.42	c      2308            107         106         1      -76247.0000    -1406134.1667          -
2307.28/2314.15	c      2314            108         107         1      -76247.0000    -1406134.1667          -
2337.49/2344.45	c      2344            109         108         1      -76247.0000    -1406134.1667          -
2358.93/2365.92	c      2366            111         110         1      -76247.0000    -1406134.1667          -
2376.88/2383.96	c      2384            112         111         1      -76247.0000    -1405179.0664          -
2390.05/2397.11	c      2397            113         112         1      -76247.0000    -1405179.0664          -
2405.80/2412.99	c      2413            114         113         1      -76247.0000    -1405179.0664          -
2412.38/2419.58	c      2420            115         114         1      -76247.0000    -1405179.0664          -
2440.30/2447.58	c      2448            116         115         1      -76247.0000    -1405179.0664          -
2447.88/2455.18	c      2455            117         116         1      -76247.0000    -1405179.0664          -
2491.66/2499.04	c      2499            118         117         1      -76247.0000    -1405179.0664          -
2532.55/2540.05	c      2540            119         118         1      -76247.0000    -1405179.0664          -
2537.74/2545.20	c      2545            120         119         1      -76247.0000    -1405179.0664          -
2555.59/2563.13	c      2563            122         121         1      -76247.0000    -1391923.8333          -
2562.36/2569.91	c      2570            123         122         1      -76247.0000    -1391923.8333          -
2574.55/2582.17	c      2582            125         124         1      -76247.0000    -1391923.8333          -
2597.18/2604.85	c      2605            127         126         1      -76247.0000    -1391923.8333          -
2608.45/2616.14	c      2616            128         127         1      -76247.0000    -1391923.8333          -
2616.92/2624.62	c      2625            129         128         1      -76247.0000    -1391923.8333          -
2632.88/2640.65	c      2641            130         129         1      -76247.0000    -1391923.8333          -
2644.95/2652.70	c      2653            131         130         1      -76247.0000    -1391923.8333          -
2654.22/2662.01	c      2662            132         131         1      -76247.0000    -1376951.1667          -
2694.12/2702.02	c      2702            133         132         1      -76247.0000    -1376951.1667          -
2713.16/2721.18	c      2721            134         133         1      -76247.0000    -1376951.1667          -
2733.01/2741.07	c      2741            135         134         1      -76247.0000    -1376951.1667          -
2740.88/2748.95	c      2749            136         135         1      -76247.0000    -1376951.1667          -
2767.30/2775.45	c      2775            137         136         1      -76247.0000    -1376951.1667          -
2815.09/2823.36	c      2823            138         137         1      -76247.0000    -1376951.1667          -
2830.35/2838.66	c      2839            139         138         1      -76247.0000    -1376951.1667          -
2845.01/2853.36	c      2853            140         139         1      -76247.0000    -1376951.1667          -
2869.14/2877.51	c      2878            141         140         1      -76247.0000    -1376951.1667          -
2888.79/2897.22	c      2897            142         141         1      -76247.0000    -1376951.1667          -
2900.45/2908.95	c      2909            144         143         1      -76247.0000    -1376951.1667          -
2926.49/2935.01	c      2935            145         144         1      -76247.0000    -1376951.1667          -
2932.97/2941.55	c      2942            146         145         1      -76247.0000    -1376951.1667          -
2943.14/2951.76	c      2952            148         147         1      -76247.0000    -1376951.1667          -
2952.21/2960.83	c      2961            150         149         1      -76247.0000    -1376951.1667          -
2958.40/2967.01	c      2967            151         150         1      -76247.0000    -1376951.1667          -
2978.64/2987.38	c      2987            153         152         1      -76247.0000    -1376951.1667          -
2983.92/2992.64	c      2993            154         153         1      -76247.0000    -1376951.1667          -
3009.05/3017.88	c      3018            155         154         1      -76247.0000    -1376951.1667          -
3047.65/3056.59	c      3057            156         155         1      -76247.0000    -1376951.1667          -
3053.14/3062.02	c      3062            157         156         1      -76247.0000    -1376951.1667          -
3064.01/3072.91	c      3073            159         158         1      -76247.0000    -1376951.1667          -
3086.45/3095.46	c      3095            160         159         1      -76247.0000    -1376951.1667          -
3093.82/3102.83	c      3103            161         160         1      -76247.0000    -1376951.1667          -
3132.42/3141.60	c      3142            162         161         1      -76247.0000    -1376951.1667          -
3138.21/3147.39	c      3147            163         162         1      -76247.0000    -1376951.1667          -
3159.95/3169.19	c      3169            164         163         1      -76247.0000    -1376951.1667          -
3168.12/3177.38	c      3177            165         164         1      -76247.0000    -1376951.1667          -
3179.79/3189.04	c      3189            166         165         1      -76247.0000    -1376951.1667          -
3185.17/3194.42	c      3194            167         166         1      -76247.0000    -1376951.1667          -
3190.46/3199.76	c      3200            168         167         1      -76247.0000    -1376951.1667          -
3195.64/3204.91	c      3205            169         168         1      -76247.0000    -1376951.1667          -
3203.02/3212.35	c      3212            170         169         1      -76247.0000    -1376951.1667          -
3224.36/3233.79	c      3234            171         170         1      -76247.0000    -1376951.1667          -
3250.79/3260.30	c      3260            172         171         1      -76247.0000    -1376951.1667          -
3298.47/3308.09	c      3308            173         172         1      -76247.0000    -1376951.1667          -
3337.46/3347.16	c      3347            174         173         1      -76247.0000    -1376951.1667          -
3357.41/3367.15	c      3367            175         174         1      -76247.0000    -1376951.1667          -
3364.98/3374.79	c      3375            176         175         1      -76247.0000    -1376951.1667          -
3375.65/3385.49	c      3385            177         176         1      -76247.0000    -1376951.1667          -
3400.38/3410.21	c      3410            179         178         1      -76247.0000    -1376951.1667          -
3416.14/3426.09	c      3426            181         180         1      -76247.0000    -1376951.1667          -
3422.81/3432.70	c      3433            182         181         1      -76247.0000    -1376951.1667          -
3428.01/3437.94	c      3438            183         182         1      -76247.0000    -1376951.1667          -
3433.10/3443.02	c      3443            184         183         1      -76247.0000    -1376951.1667          -
3459.62/3469.66	c      3470            185         184         1      -76247.0000    -1376951.1667          -
3464.61/3474.68	c      3475            186         185         1      -76247.0000    -1376951.1667          -
3482.46/3492.59	c      3493            188         187         1      -76247.0000    -1376951.1667          -
3497.02/3507.13	c      3507            189         188         1      -76247.0000    -1376951.1667          -
3510.78/3520.99	c *    3521            189         188         1      -76992.0000    -1376951.1667          -
3510.78/3520.99	c      3521            189         188         1      -76992.0000    -1376951.1667          -
3522.65/3532.87	c      3533            191         190         1      -76992.0000    -1376951.1667          -
3562.34/3572.61	c      3573            193         192         1      -76992.0000    -1376951.1667          -
3569.02/3579.32	c      3579            194         193         1      -76992.0000    -1376951.1667          -
3589.67/3600.09	c      3600            194         193         0      -76992.0000    -1376951.1667          -
3590.26/3600.68	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.26/3600.68	c Total Time         : 3600.6800
3590.26/3600.68	c   solving          : 3600.6800
3590.26/3600.68	c   presolving       : 12.3148 (included in solving)
3590.26/3600.68	c B&B Tree           :
3590.26/3600.68	c   nodes (total)    : 1
3590.26/3600.68	c Solution           :
3590.26/3600.68	c   Solutions found  : 6
3590.26/3600.68	c   Primal Bound     : -7.69920000000000e+04
3590.26/3600.68	c   Dual Bound       : -1.37695116666667e+06
3590.26/3600.68	c Gap                : 1688.43408 %
3590.26/3600.68	c * Warning: final gap: 1.68843e+01 is greater than SCIPepsilon: 1.00000e-09
3590.66/3601.05	o -76992
3590.66/3601.05	s SATISFIABLE
3590.66/3601.05	v -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 
3590.66/3601.05	v x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 x20 x19 x18 x17 x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 
3590.66/3601.05	v -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-76992

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100093 s]*
/proc/loadavg: 4.12 4.11 4.04 5/262 263375
/proc/meminfo: memFree=114686396/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=102744 memory=92472 CPUtime=0.09 cores=0,2
/proc/263374/stat : 263374 (fscip) R 263371 263374 261021 0 -1 4194304 23618 0 0 0 7 2 0 0 20 0 1 0 30830414 105209856 23118 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 25686 23118 2558 3032 0 22086 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 102744 KiB
Current children cumulated memory: 92472 KiB

[startup+0.205867 s]*
/proc/loadavg: 4.12 4.11 4.04 5/262 263375
/proc/meminfo: memFree=114587948/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=190424 memory=176424 CPUtime=0.2 cores=0,2
/proc/263374/stat : 263374 (fscip) R 263371 263374 261021 0 -1 4194304 44594 0 0 0 15 5 0 0 20 0 1 0 30830414 194994176 44106 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 47606 44106 2558 3032 0 44006 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 190424 KiB
Current children cumulated memory: 176424 KiB

[startup+0.305785 s]*
/proc/loadavg: 4.12 4.11 4.04 6/262 263375
/proc/meminfo: memFree=114551324/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=223048 memory=203592 CPUtime=0.3 cores=0,2
/proc/263374/stat : 263374 (fscip) R 263371 263374 261021 0 -1 4194304 51400 0 0 0 24 6 0 0 20 0 1 0 30830414 228401152 50898 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 55762 50898 2590 3032 0 52162 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 223048 KiB
Current children cumulated memory: 203592 KiB

[startup+0.700232 s]
/proc/loadavg: 4.12 4.11 4.04 5/262 263375
/proc/meminfo: memFree=114520552/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=252320 memory=229880 CPUtime=0.69 cores=0,2
/proc/263374/stat : 263374 (fscip) R 263371 263374 261021 0 -1 4194304 58079 0 0 0 62 7 0 0 20 0 1 0 30830414 258375680 57470 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 63080 57470 2606 3032 0 59480 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 252320 KiB
Current children cumulated memory: 229880 KiB

[startup+1.50024 s]
/proc/loadavg: 4.12 4.11 4.04 5/262 263375
/proc/meminfo: memFree=114511580/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=252512 memory=230936 CPUtime=1.49 cores=0,2
/proc/263374/stat : 263374 (fscip) R 263371 263374 261021 0 -1 4194304 58352 0 0 0 142 7 0 0 20 0 1 0 30830414 258572288 57734 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 63128 57734 2606 3032 0 59528 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 252512 KiB
Current children cumulated memory: 230936 KiB

[startup+3.10579 s]
/proc/loadavg: 4.11 4.11 4.04 4/257 263389
/proc/meminfo: memFree=115179156/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=253768 memory=231728 CPUtime=3.08 cores=0,2
/proc/263374/stat : 263374 (fscip) R 263371 263374 261021 0 -1 4194304 58554 0 0 0 301 7 0 0 20 0 1 0 30830414 259858432 57932 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 63442 57932 2606 3032 0 59842 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 253768 KiB
Current children cumulated memory: 231728 KiB

[startup+6.30022 s]
/proc/loadavg: 4.11 4.11 4.04 5/262 263471
/proc/meminfo: memFree=115087220/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=254280 memory=232256 CPUtime=6.27 cores=0,2
/proc/263374/stat : 263374 (fscip) R 263371 263374 261021 0 -1 4194304 58684 0 0 0 619 8 0 0 20 0 1 0 30830414 260382720 58064 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 63570 58064 2606 3032 0 59970 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 254280 KiB
Current children cumulated memory: 232256 KiB

[startup+12.7008 s]
/proc/loadavg: 4.10 4.11 4.04 4/253 263504
/proc/meminfo: memFree=115219068/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=748380 memory=578212 CPUtime=12.65 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 155505 0 0 0 1243 22 0 0 20 0 2 0 30830414 766341120 144553 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 187095 144553 2686 3032 0 182235 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 748380 KiB
Current children cumulated memory: 578212 KiB

[startup+25.5003 s]
/proc/loadavg: 3.93 4.07 4.03 4/255 263508
/proc/meminfo: memFree=114409156/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=1287896 memory=1017280 CPUtime=25.38 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 340628 0 0 0 2497 41 0 0 20 0 3 0 30830414 1318805504 254320 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 321974 254320 2798 3032 0 303670 0
[pid=263374/tid=263505] ppid=263371 vsize=1287896 memory=5468 CPUtime=12.78 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 199970 0 0 0 1257 21 0 0 20 0 3 0 30831668 1318805504 254320 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=1287896 memory=-6226060906797906795 CPUtime=0 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 30831689 1318805504 254320 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1287896 KiB
Current children cumulated memory: 1017280 KiB

[startup+51.1056 s]
/proc/loadavg: 3.61 3.98 4.00 4/255 263513
/proc/meminfo: memFree=114253676/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=1287896 memory=1053936 CPUtime=50.91 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 427067 0 0 0 5043 48 0 0 20 0 3 0 30830414 1318805504 263484 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 321974 263484 2862 3032 0 314261 0
[pid=263374/tid=263505] ppid=263371 vsize=1287896 memory=1053796 CPUtime=38.29 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 280088 0 0 0 3802 27 0 0 20 0 3 0 30831668 1318805504 263484 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=1287896 memory=1053736 CPUtime=0 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 30831689 1318805504 263484 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1287896 KiB
Current children cumulated memory: 1053936 KiB

[startup+102.3 s]
/proc/loadavg: 2.75 3.69 3.90 3/246 263553
/proc/meminfo: memFree=114314988/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=1287896 memory=1068284 CPUtime=101.91 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 460472 0 0 0 10141 50 0 0 20 0 3 0 30830414 1318805504 267071 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 321974 267071 2878 3032 0 316318 0
[pid=263374/tid=263505] ppid=263371 vsize=1287896 memory=1065764 CPUtime=89.3 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 313472 0 0 0 8900 30 0 0 20 0 3 0 30831668 1318805504 267071 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=1287896 memory=0 CPUtime=0 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 30831689 1318805504 267071 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1287896 KiB
Current children cumulated memory: 1068284 KiB

[startup+162.3 s]
/proc/loadavg: 2.39 3.41 3.79 3/245 263564
/proc/meminfo: memFree=114293704/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=1353432 memory=1091824 CPUtime=161.68 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 490006 0 0 0 16114 54 0 0 20 0 3 0 30830414 1385914368 272956 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 338358 272956 2878 3032 0 319251 0
[pid=263374/tid=263505] ppid=263371 vsize=1353432 memory=1074628 CPUtime=149.07 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 342994 0 0 0 14874 33 0 0 20 0 3 0 30831668 1385914368 272956 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=1353432 memory=13472 CPUtime=0 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 30831689 1385914368 272956 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1353432 KiB
Current children cumulated memory: 1091824 KiB

[startup+222.3 s]
/proc/loadavg: 2.20 3.17 3.68 3/245 263574
/proc/meminfo: memFree=114250692/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=1353432 memory=1123772 CPUtime=221.46 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 510233 0 0 0 22089 57 0 0 20 0 3 0 30830414 1385914368 280943 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 338358 280943 2878 3032 0 323558 0
[pid=263374/tid=263505] ppid=263371 vsize=1353432 memory=1111380 CPUtime=208.85 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 363212 0 0 0 20849 36 0 0 20 0 3 0 30831668 1385914368 280943 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=1353432 memory=13472 CPUtime=0 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 30831689 1385914368 280943 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 1353432 KiB
Current children cumulated memory: 1123772 KiB

[startup+282.3 s]
/proc/loadavg: 2.15 2.98 3.58 3/244 263584
/proc/meminfo: memFree=113801628/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=1674080 memory=1475044 CPUtime=281.28 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 755335 0 0 0 28050 78 0 0 20 0 3 0 30830414 1714257920 368761 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 418520 368761 2974 3032 0 407897 0
[pid=263374/tid=263505] ppid=263371 vsize=1674080 memory=-6226060906797906795 CPUtime=268.68 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 608308 0 0 0 26810 58 0 0 20 0 3 0 30831668 1714257920 368761 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=1674080 memory=1460040 CPUtime=0 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 78 0 0 0 0 0 0 0 20 0 3 0 30831689 1714257920 368761 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 1674080 KiB
Current children cumulated memory: 1475044 KiB

[startup+342.3 s]
/proc/loadavg: 2.22 2.85 3.50 3/244 263595

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

/proc/loadavg: 1.12 1.12 1.23 2/237 265674
/proc/meminfo: memFree=113916516/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=2154436 memory=1801752 CPUtime=3392.5 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 1558221 0 0 0 339079 171 0 0 20 0 3 0 30830414 2206142464 450438 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 538609 450438 2974 3032 0 520529 0
[pid=263374/tid=263505] ppid=263371 vsize=2154436 memory=1795768 CPUtime=3379.82 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 1402945 0 0 0 337836 146 0 0 20 0 3 0 30831668 2206142464 450438 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=2154436 memory=13472 CPUtime=0.04 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 348 0 0 0 1 3 0 0 20 0 3 0 30831689 2206142464 450438 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 3392.5 s
Current children cumulated vsize: 2154436 KiB
Current children cumulated memory: 1801752 KiB

[startup+3462.3 s]
/proc/loadavg: 1.09 1.11 1.22 2/238 265854
/proc/meminfo: memFree=113915856/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=2154436 memory=1801836 CPUtime=3452.34 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 1565506 0 0 0 345062 172 0 0 20 0 3 0 30830414 2206142464 450459 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 538609 450459 2974 3032 0 520648 0
[pid=263374/tid=263505] ppid=263371 vsize=2154436 memory=1795768 CPUtime=3439.66 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 1410199 0 0 0 343819 147 0 0 20 0 3 0 30831668 2206142464 450459 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=2154436 memory=13472 CPUtime=0.04 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 354 0 0 0 1 3 0 0 20 0 3 0 30831689 2206142464 450459 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 2154436 KiB
Current children cumulated memory: 1801836 KiB

[startup+3522.3 s]
/proc/loadavg: 1.13 1.12 1.22 2/238 265864
/proc/meminfo: memFree=113905508/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=2223080 memory=1811052 CPUtime=3512.17 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 1581323 0 0 0 351043 174 0 0 20 0 3 0 30830414 2276433920 452763 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 555770 452763 2974 3032 0 531090 0
[pid=263374/tid=263505] ppid=263371 vsize=2223080 memory=13472 CPUtime=3499.48 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 1425166 0 0 0 349799 149 0 0 20 0 3 0 30831668 2276433920 452763 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=2223080 memory=1809944 CPUtime=0.04 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 358 0 0 0 1 3 0 0 20 0 3 0 30831689 2276433920 452763 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 3512.17 s
Current children cumulated vsize: 2223080 KiB
Current children cumulated memory: 1811052 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.11 1.20 2/240 265935
/proc/meminfo: memFree=113895564/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=2225532 memory=1820372 CPUtime=3572.01 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 1590423 0 0 0 357025 176 0 0 20 0 3 0 30830414 2278944768 455093 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 556383 455093 2974 3032 0 533053 0
[pid=263374/tid=263505] ppid=263371 vsize=2225532 memory=1820308 CPUtime=3559.32 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 1434240 0 0 0 355781 151 0 0 20 0 3 0 30831668 2278944768 455093 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=2225532 memory=1820372 CPUtime=0.04 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 363 0 0 0 1 3 0 0 20 0 3 0 30831689 2278944768 455093 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 2225532 KiB
Current children cumulated memory: 1820372 KiB

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

# cumulated CPU time of all completed processes:  user=3588.94 s, system=1.78567 s

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

[startup+3584 s]*
/proc/loadavg: 1.09 1.11 1.20 2/240 265935
/proc/meminfo: memFree=113895580/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=2225532 memory=1820376 CPUtime=3573.71 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 1590783 0 0 0 357195 176 0 0 20 0 3 0 30830414 2278944768 455094 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 556383 455094 2974 3032 0 533258 0
[pid=263374/tid=263505] ppid=263371 vsize=2225532 memory=7812 CPUtime=3561.02 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 1434600 0 0 0 355951 151 0 0 20 0 3 0 30831668 2278944768 455094 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=2225532 memory=-9054130145026556058 CPUtime=0.04 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 363 0 0 0 1 3 0 0 20 0 3 0 30831689 2278944768 455094 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 3573.71 s
Current children cumulated vsize: 2225532 KiB
Current children cumulated memory: 1820376 KiB

[startup+3590.4 s]
/proc/loadavg: 1.08 1.11 1.20 2/240 265937
/proc/meminfo: memFree=113895228/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=2225532 memory=1820620 CPUtime=3580.09 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 1590858 0 0 0 357833 176 0 0 20 0 3 0 30830414 2278944768 455155 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 556383 455155 2974 3032 0 533263 0
[pid=263374/tid=263505] ppid=263371 vsize=2225532 memory=1820348 CPUtime=3567.4 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 1434675 0 0 0 356589 151 0 0 20 0 3 0 30831668 2278944768 455155 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=2225532 memory=1820372 CPUtime=0.04 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 363 0 0 0 1 3 0 0 20 0 3 0 30831689 2278944768 455155 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 3580.09 s
Current children cumulated vsize: 2225532 KiB
Current children cumulated memory: 1820620 KiB

[startup+3596.8 s]
/proc/loadavg: 1.08 1.11 1.20 5/240 265938
/proc/meminfo: memFree=113894252/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=2225532 memory=1821488 CPUtime=3586.47 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 1591456 0 0 0 358471 176 0 0 20 0 3 0 30830414 2278944768 455372 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 556383 455372 2974 3032 0 533263 0
[pid=263374/tid=263505] ppid=263371 vsize=2225532 memory=1820372 CPUtime=3573.78 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 1435273 0 0 0 357227 151 0 0 20 0 3 0 30831668 2278944768 455372 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=2225532 memory=1820620 CPUtime=0.04 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 363 0 0 0 1 3 0 0 20 0 3 0 30831689 2278944768 455372 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 3586.47 s
Current children cumulated vsize: 2225532 KiB
Current children cumulated memory: 1821488 KiB

[startup+3598.4 s]
/proc/loadavg: 1.08 1.11 1.20 3/240 265940
/proc/meminfo: memFree=113893864/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=2225532 memory=1821488 CPUtime=3588.07 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 1591457 0 0 0 358631 176 0 0 20 0 3 0 30830414 2278944768 455372 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 556383 455372 2974 3032 0 533263 0
[pid=263374/tid=263505] ppid=263371 vsize=2225532 memory=1836 CPUtime=3575.37 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 1435274 0 0 0 357386 151 0 0 20 0 3 0 30831668 2278944768 455372 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=2225532 memory=32160 CPUtime=0.04 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 363 0 0 0 1 3 0 0 20 0 3 0 30831689 2278944768 455372 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 3588.07 s
Current children cumulated vsize: 2225532 KiB
Current children cumulated memory: 1821488 KiB

[startup+3600 s]*
/proc/loadavg: 1.15 1.12 1.20 2/240 265940
/proc/meminfo: memFree=113893864/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=2225532 memory=1821488 CPUtime=3589.67 cores=0,2
/proc/263374/stat : 263374 (fscip) S 263371 263374 261021 0 -1 1077936128 1591458 0 0 0 358791 176 0 0 20 0 3 0 30830414 2278944768 455372 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 556383 455372 2974 3032 0 533269 0
[pid=263374/tid=263505] ppid=263371 vsize=2225532 memory=5284 CPUtime=3576.97 cores=0,2
/proc/263374/task/263505/stat : 263505 (fscip) R 263371 263374 261021 0 -1 4194368 1435275 0 0 0 357546 151 0 0 20 0 3 0 30831668 2278944768 455372 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
[pid=263374/tid=263506] ppid=263371 vsize=2225532 memory=2820 CPUtime=0.04 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 363 0 0 0 1 3 0 0 20 0 3 0 30831689 2278944768 455372 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 3589.67 s
Current children cumulated vsize: 2225532 KiB
Current children cumulated memory: 1821488 KiB

[startup+3600.8 s]
/proc/loadavg: 1.15 1.12 1.20 2/240 265940
/proc/meminfo: memFree=113893864/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=1870688 memory=1648548 CPUtime=3590.46 cores=0,2
/proc/263374/stat : 263374 (fscip) R 263371 263374 261021 0 -1 4194304 1597747 0 0 0 358869 177 0 0 20 0 2 0 30830414 1915584512 412137 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 467672 412137 2974 3032 0 460777 0
[pid=263374/tid=263506] ppid=263371 vsize=1870688 memory=1821492 CPUtime=0.04 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 363 0 0 0 1 3 0 0 20 0 2 0 30831689 1915584512 412137 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 3590.46 s
Current children cumulated vsize: 1870688 KiB
Current children cumulated memory: 1648548 KiB

[startup+3601 s]*
/proc/loadavg: 1.15 1.12 1.20 2/239 265940
/proc/meminfo: memFree=114094624/131524600 swapFree=131056796/131071996
[pid=263374] ppid=263371 vsize=1837856 memory=1615716 CPUtime=3590.66 cores=0,2
/proc/263374/stat : 263374 (fscip) R 263371 263374 261021 0 -1 4194304 1598155 0 0 0 358889 177 0 0 20 0 2 0 30830414 1881964544 403929 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
/proc/263374/statm: 459464 403929 2974 3032 0 452569 0
[pid=263374/tid=263506] ppid=263371 vsize=1837856 memory=-6603046069221489856 CPUtime=0.04 cores=0,2
/proc/263374/task/263506/stat : 263506 (fscip) S 263371 263374 261021 0 -1 1077936192 363 0 0 0 1 3 0 0 20 0 2 0 30831689 1881964544 403929 134679101440 4194304 16613245 140727777415824 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 56737792 140727777424404 140727777424520 140727777424520 140727777431536 0
Current children cumulated CPU time: 3590.66 s
Current children cumulated vsize: 1837856 KiB
Current children cumulated memory: 1615716 KiB

Child status: 0

Real time (s): 3601.06
CPU time (s): 3590.72
CPU user time (s): 3588.94
CPU system time (s): 1.78567
CPU usage (%): 99.713
Max. virtual memory (cumulated for all children) (KiB): 2225532
Max. memory (cumulated for all children) (KiB): 1821492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.94
system time used= 1.78567
maximum resident set size= 1821492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1600505
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= 4078
involuntary context switches= 24697


# summary of solver processes directly reported to runsolver:
#   pid: 263374
#   total CPU time (s): 3590.72
#   total CPU user time (s): 3588.94
#   total CPU system time (s): 1.78567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80265 second user time and 16.5936 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-25 23:31:08
IDJOB=4460019
IDBENCH=160558
IDSOLVER=3064
FILE ID=nodeC032/4460019-1721943068
RUNJOBID= nodeC032-1721939462-261031
SLURM_JOB_ID= 8247252
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-60.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-4460019-1721943068/watcher-4460019-1721943068 -o /tmp/evaluation-result-4460019-1721943068/solver-4460019-1721943068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721939462-261031 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4460019-1721943068.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 93ed2607cb9e7eaa6de474e9ba688804
RANDOM SEED=297469877

nodeC032.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		: 3660.319
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.31
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		: 3682.128
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	: 7005.79
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		: 3667.711
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.31
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		: 3600.015
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	: 7005.79
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		: 3665.174
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.31
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		: 3682.170
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	: 7005.79
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		: 3599.831
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.31
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.002
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	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        114769108 kB
MemAvailable:   128845824 kB
Buffers:          324980 kB
Cached:         14539876 kB
SwapCached:          140 kB
Active:          2698816 kB
Inactive:       13373368 kB
Active(anon):       2144 kB
Inactive(anon):  1258248 kB
Active(file):    2696672 kB
Inactive(file): 12115120 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:             85816 kB
Writeback:             0 kB
AnonPages:       1207272 kB
Mapped:           151380 kB
Shmem:             53052 kB
KReclaimable:     209144 kB
Slab:             328572 kB
SReclaimable:     209144 kB
SUnreclaim:       119428 kB
KernelStack:        4204 kB
PageTables:        11620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1340916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19296 kB
HardwareCorrupted:     0 kB
AnonHugePages:    884736 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:      363220 kB
DirectMap2M:    42401792 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC032 at 2024-07-26 00:31:09