Trace number 4464428

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-30? 3583.43 3598.12

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUM0255b3d891da2276599e5fcb43348962
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.072588
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4632
Total number of constraints30964
Number of constraints which are clauses29940
Number of constraints which are cardinality constraints (but not clauses)946
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 104
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.09	c Default LC presolving (default).
0.00/0.09	c ** Before presolving: virtualMemUsedAtLc = 88672205, getVmSize() = 77651968, SCIPgetMemUsed() = 45819553, SCIPgetMemTotal() = 53755401, SCIPgetMemExternEstim() = 34916804
0.00/0.09	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.59/0.63	c ** Estimated virtualMemUsedAtSolver = 105989000, getVmSize() = 153690112, SCIPgetMemUsed() = 83551088, SCIPgetMemTotal() = 124066696, SCIPgetMemExternEstim() = 34916804
0.59/0.63	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.59/0.63	c Original Problem   :
0.59/0.63	c   Problem name     : instance-4464428-1722378598
0.59/0.63	c   Variables        : 4632 (4632 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.63	c   Constraints      : 30964
0.59/0.63	c   Objective sense  : minimize
0.59/0.63	c Presolved Problem  :
0.59/0.63	c   Variables        : 4632 (4632 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.63	c   Constraints      : 30964
0.59/0.63	c Constraints        : Number
0.59/0.63	c   knapsack         : 78 
0.59/0.63	c   setppc           : 946 
0.59/0.63	c   logicor          : 29940 
0.59/0.63	c ** Instance transfer method used: 0
0.59/0.68	c ** ParaScipInstance copy does not increase the number of variables. **
0.68/0.72	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.68/0.72	c                                Nodes    Active                                            
0.68/0.72	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
161.92/162.79	c       163              2           1         1                -           0.0000          -
167.10/167.99	c       168              3           2         1                -           0.0000          -
191.49/192.41	c       192              6           5         1                -           0.0000          -
215.79/216.82	c       217              8           7         1                -           0.0000          -
248.85/250.06	c       250              9           8         1                -           0.0000          -
259.31/260.53	c       261             11          10         1                -           0.0000          -
283.12/284.41	c       284             12          11         1                -           0.0000          -
293.68/295.08	c       295             13          12         1                -           0.0000          -
316.98/318.43	c       318             19          18         1                -           0.0000          -
337.70/339.27	c       339             21          20         1                -           0.0000          -
364.59/366.26	c       366             22          21         1                -           0.0000          -
384.11/385.86	c       386             23          22         1                -           0.0000          -
395.36/397.11	c       397             24          23         1                -           0.0000          -
425.25/427.12	c       427             26          25         1                -           0.0000          -
444.96/446.93	c       447             28          27         1                -           0.0000          -
461.49/463.55	c       464             30          29         1                -           0.0000          -
469.36/471.47	c       471             31          30         1                -           0.0000          -
494.16/496.30	c       496             32          31         1                -           0.0000          -
523.34/525.60	c       526             33          32         1                -           0.0000          -
537.18/539.51	c       540             34          33         1                -           0.0000          -
567.26/569.72	c       570             37          36         1                -           0.0000          -
579.40/581.93	c       582             38          37         1                -           0.0000          -
596.63/599.24	c       599             42          41         1                -           0.0000          -
604.89/607.52	c       608             43          42         1                -           0.0000          -
624.12/626.86	c       627             44          43         1                -           0.0000          -
637.67/640.41	c       640             45          44         1                -           0.0000          -
673.91/676.87	c       677             47          46         1                -           0.0000          -
688.75/691.77	c       692             50          49         1                -           0.0000          -
695.72/698.73	c       699             51          50         1                -           0.0000          -
712.85/715.99	c       716             52          51         1                -           0.0000          -
726.50/729.65	c       730             53          52         1                -           0.0000          -
752.50/755.73	c       756             54          53         1                -           0.0000          -
771.82/775.11	c       775             55          54         1                -           0.0000          -
777.49/780.82	c       781             56          55         1                -           0.0000          -
807.37/810.81	c       811             58          57         1                -           0.0000          -
817.33/820.80	c       821             60          59         1                -           0.0000          -
826.09/829.62	c       830             61          60         1                -           0.0000          -
855.97/859.69	c       860             62          61         1                -           0.0000          -
870.91/874.65	c       875             65          64         1                -           0.0000          -
882.37/886.13	c       886             66          65         1                -           0.0000          -
895.81/899.68	c       900             67          66         1                -           0.0000          -
907.67/911.50	c       912             69          68         1                -           0.0000          -
938.25/942.25	c       942             70          69         1                -           0.0000          -
982.67/986.84	c       987             73          72         1                -           0.0000          -
987.96/992.12	c       992             74          73         1                -           0.0000          -
1004.20/1008.45	c      1008             75          74         1                -           0.0000          -
1045.32/1049.72	c      1050             76          75         1                -           0.0000          -
1064.44/1068.99	c      1069             77          76         1                -           0.0000          -
1083.56/1088.18	c      1088             78          77         1                -           0.0000          -
1102.37/1107.07	c      1107             80          79         1                -           0.0000          -
1115.91/1120.61	c      1121             82          81         1                -           0.0000          -
1138.91/1143.77	c      1144             83          82         1                -           0.0000          -
1159.92/1164.89	c      1165             84          83         1                -           0.0000          -
1179.83/1184.85	c      1185             85          84         1                -           0.0000          -
1220.05/1225.20	c      1225             86          85         1                -           0.0000          -
1227.02/1232.20	c      1232             89          88         1                -           0.0000          -
1248.13/1253.48	c      1253             94          93         1                -           0.0000          -
1283.27/1288.77	c      1289             95          94         1                -           0.0000          -
1293.93/1299.42	c      1299             96          95         1                -           0.0000          -
1318.12/1323.78	c      1324             97          96         1                -           0.0000          -
1331.47/1337.12	c      1337             98          97         1                -           0.0000          -
1355.95/1361.71	c      1362            100          99         1                -           0.0000          -
1365.51/1371.30	c      1371            101         100         1                -           0.0000          -
1391.99/1397.93	c      1398            102         101         1                -           0.0000          -
1408.33/1414.34	c      1414            103         102         1                -           0.0000          -
1445.17/1451.36	c      1451            104         103         1                -           0.0000          -
1451.14/1457.33	c      1457            105         104         1                -           0.0000          -
1487.28/1493.61	c      1494            106         105         1                -           0.0000          -
1502.51/1508.90	c      1509            107         106         1                -           0.0000          -
1521.53/1528.02	c      1528            108         107         1                -           0.0000          -
1529.19/1535.79	c      1536            109         108         1                -           0.0000          -
1535.08/1541.69	c      1542            110         109         1                -           0.0000          -
1562.26/1568.92	c      1569            112         111         1                -           0.0000          -
1592.23/1599.00	c      1599            113         112         1                -           0.0000          -
1597.60/1604.47	c      1604            114         113         1                -           0.0000          -
1649.28/1656.35	c      1656            115         114         1                -           0.0000          -
1659.13/1666.24	c      1666            116         115         1                -           0.0000          -
1676.46/1683.64	c      1684            117         116         1                -           0.0000          -
1690.00/1697.22	c      1697            118         117         1                -           0.0000          -
1699.45/1706.77	c      1707            119         118         1                -           0.0000          -
1712.40/1719.76	c      1720            120         119         1                -           0.0000          -
1718.97/1726.39	c      1726            121         120         1                -           0.0000          -
1725.14/1732.57	c      1733            122         121         1                -           0.0000          -
1735.60/1743.02	c      1743            124         123         1                -           0.0000          -
1748.34/1755.85	c      1756            125         124         1                -           0.0000          -
1771.34/1778.96	c      1779            127         126         1                -           0.0000          -
1776.82/1784.40	c      1784            128         127         1                -           0.0000          -
1785.28/1792.97	c      1793            129         128         1                -           0.0000          -
1795.24/1802.98	c      1803            130         129         1                -           0.0000          -
1801.21/1808.93	c      1809            131         130         1                -           0.0000          -
1807.19/1814.99	c      1815            132         131         1                -           0.0000          -
1815.75/1823.56	c      1824            133         132         1                -           0.0000          -
1822.03/1829.84	c      1830            134         133         1                -           0.0000          -
1828.60/1836.50	c      1836            135         134         1                -           0.0000          -
1836.77/1844.62	c      1845            136         135         1                -           0.0000          -
1851.71/1859.62	c      1860            137         136         1                -           0.0000          -
1893.55/1901.65	c      1902            138         137         1                -           0.0000          -
1905.40/1913.57	c      1914            140         139         1                -           0.0000          -
1918.05/1926.22	c      1926            141         140         1                -           0.0000          -
1925.02/1933.29	c      1933            142         141         1                -           0.0000          -
1933.68/1941.98	c      1942            144         143         1                -           0.0000          -
1939.96/1948.25	c      1948            145         144         1                -           0.0000          -
1959.79/1968.15	c      1968            147         148         1                -           0.0000          -
1966.06/1974.40	c      1974            149         148         1                -           0.0000          -
1999.93/2008.43	c      2008            150         149         1                -           0.0000          -
2006.80/2015.34	c      2015            151         150         1                -           0.0000          -
2041.96/2050.67	c      2051            152         151         1                -           0.0000          -
2063.39/2072.12	c      2072            153         152         1                -           0.0000          -
2079.72/2088.52	c      2089            153         154         1                -           0.0000          -
2094.86/2103.72	c      2104            154         153         1                -           0.0000          -
2104.91/2113.87	c      2114            156         155         1                -           0.0000          -
2134.30/2143.39	c      2143            157         156         1                -           0.0000          -
2144.96/2154.02	c      2154            158         157         1                -           0.0000          -
2157.92/2167.06	c      2167            159         158         1                -           0.0000          -
2181.62/2190.82	c      2191            160         159         1                -           0.0000          -
2187.50/2196.78	c      2197            161         160         1                -           0.0000          -
2195.87/2205.16	c      2205            162         161         1                -           0.0000          -
2224.35/2233.78	c      2234            163         162         1                -           0.0000          -
2241.18/2250.68	c      2251            164         163         1                -           0.0000          -
2252.34/2261.88	c      2262            165         164         1                -           0.0000          -
2272.06/2281.61	c      2282            166         165         1                -           0.0000          -
2289.80/2299.49	c      2299            167         166         1                -           0.0000          -
2308.03/2317.77	c      2318            168         167         1                -           0.0000          -
2316.19/2325.97	c      2326            171         170         1                -           0.0000          -
2340.59/2350.43	c      2350            172         171         1                -           0.0000          -
2356.33/2366.23	c      2366            173         172         1                -           0.0000          -
2380.04/2390.09	c      2390            175         174         1                -           0.0000          -
2402.75/2412.80	c      2413            176         175         1                -           0.0000          -
2408.13/2418.27	c      2418            177         176         1                -           0.0000          -
2416.79/2426.94	c      2427            178         177         1                -           0.0000          -
2448.37/2458.63	c      2459            179         178         1                -           0.0000          -
2469.98/2480.31	c      2480            180         179         1                -           0.0000          -
2475.16/2485.52	c      2486            181         180         1                -           0.0000          -
2480.64/2491.03	c      2491            182         181         1                -           0.0000          -
2519.09/2529.69	c      2530            186         185         1                -           0.0000          -
2531.14/2541.71	c      2542            190         189         1                -           0.0000          -
2538.32/2548.95	c      2549            191         190         1                -           0.0000          -
2548.88/2559.53	c      2560            192         191         1                -           0.0000          -
2564.02/2574.77	c      2575            195         194         1                -           0.0000          -
2575.48/2586.28	c      2586            198         197         1                -           0.0000          -
2583.64/2594.45	c      2594            201         200         1                -           0.0000          -
2608.95/2619.80	c      2620            202         201         1                -           0.0000          -
2631.36/2642.38	c      2642            203         202         1                -           0.0000          -
2639.92/2650.93	c      2651            204         203         1                -           0.0000          -
2649.38/2660.46	c      2660            207         206         1                -           0.0000          -
2658.45/2669.52	c      2670            208         207         1                -           0.0000          -
2701.08/2712.32	c      2712            211         210         1                -           0.0000          -
2708.76/2720.05	c      2720            212         211         1                -           0.0000          -
2717.22/2728.57	c      2729            213         212         1                -           0.0000          -
2727.28/2738.64	c      2739            214         213         1                -           0.0000          -
2738.83/2750.28	c      2750            215         214         1                -           0.0000          -
2756.36/2767.85	c      2768            216         215         1                -           0.0000          -
2762.33/2773.85	c      2774            217         216         1                -           0.0000          -
2769.41/2780.99	c      2781            218         217         1                -           0.0000          -
2776.68/2788.24	c      2788            219         218         1                -           0.0000          -
2787.73/2799.33	c      2799            220         219         1                -           0.0000          -
2793.21/2804.85	c      2805            221         220         1                -           0.0000          -
2855.38/2867.28	c      2867            222         221         1                -           0.0000          -
2866.24/2878.16	c      2878            226         225         1                -           0.0000          -
2876.89/2888.80	c      2889            228         227         1                -           0.0000          -
2882.66/2894.69	c      2895            229         228         1                -           0.0000          -
2888.44/2900.42	c      2900            231         230         1                -           0.0000          -
2897.41/2909.46	c      2909            232         231         1                -           0.0000          -
2906.97/2919.05	c      2919            236         235         1                -           0.0000          -
2915.04/2927.17	c      2927            237         236         1                -           0.0000          -
2923.10/2935.21	c      2935            240         239         1                -           0.0000          -
2932.17/2944.35	c      2944            241         240         1                -           0.0000          -
2951.19/2963.47	c      2963            242         241         1                -           0.0000          -
2966.54/2978.80	c      2979            245         244         1                -           0.0000          -
2975.20/2987.54	c      2988            246         245         1                -           0.0000          -
3004.18/3016.63	c      3017            247         246         1                -           0.0000          -
3009.76/3022.22	c      3022            249         248         1                -           0.0000          -
3015.04/3027.56	c      3028            250         249         1                -           0.0000          -
3049.71/3062.36	c      3062            251         250         1                -           0.0000          -
3066.35/3079.03	c      3079            252         251         1                -           0.0000          -
3083.57/3096.34	c      3096            255         254         1                -           0.0000          -
3089.95/3102.76	c      3103            256         255         1                -           0.0000          -
3095.42/3108.22	c      3108            257         256         1                -           0.0000          -
3107.77/3120.66	c      3121            258         257         1                -           0.0000          -
3118.03/3130.97	c      3131            259         258         1                -           0.0000          -
3136.37/3149.37	c      3149            260         259         1                -           0.0000          -
3142.55/3155.50	c      3156            261         260         1                -           0.0000          -
3162.47/3175.54	c      3176            262         261         1                -           0.0000          -
3169.24/3182.39	c      3182            264         263         1                -           0.0000          -
3179.70/3192.89	c      3193            265         264         1                -           0.0000          -
3198.42/3211.61	c      3212            267         266         1                -           0.0000          -
3204.60/3217.88	c      3218            269         268         1                -           0.0000          -
3211.57/3224.81	c      3225            270         269         1                -           0.0000          -
3217.45/3230.75	c      3231            271         270         1                -           0.0000          -
3225.72/3239.07	c      3239            272         271         1                -           0.0000          -
3236.57/3249.93	c      3250            274         273         1                -           0.0000          -
3242.55/3255.92	c      3256            275         274         1                -           0.0000          -
3250.12/3263.55	c      3264            276         275         1                -           0.0000          -
3258.79/3272.25	c      3272            277         276         1                -           0.0000          -
3264.16/3277.61	c      3278            278         277         1                -           0.0000          -
3287.58/3301.16	c      3301            279         278         1                -           0.0000          -
3312.18/3325.81	c      3326            280         279         1                -           0.0000          -
3317.36/3331.07	c      3331            282         281         1                -           0.0000          -
3350.03/3363.84	c      3364            283         282         1                -           0.0000          -
3355.31/3369.11	c      3369            284         283         1                -           0.0000          -
3364.37/3378.28	c      3378            285         284         1                -           0.0000          -
3377.22/3391.14	c      3391            286         285         1                -           0.0000          -
3397.34/3411.37	c      3411            288         287         1                -           0.0000          -
3407.00/3421.00	c      3421            289         288         1                -           0.0000          -
3421.24/3435.35	c      3435            292         291         1                -           0.0000          -
3432.29/3446.44	c      3446            293         292         1                -           0.0000          -
3439.07/3453.26	c      3453            294         293         1                -           0.0000          -
3444.44/3458.64	c      3459            295         294         1                -           0.0000          -
3454.60/3468.81	c      3469            296         295         1                -           0.0000          -
3460.99/3475.22	c      3475            298         297         1                -           0.0000          -
3471.85/3486.12	c      3486            299         298         1                -           0.0000          -
3483.60/3497.98	c      3498            301         300         1                -           0.0000          -
3496.94/3511.31	c      3511            302         301         1                -           0.0000          -
3504.91/3519.36	c      3519            303         302         1                -           0.0000          -
3513.37/3527.80	c      3528            305         304         1                -           0.0000          -
3523.43/3537.98	c      3538            306         305         1                -           0.0000          -
3554.81/3569.41	c      3569            307         306         1                -           0.0000          -
3568.56/3583.21	c      3583            309         306         1                -           0.0000          -
3574.93/3589.63	c      3590            310         307         1                -           0.0000          -
3583.20/3597.99	c      3598            311         308         0                -           0.0000          -
3583.30/3598.07	c SCIP Status        : c solving was interrupted [hard time limit reached]
3583.30/3598.07	c Total Time         : 3598.0800
3583.30/3598.07	c   solving          : 3598.0800
3583.30/3598.07	c   presolving       : 0.5360 (included in solving)
3583.30/3598.07	c B&B Tree           :
3583.30/3598.07	c   nodes (total)    : 1
3583.30/3598.07	c Solution           :
3583.30/3598.07	c   Solutions found  : 0
3583.30/3598.07	c   Primal Bound     :          -
3583.30/3598.07	c   Dual Bound       : +0.00000000000000e+00
3583.30/3598.07	c Gap                :          -
3583.40/3598.11	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 (62902 MiB free)
  memory of node 1: 64473 MiB (64012 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100079 s]*
/proc/loadavg: 0.43 0.26 0.19 5/255 27731
/proc/meminfo: memFree=129830204/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=77756 memory=65716 CPUtime=0.1 cores=0,2
/proc/27722/stat : 27722 (fscip) R 27718 27722 27458 0 -1 4194304 14167 0 0 0 8 2 0 0 20 0 1 0 4460919 79622144 16429 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 19439 16429 2614 3035 0 15835 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77756 KiB
Current children cumulated memory: 65716 KiB

[startup+0.205759 s]*
/proc/loadavg: 0.43 0.26 0.19 5/253 27735
/proc/meminfo: memFree=129733172/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=93720 memory=81968 CPUtime=0.2 cores=0,2
/proc/27722/stat : 27722 (fscip) R 27718 27722 27458 0 -1 4194304 21333 0 0 0 17 3 0 0 20 0 1 0 4460919 95969280 20492 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 23430 20492 2710 3035 0 19826 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93720 KiB
Current children cumulated memory: 81968 KiB

[startup+0.305979 s]*
/proc/loadavg: 0.43 0.26 0.19 4/253 27735
/proc/meminfo: memFree=129708952/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=97880 memory=86076 CPUtime=0.3 cores=0,2
/proc/27722/stat : 27722 (fscip) R 27718 27722 27458 0 -1 4194304 23575 0 0 0 26 4 0 0 20 0 1 0 4460919 100229120 21519 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 24470 21519 2758 3035 0 20866 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97880 KiB
Current children cumulated memory: 86076 KiB

[startup+0.700188 s]
/proc/loadavg: 0.43 0.26 0.19 3/251 27776
/proc/meminfo: memFree=129823652/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=223820 memory=139604 CPUtime=0.68 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 43023 0 0 0 61 7 0 0 20 0 2 0 4460919 229191680 34901 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 55955 34901 2774 3035 0 39369 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 223820 KiB
Current children cumulated memory: 139604 KiB

[startup+1.50021 s]
/proc/loadavg: 0.43 0.26 0.19 4/260 27825
/proc/meminfo: memFree=129515776/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=297700 memory=246884 CPUtime=1.48 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 72209 0 0 0 137 11 0 0 20 0 3 0 4460919 304844800 61721 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 74425 61721 2934 3035 0 68705 0
[pid=27722/tid=27808] ppid=27718 vsize=297700 memory=7078120 CPUtime=0.8 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 32536 0 0 0 76 4 0 0 20 0 3 0 4460983 304844800 61721 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=297700 memory=11532 CPUtime=0 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4460992 304844800 61721 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 297700 KiB
Current children cumulated memory: 246884 KiB

[startup+3.10553 s]
/proc/loadavg: 0.43 0.26 0.19 4/261 28033
/proc/meminfo: memFree=129399452/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=297700 memory=249720 CPUtime=3.08 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 75739 0 0 0 296 12 0 0 20 0 3 0 4460919 304844800 62430 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 74425 62430 2934 3035 0 69695 0
[pid=27722/tid=27808] ppid=27718 vsize=297700 memory=11532 CPUtime=2.39 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 36059 0 0 0 235 4 0 0 20 0 3 0 4460983 304844800 62430 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=297700 memory=0 CPUtime=0 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4460992 304844800 62430 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 297700 KiB
Current children cumulated memory: 249720 KiB

[startup+6.30019 s]
/proc/loadavg: 0.72 0.32 0.21 5/262 28207
/proc/meminfo: memFree=129214764/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=297700 memory=249936 CPUtime=6.25 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 81769 0 0 0 613 12 0 0 20 0 3 0 4460919 304844800 62484 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 74425 62484 2934 3035 0 69695 0
[pid=27722/tid=27808] ppid=27718 vsize=297700 memory=12816 CPUtime=5.58 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 42082 0 0 0 553 5 0 0 20 0 3 0 4460983 304844800 62484 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=297700 memory=0 CPUtime=0 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4460992 304844800 62484 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 297700 KiB
Current children cumulated memory: 249936 KiB

[startup+12.7002 s]
/proc/loadavg: 1.06 0.40 0.23 5/266 28213
/proc/meminfo: memFree=128728940/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=297700 memory=250000 CPUtime=12.63 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 88094 0 0 0 1250 13 0 0 20 0 3 0 4460919 304844800 62500 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 74425 62500 2950 3035 0 69695 0
[pid=27722/tid=27808] ppid=27718 vsize=297700 memory=249936 CPUtime=11.95 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 48386 0 0 0 1189 6 0 0 20 0 3 0 4460983 304844800 62500 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=297700 memory=158937 CPUtime=0 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4460992 304844800 62500 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 297700 KiB
Current children cumulated memory: 250000 KiB

[startup+25.5003 s]
/proc/loadavg: 1.71 0.58 0.30 5/266 28215
/proc/meminfo: memFree=128521276/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=363236 memory=260168 CPUtime=25.38 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 120047 0 0 0 2523 15 0 0 20 0 3 0 4460919 371953664 65042 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 90809 65042 2966 3035 0 72808 0
[pid=27722/tid=27808] ppid=27718 vsize=363236 memory=0 CPUtime=24.7 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 80325 0 0 0 2462 8 0 0 20 0 3 0 4460983 371953664 65042 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=363236 memory=11532 CPUtime=0 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 4460992 371953664 65042 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 363236 KiB
Current children cumulated memory: 260168 KiB

[startup+51.1059 s]
/proc/loadavg: 2.49 0.85 0.39 5/267 28276
/proc/meminfo: memFree=128415956/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=363236 memory=265156 CPUtime=50.86 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 153933 0 0 0 5069 17 0 0 20 0 3 0 4460919 371953664 66289 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 90809 66289 2966 3035 0 75861 0
[pid=27722/tid=27808] ppid=27718 vsize=363236 memory=263764 CPUtime=50.18 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 114197 0 0 0 5008 10 0 0 20 0 3 0 4460983 371953664 66289 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=363236 memory=4640204490969339242 CPUtime=0 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 4460992 371953664 66289 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 363236 KiB
Current children cumulated memory: 265156 KiB

[startup+102.3 s]
/proc/loadavg: 3.39 1.36 0.59 5/266 28287
/proc/meminfo: memFree=128383464/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=363236 memory=270948 CPUtime=101.8 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 190725 0 0 0 10160 20 0 0 20 0 3 0 4460919 371953664 67737 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 90809 67737 2966 3035 0 79686 0
[pid=27722/tid=27808] ppid=27718 vsize=363236 memory=270348 CPUtime=101.11 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 150975 0 0 0 10099 12 0 0 20 0 3 0 4460983 371953664 67737 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=363236 memory=-5155626912120663173 CPUtime=0 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 4460992 371953664 67737 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 363236 KiB
Current children cumulated memory: 270948 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 1.87 0.82 5/266 28298
/proc/meminfo: memFree=128285232/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=428772 memory=325704 CPUtime=161.53 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 233752 0 0 0 16128 25 0 0 20 0 3 0 4460919 439062528 81426 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 107193 81426 2982 3035 0 94097 0
[pid=27722/tid=27808] ppid=27718 vsize=428772 memory=275108 CPUtime=160.84 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 193991 0 0 0 16067 17 0 0 20 0 3 0 4460983 439062528 81426 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=428772 memory=276832 CPUtime=0 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 3 0 4460992 439062528 81426 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 161.53 s
Current children cumulated vsize: 428772 KiB
Current children cumulated memory: 325704 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 2.32 1.04 5/266 28309
/proc/meminfo: memFree=128190044/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=428772 memory=351704 CPUtime=221.26 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 237914 0 0 0 22100 26 0 0 20 0 3 0 4460919 439062528 87926 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 107193 87926 2982 3035 0 94097 0
[pid=27722/tid=27808] ppid=27718 vsize=428772 memory=332216 CPUtime=220.58 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 198103 0 0 0 22039 19 0 0 20 0 3 0 4460983 439062528 87926 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=428772 memory=11532 CPUtime=0 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 4460992 439062528 87926 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 221.26 s
Current children cumulated vsize: 428772 KiB
Current children cumulated memory: 351704 KiB


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

/proc/loadavg: 4.11 4.13 4.05 5/264 29872
/proc/meminfo: memFree=127352976/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=563888 memory=454632 CPUtime=3448.13 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 359111 0 0 0 344752 61 0 0 20 0 3 0 4460919 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 140972 113658 3030 3035 0 120553 0
[pid=27722/tid=27808] ppid=27718 vsize=563888 memory=12744 CPUtime=3447.38 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 317892 0 0 0 344689 49 0 0 20 0 3 0 4460983 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=563888 memory=454632 CPUtime=0.04 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 383 0 0 0 1 3 0 0 20 0 3 0 4460992 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 3448.13 s
Current children cumulated vsize: 563888 KiB
Current children cumulated memory: 454632 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.05 5/265 30051
/proc/meminfo: memFree=127351500/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=563888 memory=454632 CPUtime=3507.9 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 360658 0 0 0 350728 62 0 0 20 0 3 0 4460919 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 140972 113658 3030 3035 0 120553 0
[pid=27722/tid=27808] ppid=27718 vsize=563888 memory=454632 CPUtime=3507.13 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 319408 0 0 0 350664 49 0 0 20 0 3 0 4460983 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=563888 memory=12744 CPUtime=0.04 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 389 0 0 0 1 3 0 0 20 0 3 0 4460992 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 3507.9 s
Current children cumulated vsize: 563888 KiB
Current children cumulated memory: 454632 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.05 5/265 30062
/proc/meminfo: memFree=127351236/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=563888 memory=454632 CPUtime=3567.66 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 362301 0 0 0 356703 63 0 0 20 0 3 0 4460919 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 140972 113658 3030 3035 0 120553 0
[pid=27722/tid=27808] ppid=27718 vsize=563888 memory=1944 CPUtime=3566.9 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 321043 0 0 0 356640 50 0 0 20 0 3 0 4460983 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=563888 memory=11532 CPUtime=0.04 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 395 0 0 0 1 3 0 0 20 0 3 0 4460992 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 3567.66 s
Current children cumulated vsize: 563888 KiB
Current children cumulated memory: 454632 KiB

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

# cumulated CPU time of all completed processes:  user=3582.78 s, system=0.640085 s

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

[startup+3584 s]*
/proc/loadavg: 4.07 4.11 4.05 5/265 30062
/proc/meminfo: memFree=127351244/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=563888 memory=454632 CPUtime=3569.36 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 362521 0 0 0 356873 63 0 0 20 0 3 0 4460919 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 140972 113658 3030 3035 0 120553 0
[pid=27722/tid=27808] ppid=27718 vsize=563888 memory=-7522256593712407424 CPUtime=3568.6 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 321247 0 0 0 356810 50 0 0 20 0 3 0 4460983 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=563888 memory=4672 CPUtime=0.04 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 395 0 0 0 1 3 0 0 20 0 3 0 4460992 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 3569.36 s
Current children cumulated vsize: 563888 KiB
Current children cumulated memory: 454632 KiB

[startup+3590.4 s]
/proc/loadavg: 4.06 4.10 4.05 5/265 30063
/proc/meminfo: memFree=127351244/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=563888 memory=454632 CPUtime=3575.73 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 362570 0 0 0 357510 63 0 0 20 0 3 0 4460919 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 140972 113658 3030 3035 0 120553 0
[pid=27722/tid=27808] ppid=27718 vsize=563888 memory=454632 CPUtime=3574.96 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 321296 0 0 0 357446 50 0 0 20 0 3 0 4460983 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=563888 memory=454632 CPUtime=0.04 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 395 0 0 0 1 3 0 0 20 0 3 0 4460992 577421312 113658 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 3575.73 s
Current children cumulated vsize: 563888 KiB
Current children cumulated memory: 454632 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.12 4.05 5/265 30063
/proc/meminfo: memFree=127349344/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=563888 memory=456464 CPUtime=3578.91 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 362570 0 0 0 357828 63 0 0 20 0 3 0 4460919 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 140972 114116 3030 3035 0 120553 0
[pid=27722/tid=27808] ppid=27718 vsize=563888 memory=454632 CPUtime=3578.15 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 321296 0 0 0 357765 50 0 0 20 0 3 0 4460983 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=563888 memory=454632 CPUtime=0.04 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 395 0 0 0 1 3 0 0 20 0 3 0 4460992 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 3578.91 s
Current children cumulated vsize: 563888 KiB
Current children cumulated memory: 456464 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.05 5/265 30063
/proc/meminfo: memFree=127349336/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=563888 memory=456464 CPUtime=3580.51 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 362574 0 0 0 357988 63 0 0 20 0 3 0 4460919 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 140972 114116 3030 3035 0 120553 0
[pid=27722/tid=27808] ppid=27718 vsize=563888 memory=11532 CPUtime=3579.75 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 321300 0 0 0 357925 50 0 0 20 0 3 0 4460983 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=563888 memory=456464 CPUtime=0.04 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 395 0 0 0 1 3 0 0 20 0 3 0 4460992 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 3580.51 s
Current children cumulated vsize: 563888 KiB
Current children cumulated memory: 456464 KiB

[startup+3596.8 s]
/proc/loadavg: 4.13 4.12 4.05 5/265 30063
/proc/meminfo: memFree=127349328/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=563888 memory=456464 CPUtime=3582.1 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 362574 0 0 0 358147 63 0 0 20 0 3 0 4460919 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 140972 114116 3030 3035 0 120553 0
[pid=27722/tid=27808] ppid=27718 vsize=563888 memory=454632 CPUtime=3581.34 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 321300 0 0 0 358084 50 0 0 20 0 3 0 4460983 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=563888 memory=454632 CPUtime=0.04 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 395 0 0 0 1 3 0 0 20 0 3 0 4460992 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 3582.1 s
Current children cumulated vsize: 563888 KiB
Current children cumulated memory: 456464 KiB

[startup+3597.6 s]
/proc/loadavg: 4.13 4.12 4.05 5/265 30063
/proc/meminfo: memFree=127349344/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=563888 memory=456464 CPUtime=3582.9 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 362574 0 0 0 358227 63 0 0 20 0 3 0 4460919 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 140972 114116 3030 3035 0 120553 0
[pid=27722/tid=27808] ppid=27718 vsize=563888 memory=12744 CPUtime=3582.13 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 321300 0 0 0 358163 50 0 0 20 0 3 0 4460983 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=563888 memory=11532 CPUtime=0.04 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 395 0 0 0 1 3 0 0 20 0 3 0 4460992 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 3582.9 s
Current children cumulated vsize: 563888 KiB
Current children cumulated memory: 456464 KiB

[startup+3598 s]*
/proc/loadavg: 4.13 4.12 4.05 5/265 30063
/proc/meminfo: memFree=127349328/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=563888 memory=456464 CPUtime=3583.3 cores=0,2
/proc/27722/stat : 27722 (fscip) S 27718 27722 27458 0 -1 1077936128 362580 0 0 0 358267 63 0 0 20 0 3 0 4460919 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 140972 114116 3030 3035 0 120553 0
[pid=27722/tid=27808] ppid=27718 vsize=563888 memory=-7522256593712407424 CPUtime=3582.54 cores=0,2
/proc/27722/task/27808/stat : 27808 (fscip) R 27718 27722 27458 0 -1 4194368 321305 0 0 0 358204 50 0 0 20 0 3 0 4460983 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
[pid=27722/tid=27813] ppid=27718 vsize=563888 memory=4425512983082987169 CPUtime=0.04 cores=0,2
/proc/27722/task/27813/stat : 27813 (fscip) S 27718 27722 27458 0 -1 1077936192 395 0 0 0 1 3 0 0 20 0 3 0 4460992 577421312 114116 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
Current children cumulated CPU time: 3583.3 s
Current children cumulated vsize: 563888 KiB
Current children cumulated memory: 456464 KiB

[startup+3598.11 s]
/proc/loadavg: 4.13 4.12 4.05 5/265 30063
/proc/meminfo: memFree=127349328/131524600 swapFree=131063756/131071996
[pid=27722] ppid=27718 vsize=488920 memory=444144 CPUtime=3583.4 cores=0,2
/proc/27722/stat : 27722 (fscip) R 27718 27722 27458 0 -1 4194304 364364 0 0 0 358277 63 0 0 20 0 1 0 4460919 500654080 111036 134679101440 4194304 16623229 140720673574832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 51310592 140720673584150 140720673584266 140720673584266 140720673591280 0
/proc/27722/statm: 122230 111036 3030 3035 0 117679 0
Current children cumulated CPU time: 3583.4 s
Current children cumulated vsize: 488920 KiB
Current children cumulated memory: 444144 KiB

Child status: 0

Real time (s): 3598.12
CPU time (s): 3583.43
CPU user time (s): 3582.78
CPU system time (s): 0.640085
CPU usage (%): 99.5916
Max. virtual memory (cumulated for all children) (KiB): 563888
Max. memory (cumulated for all children) (KiB): 456464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.78
system time used= 0.640085
maximum resident set size= 456464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364762
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= 4170
involuntary context switches= 25099


# summary of solver processes directly reported to runsolver:
#   pid: 27722
#   total CPU time (s): 3583.43
#   total CPU user time (s): 3582.78
#   total CPU system time (s): 0.640085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25887 second user time and 18.1834 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-31 00:29:58
IDJOB=4464428
IDBENCH=147755
IDSOLVER=3092
FILE ID=nodeC029/4464428-1722378598
RUNJOBID= nodeC029-1722378597-27468
SLURM_JOB_ID= 8249852
Free space on /tmp= 890040 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.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-4464428-1722378598/watcher-4464428-1722378598 -o /tmp/evaluation-result-4464428-1722378598/solver-4464428-1722378598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722378597-27468 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464428-1722378598.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 0255b3d891da2276599e5fcb43348962
RANDOM SEED=881201410

nodeC029.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		: 3648.026
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	: 7000.02
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		: 3601.309
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.75
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.377
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	: 7000.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3665.778
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.75
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		: 3654.042
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	: 7000.02
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		: 3648.085
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.75
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		: 3620.959
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	: 7000.02
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		: 3665.986
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129978744 kB
MemAvailable:   129864180 kB
Buffers:           76896 kB
Cached:           647428 kB
SwapCached:          212 kB
Active:           236400 kB
Inactive:         849196 kB
Active(anon):       1692 kB
Inactive(anon):   379976 kB
Active(file):     234708 kB
Inactive(file):   469220 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063756 kB
Dirty:            117096 kB
Writeback:             0 kB
AnonPages:        359316 kB
Mapped:            97456 kB
Shmem:             21024 kB
KReclaimable:      42664 kB
Slab:             122820 kB
SReclaimable:      42664 kB
SUnreclaim:        80156 kB
KernelStack:        4020 kB
PageTables:         9592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     760664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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:      185044 kB
DirectMap2M:     6928384 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC029 at 2024-07-31 01:29:56