Trace number 4441730

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 NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02? 3590.77 3600.61

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
MD5SUM028f5bd5fcfe993f30262959408a2b50
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.53487
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables49621
Total number of constraints138346
Number of constraints which are clauses127390
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10956
Minimum length of a constraint1
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.50/0.58	c Default LC presolving (default).
0.50/0.58	c ** Before presolving: virtualMemUsedAtLc = 455717313, getVmSize() = 310210560, SCIPgetMemUsed() = 263951849, SCIPgetMemTotal() = 276541481, SCIPgetMemExternEstim() = 179175832
0.50/0.58	c ** set memory limit for presolving in LC to 8.79596e+12 for SCIP **
49.93/50.16	c ** Estimated virtualMemUsedAtSolver = 464768998, getVmSize() = 569397248, SCIPgetMemUsed() = 327739338, SCIPgetMemTotal() = 517977666, SCIPgetMemExternEstim() = 179175832
49.93/50.16	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
49.93/50.16	c Original Problem   :
49.93/50.16	c   Problem name     : instance-4441730-1721294246
49.93/50.16	c   Variables        : 49621 (49621 binary, 0 integer, 0 implicit integer, 0 continuous)
49.93/50.16	c   Constraints      : 138346
49.93/50.16	c   Objective sense  : minimize
49.93/50.16	c Presolved Problem  :
49.93/50.16	c   Variables        : 39202 (39202 binary, 0 integer, 0 implicit integer, 0 continuous)
49.93/50.16	c   Constraints      : 44359
49.93/50.16	c Constraints        : Number
49.93/50.16	c   knapsack         : 10956 
49.93/50.16	c   setppc           : 1037 
49.93/50.16	c   and              : 32348 
49.93/50.16	c   logicor          : 18 
49.93/50.16	c ** Instance transfer method used: 0
50.03/50.28	c ** ParaScipInstance copy increased the number of variables. **
50.23/50.40	c LC is working with racing ramp-up and with rebuilding tree after racing.
50.23/50.40	c                                Nodes    Active                                            
50.23/50.40	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
631.15/633.20	c       633              2           1         1                -           0.0000          -
647.60/649.78	c       650              3           2         1                -           0.0000          -
663.05/665.29	c       665              4           3         1                -           0.0000          -
674.72/676.97	c       677              5           4         1                -           0.0000          -
681.50/683.79	c       684              6           5         1                -           0.0000          -
703.85/706.18	c       706              7           6         1                -           0.0000          -
723.89/726.23	c       726              8           7         1                -           0.0000          -
780.36/782.85	c       783             10           7         1                -           0.0000          -
796.51/799.04	c       799             11           8         1                -           0.0000          -
858.75/861.41	c       861             12           9         1                -           0.0000          -
1045.28/1048.45	c      1048             13          10         1                -           0.0000          -
1065.24/1068.48	c      1068             14          11         1                -           0.0000          -
1110.51/1113.87	c      1114             15          12         1                -           0.0000          -
1134.35/1137.75	c      1138             16          13         1                -           0.0000          -
1153.40/1156.81	c      1157             17          14         1                -           0.0000          -
1257.74/1261.46	c      1261             18          15         1                -           0.0000          -
1281.98/1285.73	c      1286             19          16         1                -           0.0000          -
1290.66/1294.42	c      1294             21          18         1                -           0.0000          -
1298.35/1302.14	c      1302             23          20         1                -           0.0000          -
1304.92/1308.73	c      1309             25          22         1                -           0.0000          -
1317.48/1321.31	c      1321             26          23         1                -           0.0000          -
1338.04/1341.90	c      1342             27          24         1                -           0.0000          -
1343.82/1347.72	c      1348             29          26         1                -           0.0000          -
1349.41/1353.32	c      1353             31          28         1                -           0.0000          -
1354.59/1358.51	c      1359             32          29         1                -           0.0000          -
1369.16/1373.19	c      1373             34          31         1                -           0.0000          -
1376.44/1380.40	c      1380             36          33         1                -           0.0000          -
1381.72/1385.77	c      1386             38          35         1                -           0.0000          -
1417.25/1421.38	c      1421             39          36         1                -           0.0000          -
1423.53/1427.63	c      1428             41          38         1                -           0.0000          -
1429.61/1433.76	c      1434             43          40         1                -           0.0000          -
1436.49/1440.63	c      1441             47          40         1                -           0.0000          -
1446.67/1450.83	c      1451             48          41         1                -           0.0000          -
1539.86/1544.23	c      1544             50          43         1                -           0.0000          -
1546.24/1550.67	c      1551             52          45         1                -           0.0000          -
1554.82/1559.23	c      1559             55          48         1                -           0.0000          -
1559.82/1564.30	c      1564             56          49         1                -           0.0000          -
1566.99/1571.44	c      1571             58          51         1                -           0.0000          -
1574.07/1578.58	c      1579             60          53         1                -           0.0000          -
1583.45/1587.92	c      1588             62          55         1                -           0.0000          -
1591.33/1595.81	c      1596             64          57         1                -           0.0000          -
1597.62/1602.19	c      1602             66          59         1                -           0.0000          -
1603.50/1608.05	c      1608             71          62         1                -           0.0000          -
1632.33/1636.95	c      1637             80          61         1                -           0.0000          -
1637.61/1642.24	c      1642             83          59         1                -           0.0000          -
1642.90/1647.58	c      1648             86          42         1                -           0.0000          -
1652.17/1656.88	c      1657             89          43         1                -           0.0000          -
1657.76/1662.42	c      1662             90          44         1                -           0.0000          -
1663.64/1668.37	c      1668             91          45         1                -           0.0000          -
1924.03/1929.36	c      1929             93          47         1                -           0.0000          -
1932.01/1937.35	c      1937             95          49         1                -           0.0000          -
1941.99/1947.35	c      1947             97          51         1                -           0.0000          -
1954.85/1960.27	c      1960             99          53         1                -           0.0000          -
1969.11/1974.58	c      1975            100          54         1                -           0.0000          -
1974.89/1980.37	c      1980            101          55         1                -           0.0000          -
1984.66/1990.12	c      1990            102          56         1                -           0.0000          -
1994.32/1999.89	c      2000            103          57         1                -           0.0000          -
2000.40/2005.98	c      2006            104          58         1                -           0.0000          -
2006.49/2012.06	c      2012            105          59         1                -           0.0000          -
2012.17/2017.78	c      2018            106          60         1                -           0.0000          -
2024.23/2029.85	c      2030            108          62         1                -           0.0000          -
2069.00/2074.72	c      2075            109          63         1                -           0.0000          -
2074.48/2080.28	c      2080            110          64         1                -           0.0000          -
2079.56/2085.31	c      2085            111          65         1                -           0.0000          -
2085.44/2091.30	c      2091            112          66         1                -           0.0000          -
2097.21/2103.03	c      2103            114          68         1                -           0.0000          -
2104.58/2110.41	c      2110            115          69         1                -           0.0000          -
2110.56/2116.41	c      2116            116          70         1                -           0.0000          -
2117.04/2122.97	c      2123            117          71         1                -           0.0000          -
2129.90/2135.88	c      2136            118          72         1                -           0.0000          -
2142.95/2148.94	c      2149            121          73         1                -           0.0000          -
2150.44/2156.46	c      2156            122          74         1                -           0.0000          -
2156.52/2162.58	c      2163            123          75         1                -           0.0000          -
2167.88/2173.93	c      2174            124          76         1                -           0.0000          -
2173.16/2179.21	c      2179            125          77         1                -           0.0000          -
2178.95/2185.04	c      2185            135          83         1                -           0.0000          -
2185.93/2192.07	c      2192            137          73         1                -           0.0000          -
2193.40/2199.58	c      2200            139          75         1                -           0.0000          -
2198.68/2204.84	c      2205            141          77         1                -           0.0000          -
2204.76/2210.96	c      2211            145          74         1                -           0.0000          -
2212.93/2219.15	c      2219            147          76         1                -           0.0000          -
2219.01/2225.21	c      2225            149          78         1                -           0.0000          -
2236.56/2242.82	c      2243            152          81         1                -           0.0000          -
2241.64/2247.98	c      2248            154          83         1                -           0.0000          -
2248.02/2254.36	c      2254            156          69         1                -           0.0000          -
2253.70/2260.01	c      2260            157          70         1                -           0.0000          -
2260.38/2266.71	c      2267            159          72         1                -           0.0000          -
2266.67/2273.01	c      2273            162          73         1                -           0.0000          -
2272.14/2278.53	c      2279            165          76         1                -           0.0000          -
2278.82/2285.24	c      2285            169          80         1                -           0.0000          -
2386.24/2392.92	c      2393            172          83         1                -           0.0000          -
2391.92/2398.67	c      2399            177          86         1                -           0.0000          -
2400.59/2407.37	c      2407            183          62         1                -           0.0000          -
2408.46/2415.25	c      2415            186          63         1                -           0.0000          -
2414.35/2421.12	c      2421            189          64         1                -           0.0000          -
2444.65/2451.53	c      2452            192          64         1                -           0.0000          -
2454.51/2461.40	c      2461            193          65         1                -           0.0000          -
2463.28/2470.26	c      2470            195          64         1                -           0.0000          -
2468.76/2475.71	c      2476            199          68         1                -           0.0000          -
2474.84/2481.80	c      2482            202          71         1                -           0.0000          -
2481.32/2488.39	c      2488            206          75         1                -           0.0000          -
2487.60/2494.63	c      2495            209          78         1                -           0.0000          -
2494.68/2501.79	c      2502            213          82         1                -           0.0000          -
2520.11/2527.25	c      2527            214          83         1                -           0.0000          -
2527.79/2534.92	c      2535            219          88         1                -           0.0000          -
2532.88/2540.02	c      2540            221          90         1                -           0.0000          -
2541.74/2548.90	c      2549            224          93         1                -           0.0000          -
2547.72/2554.99	c      2555            237         104         1                -           0.0000          -
2553.91/2561.17	c      2561            243         100         1                -           0.0000          -
2559.79/2567.09	c      2567            248         103         1                -           0.0000          -
2567.06/2574.39	c      2574            252         105         1                -           0.0000          -
2576.53/2583.85	c      2584            254         107         1                -           0.0000          -
2582.51/2589.81	c      2590            258         109         1                -           0.0000          -
2588.99/2596.35	c      2596            263         114         1                -           0.0000          -
2596.26/2603.66	c      2604            269         120         1                -           0.0000          -
2604.24/2611.69	c      2612            272         123         1                -           0.0000          -
2609.82/2617.22	c      2617            274         125         1                -           0.0000          -
2621.88/2629.33	c      2629            284         129         1                -           0.0000          -
2630.15/2637.66	c      2638            292         135         1                -           0.0000          -
2638.03/2645.50	c      2646            294         137         1                -           0.0000          -
2644.71/2652.22	c      2652            297         140         1                -           0.0000          -
2651.09/2658.67	c      2659            301         144         1                -           0.0000          -
2660.36/2667.92	c      2668            304         147         1                -           0.0000          -
2665.54/2673.12	c      2673            305         148         1                -           0.0000          -
2672.22/2679.83	c      2680            308         145         1                -           0.0000          -
2677.50/2685.17	c      2685            309         146         1                -           0.0000          -
2683.28/2690.99	c      2691            311         148         1                -           0.0000          -
2695.45/2703.18	c      2703            313         150         1                -           0.0000          -
2700.92/2708.64	c      2709            315         152         1                -           0.0000          -
2706.41/2714.18	c      2714            317         145         1                -           0.0000          -
2712.59/2720.31	c      2720            321         148         1                -           0.0000          -
2719.66/2727.41	c      2727            323         150         1                -           0.0000          -
2729.13/2736.94	c      2737            330         157         1                -           0.0000          -
2734.22/2742.08	c      2742            335         162         1                -           0.0000          -
2742.69/2750.59	c      2751            342         169         1                -           0.0000          -
2748.37/2756.24	c      2756            350         177         1                -           0.0000          -
2755.65/2763.60	c      2764            355         145         1                -           0.0000          -
2762.13/2770.08	c      2770            358         148         1                -           0.0000          -
2768.60/2776.58	c      2777            362         152         1                -           0.0000          -
2773.99/2781.92	c      2782            367         157         1                -           0.0000          -
2779.47/2787.45	c      2787            371         161         1                -           0.0000          -
2785.46/2793.43	c      2793            379         167         1                -           0.0000          -
2792.64/2800.60	c      2801            393         179         1                -           0.0000          -
2798.32/2806.34	c      2806            402         188         1                -           0.0000          -
2803.61/2811.69	c      2812            407         193         1                -           0.0000          -
2808.90/2816.91	c      2817            411         197         1                -           0.0000          -
2814.99/2823.00	c      2823            415         198         1                -           0.0000          -
2822.76/2830.82	c      2831            427         210         1                -           0.0000          -
2830.05/2838.17	c      2838            440         223         1                -           0.0000          -
2835.73/2843.87	c      2844            448         231         1                -           0.0000          -
2842.21/2850.36	c      2850            458         239         1                -           0.0000          -
2847.41/2855.54	c      2856            462         243         1                -           0.0000          -
2853.20/2861.30	c      2861            467         248         1                -           0.0000          -
2858.78/2866.98	c      2867            477         258         1                -           0.0000          -
2865.87/2874.04	c      2874            486         267         1                -           0.0000          -
2872.05/2880.21	c      2880            493         274         1                -           0.0000          -
2879.53/2887.70	c      2888            507         288         1                -           0.0000          -
2884.92/2893.16	c      2893            512         293         1                -           0.0000          -
2893.29/2901.51	c      2902            524         305         1                -           0.0000          -
2898.78/2907.01	c      2907            531         312         1                -           0.0000          -
2907.47/2915.77	c      2916            552         333         1                -           0.0000          -
2913.15/2921.42	c      2921            558         339         1                -           0.0000          -
2919.34/2927.62	c      2928            567         348         1                -           0.0000          -
2924.62/2932.96	c      2933            575         354         1                -           0.0000          -
2929.91/2938.25	c      2938            585         364         1                -           0.0000          -
2936.59/2944.90	c      2945            595         374         1                -           0.0000          -
2943.38/2951.76	c      2952            606         385         1                -           0.0000          -
2949.26/2957.65	c      2958            617         396         1                -           0.0000          -
2955.25/2963.63	c      2964            623         402         1                -           0.0000          -
2960.93/2969.33	c      2969            629         408         1                -           0.0000          -
2968.91/2977.31	c      2977            642         421         1                -           0.0000          -
2975.60/2984.10	c      2984            682         459         1                -           0.0000          -
2982.48/2990.98	c      2991            693         470         1                -           0.0000          -
2989.36/2997.82	c      2998            720         487         1                -           0.0000          -
2994.45/3002.96	c      3003            730         497         1                -           0.0000          -
2999.84/3008.39	c      3008            740         505         1                -           0.0000          -
3005.53/3014.08	c      3014            753         518         1                -           0.0000          -
3012.61/3021.11	c      3021            772         537         1                -           0.0000          -
3018.40/3026.95	c      3027            782         547         1                -           0.0000          -
3023.98/3032.60	c      3033            793         558         1                -           0.0000          -
3030.17/3038.74	c      3039            813         578         1                -           0.0000          -
3036.46/3045.03	c      3045            825         590         1                -           0.0000          -
3042.44/3051.08	c      3051            842         607         1                -           0.0000          -
3048.32/3056.94	c      3057            872         637         1                -           0.0000          -
3054.61/3063.23	c      3063            915         676         1                -           0.0000          -
3061.99/3070.64	c      3071            937         696         1                -           0.0000          -
3070.97/3079.69	c      3080            967         726         1                -           0.0000          -
3080.84/3089.56	c      3090           1016         775         1                -           0.0000          -
3086.63/3095.38	c      3095           1062         821         1                -           0.0000          -
3092.42/3101.10	c      3101           1084         841         1                -           0.0000          -
3102.39/3111.16	c      3111           1104         859         1                -           0.0000          -
3107.97/3116.72	c      3117           1137         892         1                -           0.0000          -
3116.85/3125.69	c      3126           1162         917         1                -           0.0000          -
3123.24/3132.05	c      3132           1197         952         1                -           0.0000          -
3129.62/3138.44	c      3138           1202         957         1                -           0.0000          -
3135.31/3144.14	c      3144           1235         990         1                -           0.0000          -
3140.69/3149.58	c      3150           1242         997         1                -           0.0000          -
3149.27/3158.11	c      3158           1262        1017         1                -           0.0000          -
3155.17/3164.01	c      3164           1292        1047         1                -           0.0000          -
3164.54/3173.44	c      3173           1322        1077         1                -           0.0000          -
3170.52/3179.42	c      3179           1342        1097         1                -           0.0000          -
3180.80/3189.78	c      3190           1382        1137         1                -           0.0000          -
3186.98/3195.94	c      3196           1408        1163         1                -           0.0000          -
3193.07/3202.10	c      3202           1446        1201         1                -           0.0000          -
3198.85/3207.84	c      3208           1466        1221         1                -           0.0000          -
3206.83/3215.88	c      3216           1486        1241         1                -           0.0000          -
3212.51/3221.54	c      3222           1507        1262         1                -           0.0000          -
3218.40/3227.44	c      3227           1531        1286         1                -           0.0000          -
3223.68/3232.73	c      3233           1549        1304         1                -           0.0000          -
3229.08/3238.13	c      3238           1570        1325         1                -           0.0000          -
3235.06/3244.18	c      3244           1597        1352         1                -           0.0000          -
3240.54/3249.67	c      3250           1638        1393         1                -           0.0000          -
3246.24/3255.33	c      3255           1685        1440         1                -           0.0000          -
3252.92/3262.06	c      3262           1751           0         1                -           0.0000          -
3590.17/3600.00	c      3600           1751           0         0                -           0.0000          -
3590.46/3600.36	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.46/3600.36	c Total Time         : 3600.3600
3590.46/3600.36	c   solving          : 3600.3600
3590.46/3600.36	c   presolving       : 49.5827 (included in solving)
3590.46/3600.36	c B&B Tree           :
3590.46/3600.36	c   nodes (total)    : 1
3590.46/3600.36	c Solution           :
3590.46/3600.36	c   Solutions found  : 0
3590.46/3600.36	c   Primal Bound     :          -
3590.46/3600.36	c   Dual Bound       : +0.00000000000000e+00
3590.46/3600.36	c Gap                :          -
3590.66/3600.59	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=950323, runsolver pid=950320

[startup+0.100656 s]*
/proc/loadavg: 1.45 2.12 3.18 5/257 950324
/proc/meminfo: memFree=126133044/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=66808 memory=54920 CPUtime=0.09 cores=5,7
/proc/950323/stat : 950323 (fscip) R 950320 950323 950155 0 -1 4194304 11642 0 0 0 8 1 0 0 20 0 1 0 181593586 68411392 13730 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 16702 13730 2318 3032 0 13102 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66808 KiB
Current children cumulated memory: 54920 KiB

[startup+0.205795 s]*
/proc/loadavg: 1.45 2.12 3.18 5/257 950324
/proc/meminfo: memFree=126092192/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=108160 memory=95652 CPUtime=0.19 cores=5,7
/proc/950323/stat : 950323 (fscip) R 950320 950323 950155 0 -1 4194304 21827 0 0 0 17 2 0 0 20 0 1 0 181593586 110755840 23913 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 27040 23913 2318 3032 0 23440 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108160 KiB
Current children cumulated memory: 95652 KiB

[startup+0.305771 s]*
/proc/loadavg: 1.45 2.12 3.18 5/257 950324
/proc/meminfo: memFree=126063660/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=140504 memory=127748 CPUtime=0.3 cores=5,7
/proc/950323/stat : 950323 (fscip) R 950320 950323 950155 0 -1 4194304 29867 0 0 0 27 3 0 0 20 0 1 0 181593586 143876096 31937 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 35126 31937 2318 3032 0 31526 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 140504 KiB
Current children cumulated memory: 127748 KiB

[startup+0.70023 s]
/proc/loadavg: 1.45 2.12 3.18 5/257 950324
/proc/meminfo: memFree=125935000/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=324560 memory=307760 CPUtime=0.69 cores=5,7
/proc/950323/stat : 950323 (fscip) R 950320 950323 950155 0 -1 4194304 75194 0 0 0 59 10 0 0 20 0 1 0 181593586 332349440 76940 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 81140 76940 2590 3032 0 77540 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 324560 KiB
Current children cumulated memory: 307760 KiB

[startup+1.50024 s]
/proc/loadavg: 1.45 2.12 3.18 5/257 950325
/proc/meminfo: memFree=125800636/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=437244 memory=419312 CPUtime=1.48 cores=5,7
/proc/950323/stat : 950323 (fscip) R 950320 950323 950155 0 -1 4194304 93906 0 0 0 134 14 0 0 20 0 1 0 181593586 447737856 104828 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 109311 104828 2654 3032 0 105711 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 437244 KiB
Current children cumulated memory: 419312 KiB

[startup+3.1059 s]
/proc/loadavg: 1.65 2.16 3.18 5/257 950325
/proc/meminfo: memFree=125757168/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=437244 memory=419716 CPUtime=3.08 cores=5,7
/proc/950323/stat : 950323 (fscip) R 950320 950323 950155 0 -1 4194304 93921 0 0 0 294 14 0 0 20 0 1 0 181593586 447737856 104929 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 109311 104929 2702 3032 0 105711 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 437244 KiB
Current children cumulated memory: 419716 KiB

[startup+6.30022 s]
/proc/loadavg: 1.65 2.16 3.18 5/257 950325
/proc/meminfo: memFree=125756132/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=437244 memory=419716 CPUtime=6.26 cores=5,7
/proc/950323/stat : 950323 (fscip) R 950320 950323 950155 0 -1 4194304 93951 0 0 0 612 14 0 0 20 0 1 0 181593586 447737856 104929 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 109311 104929 2702 3032 0 105711 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 437244 KiB
Current children cumulated memory: 419716 KiB

[startup+12.7002 s]
/proc/loadavg: 1.92 2.20 3.19 5/257 950327
/proc/meminfo: memFree=125755728/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=437244 memory=419716 CPUtime=12.64 cores=5,7
/proc/950323/stat : 950323 (fscip) R 950320 950323 950155 0 -1 4194304 93991 0 0 0 1250 14 0 0 20 0 1 0 181593586 447737856 104929 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 109311 104929 2702 3032 0 105711 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 437244 KiB
Current children cumulated memory: 419716 KiB

[startup+25.5002 s]
/proc/loadavg: 2.38 2.29 3.20 5/259 950330
/proc/meminfo: memFree=125560152/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=437244 memory=419716 CPUtime=25.41 cores=5,7
/proc/950323/stat : 950323 (fscip) R 950320 950323 950155 0 -1 4194304 94023 0 0 0 2526 15 0 0 20 0 1 0 181593586 447737856 104929 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 109311 104929 2702 3032 0 105711 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 437244 KiB
Current children cumulated memory: 419716 KiB

[startup+51.1057 s]
/proc/loadavg: 3.06 2.46 3.24 5/261 950337
/proc/meminfo: memFree=125105148/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=913088 memory=799500 CPUtime=50.93 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 200415 0 0 0 5064 29 0 0 20 0 3 0 181593586 935002112 199875 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 228272 199875 2798 3032 0 220875 0
[pid=950323/tid=950334] ppid=950320 vsize=913088 memory=419720 CPUtime=0.8 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 59348 0 0 0 73 7 0 0 20 0 3 0 181598602 935002112 199875 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=913088 memory=419720 CPUtime=0 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 181598627 935002112 199875 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 913088 KiB
Current children cumulated memory: 799500 KiB

[startup+102.3 s]
/proc/loadavg: 3.66 2.72 3.28 5/263 950348
/proc/meminfo: memFree=124620540/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=978624 memory=838796 CPUtime=101.96 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 383040 0 0 0 10150 46 0 0 20 0 3 0 181593586 1002110976 209699 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 244656 209699 2798 3032 0 230594 0
[pid=950323/tid=950334] ppid=950320 vsize=978624 memory=12088 CPUtime=51.83 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 241933 0 0 0 5159 24 0 0 20 0 3 0 181598602 1002110976 209699 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=978624 memory=838796 CPUtime=0 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 181598627 1002110976 209699 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 978624 KiB
Current children cumulated memory: 838796 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.97 3.34 5/267 950364
/proc/meminfo: memFree=123262868/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1311280 memory=1200072 CPUtime=161.75 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 614211 0 0 0 16105 70 0 0 20 0 3 0 181593586 1342750720 300018 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 327820 300018 2942 3032 0 322565 0
[pid=950323/tid=950334] ppid=950320 vsize=1311280 memory=12088 CPUtime=111.64 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 473094 0 0 0 11115 49 0 0 20 0 3 0 181598602 1342750720 300018 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=1311280 memory=1199552 CPUtime=0 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 181598627 1342750720 300018 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1311280 KiB
Current children cumulated memory: 1200072 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.17 3.39 5/267 950610
/proc/meminfo: memFree=124301908/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1311280 memory=1200556 CPUtime=221.54 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 703473 0 0 0 22078 76 0 0 20 0 3 0 181593586 1342750720 300139 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 327820 300139 2942 3032 0 322565 0
[pid=950323/tid=950334] ppid=950320 vsize=1311280 memory=1200512 CPUtime=171.41 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 562348 0 0 0 17087 54 0 0 20 0 3 0 181598602 1342750720 300139 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=1311280 memory=12088 CPUtime=0 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 181598627 1342750720 300139 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 1311280 KiB
Current children cumulated memory: 1200556 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.34 3.43 5/265 950667
/proc/meminfo: memFree=124463264/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1311280 memory=1200640 CPUtime=281.36 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 818483 0 0 0 28054 82 0 0 20 0 3 0 181593586 1342750720 300160 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 327820 300160 2942 3032 0 322565 0
[pid=950323/tid=950334] ppid=950320 vsize=1311280 memory=1200556 CPUtime=231.22 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 677352 0 0 0 23063 59 0 0 20 0 3 0 181598602 1342750720 300160 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=1311280 memory=1200600 CPUtime=0 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 181598627 1342750720 300160 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 1311280 KiB
Current children cumulated memory: 1200640 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.49 3.48 5/265 950678
/proc/meminfo: memFree=124451412/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1311280 memory=1200736 CPUtime=341.17 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 903924 0 0 0 34031 86 0 0 20 0 3 0 181593586 1342750720 300184 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 327820 300184 2942 3032 0 322565 0

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

Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 1734300 KiB
Current children cumulated memory: 1538220 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/265 952425
/proc/meminfo: memFree=123427964/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1734864 memory=1542916 CPUtime=3392.9 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 2215873 0 0 0 339113 177 0 0 20 0 3 0 181593586 1776500736 385729 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 433716 385729 2990 3032 0 416728 0
[pid=950323/tid=950334] ppid=950320 vsize=1734864 memory=1541812 CPUtime=3342.71 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 2073947 0 0 0 334119 152 0 0 20 0 3 0 181598602 1776500736 385729 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=1734864 memory=1541812 CPUtime=0.03 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 311 0 0 0 1 2 0 0 20 0 3 0 181598627 1776500736 385729 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 1734864 KiB
Current children cumulated memory: 1542916 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 952435
/proc/meminfo: memFree=123422608/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1735172 memory=1547244 CPUtime=3452.78 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 2222157 0 0 0 345100 178 0 0 20 0 3 0 181593586 1776816128 386811 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 433793 386811 2990 3032 0 418967 0
[pid=950323/tid=950334] ppid=950320 vsize=1735172 memory=6720659939590684524 CPUtime=3402.57 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 2080226 0 0 0 340105 152 0 0 20 0 3 0 181598602 1776816128 386811 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=1735172 memory=1547244 CPUtime=0.03 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 316 0 0 0 1 2 0 0 20 0 3 0 181598627 1776816128 386811 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 1735172 KiB
Current children cumulated memory: 1547244 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.10 4.08 5/263 952445
/proc/meminfo: memFree=123412968/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1735368 memory=1556048 CPUtime=3512.63 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 2229836 0 0 0 351084 179 0 0 20 0 3 0 181593586 1777016832 389012 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 433842 389012 2990 3032 0 424266 0
[pid=950323/tid=950334] ppid=950320 vsize=1735368 memory=1547244 CPUtime=3462.43 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 2087899 0 0 0 346090 153 0 0 20 0 3 0 181598602 1777016832 389012 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=1735368 memory=1556048 CPUtime=0.03 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 322 0 0 0 1 2 0 0 20 0 3 0 181598627 1777016832 389012 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 1735368 KiB
Current children cumulated memory: 1556048 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 952455
/proc/meminfo: memFree=123380640/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1735368 memory=1587560 CPUtime=3572.5 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 2235619 0 0 0 357071 179 0 0 20 0 3 0 181593586 1777016832 396890 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 433842 396890 2990 3032 0 426483 0
[pid=950323/tid=950334] ppid=950320 vsize=1735368 memory=12512 CPUtime=3522.31 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 2093677 0 0 0 352077 154 0 0 20 0 3 0 181598602 1777016832 396890 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=1735368 memory=1587560 CPUtime=0.03 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 327 0 0 0 1 2 0 0 20 0 3 0 181598627 1777016832 396890 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 1735368 KiB
Current children cumulated memory: 1587560 KiB

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

# cumulated CPU time of all completed processes:  user=3588.95 s, system=1.81537 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 952455
/proc/meminfo: memFree=123380632/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1735368 memory=1587560 CPUtime=3574.2 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 2235619 0 0 0 357241 179 0 0 20 0 3 0 181593586 1777016832 396890 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 433842 396890 2990 3032 0 426483 0
[pid=950323/tid=950334] ppid=950320 vsize=1735368 memory=21668 CPUtime=3524.01 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 2093677 0 0 0 352247 154 0 0 20 0 3 0 181598602 1777016832 396890 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=1735368 memory=1587560 CPUtime=0.03 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 327 0 0 0 1 2 0 0 20 0 3 0 181598627 1777016832 396890 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 3574.2 s
Current children cumulated vsize: 1735368 KiB
Current children cumulated memory: 1587560 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 952456
/proc/meminfo: memFree=123374508/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1746260 memory=1594800 CPUtime=3580.59 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 2237513 0 0 0 357879 180 0 0 20 0 3 0 181593586 1788170240 398700 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 436565 398700 2990 3032 0 430298 0
[pid=950323/tid=950334] ppid=950320 vsize=1746260 memory=12088 CPUtime=3530.39 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 2095570 0 0 0 352885 154 0 0 20 0 3 0 181598602 1788170240 398700 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=1746260 memory=44880 CPUtime=0.03 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 328 0 0 0 1 2 0 0 20 0 3 0 181598627 1788170240 398700 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 3580.59 s
Current children cumulated vsize: 1746260 KiB
Current children cumulated memory: 1594800 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 952459
/proc/meminfo: memFree=123372928/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1746260 memory=1595060 CPUtime=3586.97 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 2237526 0 0 0 358517 180 0 0 20 0 3 0 181593586 1788170240 398765 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 436565 398765 2990 3032 0 430298 0
[pid=950323/tid=950334] ppid=950320 vsize=1746260 memory=1587564 CPUtime=3536.77 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 2095583 0 0 0 353523 154 0 0 20 0 3 0 181598602 1788170240 398765 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=1746260 memory=12088 CPUtime=0.03 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 328 0 0 0 1 2 0 0 20 0 3 0 181598627 1788170240 398765 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 3586.97 s
Current children cumulated vsize: 1746260 KiB
Current children cumulated memory: 1595060 KiB

[startup+3598.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 952505
/proc/meminfo: memFree=124644576/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1746260 memory=1595060 CPUtime=3588.57 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 2237529 0 0 0 358677 180 0 0 20 0 3 0 181593586 1788170240 398765 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 436565 398765 2990 3032 0 430298 0
[pid=950323/tid=950334] ppid=950320 vsize=1746260 memory=32872 CPUtime=3538.37 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 2095586 0 0 0 353683 154 0 0 20 0 3 0 181598602 1788170240 398765 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=1746260 memory=1595060 CPUtime=0.03 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 328 0 0 0 1 2 0 0 20 0 3 0 181598627 1788170240 398765 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 3588.57 s
Current children cumulated vsize: 1746260 KiB
Current children cumulated memory: 1595060 KiB

[startup+3600 s]*
/proc/loadavg: 4.08 4.10 4.09 5/263 952507
/proc/meminfo: memFree=124564356/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1746260 memory=1595060 CPUtime=3590.17 cores=5,7
/proc/950323/stat : 950323 (fscip) S 950320 950323 950155 0 -1 1077936128 2237532 0 0 0 358837 180 0 0 20 0 3 0 181593586 1788170240 398765 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 436565 398765 2990 3032 0 430298 0
[pid=950323/tid=950334] ppid=950320 vsize=1746260 memory=4968 CPUtime=3539.97 cores=5,7
/proc/950323/task/950334/stat : 950334 (fscip) R 950320 950323 950155 0 -1 4194368 2095589 0 0 0 353843 154 0 0 20 0 3 0 181598602 1788170240 398765 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
[pid=950323/tid=950335] ppid=950320 vsize=1746260 memory=-6729902218799135595 CPUtime=0.03 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 328 0 0 0 1 2 0 0 20 0 3 0 181598627 1788170240 398765 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 3590.17 s
Current children cumulated vsize: 1746260 KiB
Current children cumulated memory: 1595060 KiB

[startup+3600.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 952507
/proc/meminfo: memFree=124564356/131524600 swapFree=131071996/131071996
[pid=950323] ppid=950320 vsize=1520728 memory=1419544 CPUtime=3590.56 cores=5,7
/proc/950323/stat : 950323 (fscip) R 950320 950323 950155 0 -1 4194304 2240599 0 0 0 358876 180 0 0 20 0 2 0 181593586 1557225472 354886 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
/proc/950323/statm: 380182 354886 2990 3032 0 374500 0
[pid=950323/tid=950335] ppid=950320 vsize=1520728 memory=2128 CPUtime=0.03 cores=5,7
/proc/950323/task/950335/stat : 950335 (fscip) S 950320 950323 950155 0 -1 1077936192 328 0 0 0 1 2 0 0 20 0 2 0 181598627 1557225472 354886 134679101440 4194304 16613245 140726002020032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41603072 140726002021396 140726002021512 140726002021512 140726002028528 0
Current children cumulated CPU time: 3590.56 s
Current children cumulated vsize: 1520728 KiB
Current children cumulated memory: 1419544 KiB

[startup+3600.6 s]*
/proc/loadavg: 4.08 4.10 4.09 4/258 952555
/proc/meminfo: memFree=126149820/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3600.61
CPU time (s): 3590.77
CPU user time (s): 3588.95
CPU system time (s): 1.81537
CPU usage (%): 99.7268
Max. virtual memory (cumulated for all children) (KiB): 1746260
Max. memory (cumulated for all children) (KiB): 1595068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.95
system time used= 1.81537
maximum resident set size= 1595068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2247417
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= 4554
involuntary context switches= 1826


# summary of solver processes directly reported to runsolver:
#   pid: 950323
#   total CPU time (s): 3590.77
#   total CPU user time (s): 3588.95
#   total CPU system time (s): 1.81537

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56762 second user time and 15.92 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-18 11:17:39
IDJOB=4441730
IDBENCH=147745
IDSOLVER=3064
FILE ID=nodeC032/4441730-1721294246
RUNJOBID= nodeC032-1721294255-950168
SLURM_JOB_ID= 7542614
Free space on /tmp= 889984 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.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-4441730-1721294246/watcher-4441730-1721294246 -o /tmp/evaluation-result-4441730-1721294246/solver-4441730-1721294246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950168 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4441730-1721294246.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 028f5bd5fcfe993f30262959408a2b50
RANDOM SEED=1299706151

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		: 3668.348
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.33
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		: 3674.539
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.03
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		: 3599.786
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.33
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		: 3599.916
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.03
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		: 3668.373
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.33
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		: 3677.182
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.03
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.017
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.33
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		: 3664.056
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.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126178364 kB
MemAvailable:   128654640 kB
Buffers:          482216 kB
Cached:          2809984 kB
SwapCached:            0 kB
Active:           930672 kB
Inactive:        3760056 kB
Active(anon):       1564 kB
Inactive(anon):  1434388 kB
Active(file):     929108 kB
Inactive(file):  2325668 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            129784 kB
Writeback:             4 kB
AnonPages:       1398360 kB
Mapped:           138276 kB
Shmem:             37720 kB
KReclaimable:     122648 kB
Slab:             238344 kB
SReclaimable:     122648 kB
SUnreclaim:       115696 kB
KernelStack:        4128 kB
PageTables:        11916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1665192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68960 kB
HardwareCorrupted:     0 kB
AnonHugePages:    370688 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:      226004 kB
DirectMap2M:    21567488 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC032 at 2024-07-18 12:17:40