Trace number 4464419

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? 3589.77 3598.65

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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.50/0.52	c Default LC presolving (default).
0.50/0.52	c ** Before presolving: virtualMemUsedAtLc = 455717313, getVmSize() = 310222848, SCIPgetMemUsed() = 263951929, SCIPgetMemTotal() = 276541481, SCIPgetMemExternEstim() = 179175832
0.50/0.52	c ** set memory limit for presolving in LC to 8.79596e+12 for SCIP **
44.66/44.86	c ** Estimated virtualMemUsedAtSolver = 464768998, getVmSize() = 569413632, SCIPgetMemUsed() = 327739418, SCIPgetMemTotal() = 517977666, SCIPgetMemExternEstim() = 179175832
44.66/44.86	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
44.66/44.86	c Original Problem   :
44.66/44.86	c   Problem name     : instance-4464419-1722378598
44.66/44.86	c   Variables        : 49621 (49621 binary, 0 integer, 0 implicit integer, 0 continuous)
44.66/44.86	c   Constraints      : 138346
44.66/44.86	c   Objective sense  : minimize
44.66/44.86	c Presolved Problem  :
44.66/44.86	c   Variables        : 39202 (39202 binary, 0 integer, 0 implicit integer, 0 continuous)
44.66/44.86	c   Constraints      : 44359
44.66/44.86	c Constraints        : Number
44.66/44.86	c   knapsack         : 10956 
44.66/44.86	c   setppc           : 1037 
44.66/44.86	c   and              : 32348 
44.66/44.86	c   logicor          : 18 
44.66/44.86	c ** Instance transfer method used: 0
44.76/44.96	c ** ParaScipInstance copy increased the number of variables. **
44.87/45.08	c LC is working with racing ramp-up and with rebuilding tree after racing.
44.87/45.08	c                                Nodes    Active                                            
44.87/45.08	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
615.87/617.64	c       618              2           1         1                -           0.0000          -
632.51/634.32	c       634              3           2         1                -           0.0000          -
648.08/649.99	c       650              4           3         1                -           0.0000          -
659.64/661.53	c       662              5           4         1                -           0.0000          -
666.02/667.97	c       668              6           5         1                -           0.0000          -
688.18/690.19	c       690              7           6         1                -           0.0000          -
708.22/710.20	c       710              8           7         1                -           0.0000          -
764.99/767.13	c       767             10           7         1                -           0.0000          -
781.14/783.30	c       783             11           8         1                -           0.0000          -
843.39/845.74	c       846             12           9         1                -           0.0000          -
1033.54/1036.34	c      1036             13          10         1                -           0.0000          -
1053.69/1056.53	c      1057             14          11         1                -           0.0000          -
1099.19/1102.13	c      1102             15          12         1                -           0.0000          -
1122.92/1125.96	c      1126             16          13         1                -           0.0000          -
1141.98/1145.05	c      1145             17          14         1                -           0.0000          -
1246.14/1249.48	c      1249             18          15         1                -           0.0000          -
1270.37/1273.74	c      1274             19          16         1                -           0.0000          -
1279.24/1282.60	c      1283             21          18         1                -           0.0000          -
1286.63/1290.07	c      1290             23          20         1                -           0.0000          -
1293.01/1296.48	c      1296             25          22         1                -           0.0000          -
1305.57/1309.10	c      1309             26          23         1                -           0.0000          -
1326.32/1329.88	c      1330             27          24         1                -           0.0000          -
1332.11/1335.64	c      1336             29          26         1                -           0.0000          -
1337.69/1341.28	c      1341             31          28         1                -           0.0000          -
1343.28/1346.88	c      1347             32          29         1                -           0.0000          -
1358.04/1361.69	c      1362             34          31         1                -           0.0000          -
1365.82/1369.43	c      1369             36          33         1                -           0.0000          -
1371.41/1375.00	c      1375             38          35         1                -           0.0000          -
1406.71/1410.41	c      1410             39          36         1                -           0.0000          -
1412.59/1416.38	c      1416             41          38         1                -           0.0000          -
1418.47/1422.21	c      1422             43          40         1                -           0.0000          -
1424.97/1428.75	c      1429             47          40         1                -           0.0000          -
1435.04/1438.86	c      1439             48          41         1                -           0.0000          -
1527.15/1531.16	c      1531             50          43         1                -           0.0000          -
1533.63/1537.69	c      1538             52          45         1                -           0.0000          -
1542.12/1546.14	c      1546             55          48         1                -           0.0000          -
1547.11/1551.15	c      1551             56          49         1                -           0.0000          -
1554.09/1558.11	c      1558             58          51         1                -           0.0000          -
1560.86/1564.92	c      1565             60          53         1                -           0.0000          -
1569.95/1574.00	c      1574             62          55         1                -           0.0000          -
1577.72/1581.87	c      1582             64          57         1                -           0.0000          -
1584.01/1588.11	c      1588             66          59         1                -           0.0000          -
1589.79/1593.93	c      1594             71          62         1                -           0.0000          -
1618.43/1622.60	c      1623             80          61         1                -           0.0000          -
1623.62/1627.89	c      1628             83          59         1                -           0.0000          -
1628.91/1633.12	c      1633             86          42         1                -           0.0000          -
1637.89/1642.11	c      1642             89          43         1                -           0.0000          -
1642.97/1647.29	c      1647             90          44         1                -           0.0000          -
1648.96/1653.26	c      1653             91          45         1                -           0.0000          -
1911.75/1916.62	c      1917             93          47         1                -           0.0000          -
1919.63/1924.58	c      1925             95          49         1                -           0.0000          -
1929.50/1934.49	c      1934             97          51         1                -           0.0000          -
1942.48/1947.45	c      1947             99          53         1                -           0.0000          -
1956.45/1961.49	c      1961            100          54         1                -           0.0000          -
1962.14/1967.13	c      1967            101          55         1                -           0.0000          -
1971.31/1976.37	c      1976            102          56         1                -           0.0000          -
1980.69/1985.71	c      1986            103          57         1                -           0.0000          -
1986.67/1991.76	c      1992            104          58         1                -           0.0000          -
1992.86/1997.95	c      1998            105          59         1                -           0.0000          -
1998.55/2003.68	c      2004            106          60         1                -           0.0000          -
2010.52/2015.63	c      2016            108          62         1                -           0.0000          -
2055.02/2060.28	c      2060            109          63         1                -           0.0000          -
2060.60/2065.88	c      2066            110          64         1                -           0.0000          -
2065.69/2070.91	c      2071            111          65         1                -           0.0000          -
2071.58/2076.83	c      2077            112          66         1                -           0.0000          -
2083.35/2088.63	c      2089            114          68         1                -           0.0000          -
2090.93/2096.24	c      2096            115          69         1                -           0.0000          -
2097.02/2102.33	c      2102            116          70         1                -           0.0000          -
2103.60/2108.92	c      2109            117          71         1                -           0.0000          -
2116.37/2121.78	c      2122            118          72         1                -           0.0000          -
2129.34/2134.77	c      2135            121          73         1                -           0.0000          -
2136.82/2142.29	c      2142            122          74         1                -           0.0000          -
2143.02/2148.48	c      2148            123          75         1                -           0.0000          -
2154.70/2160.10	c      2160            124          76         1                -           0.0000          -
2159.88/2165.37	c      2165            125          77         1                -           0.0000          -
2165.67/2171.18	c      2171            135          83         1                -           0.0000          -
2172.95/2178.48	c      2178            137          73         1                -           0.0000          -
2180.83/2186.30	c      2186            139          75         1                -           0.0000          -
2186.22/2191.71	c      2192            141          77         1                -           0.0000          -
2192.30/2197.82	c      2198            145          74         1                -           0.0000          -
2200.58/2206.14	c      2206            147          76         1                -           0.0000          -
2206.66/2212.21	c      2212            149          78         1                -           0.0000          -
2224.33/2229.95	c      2230            152          81         1                -           0.0000          -
2229.52/2235.12	c      2235            154          83         1                -           0.0000          -
2235.90/2241.53	c      2242            156          69         1                -           0.0000          -
2241.49/2247.17	c      2247            157          70         1                -           0.0000          -
2248.27/2253.92	c      2254            159          72         1                -           0.0000          -
2254.46/2260.18	c      2260            162          73         1                -           0.0000          -
2260.04/2265.70	c      2266            165          76         1                -           0.0000          -
2266.72/2272.49	c      2272            169          80         1                -           0.0000          -
2373.50/2379.42	c      2379            172          83         1                -           0.0000          -
2379.29/2385.28	c      2385            177          86         1                -           0.0000          -
2388.07/2394.05	c      2394            183          62         1                -           0.0000          -
2395.74/2401.77	c      2402            186          63         1                -           0.0000          -
2401.53/2407.50	c      2408            189          64         1                -           0.0000          -
2431.77/2437.86	c      2438            192          64         1                -           0.0000          -
2441.54/2447.67	c      2448            193          65         1                -           0.0000          -
2450.52/2456.64	c      2457            195          64         1                -           0.0000          -
2456.01/2462.17	c      2462            199          68         1                -           0.0000          -
2462.28/2468.41	c      2468            202          71         1                -           0.0000          -
2468.97/2475.11	c      2475            206          75         1                -           0.0000          -
2475.15/2481.39	c      2481            209          78         1                -           0.0000          -
2480.23/2486.45	c      2486            212          81         1                -           0.0000          -
2507.86/2514.16	c      2514            214          83         1                -           0.0000          -
2515.43/2521.74	c      2522            219          88         1                -           0.0000          -
2520.52/2526.80	c      2527            221          90         1                -           0.0000          -
2529.49/2535.82	c      2536            224          93         1                -           0.0000          -
2535.57/2541.95	c      2542            237         104         1                -           0.0000          -
2541.85/2548.22	c      2548            243         100         1                -           0.0000          -
2547.85/2554.21	c      2554            248         103         1                -           0.0000          -
2555.13/2561.50	c      2562            252         105         1                -           0.0000          -
2564.41/2570.87	c      2571            254         107         1                -           0.0000          -
2570.19/2576.66	c      2577            258         109         1                -           0.0000          -
2576.78/2583.29	c      2583            263         114         1                -           0.0000          -
2584.06/2590.56	c      2591            269         120         1                -           0.0000          -
2592.24/2598.77	c      2599            272         123         1                -           0.0000          -
2597.83/2604.34	c      2604            274         125         1                -           0.0000          -
2609.90/2616.41	c      2616            284         129         1                -           0.0000          -
2617.98/2624.56	c      2625            292         135         1                -           0.0000          -
2625.96/2632.53	c      2633            294         137         1                -           0.0000          -
2632.55/2639.16	c      2639            297         140         1                -           0.0000          -
2639.03/2645.62	c      2646            301         144         1                -           0.0000          -
2648.00/2654.67	c      2655            304         147         1                -           0.0000          -
2653.19/2659.86	c      2660            305         148         1                -           0.0000          -
2659.47/2666.11	c      2666            308         145         1                -           0.0000          -
2664.65/2671.37	c      2671            309         146         1                -           0.0000          -
2670.54/2677.22	c      2677            311         148         1                -           0.0000          -
2682.60/2689.34	c      2689            313         150         1                -           0.0000          -
2688.09/2694.88	c      2695            315         152         1                -           0.0000          -
2693.67/2700.43	c      2700            317         145         1                -           0.0000          -
2699.85/2706.69	c      2707            321         148         1                -           0.0000          -
2707.13/2713.91	c      2714            323         150         1                -           0.0000          -
2716.70/2723.52	c      2724            330         157         1                -           0.0000          -
2721.89/2728.74	c      2729            335         162         1                -           0.0000          -
2730.16/2737.00	c      2737            342         169         1                -           0.0000          -
2735.35/2742.21	c      2742            350         177         1                -           0.0000          -
2742.33/2749.28	c      2749            355         145         1                -           0.0000          -
2748.62/2755.53	c      2756            358         148         1                -           0.0000          -
2755.11/2762.05	c      2762            362         152         1                -           0.0000          -
2760.49/2767.47	c      2767            367         157         1                -           0.0000          -
2766.08/2773.05	c      2773            371         161         1                -           0.0000          -
2772.06/2779.06	c      2779            379         167         1                -           0.0000          -
2778.75/2785.79	c      2786            393         179         1                -           0.0000          -
2784.53/2791.58	c      2792            402         188         1                -           0.0000          -
2789.92/2796.93	c      2797            407         193         1                -           0.0000          -
2795.11/2802.11	c      2802            411         197         1                -           0.0000          -
2800.59/2807.69	c      2808            415         198         1                -           0.0000          -
2808.27/2815.34	c      2815            427         210         1                -           0.0000          -
2815.85/2822.93	c      2823            440         223         1                -           0.0000          -
2821.64/2828.72	c      2829            448         231         1                -           0.0000          -
2827.72/2834.81	c      2835            458         239         1                -           0.0000          -
2836.01/2843.13	c      2843            466         247         1                -           0.0000          -
2842.19/2849.32	c      2849            474         255         1                -           0.0000          -
2849.67/2856.82	c      2857            486         267         1                -           0.0000          -
2854.87/2862.01	c      2862            493         274         1                -           0.0000          -
2862.34/2869.57	c      2870            507         288         1                -           0.0000          -
2868.63/2875.84	c      2876            514         295         1                -           0.0000          -
2874.71/2881.94	c      2882            524         305         1                -           0.0000          -
2880.20/2887.41	c      2887            531         312         1                -           0.0000          -
2888.48/2895.75	c      2896            552         333         1                -           0.0000          -
2894.36/2901.61	c      2902            558         339         1                -           0.0000          -
2900.15/2907.46	c      2907            567         348         1                -           0.0000          -
2905.44/2912.72	c      2913            575         354         1                -           0.0000          -
2913.22/2920.53	c      2921            589         368         1                -           0.0000          -
2919.90/2927.22	c      2927            600         379         1                -           0.0000          -
2926.28/2933.68	c      2934            609         388         1                -           0.0000          -
2933.37/2940.79	c      2941            620         399         1                -           0.0000          -
2939.05/2946.48	c      2946            628         407         1                -           0.0000          -
2944.14/2951.59	c      2952            636         415         1                -           0.0000          -
2949.53/2956.91	c      2957            652         431         1                -           0.0000          -
2956.02/2963.45	c      2963            689         466         1                -           0.0000          -
2962.30/2969.76	c      2970            708         481         1                -           0.0000          -
2970.88/2978.32	c      2978            730         497         1                -           0.0000          -
2979.26/2986.75	c      2987            752         517         1                -           0.0000          -
2987.73/2995.24	c      2995            772         537         1                -           0.0000          -
2992.82/3000.34	c      3000            782         547         1                -           0.0000          -
2997.81/3005.36	c      3005            793         558         1                -           0.0000          -
3003.79/3011.36	c      3011            813         578         1                -           0.0000          -
3009.28/3016.86	c      3017            825         590         1                -           0.0000          -
3014.86/3022.47	c      3022            842         607         1                -           0.0000          -
3019.95/3027.51	c      3028            872         637         1                -           0.0000          -
3025.83/3033.46	c      3033            915         676         1                -           0.0000          -
3031.73/3039.33	c      3039            937         696         1                -           0.0000          -
3038.91/3046.54	c      3047            967         726         1                -           0.0000          -
3046.98/3054.67	c      3055           1016         775         1                -           0.0000          -
3052.27/3059.92	c      3060           1062         821         1                -           0.0000          -
3057.66/3065.32	c      3065           1084         841         1                -           0.0000          -
3065.23/3072.99	c      3073           1104         859         1                -           0.0000          -
3070.82/3078.58	c      3079           1137         892         1                -           0.0000          -
3078.60/3086.39	c      3086           1162         917         1                -           0.0000          -
3084.98/3092.78	c      3093           1197         952         1                -           0.0000          -
3090.57/3098.37	c      3098           1218         973         1                -           0.0000          -
3099.14/3106.94	c      3107           1242         997         1                -           0.0000          -
3106.24/3114.01	c      3114           1262        1017         1                -           0.0000          -
3112.12/3119.92	c      3120           1292        1047         1                -           0.0000          -
3119.59/3127.40	c      3127           1322        1077         1                -           0.0000          -
3124.68/3132.50	c      3133           1342        1097         1                -           0.0000          -
3133.06/3140.94	c      3141           1382        1137         1                -           0.0000          -
3138.84/3146.76	c      3147           1408        1163         1                -           0.0000          -
3143.93/3151.80	c      3152           1446        1201         1                -           0.0000          -
3150.12/3158.08	c      3158           1468        1223         1                -           0.0000          -
3155.21/3163.17	c      3163           1486        1241         1                -           0.0000          -
3161.48/3169.49	c      3170           1516        1271         1                -           0.0000          -
3167.86/3175.84	c      3176           1547        1302         1                -           0.0000          -
3173.15/3181.15	c      3181           1567        1322         1                -           0.0000          -
3178.34/3186.32	c      3186           1587        1342         1                -           0.0000          -
3184.82/3192.87	c      3193           1627        1382         1                -           0.0000          -
3190.30/3198.38	c      3198           1678        1433         1                -           0.0000          -
3197.99/3206.05	c      3206           1751           0         1                -           0.0000          -
3589.12/3598.01	c      3598           1751           0         0                -           0.0000          -
3589.41/3598.40	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.41/3598.40	c Total Time         : 3598.4000
3589.41/3598.40	c   solving          : 3598.4000
3589.41/3598.40	c   presolving       : 44.3372 (included in solving)
3589.41/3598.40	c B&B Tree           :
3589.41/3598.40	c   nodes (total)    : 1
3589.41/3598.40	c Solution           :
3589.41/3598.40	c   Solutions found  : 0
3589.41/3598.40	c   Primal Bound     :          -
3589.41/3598.40	c   Dual Bound       : +0.00000000000000e+00
3589.41/3598.40	c Gap                :          -
3589.72/3598.63	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 (63291 MiB free)
  memory of node 1: 64473 MiB (63481 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=31970, runsolver pid=31967

[startup+0.101062 s]*
/proc/loadavg: 0.14 0.11 0.09 5/263 31971
/proc/meminfo: memFree=129724432/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=74328 memory=62388 CPUtime=0.09 cores=4,6
/proc/31970/stat : 31970 (fscip) R 31967 31970 31845 0 -1 4194304 13517 0 0 0 8 1 0 0 20 0 1 0 4462091 76111872 15597 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 18582 15597 2347 3035 0 14978 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74328 KiB
Current children cumulated memory: 62388 KiB

[startup+0.205935 s]*
/proc/loadavg: 0.14 0.11 0.09 5/263 31971
/proc/meminfo: memFree=129625824/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=122480 memory=110076 CPUtime=0.19 cores=4,6
/proc/31970/stat : 31970 (fscip) R 31967 31970 31845 0 -1 4194304 25409 0 0 0 16 3 0 0 20 0 1 0 4462091 125419520 27519 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 30620 27519 2347 3035 0 27016 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 122480 KiB
Current children cumulated memory: 110076 KiB

[startup+0.305972 s]*
/proc/loadavg: 0.14 0.11 0.09 5/263 31971
/proc/meminfo: memFree=129565960/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=183008 memory=170316 CPUtime=0.29 cores=4,6
/proc/31970/stat : 31970 (fscip) R 31967 31970 31845 0 -1 4194304 40871 0 0 0 24 5 0 0 20 0 1 0 4462091 187400192 42579 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 45752 42579 2539 3035 0 42148 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 183008 KiB
Current children cumulated memory: 170316 KiB

[startup+0.70024 s]
/proc/loadavg: 0.14 0.11 0.09 5/265 31973
/proc/meminfo: memFree=129329348/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=330112 memory=313180 CPUtime=0.69 cores=4,6
/proc/31970/stat : 31970 (fscip) R 31967 31970 31845 0 -1 4194304 76530 0 0 0 59 10 0 0 20 0 1 0 4462091 338034688 78295 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 82528 78295 2598 3035 0 78924 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 330112 KiB
Current children cumulated memory: 313180 KiB

[startup+1.50024 s]
/proc/loadavg: 0.14 0.11 0.09 5/265 31973
/proc/meminfo: memFree=129158672/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=437280 memory=419516 CPUtime=1.48 cores=4,6
/proc/31970/stat : 31970 (fscip) R 31967 31970 31845 0 -1 4194304 93361 0 0 0 134 14 0 0 20 0 1 0 4462091 447774720 104879 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 109320 104879 2694 3035 0 105716 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 437280 KiB
Current children cumulated memory: 419516 KiB

[startup+3.10586 s]
/proc/loadavg: 0.14 0.11 0.09 5/265 31973
/proc/meminfo: memFree=129077768/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=437280 memory=419516 CPUtime=3.08 cores=4,6
/proc/31970/stat : 31970 (fscip) R 31967 31970 31845 0 -1 4194304 93377 0 0 0 294 14 0 0 20 0 1 0 4462091 447774720 104879 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 109320 104879 2694 3035 0 105716 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 437280 KiB
Current children cumulated memory: 419516 KiB

[startup+6.30022 s]
/proc/loadavg: 0.45 0.18 0.11 5/267 32032
/proc/meminfo: memFree=128950464/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=437280 memory=419516 CPUtime=6.27 cores=4,6
/proc/31970/stat : 31970 (fscip) R 31967 31970 31845 0 -1 4194304 93409 0 0 0 613 14 0 0 20 0 1 0 4462091 447774720 104879 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 109320 104879 2694 3035 0 105716 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 437280 KiB
Current children cumulated memory: 419516 KiB

[startup+12.7002 s]
/proc/loadavg: 0.73 0.24 0.13 5/267 32032
/proc/meminfo: memFree=128843668/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=437280 memory=419664 CPUtime=12.66 cores=4,6
/proc/31970/stat : 31970 (fscip) R 31967 31970 31845 0 -1 4194304 93454 0 0 0 1251 15 0 0 20 0 1 0 4462091 447774720 104916 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 109320 104916 2726 3035 0 105716 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 437280 KiB
Current children cumulated memory: 419664 KiB

[startup+25.5002 s]
/proc/loadavg: 1.46 0.43 0.20 5/266 32034
/proc/meminfo: memFree=128799992/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=437280 memory=419668 CPUtime=25.42 cores=4,6
/proc/31970/stat : 31970 (fscip) R 31967 31970 31845 0 -1 4194304 93487 0 0 0 2527 15 0 0 20 0 1 0 4462091 447774720 104917 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 109320 104917 2726 3035 0 105716 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 437280 KiB
Current children cumulated memory: 419668 KiB

[startup+51.106 s]
/proc/loadavg: 2.39 0.73 0.31 5/268 32040
/proc/meminfo: memFree=128289600/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=978644 memory=836288 CPUtime=50.93 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 236726 0 0 0 5058 35 0 0 20 0 3 0 4462091 1002131456 209072 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 244661 209072 2806 3035 0 229721 0
[pid=31970/tid=32038] ppid=31967 vsize=978644 memory=819288 CPUtime=6.09 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 95900 0 0 0 597 12 0 0 20 0 3 0 4466577 1002131456 209072 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=978644 memory=11728 CPUtime=0 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4466600 1002131456 209072 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 978644 KiB
Current children cumulated memory: 836288 KiB

[startup+102.3 s]
/proc/loadavg: 3.30 1.24 0.50 5/268 32051
/proc/meminfo: memFree=128099756/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1110596 memory=997204 CPUtime=101.99 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 459036 0 0 0 10145 54 0 0 20 0 3 0 4462091 1137250304 249301 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 277649 249301 2870 3035 0 270384 0
[pid=31970/tid=32038] ppid=31967 vsize=1110596 memory=839712 CPUtime=57.15 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 318179 0 0 0 5684 31 0 0 20 0 3 0 4466577 1137250304 249301 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=1110596 memory=11728 CPUtime=0 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4466600 1137250304 249301 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1110596 KiB
Current children cumulated memory: 997204 KiB

[startup+162.3 s]
/proc/loadavg: 3.79 1.76 0.73 5/268 32061
/proc/meminfo: memFree=127632588/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1309572 memory=1174852 CPUtime=161.83 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 631101 0 0 0 16114 69 0 0 20 0 3 0 4462091 1341001728 293713 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 327393 293713 2982 3035 0 322045 0
[pid=31970/tid=32038] ppid=31967 vsize=1309572 memory=1892 CPUtime=116.99 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 490228 0 0 0 11653 46 0 0 20 0 3 0 4466577 1341001728 293713 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=1309572 memory=1174848 CPUtime=0 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 4466600 1341001728 293713 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1309572 KiB
Current children cumulated memory: 1174852 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.20 0.95 5/266 32071
/proc/meminfo: memFree=127480756/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1309572 memory=1175400 CPUtime=221.68 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 716800 0 0 0 22093 75 0 0 20 0 3 0 4462091 1341001728 293850 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 327393 293850 2982 3035 0 322045 0
[pid=31970/tid=32038] ppid=31967 vsize=1309572 memory=12672 CPUtime=176.84 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 575921 0 0 0 17632 52 0 0 20 0 3 0 4466577 1341001728 293850 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=1309572 memory=2268 CPUtime=0 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 4466600 1341001728 293850 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1309572 KiB
Current children cumulated memory: 1175400 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.55 1.14 5/266 32082
/proc/meminfo: memFree=127390444/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1309572 memory=1175948 CPUtime=281.51 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 845032 0 0 0 28070 81 0 0 20 0 3 0 4462091 1341001728 293987 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 327393 293987 2982 3035 0 322045 0
[pid=31970/tid=32038] ppid=31967 vsize=1309572 memory=1175940 CPUtime=236.67 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 704149 0 0 0 23609 58 0 0 20 0 3 0 4466577 1341001728 293987 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=1309572 memory=11728 CPUtime=0 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 4466600 1341001728 293987 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1309572 KiB
Current children cumulated memory: 1175948 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 2.83 1.33 5/262 32093
/proc/meminfo: memFree=127273724/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1309572 memory=1183468 CPUtime=341.34 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 910960 0 0 0 34049 85 0 0 20 0 3 0 4462091 1341001728 295867 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 327393 295867 2982 3035 0 322045 0

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


[startup+3402.3 s]
/proc/loadavg: 4.17 4.17 4.06 5/264 33617
/proc/meminfo: memFree=123831916/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1697760 memory=1551092 CPUtime=3393.86 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 2412892 0 0 0 339192 194 0 0 20 0 3 0 4462091 1738506240 387773 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 424440 387773 3030 3035 0 418909 0
[pid=31970/tid=32038] ppid=31967 vsize=1697760 memory=1548964 CPUtime=3348.94 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 2270979 0 0 0 334728 166 0 0 20 0 3 0 4466577 1738506240 387773 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=1697760 memory=12788 CPUtime=0.04 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 328 0 0 0 1 3 0 0 20 0 3 0 4466600 1738506240 387773 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 1697760 KiB
Current children cumulated memory: 1551092 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.06 5/264 33628
/proc/meminfo: memFree=123766112/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1718624 memory=1555376 CPUtime=3453.72 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 2421520 0 0 0 345177 195 0 0 20 0 3 0 4462091 1759870976 388844 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 429656 388844 3030 3035 0 424125 0
[pid=31970/tid=32038] ppid=31967 vsize=1718624 memory=1548964 CPUtime=3408.81 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 2279601 0 0 0 340713 168 0 0 20 0 3 0 4466577 1759870976 388844 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=1718624 memory=12788 CPUtime=0.04 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 334 0 0 0 1 3 0 0 20 0 3 0 4466600 1759870976 388844 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 1718624 KiB
Current children cumulated memory: 1555376 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.06 5/266 33809
/proc/meminfo: memFree=123727980/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1794792 memory=1558132 CPUtime=3513.59 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 2430484 0 0 0 351162 197 0 0 20 0 3 0 4462091 1837867008 389533 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 448698 389533 3030 3035 0 427033 0
[pid=31970/tid=32038] ppid=31967 vsize=1794792 memory=11728 CPUtime=3468.67 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 2288559 0 0 0 346698 169 0 0 20 0 3 0 4466577 1837867008 389533 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=1794792 memory=1558132 CPUtime=0.04 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 340 0 0 0 1 3 0 0 20 0 3 0 4466600 1837867008 389533 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 3513.59 s
Current children cumulated vsize: 1794792 KiB
Current children cumulated memory: 1558132 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.12 4.06 5/266 33819
/proc/meminfo: memFree=123666640/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1797240 memory=1574328 CPUtime=3573.45 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 2444445 0 0 0 357147 198 0 0 20 0 3 0 4462091 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 449310 393582 3030 3035 0 435092 0
[pid=31970/tid=32038] ppid=31967 vsize=1797240 memory=-7019822660772257658 CPUtime=3528.54 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 2302514 0 0 0 352683 171 0 0 20 0 3 0 4466577 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=1797240 memory=1574328 CPUtime=0.04 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 346 0 0 0 1 3 0 0 20 0 3 0 4466600 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 3573.45 s
Current children cumulated vsize: 1797240 KiB
Current children cumulated memory: 1574328 KiB

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

# cumulated CPU time of all completed processes:  user=3587.76 s, system=2.00849 s

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

[startup+3584 s]*
/proc/loadavg: 4.05 4.12 4.06 5/266 33819
/proc/meminfo: memFree=123665308/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1797240 memory=1574328 CPUtime=3575.15 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 2444445 0 0 0 357317 198 0 0 20 0 3 0 4462091 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 449310 393582 3030 3035 0 435092 0
[pid=31970/tid=32038] ppid=31967 vsize=1797240 memory=-7019822660772257658 CPUtime=3530.24 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 2302514 0 0 0 352853 171 0 0 20 0 3 0 4466577 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=1797240 memory=-4050210904893736590 CPUtime=0.04 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 346 0 0 0 1 3 0 0 20 0 3 0 4466600 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 3575.15 s
Current children cumulated vsize: 1797240 KiB
Current children cumulated memory: 1574328 KiB

[startup+3590.4 s]
/proc/loadavg: 4.05 4.12 4.05 5/266 33820
/proc/meminfo: memFree=123662616/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1797240 memory=1574328 CPUtime=3581.53 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 2444453 0 0 0 357955 198 0 0 20 0 3 0 4462091 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 449310 393582 3030 3035 0 435092 0
[pid=31970/tid=32038] ppid=31967 vsize=1797240 memory=1574328 CPUtime=3536.62 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 2302521 0 0 0 353491 171 0 0 20 0 3 0 4466577 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=1797240 memory=1892 CPUtime=0.04 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 347 0 0 0 1 3 0 0 20 0 3 0 4466600 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 3581.53 s
Current children cumulated vsize: 1797240 KiB
Current children cumulated memory: 1574328 KiB

[startup+3593.6 s]
/proc/loadavg: 4.05 4.12 4.05 5/266 33820
/proc/meminfo: memFree=123659100/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1797240 memory=1574328 CPUtime=3584.72 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 2444453 0 0 0 358274 198 0 0 20 0 3 0 4462091 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 449310 393582 3030 3035 0 435092 0
[pid=31970/tid=32038] ppid=31967 vsize=1797240 memory=1574328 CPUtime=3539.81 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 2302521 0 0 0 353810 171 0 0 20 0 3 0 4466577 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=1797240 memory=-7019822660772257658 CPUtime=0.04 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 347 0 0 0 1 3 0 0 20 0 3 0 4466600 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 3584.72 s
Current children cumulated vsize: 1797240 KiB
Current children cumulated memory: 1574328 KiB

[startup+3596.8 s]
/proc/loadavg: 4.05 4.12 4.05 5/266 33822
/proc/meminfo: memFree=123658368/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1797240 memory=1574328 CPUtime=3587.92 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 2444462 0 0 0 358594 198 0 0 20 0 3 0 4462091 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 449310 393582 3030 3035 0 435092 0
[pid=31970/tid=32038] ppid=31967 vsize=1797240 memory=0 CPUtime=3543 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 2302530 0 0 0 354129 171 0 0 20 0 3 0 4466577 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=1797240 memory=1573292 CPUtime=0.04 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 347 0 0 0 1 3 0 0 20 0 3 0 4466600 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 3587.92 s
Current children cumulated vsize: 1797240 KiB
Current children cumulated memory: 1574328 KiB

[startup+3597.6 s]
/proc/loadavg: 4.05 4.12 4.05 5/266 33822
/proc/meminfo: memFree=123658120/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1797240 memory=1574328 CPUtime=3588.71 cores=4,6
/proc/31970/stat : 31970 (fscip) S 31967 31970 31845 0 -1 1077936128 2444462 0 0 0 358673 198 0 0 20 0 3 0 4462091 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 449310 393582 3030 3035 0 435092 0
[pid=31970/tid=32038] ppid=31967 vsize=1797240 memory=4724 CPUtime=3543.8 cores=4,6
/proc/31970/task/32038/stat : 32038 (fscip) R 31967 31970 31845 0 -1 4194368 2302530 0 0 0 354209 171 0 0 20 0 3 0 4466577 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
[pid=31970/tid=32039] ppid=31967 vsize=1797240 memory=12796 CPUtime=0.04 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 347 0 0 0 1 3 0 0 20 0 3 0 4466600 1840373760 393582 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 3588.71 s
Current children cumulated vsize: 1797240 KiB
Current children cumulated memory: 1574328 KiB

[startup+3598.42 s]
/proc/loadavg: 4.05 4.12 4.05 5/258 33858
/proc/meminfo: memFree=124586708/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1649972 memory=1532940 CPUtime=3589.54 cores=4,6
/proc/31970/stat : 31970 (fscip) R 31967 31970 31845 0 -1 4194304 2451301 0 0 0 358755 199 0 0 20 0 2 0 4462091 1689571328 383235 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 412493 383235 3030 3035 0 406962 0
[pid=31970/tid=32039] ppid=31967 vsize=1649972 memory=2268 CPUtime=0.04 cores=4,6
/proc/31970/task/32039/stat : 32039 (fscip) S 31967 31970 31845 0 -1 1077936192 347 0 0 0 1 3 0 0 20 0 2 0 4466600 1689571328 383235 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
Current children cumulated CPU time: 3589.54 s
Current children cumulated vsize: 1649972 KiB
Current children cumulated memory: 1532940 KiB

[startup+3598.6 s]
/proc/loadavg: 4.05 4.12 4.05 5/258 33858
/proc/meminfo: memFree=124586708/131524600 swapFree=131071996/131071996
[pid=31970] ppid=31967 vsize=1620924 memory=1502052 CPUtime=3589.72 cores=4,6
/proc/31970/stat : 31970 (fscip) R 31967 31970 31845 0 -1 4194304 2454192 0 0 0 358773 199 0 0 20 0 1 0 4462091 1659826176 375513 134679101440 4194304 16623229 140722310520400 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28573696 140722310525974 140722310526090 140722310526090 140722310533104 0
/proc/31970/statm: 405231 375513 3030 3035 0 399700 0
Current children cumulated CPU time: 3589.72 s
Current children cumulated vsize: 1620924 KiB
Current children cumulated memory: 1502052 KiB

Child status: 0

Real time (s): 3598.65
CPU time (s): 3589.77
CPU user time (s): 3587.76
CPU system time (s): 2.00849
CPU usage (%): 99.7533
Max. virtual memory (cumulated for all children) (KiB): 1797240
Max. memory (cumulated for all children) (KiB): 1574328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.76
system time used= 2.00849
maximum resident set size= 1574328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2458811
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= 4575
involuntary context switches= 1629


# summary of solver processes directly reported to runsolver:
#   pid: 31970
#   total CPU time (s): 3589.77
#   total CPU user time (s): 3587.76
#   total CPU system time (s): 2.00849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.98129 second user time and 17.7987 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-31 00:29:58
IDJOB=4464419
IDBENCH=147745
IDSOLVER=3092
FILE ID=nodeC033/4464419-1722378598
RUNJOBID= nodeC033-1722378597-31856
SLURM_JOB_ID= 8249856
Free space on /tmp= 889992 MiB

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

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

MD5SUM BENCH= 028f5bd5fcfe993f30262959408a2b50
RANDOM SEED=881201410

nodeC033.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		: 3661.245
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.99
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		: 3686.137
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.299
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3658.096
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.99
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		: 3686.140
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.284
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129816732 kB
MemAvailable:   129624728 kB
Buffers:           85784 kB
Cached:           559292 kB
SwapCached:            0 kB
Active:           263068 kB
Inactive:         974208 kB
Active(anon):       1540 kB
Inactive(anon):   612300 kB
Active(file):     261528 kB
Inactive(file):   361908 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            121708 kB
Writeback:             0 kB
AnonPages:        592648 kB
Mapped:           123208 kB
Shmem:             21336 kB
KReclaimable:      48768 kB
Slab:             129672 kB
SReclaimable:      48768 kB
SUnreclaim:        80904 kB
KernelStack:        4208 kB
PageTables:        10104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     951720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9536 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 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:      283348 kB
DirectMap2M:     8927232 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC033 at 2024-07-31 01:29:57