Trace number 4464466

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.97 3602.81

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-96.opb
MD5SUM41cda2cdd43cae95a9671374dc621893
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 benchmark97.8949
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12587
Total number of constraints283937
Number of constraints which are clauses255125
Number of constraints which are cardinality constraints (but not clauses)903
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint2
Maximum length of a constraint270
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 271
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)
1.38/1.48	c Default LC presolving (default).
1.38/1.48	c ** Before presolving: virtualMemUsedAtLc = 702802369, getVmSize() = 443617280, SCIPgetMemUsed() = 366032342, SCIPgetMemTotal() = 399588086, SCIPgetMemExternEstim() = 303214283
1.38/1.48	c ** set memory limit for presolving in LC to 8.79588e+12 for SCIP **
8.97/9.08	c ** Estimated virtualMemUsedAtSolver = 881804885, getVmSize() = 1108426752, SCIPgetMemUsed() = 664911429, SCIPgetMemTotal() = 1019493045, SCIPgetMemExternEstim() = 303214283
8.97/9.08	c ** set memory limit for solvers to 4.39802e+12 for each SCIP **
8.97/9.08	c Original Problem   :
8.97/9.08	c   Problem name     : instance-4464466-1722382203
8.97/9.08	c   Variables        : 12587 (12587 binary, 0 integer, 0 implicit integer, 0 continuous)
8.97/9.08	c   Constraints      : 283937
8.97/9.08	c   Objective sense  : minimize
8.97/9.08	c Presolved Problem  :
8.97/9.08	c   Variables        : 12586 (12586 binary, 0 integer, 0 implicit integer, 0 continuous)
8.97/9.08	c   Constraints      : 280387
8.97/9.08	c Constraints        : Number
8.97/9.08	c   knapsack         : 28351 
8.97/9.08	c   setppc           : 60278 
8.97/9.08	c   linear           : 3 
8.97/9.08	c   logicor          : 191755 
8.97/9.08	c ** Instance transfer method used: 0
9.45/9.59	c ** ParaScipInstance copy does not increase the number of variables. **
10.14/10.21	c LC is working with racing ramp-up and with rebuilding tree after racing.
10.14/10.21	c                                Nodes    Active                                            
10.14/10.21	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
285.29/286.50	c       287              2           1         1                -           0.0000          -
297.66/298.98	c       299             10           9         1                -           0.0000          -
303.85/305.15	c       305             12          11         1                -           0.0000          -
309.73/311.03	c       311             13          12         1                -           0.0000          -
514.05/516.07	c       516             14          13         1                -           0.0000          -
542.73/544.89	c       545             15          14         1                -           0.0000          -
549.81/551.90	c       552             19          18         1                -           0.0000          -
560.27/562.43	c       562             30          29         1                -           0.0000          -
578.31/580.58	c       581             33          32         1                -           0.0000          -
583.39/585.67	c       586             37          36         1                -           0.0000          -
638.51/640.92	c       641             38          37         1                -           0.0000          -
648.78/651.22	c       651             40          39         1                -           0.0000          -
654.06/656.54	c       657             46          45         1                -           0.0000          -
661.65/664.17	c       664             58          57         1                -           0.0000          -
672.19/674.71	c       675             63          62         1                -           0.0000          -
678.86/681.47	c       681             74          73         1                -           0.0000          -
702.09/704.71	c       705             75          74         1                -           0.0000          -
718.54/721.23	c       721             82          81         1                -           0.0000          -
724.22/726.98	c       727             93          92         1                -           0.0000          -
730.40/733.12	c       733            103         102         1                -           0.0000          -
736.17/738.99	c       739            114         113         1                -           0.0000          -
763.58/766.40	c       766            125         124         1                -           0.0000          -
768.56/771.42	c       771            129         128         1                -           0.0000          -
785.12/788.06	c       788            132         131         1                -           0.0000          -
798.77/801.72	c       802            139         138         1                -           0.0000          -
810.42/813.44	c       813            142         141         1                -           0.0000          -
817.20/820.28	c       820            144         143         1                -           0.0000          -
844.81/847.94	c       848            146         145         1                -           0.0000          -
851.38/854.54	c       855            153         152         1                -           0.0000          -
856.88/860.01	c       860            156         155         1                -           0.0000          -
877.60/880.86	c       881            158         157         1                -           0.0000          -
882.97/886.28	c       886            162         161         1                -           0.0000          -
898.83/902.17	c       902            168         167         1                -           0.0000          -
911.98/915.36	c       915            172         171         1                -           0.0000          -
920.94/924.38	c       924            178         177         1                -           0.0000          -
926.12/929.51	c       930            183         182         1                -           0.0000          -
932.10/935.55	c       936            189         188         1                -           0.0000          -
947.55/951.02	c       951            194         193         1                -           0.0000          -
953.92/957.44	c       957            202         201         1                -           0.0000          -
964.59/968.14	c       968            206         205         1                -           0.0000          -
983.11/986.79	c       987            208         207         1                -           0.0000          -
995.67/999.38	c       999            212         211         1                -           0.0000          -
1002.46/1006.19	c      1006            227         226         1                -           0.0000          -
1029.27/1033.08	c      1033            228         227         1                -           0.0000          -
1034.94/1038.75	c      1039            234         233         1                -           0.0000          -
1041.11/1044.92	c      1045            246         245         1                -           0.0000          -
1047.49/1051.30	c      1051            268         267         1                -           0.0000          -
1053.97/1057.87	c      1058            270         269         1                -           0.0000          -
1083.26/1087.24	c      1087            277         276         1                -           0.0000          -
1088.74/1092.72	c      1093            281         280         1                -           0.0000          -
1098.11/1102.13	c      1102            285         284         1                -           0.0000          -
1105.18/1109.20	c      1109            286         285         1                -           0.0000          -
1118.95/1123.10	c      1123            287         286         1                -           0.0000          -
1124.72/1128.83	c      1129            292         291         1                -           0.0000          -
1129.70/1133.86	c      1134            299         298         1                -           0.0000          -
1137.08/1141.25	c      1141            300         299         1                -           0.0000          -
1160.99/1165.23	c      1165            302         301         1                -           0.0000          -
1170.45/1174.75	c      1175            308         307         1                -           0.0000          -
1178.13/1182.49	c      1182            310         309         1                -           0.0000          -
1186.10/1190.47	c      1190            312         311         1                -           0.0000          -
1191.38/1195.78	c      1196            324         323         1                -           0.0000          -
1210.41/1214.84	c      1215            325         324         1                -           0.0000          -
1216.89/1221.36	c      1221            337         336         1                -           0.0000          -
1226.86/1231.32	c      1231            339         338         1                -           0.0000          -
1249.88/1254.46	c      1254            344         343         1                -           0.0000          -
1256.15/1260.75	c      1261            352         351         1                -           0.0000          -
1262.24/1266.81	c      1267            355         354         1                -           0.0000          -
1284.27/1288.91	c      1289            362         361         1                -           0.0000          -
1294.93/1299.65	c      1300            364         363         1                -           0.0000          -
1305.99/1310.79	c      1311            366         365         1                -           0.0000          -
1324.53/1329.32	c      1329            369         368         1                -           0.0000          -
1341.58/1346.40	c      1346            372         371         1                -           0.0000          -
1349.86/1354.79	c      1355            376         375         1                -           0.0000          -
1357.14/1362.02	c      1362            385         384         1                -           0.0000          -
1362.61/1367.57	c      1368            399         398         1                -           0.0000          -
1369.20/1374.11	c      1374            418         417         1                -           0.0000          -
1381.16/1386.16	c      1386            419         418         1                -           0.0000          -
1392.41/1397.46	c      1397            422         421         1                -           0.0000          -
1413.23/1418.38	c      1418            426         425         1                -           0.0000          -
1453.82/1459.07	c      1459            432         431         1                -           0.0000          -
1459.49/1464.74	c      1465            439         438         1                -           0.0000          -
1466.67/1471.92	c      1472            447         446         1                -           0.0000          -
1474.24/1479.50	c      1480            456         455         1                -           0.0000          -
1493.69/1499.06	c      1499            459         458         1                -           0.0000          -
1505.05/1510.47	c      1510            462         461         1                -           0.0000          -
1535.05/1540.59	c      1541            465         464         1                -           0.0000          -
1545.32/1550.83	c      1551            473         472         1                -           0.0000          -
1555.89/1561.45	c      1561            477         476         1                -           0.0000          -
1566.74/1572.30	c      1572            490         489         1                -           0.0000          -
1572.52/1578.17	c      1578            495         494         1                -           0.0000          -
1578.59/1584.28	c      1584            503         502         1                -           0.0000          -
1583.87/1589.54	c      1590            505         504         1                -           0.0000          -
1590.85/1596.58	c      1597            512         511         1                -           0.0000          -
1596.63/1602.30	c      1602            520         519         1                -           0.0000          -
1605.32/1611.04	c      1611            526         525         1                -           0.0000          -
1634.41/1640.26	c      1640            536         535         1                -           0.0000          -
1652.36/1658.29	c      1658            539         538         1                -           0.0000          -
1662.03/1667.93	c      1668            547         546         1                -           0.0000          -
1679.19/1685.16	c      1685            548         547         1                -           0.0000          -
1688.16/1694.13	c      1694            552         551         1                -           0.0000          -
1693.33/1699.34	c      1699            557         556         1                -           0.0000          -
1698.61/1704.61	c      1705            564         563         1                -           0.0000          -
1704.11/1710.12	c      1710            576         575         1                -           0.0000          -
1713.16/1719.21	c      1719            590         589         1                -           0.0000          -
1734.29/1740.49	c      1740            595         594         1                -           0.0000          -
1757.23/1763.46	c      1763            598         597         1                -           0.0000          -
1786.03/1792.35	c      1792            602         601         1                -           0.0000          -
1803.28/1809.68	c      1810            605         604         1                -           0.0000          -
1822.62/1829.06	c      1829            612         611         1                -           0.0000          -
1828.49/1834.99	c      1835            620         619         1                -           0.0000          -
1847.23/1853.72	c      1854            625         624         1                -           0.0000          -
1852.21/1858.79	c      1859            636         635         1                -           0.0000          -
1864.49/1871.01	c      1871            642         641         1                -           0.0000          -
1870.36/1876.98	c      1877            650         649         1                -           0.0000          -
1878.33/1884.92	c      1885            657         656         1                -           0.0000          -
1908.83/1915.51	c      1916            659         658         1                -           0.0000          -
1920.59/1927.36	c      1927            662         661         1                -           0.0000          -
1926.97/1933.70	c      1934            669         668         1                -           0.0000          -
1932.65/1939.48	c      1939            673         672         1                -           0.0000          -
1937.93/1944.74	c      1945            676         675         1                -           0.0000          -
1943.11/1949.90	c      1950            681         680         1                -           0.0000          -
1955.48/1962.35	c      1962            682         681         1                -           0.0000          -
1968.63/1975.52	c      1976            684         683         1                -           0.0000          -
2014.38/2021.48	c      2021            685         684         1                -           0.0000          -
2031.52/2038.62	c      2039            689         688         1                -           0.0000          -
2037.20/2044.34	c      2044            702         701         1                -           0.0000          -
2043.08/2050.23	c      2050            711         708         1                -           0.0000          -
2058.33/2065.55	c      2066            716         713         1                -           0.0000          -
2066.30/2073.56	c      2074            719         716         1                -           0.0000          -
2080.94/2088.24	c      2088            732         729         1                -           0.0000          -
2090.41/2097.74	c      2098            735         732         1                -           0.0000          -
2110.43/2117.87	c      2118            738         735         1                -           0.0000          -
2115.52/2122.90	c      2123            745         742         1                -           0.0000          -
2134.65/2142.16	c      2142            755         752         1                -           0.0000          -
2140.02/2147.55	c      2148            759         756         1                -           0.0000          -
2145.20/2152.75	c      2153            762         759         1                -           0.0000          -
2151.27/2158.83	c      2159            767         764         1                -           0.0000          -
2161.73/2169.32	c      2169            772         769         1                -           0.0000          -
2173.28/2180.93	c      2181            782         779         1                -           0.0000          -
2178.37/2186.04	c      2186            788         785         1                -           0.0000          -
2183.64/2191.33	c      2191            797         794         1                -           0.0000          -
2189.82/2197.56	c      2198            799         796         1                -           0.0000          -
2199.19/2206.94	c      2207            802         799         1                -           0.0000          -
2215.34/2223.19	c      2223            809         806         1                -           0.0000          -
2232.57/2240.42	c      2240            815         812         1                -           0.0000          -
2261.77/2269.72	c      2270            818         815         1                -           0.0000          -
2283.19/2291.25	c      2291            822         819         1                -           0.0000          -
2301.51/2309.62	c      2310            828         825         1                -           0.0000          -
2308.39/2316.57	c      2317            832         829         1                -           0.0000          -
2314.16/2322.36	c      2322            837         834         1                -           0.0000          -
2325.03/2333.28	c      2333            845         842         1                -           0.0000          -
2346.66/2354.90	c      2355            848         845         1                -           0.0000          -
2355.63/2364.01	c      2364            852         849         1                -           0.0000          -
2361.61/2369.93	c      2370            862         859         1                -           0.0000          -
2367.29/2375.67	c      2376            873         870         1                -           0.0000          -
2387.33/2395.72	c      2396            875         872         1                -           0.0000          -
2392.63/2401.04	c      2401            884         881         1                -           0.0000          -
2397.80/2406.21	c      2406            889         886         1                -           0.0000          -
2403.08/2411.56	c      2412            898         895         1                -           0.0000          -
2410.74/2419.23	c      2419            905         902         1                -           0.0000          -
2434.86/2443.48	c      2443            909         906         1                -           0.0000          -
2444.22/2452.82	c      2453            912         909         1                -           0.0000          -
2452.50/2461.17	c      2461            915         912         1                -           0.0000          -
2457.57/2466.28	c      2466            924         921         1                -           0.0000          -
2476.11/2484.86	c      2485            928         925         1                -           0.0000          -
2495.14/2503.95	c      2504            932         929         1                -           0.0000          -
2502.23/2511.08	c      2511            935         932         1                -           0.0000          -
2512.48/2521.37	c      2521            938         935         1                -           0.0000          -
2517.95/2526.88	c      2527            944         941         1                -           0.0000          -
2527.32/2536.26	c      2536            945         942         1                -           0.0000          -
2533.21/2542.13	c      2542            948         945         1                -           0.0000          -
2540.47/2549.40	c      2549            952         949         1                -           0.0000          -
2548.15/2557.15	c      2557            972         969         1                -           0.0000          -
2560.89/2569.99	c      2570            975         972         1                -           0.0000          -
2582.41/2591.58	c      2592            976         973         1                -           0.0000          -
2596.97/2606.17	c      2606            978         975         1                -           0.0000          -
2602.33/2611.53	c      2612            991         988         1                -           0.0000          -
2619.47/2628.79	c      2629            992         989         1                -           0.0000          -
2625.76/2635.04	c      2635           1001         998         1                -           0.0000          -
2633.32/2642.66	c      2643           1009        1006         1                -           0.0000          -
2662.01/2671.45	c      2671           1012        1009         1                -           0.0000          -
2687.02/2696.51	c      2697           1018        1015         1                -           0.0000          -
2694.39/2704.01	c      2704           1019        1016         1                -           0.0000          -
2722.59/2732.26	c      2732           1022        1019         1                -           0.0000          -
2742.02/2751.70	c      2752           1025        1022         1                -           0.0000          -
2766.05/2775.87	c      2776           1032        1029         1                -           0.0000          -
2771.74/2781.56	c      2782           1038        1035         1                -           0.0000          -
2778.23/2788.03	c      2788           1045        1042         1                -           0.0000          -
2785.09/2794.99	c      2795           1047        1044         1                -           0.0000          -
2790.18/2800.02	c      2800           1055        1052         1                -           0.0000          -
2805.52/2815.46	c      2815           1058        1055         1                -           0.0000          -
2813.49/2823.47	c      2823           1062        1059         1                -           0.0000          -
2819.96/2830.01	c      2830           1067        1064         1                -           0.0000          -
2825.54/2835.59	c      2836           1071        1068         1                -           0.0000          -
2833.71/2843.78	c      2844           1075        1072         1                -           0.0000          -
2843.17/2853.23	c      2853           1082        1079         1                -           0.0000          -
2852.44/2862.51	c      2863           1085        1082         1                -           0.0000          -
2881.73/2891.93	c      2892           1088        1085         1                -           0.0000          -
2887.51/2897.73	c      2898           1098        1095         1                -           0.0000          -
2894.48/2904.73	c      2905           1102        1099         1                -           0.0000          -
2905.75/2916.02	c      2916           1105        1102         1                -           0.0000          -
2916.80/2927.13	c      2927           1108        1105         1                -           0.0000          -
2922.47/2932.81	c      2933           1114        1111         1                -           0.0000          -
2928.06/2938.49	c      2938           1121        1118         1                -           0.0000          -
2954.16/2964.66	c      2965           1128        1125         1                -           0.0000          -
2959.44/2969.91	c      2970           1146        1143         1                -           0.0000          -
2979.06/2989.68	c      2990           1149        1146         1                -           0.0000          -
2985.63/2996.27	c      2996           1155        1152         1                -           0.0000          -
2995.89/3006.52	c      3007           1165        1162         1                -           0.0000          -
3015.11/3025.87	c      3026           1168        1165         1                -           0.0000          -
3022.59/3033.30	c      3033           1172        1169         1                -           0.0000          -
3030.56/3041.31	c      3041           1175        1172         1                -           0.0000          -
3036.13/3046.98	c      3047           1180        1177         1                -           0.0000          -
3056.86/3067.71	c      3068           1182        1179         1                -           0.0000          -
3063.54/3074.43	c      3074           1190        1187         1                -           0.0000          -
3069.82/3080.70	c      3081           1195        1192         1                -           0.0000          -
3086.06/3097.10	c      3097           1202        1199         1                -           0.0000          -
3091.92/3102.99	c      3103           1205        1202         1                -           0.0000          -
3114.64/3125.73	c      3126           1208        1205         1                -           0.0000          -
3132.98/3144.15	c      3144           1212        1209         1                -           0.0000          -
3141.14/3152.36	c      3152           1221        1218         1                -           0.0000          -
3148.82/3160.06	c      3160           1222        1219         1                -           0.0000          -
3165.15/3176.46	c      3176           1228        1225         1                -           0.0000          -
3179.49/3190.85	c      3191           1235        1232         1                -           0.0000          -
3184.57/3195.92	c      3196           1244        1241         1                -           0.0000          -
3191.54/3202.98	c      3203           1249        1246         1                -           0.0000          -
3203.28/3214.74	c      3215           1257        1254         1                -           0.0000          -
3233.17/3244.77	c      3245           1258        1255         1                -           0.0000          -
3240.65/3252.21	c      3252           1262        1259         1                -           0.0000          -
3248.13/3259.72	c      3260           1265        1262         1                -           0.0000          -
3265.26/3276.97	c      3277           1272        1269         1                -           0.0000          -
3276.33/3288.05	c      3288           1275        1272         1                -           0.0000          -
3283.19/3294.94	c      3295           1289        1286         1                -           0.0000          -
3299.92/3311.75	c      3312           1292        1289         1                -           0.0000          -
3306.69/3318.55	c      3319           1294        1291         1                -           0.0000          -
3358.00/3370.05	c      3370           1295        1292         1                -           0.0000          -
3390.17/3402.35	c      3402           1298        1295         1                -           0.0000          -
3398.73/3410.95	c      3411           1305        1302         1                -           0.0000          -
3413.98/3426.23	c      3426           1315        1312         1                -           0.0000          -
3422.45/3434.77	c      3435           1321        1318         1                -           0.0000          -
3456.82/3469.24	c      3469           1322        1319         1                -           0.0000          -
3495.59/3508.12	c      3508           1325        1322         1                -           0.0000          -
3503.84/3516.44	c      3516           1331        1328         1                -           0.0000          -
3519.28/3531.90	c      3532           1338        1335         1                -           0.0000          -
3526.76/3539.49	c      3540           1342        1339         1                -           0.0000          -
3532.35/3545.05	c      3545           1348        1345         1                -           0.0000          -
3537.81/3550.53	c      3551           1350        1347         1                -           0.0000          -
3566.62/3579.42	c      3579           1352        1349         1                -           0.0000          -
3578.39/3591.29	c      3591           1355        1352         1                -           0.0000          -
3588.66/3601.58	c      3602           1355        1352         0                -           0.0000          -
3589.27/3602.16	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.27/3602.16	c Total Time         : 3602.1700
3589.27/3602.16	c   solving          : 3602.1700
3589.27/3602.16	c   presolving       : 7.5995 (included in solving)
3589.27/3602.16	c B&B Tree           :
3589.27/3602.16	c   nodes (total)    : 1
3589.27/3602.16	c Solution           :
3589.27/3602.16	c   Solutions found  : 0
3589.27/3602.16	c   Primal Bound     :          -
3589.27/3602.16	c   Dual Bound       : +0.00000000000000e+00
3589.27/3602.16	c Gap                :          -
3589.86/3602.79	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: 64096 MiB (53839 MiB free)
  memory of node 1: 64473 MiB (55607 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464466-1722382203/watcher-4464466-1722382203 -o /tmp/evaluation-result-4464466-1722382203/solver-4464466-1722382203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28655 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464466-1722382203.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
Current StackSize limit: 8192 KiB

solver pid=31194, runsolver pid=31191

[startup+0.100266 s]*
/proc/loadavg: 4.11 4.26 4.18 5/248 31195
/proc/meminfo: memFree=111953356/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=37164 memory=25656 CPUtime=0.1 cores=0,2
/proc/31194/stat : 31194 (fscip) R 31191 31194 28645 0 -1 4194304 4307 0 0 0 9 1 0 0 20 0 1 0 4817946 38055936 6414 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 9291 6414 2347 3035 0 5687 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37164 KiB
Current children cumulated memory: 25656 KiB

[startup+0.212858 s]*
/proc/loadavg: 4.10 4.25 4.17 5/248 31195
/proc/meminfo: memFree=111792500/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=53964 memory=42092 CPUtime=0.22 cores=0,2
/proc/31194/stat : 31194 (fscip) R 31191 31194 28645 0 -1 4194304 8437 0 0 0 20 2 0 0 20 0 1 0 4817946 55259136 10523 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 13491 10523 2347 3035 0 9887 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 53964 KiB
Current children cumulated memory: 42092 KiB

[startup+0.312808 s]*
/proc/loadavg: 4.10 4.25 4.17 5/248 31195
/proc/meminfo: memFree=111657152/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=68580 memory=56308 CPUtime=0.31 cores=0,2
/proc/31194/stat : 31194 (fscip) R 31191 31194 28645 0 -1 4194304 11968 0 0 0 29 2 0 0 20 0 1 0 4817946 70225920 14077 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 17145 14077 2347 3035 0 13541 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 68580 KiB
Current children cumulated memory: 56308 KiB

[startup+0.700328 s]
/proc/loadavg: 4.10 4.25 4.17 5/248 31195
/proc/meminfo: memFree=111422028/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=130080 memory=117584 CPUtime=0.69 cores=0,2
/proc/31194/stat : 31194 (fscip) R 31191 31194 28645 0 -1 4194304 27306 0 0 0 63 6 0 0 20 0 1 0 4817946 133201920 29396 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 32520 29396 2347 3035 0 28916 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 130080 KiB
Current children cumulated memory: 117584 KiB

[startup+1.50033 s]
/proc/loadavg: 4.10 4.25 4.17 5/248 31195
/proc/meminfo: memFree=110848924/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=436172 memory=416584 CPUtime=1.48 cores=0,2
/proc/31194/stat : 31194 (fscip) R 31191 31194 28645 0 -1 4194304 102202 0 0 0 130 18 0 0 20 0 1 0 4817946 446640128 104146 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 109043 104146 2614 3035 0 105439 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 436172 KiB
Current children cumulated memory: 416584 KiB

[startup+3.11293 s]
/proc/loadavg: 4.10 4.25 4.17 5/248 31195
/proc/meminfo: memFree=110261844/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=669872 memory=646828 CPUtime=3.09 cores=0,2
/proc/31194/stat : 31194 (fscip) R 31191 31194 28645 0 -1 4194304 124447 0 0 0 283 26 0 0 20 0 1 0 4817946 685948928 161707 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 167468 161707 2678 3035 0 163864 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 669872 KiB
Current children cumulated memory: 646828 KiB

[startup+6.30032 s]
/proc/loadavg: 4.09 4.25 4.17 5/248 31252
/proc/meminfo: memFree=110123444/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=649184 memory=627752 CPUtime=6.27 cores=0,2
/proc/31194/stat : 31194 (fscip) R 31191 31194 28645 0 -1 4194304 157607 0 0 0 596 31 0 0 20 0 1 0 4817946 664764416 156938 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 162296 156938 2758 3035 0 158692 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 649184 KiB
Current children cumulated memory: 627752 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.24 4.17 5/250 31254
/proc/meminfo: memFree=105715460/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=1866600 memory=1682772 CPUtime=12.63 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 323672 0 0 0 1184 79 0 0 20 0 3 0 4817946 1911398400 420693 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 466650 420693 2790 3035 0 443785 0
[pid=31194/tid=31253] ppid=31191 vsize=1866600 memory=1464252 CPUtime=3.07 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 116399 0 0 0 274 33 0 0 20 0 3 0 4818855 1911398400 420693 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=1866600 memory=1268024 CPUtime=0 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4818968 1911398400 420693 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1866600 KiB
Current children cumulated memory: 1682772 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.25 4.18 5/250 31257
/proc/meminfo: memFree=102058644/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=2492592 memory=2304240 CPUtime=25.38 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 501216 0 0 0 2429 109 0 0 20 0 3 0 4817946 2552414208 576060 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 623148 576060 2950 3035 0 613057 0
[pid=31194/tid=31253] ppid=31191 vsize=2492592 memory=2304240 CPUtime=15.82 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 293938 0 0 0 1519 63 0 0 20 0 3 0 4818855 2552414208 576060 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=2492592 memory=2304176 CPUtime=0 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4818968 2552414208 576060 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 2492592 KiB
Current children cumulated memory: 2304240 KiB

[startup+51.1131 s]
/proc/loadavg: 4.09 4.23 4.17 5/249 31260
/proc/meminfo: memFree=91872056/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=2492592 memory=2304240 CPUtime=50.91 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 523098 0 0 0 4979 112 0 0 20 0 3 0 4817946 2552414208 576060 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 623148 576060 2950 3035 0 613057 0
[pid=31194/tid=31253] ppid=31191 vsize=2492592 memory=2304240 CPUtime=41.35 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 315810 0 0 0 4069 66 0 0 20 0 3 0 4818855 2552414208 576060 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=2492592 memory=2304240 CPUtime=0 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 4818968 2552414208 576060 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2492592 KiB
Current children cumulated memory: 2304240 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.23 4.18 5/251 31324
/proc/meminfo: memFree=112549368/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=2544232 memory=2320180 CPUtime=101.88 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 615722 0 0 0 10067 121 0 0 20 0 3 0 4817946 2605293568 580045 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 636058 580045 2950 3035 0 626038 0
[pid=31194/tid=31253] ppid=31191 vsize=2544232 memory=2320180 CPUtime=92.31 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 408422 0 0 0 9157 74 0 0 20 0 3 0 4818855 2605293568 580045 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=2544232 memory=2320180 CPUtime=0 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4818968 2605293568 580045 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 2544232 KiB
Current children cumulated memory: 2320180 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.22 4.18 5/251 31335
/proc/meminfo: memFree=112488192/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=2614344 memory=2340060 CPUtime=161.62 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 722395 0 0 0 16035 127 0 0 20 0 3 0 4817946 2677088256 585015 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 653586 585015 2950 3035 0 643566 0
[pid=31194/tid=31253] ppid=31191 vsize=2614344 memory=2340056 CPUtime=152.06 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 515088 0 0 0 15125 81 0 0 20 0 3 0 4818855 2677088256 585015 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=2614344 memory=12160 CPUtime=0 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4818968 2677088256 585015 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 2614344 KiB
Current children cumulated memory: 2340060 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.18 4.17 5/253 31348
/proc/meminfo: memFree=110644140/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=2640636 memory=2340064 CPUtime=221.37 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 784152 0 0 0 22004 133 0 0 20 0 3 0 4817946 2704011264 585016 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 660159 585016 2950 3035 0 650139 0
[pid=31194/tid=31253] ppid=31191 vsize=2640636 memory=2340060 CPUtime=211.81 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 576837 0 0 0 21094 87 0 0 20 0 3 0 4818855 2704011264 585016 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=2640636 memory=2340064 CPUtime=0 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4818968 2704011264 585016 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 221.37 s
Current children cumulated vsize: 2640636 KiB
Current children cumulated memory: 2340064 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/253 31358
/proc/meminfo: memFree=110272284/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=3191268 memory=2663232 CPUtime=281.11 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 1025365 0 0 0 27958 153 0 0 20 0 3 0 4817946 3267858432 665808 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 797817 665808 2966 3035 0 785602 0
[pid=31194/tid=31253] ppid=31191 vsize=3191268 memory=2340128 CPUtime=271.55 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 818046 0 0 0 27049 106 0 0 20 0 3 0 4818855 3267858432 665808 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=3191268 memory=2340428 CPUtime=0 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 4818968 3267858432 665808 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 281.11 s
Current children cumulated vsize: 3191268 KiB

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

Current children cumulated CPU time: 3330.39 s
Current children cumulated vsize: 4281988 KiB
Current children cumulated memory: 2932652 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/251 32938
/proc/meminfo: memFree=104627216/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=4281988 memory=2932652 CPUtime=3390.17 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 3292514 0 0 0 338710 307 0 0 20 0 3 0 4817946 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 1070497 733163 3030 3035 0 1059762 0
[pid=31194/tid=31253] ppid=31191 vsize=4281988 memory=12160 CPUtime=3380.48 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 3083436 0 0 0 337795 253 0 0 20 0 3 0 4818855 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=4281988 memory=2932652 CPUtime=0.06 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 400 0 0 0 1 5 0 0 20 0 3 0 4818968 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 3390.17 s
Current children cumulated vsize: 4281988 KiB
Current children cumulated memory: 2932652 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/251 32949
/proc/meminfo: memFree=104626360/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=4281988 memory=2932652 CPUtime=3449.95 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 3298287 0 0 0 344687 308 0 0 20 0 3 0 4817946 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 1070497 733163 3030 3035 0 1059762 0
[pid=31194/tid=31253] ppid=31191 vsize=4281988 memory=12160 CPUtime=3440.26 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 3089158 0 0 0 343772 254 0 0 20 0 3 0 4818855 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=4281988 memory=2932652 CPUtime=0.06 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 406 0 0 0 1 5 0 0 20 0 3 0 4818968 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 3449.95 s
Current children cumulated vsize: 4281988 KiB
Current children cumulated memory: 2932652 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/254 33130
/proc/meminfo: memFree=104620324/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=4281988 memory=2932652 CPUtime=3509.71 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 3301858 0 0 0 350663 308 0 0 20 0 3 0 4817946 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 1070497 733163 3030 3035 0 1059762 0
[pid=31194/tid=31253] ppid=31191 vsize=4281988 memory=2256 CPUtime=3500.01 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 3092680 0 0 0 349747 254 0 0 20 0 3 0 4818855 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=4281988 memory=12160 CPUtime=0.07 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 416 0 0 0 2 5 0 0 20 0 3 0 4818968 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 3509.71 s
Current children cumulated vsize: 4281988 KiB
Current children cumulated memory: 2932652 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/255 33142
/proc/meminfo: memFree=104580772/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=4281988 memory=2932652 CPUtime=3569.51 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 3306621 0 0 0 356642 309 0 0 20 0 3 0 4817946 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 1070497 733163 3030 3035 0 1059762 0
[pid=31194/tid=31253] ppid=31191 vsize=4281988 memory=-7596283413075682679 CPUtime=3559.82 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 3097418 0 0 0 355727 255 0 0 20 0 3 0 4818855 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=4281988 memory=5412 CPUtime=0.07 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 421 0 0 0 2 5 0 0 20 0 3 0 4818968 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 3569.51 s
Current children cumulated vsize: 4281988 KiB
Current children cumulated memory: 2932652 KiB

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

# cumulated CPU time of all completed processes:  user=3586.81 s, system=3.15876 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.13 4.15 5/255 33144
/proc/meminfo: memFree=104580624/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=4281988 memory=2932652 CPUtime=3571.22 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 3306621 0 0 0 356813 309 0 0 20 0 3 0 4817946 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 1070497 733163 3030 3035 0 1059762 0
[pid=31194/tid=31253] ppid=31191 vsize=4281988 memory=4712 CPUtime=3561.52 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 3097418 0 0 0 355897 255 0 0 20 0 3 0 4818855 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=4281988 memory=-5155633680935826750 CPUtime=0.07 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 421 0 0 0 2 5 0 0 20 0 3 0 4818968 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 3571.22 s
Current children cumulated vsize: 4281988 KiB
Current children cumulated memory: 2932652 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.12 4.15 5/255 33144
/proc/meminfo: memFree=104580664/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=4281988 memory=2932652 CPUtime=3577.59 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 3306657 0 0 0 357450 309 0 0 20 0 3 0 4817946 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 1070497 733163 3030 3035 0 1059762 0
[pid=31194/tid=31253] ppid=31191 vsize=4281988 memory=2932652 CPUtime=3567.89 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 3097454 0 0 0 356534 255 0 0 20 0 3 0 4818855 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=4281988 memory=12952 CPUtime=0.07 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 421 0 0 0 2 5 0 0 20 0 3 0 4818968 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 3577.59 s
Current children cumulated vsize: 4281988 KiB
Current children cumulated memory: 2932652 KiB

[startup+3596.8 s]
/proc/loadavg: 4.15 4.14 4.15 5/255 33145
/proc/meminfo: memFree=104580608/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=4281988 memory=2932652 CPUtime=3583.98 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 3307757 0 0 0 358088 310 0 0 20 0 3 0 4817946 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 1070497 733163 3030 3035 0 1059762 0
[pid=31194/tid=31253] ppid=31191 vsize=4281988 memory=12160 CPUtime=3574.27 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 3098554 0 0 0 357172 255 0 0 20 0 3 0 4818855 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=4281988 memory=2932652 CPUtime=0.07 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 421 0 0 0 2 5 0 0 20 0 3 0 4818968 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 3583.98 s
Current children cumulated vsize: 4281988 KiB
Current children cumulated memory: 2932652 KiB

[startup+3600 s]*
/proc/loadavg: 4.15 4.14 4.15 5/255 33193
/proc/meminfo: memFree=105992656/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=4281988 memory=2932652 CPUtime=3587.18 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 3307757 0 0 0 358408 310 0 0 20 0 3 0 4817946 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 1070497 733163 3030 3035 0 1059762 0
[pid=31194/tid=31253] ppid=31191 vsize=4281988 memory=-5155627981668445061 CPUtime=3577.47 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 3098554 0 0 0 357492 255 0 0 20 0 3 0 4818855 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=4281988 memory=12660 CPUtime=0.07 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 421 0 0 0 2 5 0 0 20 0 3 0 4818968 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 3587.18 s
Current children cumulated vsize: 4281988 KiB
Current children cumulated memory: 2932652 KiB

[startup+3601.6 s]
/proc/loadavg: 4.14 4.13 4.15 5/255 33193
/proc/meminfo: memFree=105992640/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=4281988 memory=2932652 CPUtime=3588.76 cores=0,2
/proc/31194/stat : 31194 (fscip) S 31191 31194 28645 0 -1 1077936128 3308065 0 0 0 358566 310 0 0 20 0 3 0 4817946 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 1070497 733163 3030 3035 0 1059762 0
[pid=31194/tid=31253] ppid=31191 vsize=4281988 memory=2932652 CPUtime=3579.07 cores=0,2
/proc/31194/task/31253/stat : 31253 (fscip) R 31191 31194 28645 0 -1 4194368 3098855 0 0 0 357651 256 0 0 20 0 3 0 4818855 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
[pid=31194/tid=31254] ppid=31191 vsize=4281988 memory=2932652 CPUtime=0.07 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 424 0 0 0 2 5 0 0 20 0 3 0 4818968 4384755712 733163 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 3588.76 s
Current children cumulated vsize: 4281988 KiB
Current children cumulated memory: 2932652 KiB

[startup+3602.4 s]
/proc/loadavg: 4.14 4.13 4.15 5/255 33193
/proc/meminfo: memFree=105992296/131655788 swapFree=131071996/131071996
[pid=31194] ppid=31191 vsize=2459868 memory=2349336 CPUtime=3589.56 cores=0,2
/proc/31194/stat : 31194 (fscip) R 31191 31194 28645 0 -1 4194304 3314980 0 0 0 358644 312 0 0 20 0 2 0 4817946 2518904832 587334 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
/proc/31194/statm: 614967 587334 3030 3035 0 604448 0
[pid=31194/tid=31254] ppid=31191 vsize=2459868 memory=2932652 CPUtime=0.07 cores=0,2
/proc/31194/task/31254/stat : 31254 (fscip) S 31191 31194 28645 0 -1 1077936192 424 0 0 0 2 5 0 0 20 0 2 0 4818968 2518904832 587334 134679101440 4194304 16623229 140724037861712 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45912064 140724037870614 140724037870730 140724037870730 140724037877744 0
Current children cumulated CPU time: 3589.56 s
Current children cumulated vsize: 2459868 KiB
Current children cumulated memory: 2349336 KiB

[startup+3602.8 s]*
/proc/loadavg: 4.14 4.13 4.15 5/253 33193
/proc/meminfo: memFree=108459008/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3602.81
CPU time (s): 3589.97
CPU user time (s): 3586.81
CPU system time (s): 3.15876
CPU usage (%): 99.6435
Max. virtual memory (cumulated for all children) (KiB): 4281988
Max. memory (cumulated for all children) (KiB): 2983264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.81
system time used= 3.15876
maximum resident set size= 2983264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3325828
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= 5018
involuntary context switches= 25134


# summary of solver processes directly reported to runsolver:
#   pid: 31194
#   total CPU time (s): 3589.97
#   total CPU user time (s): 3586.81
#   total CPU system time (s): 3.15876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2726 second user time and 35.4837 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-31 01:30:03
IDJOB=4464466
IDBENCH=155459
IDSOLVER=3092
FILE ID=nodeC009/4464466-1722382203
RUNJOBID= nodeC009-1722378594-28655
SLURM_JOB_ID= 8249839
Free space on /tmp= 723436 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-96.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-4464466-1722382203/watcher-4464466-1722382203 -o /tmp/evaluation-result-4464466-1722382203/solver-4464466-1722382203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28655 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464466-1722382203.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 41cda2cdd43cae95a9671374dc621893
RANDOM SEED=1390683433

nodeC009.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	: 0xb00001f
cpu MHz		: 1872.609
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 3616.587
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.269
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 1197.419
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 3667.438
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 1929.772
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.435
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.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	: 0xb00001f
cpu MHz		: 1197.287
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        112119548 kB
MemAvailable:   124044324 kB
Buffers:           94360 kB
Cached:         12631588 kB
SwapCached:            0 kB
Active:           336852 kB
Inactive:       18681244 kB
Active(anon):       1496 kB
Inactive(anon):  6312024 kB
Active(file):     335356 kB
Inactive(file): 12369220 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            352776 kB
Writeback:            32 kB
AnonPages:       6292584 kB
Mapped:           121964 kB
Shmem:             21320 kB
KReclaimable:     120796 kB
Slab:             202688 kB
SReclaimable:     120796 kB
SUnreclaim:        81892 kB
KernelStack:        3984 kB
PageTables:        21252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    6012440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6912 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 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:      265032 kB
DirectMap2M:    12222464 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 723632 MiB
End job on nodeC009 at 2024-07-31 02:30:06