Trace number 4464816

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-76247 3588.07 3599.19

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: 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.20/0.21	c Default LC presolving (default).
0.20/0.21	c ** Before presolving: virtualMemUsedAtLc = 267824534, getVmSize() = 198111232, SCIPgetMemUsed() = 148469994, SCIPgetMemTotal() = 170864258, SCIPgetMemExternEstim() = 96960276
0.20/0.21	c ** set memory limit for presolving in LC to 8.79601e+12 for SCIP **
13.65/13.73	c ** Estimated virtualMemUsedAtSolver = 474755928, getVmSize() = 651026432, SCIPgetMemUsed() = 442682392, SCIPgetMemTotal() = 615173616, SCIPgetMemExternEstim() = 96960276
13.65/13.73	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
13.65/13.73	c Original Problem   :
13.65/13.73	c   Problem name     : instance-4464816-1722386119
13.65/13.73	c   Variables        : 52575 (60 binary, 0 integer, 52515 implicit integer, 0 continuous)
13.65/13.73	c   Constraints      : 52515
13.65/13.73	c   Objective sense  : minimize
13.65/13.73	c Presolved Problem  :
13.65/13.73	c   Variables        : 52575 (60 binary, 0 integer, 52515 implicit integer, 0 continuous)
13.65/13.73	c   Constraints      : 52515
13.65/13.73	c Constraints        : Number
13.65/13.73	c   and              : 52515 
13.65/13.73	c ** Instance transfer method used: 0
13.75/13.85	c ** ParaScipInstance copy does not increase the number of variables. **
13.85/13.95	c LC is working with racing ramp-up and with rebuilding tree after racing.
13.85/13.95	c                                Nodes    Active                                            
13.85/13.95	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
29.09/29.35	c *      29              0           1         1       -1711.0000                -          -
29.09/29.35	c        29              0           1         1       -1711.0000                -          -
409.47/410.92	c *     411              0           1         1      -65384.0000                -          -
409.47/410.92	c       411              0           1         1      -65384.0000                -          -
449.47/451.01	c       451              2           1         1      -65384.0000    -1581145.9936          -
487.15/488.88	c       489              3           2         1      -65384.0000    -1581145.9936          -
546.98/548.80	c       549              4           3         1      -65384.0000    -1549278.8333          -
577.09/579.05	c       579              5           4         1      -65384.0000    -1549278.8333          -
635.72/637.80	c       638              6           5         1      -65384.0000    -1549278.8333          -
680.29/682.56	c       683              7           6         1      -65384.0000    -1517875.8333          -
743.61/746.00	c       746              8           7         1      -65384.0000    -1517875.8333          -
777.02/779.55	c       780              9           8         1      -65384.0000    -1517875.8333          -
786.00/788.54	c       789             10           9         1      -65384.0000    -1517875.8333          -
822.70/825.39	c       825             11          10         1      -65384.0000    -1517875.8333          -
882.04/884.80	c       885             12          11         1      -65384.0000    -1489899.6667          -
887.12/889.97	c       890             13          12         1      -65384.0000    -1489899.6667          -
937.96/940.92	c       941             14          13         1      -65384.0000    -1489899.6667          -
969.63/972.79	c       973             15          14         1      -65384.0000    -1489899.6667          -
989.56/992.72	c       993             16          15         1      -65384.0000    -1489899.6667          -
1001.02/1004.24	c      1004             17          16         1      -65384.0000    -1489899.6667          -
1040.49/1043.81	c      1044             18          17         1      -65384.0000    -1489899.6667          -
1081.05/1084.59	c      1085             19          18         1      -65384.0000    -1489899.6667          -
1145.93/1149.69	c      1150             20          19         1      -65384.0000    -1469029.1667          -
1166.37/1170.15	c      1170             21          20         1      -65384.0000    -1469029.1667          -
1212.10/1216.04	c      1216             23          22         1      -65384.0000    -1469029.1667          -
1225.06/1229.07	c      1229             24          23         1      -65384.0000    -1469029.1667          -
1257.95/1262.07	c      1262             25          24         1      -65384.0000    -1469029.1667          -
1269.31/1273.47	c      1273             26          25         1      -65384.0000    -1458780.8333          -
1278.67/1282.86	c      1283             27          26         1      -65384.0000    -1458780.8333          -
1300.40/1304.62	c      1305             29          28         1      -65384.0000    -1458780.8333          -
1333.99/1338.39	c      1338             30          29         1      -65384.0000    -1458780.8333          -
1357.91/1362.35	c      1362             31          30         1      -65384.0000    -1458780.8333          -
1419.09/1423.71	c      1424             32          31         1      -65384.0000    -1439418.6667          -
1425.07/1429.72	c      1430             33          32         1      -65384.0000    -1439418.6667          -
1472.72/1477.57	c      1478             34          33         1      -65384.0000    -1439418.6667          -
1477.99/1482.84	c      1483             35          34         1      -65384.0000    -1439418.6667          -
1502.01/1506.99	c      1507             36          35         1      -65384.0000    -1439418.6667          -
1528.23/1533.23	c      1533             37          36         1      -65384.0000    -1439418.6667          -
1537.70/1542.71	c      1543             39          38         1      -65384.0000    -1439418.6667          -
1547.56/1552.60	c      1553             40          39         1      -65384.0000    -1439418.6667          -
1553.44/1558.56	c      1559             41          40         1      -65384.0000    -1439418.6667          -
1572.27/1577.47	c      1577             42          41         1      -65384.0000    -1438712.3333          -
1577.56/1582.71	c      1583             43          42         1      -65384.0000    -1438712.3333          -
1596.09/1601.33	c      1601             44          43         1      -65384.0000    -1438712.3333          -
1601.48/1606.72	c      1607             45          44         1      -65384.0000    -1438712.3333          -
1631.00/1636.32	c      1636             46          45         1      -65384.0000    -1438712.3333          -
1647.14/1652.51	c *    1653             46          45         1      -76247.0000    -1438712.3333          -
1647.14/1652.51	c      1653             46          45         1      -76247.0000    -1438712.3333          -
1658.71/1664.15	c      1664             49          48         1      -76247.0000    -1438712.3333          -
1670.97/1676.41	c      1676             51          50         1      -76247.0000    -1438712.3333          -
1686.31/1691.88	c      1692             52          51         1      -76247.0000    -1411926.1667          -
1695.99/1701.56	c      1702             54          53         1      -76247.0000    -1411926.1667          -
1714.83/1720.44	c      1720             55          54         1      -76247.0000    -1411926.1667          -
1728.98/1734.69	c      1735             56          55         1      -76247.0000    -1411926.1667          -
1736.85/1742.57	c      1743             58          57         1      -76247.0000    -1411926.1667          -
1750.60/1756.38	c      1756             59          58         1      -76247.0000    -1411926.1667          -
1756.30/1762.02	c      1762             60          59         1      -76247.0000    -1411926.1667          -
1779.61/1785.46	c      1785             62          61         1      -76247.0000    -1411926.1667          -
1833.13/1839.11	c      1839             63          62         1      -76247.0000    -1411926.1667          -
1848.37/1854.45	c      1854             64          63         1      -76247.0000    -1411926.1667          -
1859.94/1866.03	c      1866             65          64         1      -76247.0000    -1411926.1667          -
1866.71/1872.86	c      1873             66          65         1      -76247.0000    -1411926.1667          -
1892.42/1898.65	c      1899             67          66         1      -76247.0000    -1411926.1667          -
1905.39/1911.68	c      1912             68          67         1      -76247.0000    -1411926.1667          -
1911.46/1917.78	c      1918             69          68         1      -76247.0000    -1411926.1667          -
1926.11/1932.45	c      1932             70          69         1      -76247.0000    -1411926.1667          -
1939.96/1946.36	c      1946             71          70         1      -76247.0000    -1411926.1667          -
1967.47/1973.96	c      1974             72          71         1      -76247.0000    -1411565.0000          -
2022.19/2028.86	c      2029             73          72         1      -76247.0000    -1411565.0000          -
2028.06/2034.79	c      2035             74          73         1      -76247.0000    -1411565.0000          -
2067.24/2074.07	c      2074             75          74         1      -76247.0000    -1411565.0000          -
2072.52/2079.36	c      2079             76          75         1      -76247.0000    -1411565.0000          -
2085.28/2092.15	c      2092             77          76         1      -76247.0000    -1411565.0000          -
2090.66/2097.54	c      2098             78          77         1      -76247.0000    -1411565.0000          -
2098.83/2105.76	c      2106             80          79         1      -76247.0000    -1411565.0000          -
2140.89/2147.92	c      2148             81          80         1      -76247.0000    -1411565.0000          -
2156.34/2163.46	c      2163             82          81         1      -76247.0000    -1406134.1667          -
2164.31/2171.49	c      2172             83          82         1      -76247.0000    -1406134.1667          -
2187.63/2194.89	c      2195             84          83         1      -76247.0000    -1406134.1667          -
2203.38/2210.68	c      2211             85          84         1      -76247.0000    -1406134.1667          -
2211.94/2219.20	c      2219             86          85         1      -76247.0000    -1406134.1667          -
2220.22/2227.56	c      2228             88          87         1      -76247.0000    -1406134.1667          -
2239.55/2246.92	c      2247             89          88         1      -76247.0000    -1406134.1667          -
2245.53/2252.93	c      2253             90          89         1      -76247.0000    -1406134.1667          -
2283.00/2290.54	c      2291             91          90         1      -76247.0000    -1406134.1667          -
2310.11/2317.78	c      2318             92          91         1      -76247.0000    -1406134.1667          -
2316.98/2324.68	c      2325             93          92         1      -76247.0000    -1406134.1667          -
2337.52/2345.27	c      2345             94          93         1      -76247.0000    -1406134.1667          -
2346.78/2354.50	c      2354             96          95         1      -76247.0000    -1406134.1667          -
2351.87/2359.69	c      2360             97          96         1      -76247.0000    -1406134.1667          -
2372.10/2379.97	c      2380             98          97         1      -76247.0000    -1406134.1667          -
2382.17/2390.00	c      2390             99          98         1      -76247.0000    -1406134.1667          -
2389.24/2397.15	c      2397            100          99         1      -76247.0000    -1406134.1667          -
2415.75/2423.72	c      2424            101         100         1      -76247.0000    -1406134.1667          -
2425.13/2433.20	c      2433            102         101         1      -76247.0000    -1406134.1667          -
2434.49/2442.55	c      2443            104         103         1      -76247.0000    -1406134.1667          -
2459.13/2467.26	c      2467            105         104         1      -76247.0000    -1406134.1667          -
2473.60/2481.76	c      2482            106         105         1      -76247.0000    -1406134.1667          -
2483.87/2492.03	c      2492            107         106         1      -76247.0000    -1406134.1667          -
2490.15/2498.31	c      2498            108         107         1      -76247.0000    -1406134.1667          -
2522.87/2531.15	c      2531            109         108         1      -76247.0000    -1406134.1667          -
2528.15/2536.46	c      2536            110         109         1      -76247.0000    -1406134.1667          -
2545.99/2554.32	c      2554            111         110         1      -76247.0000    -1406134.1667          -
2565.94/2574.34	c      2574            112         111         1      -76247.0000    -1405179.0664          -
2580.11/2588.58	c      2589            113         112         1      -76247.0000    -1405179.0664          -
2597.66/2606.14	c      2606            114         113         1      -76247.0000    -1405179.0664          -
2604.84/2613.31	c      2613            115         114         1      -76247.0000    -1405179.0664          -
2635.65/2644.26	c      2644            116         115         1      -76247.0000    -1405179.0664          -
2643.93/2652.56	c      2653            117         116         1      -76247.0000    -1405179.0664          -
2692.50/2701.28	c      2701            118         117         1      -76247.0000    -1405179.0664          -
2736.98/2745.82	c      2746            119         118         1      -76247.0000    -1405179.0664          -
2742.56/2751.46	c      2751            120         119         1      -76247.0000    -1405179.0664          -
2747.75/2756.68	c      2757            121         120         1      -76247.0000    -1405179.0664          -
2762.22/2771.17	c      2771            122         121         1      -76247.0000    -1391923.8333          -
2769.59/2778.56	c      2779            123         122         1      -76247.0000    -1391923.8333          -
2782.86/2791.86	c      2792            125         124         1      -76247.0000    -1391923.8333          -
2787.84/2796.89	c      2797            126         125         1      -76247.0000    -1391923.8333          -
2807.09/2816.16	c      2816            127         126         1      -76247.0000    -1391923.8333          -
2819.16/2828.22	c      2828            128         127         1      -76247.0000    -1391923.8333          -
2828.34/2837.40	c      2837            129         128         1      -76247.0000    -1391923.8333          -
2844.90/2854.10	c      2854            130         129         1      -76247.0000    -1391923.8333          -
2858.16/2867.34	c      2867            131         130         1      -76247.0000    -1391923.8333          -
2868.33/2877.54	c      2878            132         131         1      -76247.0000    -1376951.1667          -
2911.72/2921.04	c      2921            133         132         1      -76247.0000    -1376951.1667          -
2932.66/2942.02	c      2942            134         133         1      -76247.0000    -1376951.1667          -
2954.60/2964.07	c      2964            135         134         1      -76247.0000    -1376951.1667          -
2963.17/2972.69	c      2973            136         135         1      -76247.0000    -1376951.1667          -
2992.39/3001.96	c      3002            137         136         1      -76247.0000    -1376951.1667          -
3041.68/3051.34	c      3051            138         137         1      -76247.0000    -1376951.1667          -
3058.63/3068.39	c      3068            139         138         1      -76247.0000    -1376951.1667          -
3074.88/3084.63	c      3085            140         139         1      -76247.0000    -1376951.1667          -
3101.51/3111.32	c      3111            141         140         1      -76247.0000    -1376951.1667          -
3122.76/3132.65	c      3133            142         141         1      -76247.0000    -1376951.1667          -
3135.72/3145.65	c      3146            144         143         1      -76247.0000    -1376951.1667          -
3164.44/3174.48	c      3174            145         144         1      -76247.0000    -1376951.1667          -
3171.62/3181.63	c      3182            146         145         1      -76247.0000    -1376951.1667          -
3182.69/3192.75	c      3193            148         147         1      -76247.0000    -1376951.1667          -
3192.46/3202.59	c      3203            150         149         1      -76247.0000    -1376951.1667          -
3199.25/3209.32	c      3209            151         150         1      -76247.0000    -1376951.1667          -
3204.43/3214.55	c      3215            152         151         1      -76247.0000    -1376951.1667          -
3221.08/3231.24	c      3231            153         152         1      -76247.0000    -1376951.1667          -
3226.77/3236.98	c      3237            154         153         1      -76247.0000    -1376951.1667          -
3254.39/3264.64	c      3265            155         154         1      -76247.0000    -1376951.1667          -
3294.28/3304.61	c      3305            156         155         1      -76247.0000    -1376951.1667          -
3299.76/3310.11	c      3310            157         156         1      -76247.0000    -1376951.1667          -
3310.82/3321.25	c      3321            159         158         1      -76247.0000    -1376951.1667          -
3333.75/3344.22	c      3344            160         159         1      -76247.0000    -1376951.1667          -
3341.23/3351.74	c      3352            161         160         1      -76247.0000    -1376951.1667          -
3380.41/3391.02	c      3391            162         161         1      -76247.0000    -1376951.1667          -
3386.30/3396.94	c      3397            163         162         1      -76247.0000    -1376951.1667          -
3408.33/3419.00	c      3419            164         163         1      -76247.0000    -1376951.1667          -
3416.90/3427.61	c      3428            165         164         1      -76247.0000    -1376951.1667          -
3428.96/3439.70	c      3440            166         165         1      -76247.0000    -1376951.1667          -
3434.44/3445.20	c      3445            167         166         1      -76247.0000    -1376951.1667          -
3439.83/3450.69	c      3451            168         167         1      -76247.0000    -1376951.1667          -
3445.11/3455.96	c      3456            169         168         1      -76247.0000    -1376951.1667          -
3452.69/3463.51	c      3464            170         169         1      -76247.0000    -1376951.1667          -
3474.74/3485.67	c      3486            171         170         1      -76247.0000    -1376951.1667          -
3501.57/3512.59	c      3513            172         171         1      -76247.0000    -1376951.1667          -
3549.97/3561.08	c      3561            173         172         1      -76247.0000    -1376951.1667          -
3586.88/3598.08	c      3598            173         172         0      -76247.0000    -1376951.1667          -
3587.57/3598.76	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.57/3598.76	c Total Time         : 3598.7600
3587.57/3598.76	c   solving          : 3598.7600
3587.57/3598.76	c   presolving       : 13.5243 (included in solving)
3587.57/3598.76	c B&B Tree           :
3587.57/3598.76	c   nodes (total)    : 1
3587.57/3598.76	c Solution           :
3587.57/3598.76	c   Solutions found  : 5
3587.57/3598.76	c   Primal Bound     : -7.62470000000000e+04
3587.57/3598.76	c   Dual Bound       : -1.37695116666667e+06
3587.57/3598.76	c Gap                : 1705.90865 %
3587.57/3598.76	c * Warning: final gap: 1.70591e+01 is greater than SCIPepsilon: 1.00000e-09
3587.97/3599.15	o -76247
3587.97/3599.15	s SATISFIABLE
3587.97/3599.15	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 x34 
3587.97/3599.15	v -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 
3587.97/3599.15	v -x6 -x5 -x4 -x3 x2 -x1

Verifier Data 

OK	-76247

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: 63968 MiB (58772 MiB free)
  memory of node 1: 64473 MiB (61254 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100094 s]*
/proc/loadavg: 4.16 4.13 4.10 6/262 34414
/proc/meminfo: memFree=122824924/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=107376 memory=96692 CPUtime=0.09 cores=1,3
/proc/34413/stat : 34413 (fscip) R 34410 34413 29765 0 -1 4194304 24674 0 0 0 6 3 0 0 20 0 1 0 5210946 109953024 24173 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 26844 24173 2555 3035 0 23240 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 107376 KiB
Current children cumulated memory: 96692 KiB

[startup+0.205801 s]*
/proc/loadavg: 4.16 4.13 4.10 5/262 34414
/proc/meminfo: memFree=122738420/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=192032 memory=177740 CPUtime=0.2 cores=1,3
/proc/34413/stat : 34413 (fscip) R 34410 34413 29765 0 -1 4194304 44952 0 0 0 14 6 0 0 20 0 1 0 5210946 196640768 44435 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 48008 44435 2555 3035 0 44404 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 192032 KiB
Current children cumulated memory: 177740 KiB

[startup+0.305735 s]*
/proc/loadavg: 4.16 4.13 4.10 5/262 34414
/proc/meminfo: memFree=122706888/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=232024 memory=210756 CPUtime=0.3 cores=1,3
/proc/34413/stat : 34413 (fscip) R 34410 34413 29765 0 -1 4194304 53187 0 0 0 23 7 0 0 20 0 1 0 5210946 237592576 52689 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 58006 52689 2598 3035 0 54402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 232024 KiB
Current children cumulated memory: 210756 KiB

[startup+0.700235 s]
/proc/loadavg: 4.16 4.13 4.10 5/262 34414
/proc/meminfo: memFree=122686316/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=252336 memory=230188 CPUtime=0.69 cores=1,3
/proc/34413/stat : 34413 (fscip) R 34410 34413 29765 0 -1 4194304 58137 0 0 0 61 8 0 0 20 0 1 0 5210946 258392064 57547 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 63084 57547 2614 3035 0 59480 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 252336 KiB
Current children cumulated memory: 230188 KiB

[startup+1.50024 s]
/proc/loadavg: 4.15 4.12 4.10 5/262 34414
/proc/meminfo: memFree=122684236/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=253528 memory=231508 CPUtime=1.49 cores=1,3
/proc/34413/stat : 34413 (fscip) R 34410 34413 29765 0 -1 4194304 58451 0 0 0 141 8 0 0 20 0 1 0 5210946 259612672 57877 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 63382 57877 2614 3035 0 59778 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 253528 KiB
Current children cumulated memory: 231508 KiB

[startup+3.10589 s]
/proc/loadavg: 4.15 4.12 4.10 5/262 34414
/proc/meminfo: memFree=122682908/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=253784 memory=231772 CPUtime=3.09 cores=1,3
/proc/34413/stat : 34413 (fscip) R 34410 34413 29765 0 -1 4194304 58561 0 0 0 301 8 0 0 20 0 1 0 5210946 259874816 57943 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 63446 57943 2614 3035 0 59842 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 253784 KiB
Current children cumulated memory: 231772 KiB

[startup+6.30022 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 34414
/proc/meminfo: memFree=122679040/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=254296 memory=232300 CPUtime=6.27 cores=1,3
/proc/34413/stat : 34413 (fscip) R 34410 34413 29765 0 -1 4194304 58691 0 0 0 619 8 0 0 20 0 1 0 5210946 260399104 58075 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 63574 58075 2614 3035 0 59970 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 254296 KiB
Current children cumulated memory: 232300 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 34416
/proc/meminfo: memFree=122676488/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=255644 memory=233620 CPUtime=12.65 cores=1,3
/proc/34413/stat : 34413 (fscip) R 34410 34413 29765 0 -1 4194304 59035 0 0 0 1256 9 0 0 20 0 1 0 5210946 261779456 58405 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 63911 58405 2614 3035 0 60307 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 255644 KiB
Current children cumulated memory: 233620 KiB

[startup+25.5012 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 34420
/proc/meminfo: memFree=122197864/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=913480 memory=705332 CPUtime=25.33 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 244268 0 0 0 2500 33 0 0 20 0 3 0 5210946 935403520 176333 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 228370 176333 2710 3035 0 218624 0
[pid=34413/tid=34417] ppid=34410 vsize=913480 memory=703984 CPUtime=11.51 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 104493 0 0 0 1139 12 0 0 20 0 3 0 5212320 935403520 176333 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=913480 memory=703832 CPUtime=0 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 5212342 935403520 176333 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 913480 KiB
Current children cumulated memory: 705332 KiB

[startup+51.1062 s]
/proc/loadavg: 4.18 4.14 4.10 5/262 34425
/proc/meminfo: memFree=121881300/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=1248604 memory=1015664 CPUtime=50.69 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 429124 0 0 0 5017 52 0 0 20 0 3 0 5210946 1278570496 253916 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 312151 253916 2902 3035 0 304435 0
[pid=34413/tid=34417] ppid=34410 vsize=1248604 memory=11524 CPUtime=36.86 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 283080 0 0 0 3655 31 0 0 20 0 3 0 5212320 1278570496 253916 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=1248604 memory=1015516 CPUtime=0 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5212342 1278570496 253916 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 50.69 s
Current children cumulated vsize: 1248604 KiB
Current children cumulated memory: 1015664 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/262 34434
/proc/meminfo: memFree=121848800/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=1248604 memory=1023028 CPUtime=101.68 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 461380 0 0 0 10113 55 0 0 20 0 3 0 5210946 1278570496 255757 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 312151 255757 2918 3035 0 306117 0
[pid=34413/tid=34417] ppid=34410 vsize=1248604 memory=1019668 CPUtime=87.85 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 315312 0 0 0 8751 34 0 0 20 0 3 0 5212320 1278570496 255757 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=1248604 memory=1023016 CPUtime=0 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 5212342 1278570496 255757 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 101.68 s
Current children cumulated vsize: 1248604 KiB
Current children cumulated memory: 1023028 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/262 34446
/proc/meminfo: memFree=121808852/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=1314140 memory=1036224 CPUtime=161.51 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 490242 0 0 0 16094 57 0 0 20 0 3 0 5210946 1345679360 259056 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 328535 259056 2918 3035 0 309022 0
[pid=34413/tid=34417] ppid=34410 vsize=1314140 memory=1029176 CPUtime=147.68 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 344160 0 0 0 14732 36 0 0 20 0 3 0 5212320 1345679360 259056 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=1314140 memory=1036024 CPUtime=0 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 5212342 1345679360 259056 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 161.51 s
Current children cumulated vsize: 1314140 KiB
Current children cumulated memory: 1036224 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/262 34456
/proc/meminfo: memFree=121688680/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=1314140 memory=1048284 CPUtime=221.33 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 507112 0 0 0 22074 59 0 0 20 0 3 0 5210946 1345679360 262071 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 328535 262071 2918 3035 0 311087 0
[pid=34413/tid=34417] ppid=34410 vsize=1314140 memory=1046188 CPUtime=207.49 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 361023 0 0 0 20712 37 0 0 20 0 3 0 5212320 1345679360 262071 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=1314140 memory=1047856 CPUtime=0 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 73 0 0 0 0 0 0 0 20 0 3 0 5212342 1345679360 262071 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 1314140 KiB
Current children cumulated memory: 1048284 KiB

[startup+282.3 s]
/proc/loadavg: 4.31 4.20 4.12 5/262 34466
/proc/meminfo: memFree=121360260/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=1634788 memory=1356100 CPUtime=281.16 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 685476 0 0 0 28038 78 0 0 20 0 3 0 5210946 1674022912 339025 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 408697 339025 3014 3035 0 398081 0
[pid=34413/tid=34417] ppid=34410 vsize=1634788 memory=1057084 CPUtime=267.33 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 539380 0 0 0 26676 57 0 0 20 0 3 0 5212320 1674022912 339025 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=1634788 memory=1057084 CPUtime=0 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 3 0 5212342 1674022912 339025 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 1634788 KiB
Current children cumulated memory: 1356100 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 4.19 4.12 5/265 34483

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


[startup+3462.3 s]
/proc/loadavg: 1.88 3.08 3.68 2/242 36351
/proc/meminfo: memFree=125929616/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=2133820 memory=1581788 CPUtime=3451.5 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 4983903 0 0 0 344784 366 0 0 20 0 3 0 5210946 2185031680 395447 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 533455 395447 3014 3035 0 518244 0
[pid=34413/tid=34417] ppid=34410 vsize=2133820 memory=1579212 CPUtime=3437.59 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 4822297 0 0 0 343419 340 0 0 20 0 3 0 5212320 2185031680 395447 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=2133820 memory=1581360 CPUtime=0.03 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 335 0 0 0 1 2 0 0 20 0 3 0 5212342 2185031680 395447 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 3451.5 s
Current children cumulated vsize: 2133820 KiB
Current children cumulated memory: 1581788 KiB

[startup+3522.3 s]
/proc/loadavg: 1.42 2.73 3.52 2/241 36361
/proc/meminfo: memFree=125916016/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=2133820 memory=1595056 CPUtime=3511.35 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 5042137 0 0 0 350765 370 0 0 20 0 3 0 5210946 2185031680 398764 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 533455 398764 3014 3035 0 519320 0
[pid=34413/tid=34417] ppid=34410 vsize=2133820 memory=1589356 CPUtime=3497.45 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 4880519 0 0 0 349401 344 0 0 20 0 3 0 5212320 2185031680 398764 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=2133820 memory=1594552 CPUtime=0.03 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 335 0 0 0 1 2 0 0 20 0 3 0 5212342 2185031680 398764 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 3511.35 s
Current children cumulated vsize: 2133820 KiB
Current children cumulated memory: 1595056 KiB

[startup+3582.3 s]
/proc/loadavg: 1.21 2.43 3.37 2/242 36373
/proc/meminfo: memFree=125902596/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=2133820 memory=1608300 CPUtime=3571.2 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 5092347 0 0 0 356747 373 0 0 20 0 3 0 5210946 2185031680 402075 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 533455 402075 3014 3035 0 519320 0
[pid=34413/tid=34417] ppid=34410 vsize=2133820 memory=11524 CPUtime=3557.3 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 4930714 0 0 0 355383 347 0 0 20 0 3 0 5212320 2185031680 402075 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=2133820 memory=1608300 CPUtime=0.03 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 340 0 0 0 1 2 0 0 20 0 3 0 5212342 2185031680 402075 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 3571.2 s
Current children cumulated vsize: 2133820 KiB
Current children cumulated memory: 1608300 KiB

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

# cumulated CPU time of all completed processes:  user=3584.18 s, system=3.89475 s

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

[startup+3584 s]*
/proc/loadavg: 1.21 2.43 3.37 2/242 36373
/proc/meminfo: memFree=125902596/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=2133820 memory=1608300 CPUtime=3572.91 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 5092468 0 0 0 356917 374 0 0 20 0 3 0 5210946 2185031680 402075 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 533455 402075 3014 3035 0 519320 0
[pid=34413/tid=34417] ppid=34410 vsize=2133820 memory=-2247655300847980061 CPUtime=3559.01 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 4930835 0 0 0 355553 348 0 0 20 0 3 0 5212320 2185031680 402075 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=2133820 memory=5931329028006892391 CPUtime=0.03 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 340 0 0 0 1 2 0 0 20 0 3 0 5212342 2185031680 402075 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 2133820 KiB
Current children cumulated memory: 1608300 KiB

[startup+3590.4 s]
/proc/loadavg: 1.19 2.40 3.36 2/242 36374
/proc/meminfo: memFree=125899924/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=2133820 memory=1610908 CPUtime=3579.29 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 5122021 0 0 0 357554 375 0 0 20 0 3 0 5210946 2185031680 402727 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 533455 402727 3014 3035 0 519320 0
[pid=34413/tid=34417] ppid=34410 vsize=2133820 memory=-7379266206031767167 CPUtime=3565.39 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 4960388 0 0 0 356190 349 0 0 20 0 3 0 5212320 2185031680 402727 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=2133820 memory=1608300 CPUtime=0.03 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 340 0 0 0 1 2 0 0 20 0 3 0 5212342 2185031680 402727 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 3579.29 s
Current children cumulated vsize: 2133820 KiB
Current children cumulated memory: 1610908 KiB

[startup+3593.6 s]
/proc/loadavg: 1.17 2.38 3.34 2/242 36374
/proc/meminfo: memFree=125899924/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=2133820 memory=1610908 CPUtime=3582.49 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 5122463 0 0 0 357874 375 0 0 20 0 3 0 5210946 2185031680 402727 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 533455 402727 3014 3035 0 519320 0
[pid=34413/tid=34417] ppid=34410 vsize=2133820 memory=12692 CPUtime=3568.58 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 4960830 0 0 0 356509 349 0 0 20 0 3 0 5212320 2185031680 402727 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=2133820 memory=5536 CPUtime=0.03 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 340 0 0 0 1 2 0 0 20 0 3 0 5212342 2185031680 402727 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 3582.49 s
Current children cumulated vsize: 2133820 KiB
Current children cumulated memory: 1610908 KiB

[startup+3596.8 s]
/proc/loadavg: 1.17 2.38 3.34 2/242 36374
/proc/meminfo: memFree=125899924/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=2133820 memory=1610908 CPUtime=3585.67 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 5123950 0 0 0 358192 375 0 0 20 0 3 0 5210946 2185031680 402727 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 533455 402727 3014 3035 0 519320 0
[pid=34413/tid=34417] ppid=34410 vsize=2133820 memory=1610908 CPUtime=3571.77 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 4962314 0 0 0 356828 349 0 0 20 0 3 0 5212320 2185031680 402727 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=2133820 memory=1610908 CPUtime=0.03 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 343 0 0 0 1 2 0 0 20 0 3 0 5212342 2185031680 402727 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 3585.67 s
Current children cumulated vsize: 2133820 KiB
Current children cumulated memory: 1610908 KiB

[startup+3598.4 s]
/proc/loadavg: 1.16 2.35 3.33 2/242 36374
/proc/meminfo: memFree=125897296/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=2133820 memory=1613516 CPUtime=3587.27 cores=1,3
/proc/34413/stat : 34413 (fscip) S 34410 34413 29765 0 -1 1077936128 5188597 0 0 0 358348 379 0 0 20 0 3 0 5210946 2185031680 403379 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 533455 403379 3014 3035 0 519320 0
[pid=34413/tid=34417] ppid=34410 vsize=2133820 memory=12652 CPUtime=3573.37 cores=1,3
/proc/34413/task/34417/stat : 34417 (fscip) R 34410 34413 29765 0 -1 4194368 5026956 0 0 0 356984 353 0 0 20 0 3 0 5212320 2185031680 403379 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
[pid=34413/tid=34418] ppid=34410 vsize=2133820 memory=12692 CPUtime=0.03 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 343 0 0 0 1 2 0 0 20 0 3 0 5212342 2185031680 403379 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 2133820 KiB
Current children cumulated memory: 1613516 KiB

[startup+3598.8 s]
/proc/loadavg: 1.16 2.35 3.33 2/242 36374
/proc/meminfo: memFree=125897296/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=2039736 memory=1596232 CPUtime=3587.67 cores=1,3
/proc/34413/stat : 34413 (fscip) R 34410 34413 29765 0 -1 4194304 5241687 0 0 0 358384 383 0 0 20 0 2 0 5210946 2088689664 399058 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 509934 399058 3014 3035 0 495799 0
[pid=34413/tid=34418] ppid=34410 vsize=2039736 memory=1828 CPUtime=0.03 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 343 0 0 0 1 2 0 0 20 0 2 0 5212342 2088689664 399058 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 3587.67 s
Current children cumulated vsize: 2039736 KiB
Current children cumulated memory: 1596232 KiB

[startup+3599 s]*
/proc/loadavg: 1.16 2.35 3.33 2/241 36376
/proc/meminfo: memFree=125914468/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=2039736 memory=1596232 CPUtime=3587.87 cores=1,3
/proc/34413/stat : 34413 (fscip) R 34410 34413 29765 0 -1 4194304 5252053 0 0 0 358403 384 0 0 20 0 2 0 5210946 2088689664 399058 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 509934 399058 3014 3035 0 495799 0
[pid=34413/tid=34418] ppid=34410 vsize=2039736 memory=-6658123910106681703 CPUtime=0.03 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 343 0 0 0 1 2 0 0 20 0 2 0 5212342 2088689664 399058 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 3587.87 s
Current children cumulated vsize: 2039736 KiB
Current children cumulated memory: 1596232 KiB

[startup+3599.11 s]
/proc/loadavg: 1.16 2.35 3.33 2/241 36376
/proc/meminfo: memFree=125914468/131524600 swapFree=131071728/131071996
[pid=34413] ppid=34410 vsize=2006904 memory=1563404 CPUtime=3587.97 cores=1,3
/proc/34413/stat : 34413 (fscip) R 34410 34413 29765 0 -1 4194304 5258439 0 0 0 358413 384 0 0 20 0 2 0 5210946 2055069696 390851 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
/proc/34413/statm: 501726 390851 3014 3035 0 487591 0
[pid=34413/tid=34418] ppid=34410 vsize=2006904 memory=12692 CPUtime=0.03 cores=1,3
/proc/34413/task/34418/stat : 34418 (fscip) S 34410 34413 29765 0 -1 1077936192 343 0 0 0 1 2 0 0 20 0 2 0 5212342 2055069696 390851 134679101440 4194304 16623229 140733970035984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56320000 140733970039830 140733970039946 140733970039946 140733970046960 0
Current children cumulated CPU time: 3587.97 s
Current children cumulated vsize: 2006904 KiB
Current children cumulated memory: 1563404 KiB

Child status: 0

Real time (s): 3599.19
CPU time (s): 3588.07
CPU user time (s): 3584.18
CPU system time (s): 3.89475
CPU usage (%): 99.691
Max. virtual memory (cumulated for all children) (KiB): 2133820
Max. memory (cumulated for all children) (KiB): 1613516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.18
system time used= 3.89475
maximum resident set size= 1613516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5266265
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= 3976
involuntary context switches= 3321


# summary of solver processes directly reported to runsolver:
#   pid: 34413
#   total CPU time (s): 3588.07
#   total CPU user time (s): 3584.18
#   total CPU system time (s): 3.89475

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42065 second user time and 17.5216 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-31 02:35:19
IDJOB=4464816
IDBENCH=160558
IDSOLVER=3092
FILE ID=nodeC024/4464816-1722386119
RUNJOBID= nodeC024-1722378594-29777
SLURM_JOB_ID= 8249847
Free space on /tmp= 889972 MiB

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

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

MD5SUM BENCH= 93ed2607cb9e7eaa6de474e9ba688804
RANDOM SEED=1390683433

nodeC024.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		: 3670.267
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.90
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		: 3664.852
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.73
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.113
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3675.210
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.73
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		: 3670.278
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.90
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		: 3672.205
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.73
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.134
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.90
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.513
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.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122909848 kB
MemAvailable:   125352588 kB
Buffers:           98052 kB
Cached:          3161640 kB
SwapCached:           36 kB
Active:           296120 kB
Inactive:        7796284 kB
Active(anon):       1568 kB
Inactive(anon):  4852508 kB
Active(file):     294552 kB
Inactive(file):  2943776 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             28988 kB
Writeback:             0 kB
AnonPages:       4829996 kB
Mapped:           123492 kB
Shmem:             21292 kB
KReclaimable:      88472 kB
Slab:             173228 kB
SReclaimable:      88472 kB
SUnreclaim:        84756 kB
KernelStack:        4208 kB
PageTables:        18824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5166336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9344 kB
HardwareCorrupted:     0 kB
AnonHugePages:    966656 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:      178900 kB
DirectMap2M:    11128832 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC024 at 2024-07-31 03:35:19