Trace number 4446140

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02? 3593.46 3608.31

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: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.99/1.02	c Default LC presolving (default).
0.99/1.03	c ** Before presolving: virtualMemUsedAtLc = 702802369, getVmSize() = 443564032, SCIPgetMemUsed() = 366032262, SCIPgetMemTotal() = 399588086, SCIPgetMemExternEstim() = 303214283
0.99/1.03	c ** set memory limit for presolving in LC to 8.79588e+12 for SCIP **
8.16/8.24	c ** Estimated virtualMemUsedAtSolver = 881804885, getVmSize() = 1102757888, SCIPgetMemUsed() = 664911349, SCIPgetMemTotal() = 1019493045, SCIPgetMemExternEstim() = 303214283
8.16/8.24	c ** set memory limit for solvers to 4.39802e+12 for each SCIP **
8.16/8.24	c Original Problem   :
8.16/8.24	c   Problem name     : instance-4446140-1721325453
8.16/8.24	c   Variables        : 12587 (12587 binary, 0 integer, 0 implicit integer, 0 continuous)
8.16/8.24	c   Constraints      : 283937
8.16/8.24	c   Objective sense  : minimize
8.16/8.24	c Presolved Problem  :
8.16/8.24	c   Variables        : 12586 (12586 binary, 0 integer, 0 implicit integer, 0 continuous)
8.16/8.24	c   Constraints      : 280387
8.16/8.24	c Constraints        : Number
8.16/8.24	c   knapsack         : 28351 
8.16/8.24	c   setppc           : 60278 
8.16/8.24	c   linear           : 3 
8.16/8.24	c   logicor          : 191755 
8.16/8.24	c ** Instance transfer method used: 0
8.65/8.72	c ** ParaScipInstance copy does not increase the number of variables. **
9.06/9.11	c LC is working with racing ramp-up and with rebuilding tree after racing.
9.06/9.11	c                                Nodes    Active                                            
9.06/9.11	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
275.06/277.42	c       277              2           1         1                -           0.0000          -
287.61/290.05	c       290             10           9         1                -           0.0000          -
293.79/296.27	c       296             12          11         1                -           0.0000          -
299.68/302.17	c       302             13          12         1                -           0.0000          -
507.64/510.90	c       511             14          13         1                -           0.0000          -
536.51/539.93	c       540             15          14         1                -           0.0000          -
543.59/547.02	c       547             19          18         1                -           0.0000          -
554.24/557.74	c       558             30          29         1                -           0.0000          -
572.56/576.16	c       576             33          32         1                -           0.0000          -
632.72/636.58	c       637             38          37         1                -           0.0000          -
643.19/647.03	c       647             40          39         1                -           0.0000          -
648.55/652.40	c       652             46          45         1                -           0.0000          -
655.93/659.81	c       660             58          57         1                -           0.0000          -
666.29/670.30	c       670             63          62         1                -           0.0000          -
672.86/676.88	c       677             74          73         1                -           0.0000          -
696.18/700.22	c       700             75          74         1                -           0.0000          -
712.62/716.77	c       717             82          81         1                -           0.0000          -
718.30/722.46	c       722             93          92         1                -           0.0000          -
724.27/728.45	c       728            103         102         1                -           0.0000          -
730.54/734.76	c       735            115         114         1                -           0.0000          -
757.45/761.78	c       762            125         124         1                -           0.0000          -
764.21/768.58	c       769            131         130         1                -           0.0000          -
778.97/783.36	c       783            132         131         1                -           0.0000          -
792.62/797.08	c       797            139         138         1                -           0.0000          -
804.47/808.96	c       809            142         141         1                -           0.0000          -
811.15/815.66	c       816            144         143         1                -           0.0000          -
838.86/843.49	c       844            146         145         1                -           0.0000          -
845.63/850.20	c       850            153         152         1                -           0.0000          -
851.11/855.73	c       856            156         155         1                -           0.0000          -
872.33/877.07	c       877            158         157         1                -           0.0000          -
877.70/882.41	c       882            162         161         1                -           0.0000          -
893.74/898.54	c       899            168         167         1                -           0.0000          -
907.20/912.05	c       912            172         171         1                -           0.0000          -
916.16/921.00	c       921            178         177         1                -           0.0000          -
921.54/926.41	c       926            183         182         1                -           0.0000          -
926.51/931.42	c       931            187         186         1                -           0.0000          -
943.35/948.32	c       948            194         193         1                -           0.0000          -
949.82/954.85	c       955            202         201         1                -           0.0000          -
960.67/965.79	c       966            206         205         1                -           0.0000          -
979.70/984.80	c       985            208         207         1                -           0.0000          -
992.27/997.49	c       998            212         211         1                -           0.0000          -
999.13/1004.37	c      1004            227         226         1                -           0.0000          -
1026.53/1031.88	c      1032            228         227         1                -           0.0000          -
1032.02/1037.36	c      1037            234         233         1                -           0.0000          -
1038.19/1043.50	c      1044            246         245         1                -           0.0000          -
1044.46/1049.80	c      1050            268         267         1                -           0.0000          -
1051.14/1056.50	c      1057            270         269         1                -           0.0000          -
1078.93/1084.45	c      1084            277         276         1                -           0.0000          -
1084.31/1089.87	c      1090            281         280         1                -           0.0000          -
1093.67/1099.28	c      1099            285         284         1                -           0.0000          -
1100.55/1106.17	c      1106            286         285         1                -           0.0000          -
1114.59/1120.28	c      1120            287         286         1                -           0.0000          -
1120.48/1126.11	c      1126            292         291         1                -           0.0000          -
1125.45/1131.15	c      1131            299         298         1                -           0.0000          -
1132.83/1138.51	c      1139            300         299         1                -           0.0000          -
1157.05/1162.85	c      1163            302         301         1                -           0.0000          -
1166.71/1172.51	c      1173            308         307         1                -           0.0000          -
1174.48/1180.30	c      1180            310         309         1                -           0.0000          -
1182.35/1188.25	c      1188            312         311         1                -           0.0000          -
1187.53/1193.46	c      1193            324         323         1                -           0.0000          -
1206.86/1212.83	c      1213            325         324         1                -           0.0000          -
1213.34/1219.33	c      1219            337         336         1                -           0.0000          -
1223.40/1229.44	c      1229            339         338         1                -           0.0000          -
1246.32/1252.47	c      1252            344         343         1                -           0.0000          -
1252.49/1258.60	c      1259            352         351         1                -           0.0000          -
1258.28/1264.47	c      1264            355         354         1                -           0.0000          -
1280.90/1287.16	c      1287            362         361         1                -           0.0000          -
1291.86/1298.14	c      1298            364         363         1                -           0.0000          -
1303.21/1309.51	c      1310            366         365         1                -           0.0000          -
1321.65/1328.09	c      1328            369         368         1                -           0.0000          -
1339.18/1345.62	c      1346            372         371         1                -           0.0000          -
1347.25/1353.79	c      1354            376         375         1                -           0.0000          -
1354.32/1360.81	c      1361            385         384         1                -           0.0000          -
1359.80/1366.31	c      1366            399         398         1                -           0.0000          -
1366.08/1372.69	c      1373            418         417         1                -           0.0000          -
1378.44/1385.08	c      1385            419         418         1                -           0.0000          -
1389.98/1396.68	c      1397            422         421         1                -           0.0000          -
1410.80/1417.53	c      1418            426         425         1                -           0.0000          -
1451.86/1458.77	c      1459            432         431         1                -           0.0000          -
1457.25/1464.19	c      1464            439         438         1                -           0.0000          -
1464.61/1471.54	c      1472            447         446         1                -           0.0000          -
1472.18/1479.16	c      1479            456         455         1                -           0.0000          -
1491.81/1498.87	c      1499            459         458         1                -           0.0000          -
1503.17/1510.29	c      1510            462         461         1                -           0.0000          -
1533.26/1540.45	c      1540            465         464         1                -           0.0000          -
1543.62/1550.86	c      1551            473         472         1                -           0.0000          -
1554.48/1561.79	c      1562            477         476         1                -           0.0000          -
1565.15/1572.47	c      1572            490         489         1                -           0.0000          -
1571.02/1578.33	c      1578            495         494         1                -           0.0000          -
1576.00/1583.39	c      1583            500         499         1                -           0.0000          -
1582.38/1589.72	c      1590            505         504         1                -           0.0000          -
1589.44/1596.85	c      1597            512         511         1                -           0.0000          -
1595.32/1602.74	c      1603            520         519         1                -           0.0000          -
1604.09/1611.60	c      1612            526         525         1                -           0.0000          -
1633.29/1640.81	c      1641            536         535         1                -           0.0000          -
1651.43/1659.06	c      1659            539         538         1                -           0.0000          -
1661.19/1668.86	c      1669            547         546         1                -           0.0000          -
1678.43/1686.18	c      1686            548         547         1                -           0.0000          -
1687.49/1695.24	c      1695            552         551         1                -           0.0000          -
1692.87/1700.69	c      1701            557         556         1                -           0.0000          -
1698.25/1706.03	c      1706            564         563         1                -           0.0000          -
1703.62/1711.46	c      1711            576         575         1                -           0.0000          -
1712.69/1720.51	c      1721            590         589         1                -           0.0000          -
1734.12/1742.10	c      1742            595         594         1                -           0.0000          -
1757.23/1765.23	c      1765            598         597         1                -           0.0000          -
1786.42/1794.57	c      1795            602         601         1                -           0.0000          -
1803.66/1811.89	c      1812            605         604         1                -           0.0000          -
1822.89/1831.18	c      1831            612         611         1                -           0.0000          -
1828.77/1837.08	c      1837            620         619         1                -           0.0000          -
1847.40/1855.73	c      1856            625         624         1                -           0.0000          -
1852.58/1860.94	c      1861            636         635         1                -           0.0000          -
1865.04/1873.41	c      1873            642         641         1                -           0.0000          -
1871.11/1879.56	c      1880            650         649         1                -           0.0000          -
1878.98/1887.49	c      1887            657         656         1                -           0.0000          -
1909.67/1918.28	c      1918            659         658         1                -           0.0000          -
1921.53/1930.18	c      1930            662         661         1                -           0.0000          -
1927.90/1936.55	c      1937            669         668         1                -           0.0000          -
1933.68/1942.33	c      1942            673         672         1                -           0.0000          -
1938.95/1947.69	c      1948            676         675         1                -           0.0000          -
1944.24/1952.93	c      1953            681         680         1                -           0.0000          -
1956.60/1965.33	c      1965            682         681         1                -           0.0000          -
1969.64/1978.47	c      1978            684         683         1                -           0.0000          -
2015.77/2024.80	c      2025            685         684         1                -           0.0000          -
2032.71/2041.75	c      2042            689         688         1                -           0.0000          -
2038.19/2047.29	c      2047            702         701         1                -           0.0000          -
2043.97/2053.06	c      2053            711         708         1                -           0.0000          -
2059.03/2068.18	c      2068            716         713         1                -           0.0000          -
2066.90/2076.07	c      2076            719         716         1                -           0.0000          -
2081.65/2090.87	c      2091            732         729         1                -           0.0000          -
2091.12/2100.37	c      2100            735         732         1                -           0.0000          -
2111.15/2120.40	c      2120            738         735         1                -           0.0000          -
2119.42/2128.76	c      2129            747         744         1                -           0.0000          -
2135.16/2144.57	c      2145            755         752         1                -           0.0000          -
2140.74/2150.17	c      2150            759         756         1                -           0.0000          -
2146.11/2155.55	c      2156            762         759         1                -           0.0000          -
2152.09/2161.58	c      2162            767         764         1                -           0.0000          -
2162.84/2172.39	c      2172            772         769         1                -           0.0000          -
2174.70/2184.27	c      2184            782         779         1                -           0.0000          -
2179.97/2189.51	c      2190            788         785         1                -           0.0000          -
2185.35/2194.95	c      2195            797         794         1                -           0.0000          -
2191.73/2201.34	c      2201            799         796         1                -           0.0000          -
2201.19/2210.89	c      2211            802         799         1                -           0.0000          -
2217.64/2227.35	c      2227            809         806         1                -           0.0000          -
2234.69/2244.49	c      2244            815         812         1                -           0.0000          -
2263.68/2273.57	c      2274            818         815         1                -           0.0000          -
2285.31/2295.28	c      2295            822         819         1                -           0.0000          -
2303.93/2313.98	c      2314            828         825         1                -           0.0000          -
2310.91/2320.90	c      2321            832         829         1                -           0.0000          -
2316.49/2326.59	c      2327            837         834         1                -           0.0000          -
2321.67/2331.78	c      2332            844         841         1                -           0.0000          -
2327.44/2337.59	c      2338            845         842         1                -           0.0000          -
2348.97/2359.13	c      2359            848         845         1                -           0.0000          -
2358.24/2368.40	c      2368            852         849         1                -           0.0000          -
2364.12/2374.34	c      2374            862         859         1                -           0.0000          -
2369.90/2380.13	c      2380            873         870         1                -           0.0000          -
2390.52/2400.88	c      2401            875         872         1                -           0.0000          -
2395.70/2406.10	c      2406            884         881         1                -           0.0000          -
2400.88/2411.26	c      2411            889         886         1                -           0.0000          -
2406.15/2416.58	c      2417            898         895         1                -           0.0000          -
2413.73/2424.12	c      2424            905         902         1                -           0.0000          -
2438.93/2449.41	c      2449            909         906         1                -           0.0000          -
2448.31/2458.86	c      2459            912         909         1                -           0.0000          -
2456.78/2467.34	c      2467            915         912         1                -           0.0000          -
2480.89/2491.53	c      2492            928         925         1                -           0.0000          -
2500.12/2510.88	c      2511            932         929         1                -           0.0000          -
2507.39/2518.11	c      2518            935         932         1                -           0.0000          -
2517.45/2528.28	c      2528            938         935         1                -           0.0000          -
2522.93/2533.76	c      2534            944         941         1                -           0.0000          -
2532.50/2543.31	c      2543            945         942         1                -           0.0000          -
2538.38/2549.24	c      2549            948         945         1                -           0.0000          -
2545.45/2556.31	c      2556            952         949         1                -           0.0000          -
2553.12/2564.06	c      2564            972         969         1                -           0.0000          -
2566.07/2577.08	c      2577            975         972         1                -           0.0000          -
2586.10/2597.15	c      2597            976         973         1                -           0.0000          -
2600.84/2611.92	c      2612            978         975         1                -           0.0000          -
2606.02/2617.18	c      2617            991         988         1                -           0.0000          -
2623.45/2634.64	c      2635            992         989         1                -           0.0000          -
2629.43/2640.65	c      2641           1001         998         1                -           0.0000          -
2636.99/2648.23	c      2648           1009        1006         1                -           0.0000          -
2665.97/2677.34	c      2677           1012        1009         1                -           0.0000          -
2690.99/2702.42	c      2702           1018        1015         1                -           0.0000          -
2698.75/2710.28	c      2710           1019        1016         1                -           0.0000          -
2727.44/2739.00	c      2739           1022        1019         1                -           0.0000          -
2746.87/2758.51	c      2759           1025        1022         1                -           0.0000          -
2771.08/2782.82	c      2783           1032        1029         1                -           0.0000          -
2776.56/2788.37	c      2788           1038        1035         1                -           0.0000          -
2783.03/2794.88	c      2795           1045        1042         1                -           0.0000          -
2790.50/2802.39	c      2802           1047        1044         1                -           0.0000          -
2795.78/2807.63	c      2808           1055        1052         1                -           0.0000          -
2811.32/2823.25	c      2823           1058        1055         1                -           0.0000          -
2819.39/2831.39	c      2831           1062        1059         1                -           0.0000          -
2824.57/2836.50	c      2837           1065        1062         1                -           0.0000          -
2831.74/2843.77	c      2844           1071        1068         1                -           0.0000          -
2839.91/2851.94	c      2852           1075        1072         1                -           0.0000          -
2849.27/2861.39	c      2861           1082        1079         1                -           0.0000          -
2858.74/2870.86	c      2871           1085        1082         1                -           0.0000          -
2888.13/2900.38	c      2900           1088        1085         1                -           0.0000          -
2893.92/2906.19	c      2906           1098        1095         1                -           0.0000          -
2901.18/2913.43	c      2913           1102        1099         1                -           0.0000          -
2912.64/2924.97	c      2925           1105        1102         1                -           0.0000          -
2923.89/2936.22	c      2936           1108        1105         1                -           0.0000          -
2929.77/2942.16	c      2942           1114        1111         1                -           0.0000          -
2935.54/2947.91	c      2948           1121        1118         1                -           0.0000          -
2961.84/2974.31	c      2974           1128        1125         1                -           0.0000          -
2967.12/2979.69	c      2980           1146        1143         1                -           0.0000          -
2987.05/2999.67	c      3000           1149        1146         1                -           0.0000          -
2993.43/3006.10	c      3006           1155        1152         1                -           0.0000          -
3003.58/3016.22	c      3016           1165        1162         1                -           0.0000          -
3023.20/3035.90	c      3036           1168        1165         1                -           0.0000          -
3030.67/3043.43	c      3043           1172        1169         1                -           0.0000          -
3039.05/3051.80	c      3052           1175        1172         1                -           0.0000          -
3044.72/3057.55	c      3058           1180        1177         1                -           0.0000          -
3065.55/3078.49	c      3078           1182        1179         1                -           0.0000          -
3072.42/3085.32	c      3085           1190        1187         1                -           0.0000          -
3078.89/3091.85	c      3092           1195        1192         1                -           0.0000          -
3095.42/3108.47	c      3108           1202        1199         1                -           0.0000          -
3101.01/3114.06	c      3114           1205        1202         1                -           0.0000          -
3123.72/3136.82	c      3137           1208        1205         1                -           0.0000          -
3142.36/3155.51	c      3156           1212        1209         1                -           0.0000          -
3150.53/3163.77	c      3164           1221        1218         1                -           0.0000          -
3158.39/3171.64	c      3172           1222        1219         1                -           0.0000          -
3174.92/3188.23	c      3188           1228        1225         1                -           0.0000          -
3189.67/3203.09	c      3203           1235        1232         1                -           0.0000          -
3194.75/3208.12	c      3208           1244        1241         1                -           0.0000          -
3201.92/3215.38	c      3215           1249        1246         1                -           0.0000          -
3213.68/3227.15	c      3227           1257        1254         1                -           0.0000          -
3244.16/3257.73	c      3258           1258        1255         1                -           0.0000          -
3251.63/3265.24	c      3265           1262        1259         1                -           0.0000          -
3259.20/3272.86	c      3273           1265        1262         1                -           0.0000          -
3276.24/3289.91	c      3290           1272        1269         1                -           0.0000          -
3287.60/3301.30	c      3301           1275        1272         1                -           0.0000          -
3294.87/3308.63	c      3309           1289        1286         1                -           0.0000          -
3311.50/3325.33	c      3325           1292        1289         1                -           0.0000          -
3318.27/3332.19	c      3332           1294        1291         1                -           0.0000          -
3369.99/3384.06	c      3384           1295        1292         1                -           0.0000          -
3402.26/3416.41	c      3416           1298        1295         1                -           0.0000          -
3410.93/3425.10	c      3425           1305        1302         1                -           0.0000          -
3426.67/3440.99	c      3441           1315        1312         1                -           0.0000          -
3435.63/3449.90	c      3450           1321        1318         1                -           0.0000          -
3470.30/3484.78	c      3485           1322        1319         1                -           0.0000          -
3509.26/3523.82	c      3524           1325        1322         1                -           0.0000          -
3517.43/3532.03	c      3532           1331        1328         1                -           0.0000          -
3532.87/3547.55	c      3548           1338        1335         1                -           0.0000          -
3540.54/3555.25	c      3555           1342        1339         1                -           0.0000          -
3546.02/3560.76	c      3561           1348        1345         1                -           0.0000          -
3551.40/3566.18	c      3566           1350        1347         1                -           0.0000          -
3580.39/3595.29	c      3595           1352        1349         1                -           0.0000          -
3592.55/3607.46	c      3607           1352        1349         0                -           0.0000          -
3593.04/3607.98	c SCIP Status        : c solving was interrupted [hard time limit reached]
3593.04/3607.98	c Total Time         : 3607.9900
3593.04/3607.98	c   solving          : 3607.9900
3593.04/3607.98	c   presolving       : 7.2098 (included in solving)
3593.04/3607.98	c B&B Tree           :
3593.04/3607.98	c   nodes (total)    : 1
3593.04/3607.98	c Solution           :
3593.04/3607.98	c   Solutions found  : 0
3593.04/3607.98	c   Primal Bound     :          -
3593.04/3607.98	c   Dual Bound       : +0.00000000000000e+00
3593.04/3607.98	c Gap                :          -
3593.44/3608.30	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: 63931 MiB (61380 MiB free)
  memory of node 1: 64510 MiB (61434 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446140-1721325453/watcher-4446140-1721325453 -o /tmp/evaluation-result-4446140-1721325453/solver-4446140-1721325453 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968464 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446140-1721325453.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=974532, runsolver pid=974529

[startup+0.100172 s]*
/proc/loadavg: 4.11 4.09 4.11 5/262 974533
/proc/meminfo: memFree=125731488/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=52956 memory=40952 CPUtime=0.09 cores=0,2
/proc/974532/stat : 974532 (fscip) R 974529 974532 968454 0 -1 4194304 8183 0 0 0 9 0 0 0 20 0 1 0 184704504 54226944 10238 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 13239 10238 2318 3032 0 9639 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 40952 KiB

[startup+0.205657 s]*
/proc/loadavg: 4.11 4.09 4.11 5/262 974533
/proc/meminfo: memFree=125702536/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=81716 memory=69168 CPUtime=0.2 cores=0,2
/proc/974532/stat : 974532 (fscip) R 974529 974532 968454 0 -1 4194304 15238 0 0 0 18 2 0 0 20 0 1 0 184704504 83677184 17292 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 20429 17292 2318 3032 0 16829 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81716 KiB
Current children cumulated memory: 69168 KiB

[startup+0.305646 s]*
/proc/loadavg: 4.11 4.09 4.11 5/262 974533
/proc/meminfo: memFree=125675180/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=110024 memory=97640 CPUtime=0.29 cores=0,2
/proc/974532/stat : 974532 (fscip) R 974529 974532 968454 0 -1 4194304 22314 0 0 0 27 2 0 0 20 0 1 0 184704504 112664576 24410 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 27506 24410 2318 3032 0 23906 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 110024 KiB
Current children cumulated memory: 97640 KiB

[startup+0.700239 s]
/proc/loadavg: 4.11 4.09 4.11 5/262 974533
/proc/meminfo: memFree=125620968/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=248836 memory=236976 CPUtime=0.68 cores=0,2
/proc/974532/stat : 974532 (fscip) R 974529 974532 968454 0 -1 4194304 57888 0 0 0 60 8 0 0 20 0 1 0 184704504 254808064 59244 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 62209 59244 2542 3032 0 58609 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 248836 KiB
Current children cumulated memory: 236976 KiB

[startup+1.50023 s]
/proc/loadavg: 4.11 4.09 4.11 5/262 974533
/proc/meminfo: memFree=125375376/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=541412 memory=491168 CPUtime=1.48 cores=0,2
/proc/974532/stat : 974532 (fscip) R 974529 974532 968454 0 -1 4194304 112717 0 0 0 132 16 0 0 20 0 1 0 184704504 554405888 122792 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 135353 122792 2622 3032 0 131753 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 541412 KiB
Current children cumulated memory: 491168 KiB

[startup+3.10545 s]
/proc/loadavg: 4.11 4.09 4.11 5/262 974533
/proc/meminfo: memFree=124895500/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=600332 memory=578216 CPUtime=3.08 cores=0,2
/proc/974532/stat : 974532 (fscip) R 974529 974532 968454 0 -1 4194304 145235 0 0 0 283 25 0 0 20 0 1 0 184704504 614739968 144554 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 150083 144554 2686 3032 0 146483 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 600332 KiB
Current children cumulated memory: 578216 KiB

[startup+6.30021 s]
/proc/loadavg: 4.10 4.09 4.11 5/264 974535
/proc/meminfo: memFree=124312600/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=649108 memory=627636 CPUtime=6.26 cores=0,2
/proc/974532/stat : 974532 (fscip) R 974529 974532 968454 0 -1 4194304 157576 0 0 0 599 27 0 0 20 0 1 0 184704504 664686592 156909 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 162277 156909 2734 3032 0 158677 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 649108 KiB
Current children cumulated memory: 627636 KiB

[startup+12.7012 s]
/proc/loadavg: 4.09 4.09 4.11 5/266 974538
/proc/meminfo: memFree=122737656/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=1801016 memory=1657052 CPUtime=12.62 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 346596 0 0 0 1197 65 0 0 20 0 3 0 184704504 1844240384 414263 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 450254 414263 2782 3032 0 437278 0
[pid=974532/tid=974537] ppid=974529 vsize=1801016 memory=2657 CPUtime=3.93 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 137246 0 0 0 370 23 0 0 20 0 3 0 184705328 1844240384 414263 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=1801016 memory=1682568 CPUtime=0 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 184705415 1844240384 414263 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1801016 KiB
Current children cumulated memory: 1657052 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.10 5/266 974540
/proc/meminfo: memFree=122046736/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=2492544 memory=2304520 CPUtime=25.3 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 500904 0 0 0 2442 88 0 0 20 0 3 0 184704504 2552365056 576130 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 623136 576130 2926 3032 0 613048 0
[pid=974532/tid=974537] ppid=974529 vsize=2492544 memory=2304520 CPUtime=16.61 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 291546 0 0 0 1615 46 0 0 20 0 3 0 184705328 2552365056 576130 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=2492544 memory=1200 CPUtime=0 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 184705415 2552365056 576130 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 2492544 KiB
Current children cumulated memory: 2304520 KiB

[startup+51.1062 s]
/proc/loadavg: 4.18 4.11 4.11 5/268 974715
/proc/meminfo: memFree=122043492/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=2492544 memory=2304520 CPUtime=50.68 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 521904 0 0 0 4979 89 0 0 20 0 3 0 184704504 2552365056 576130 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 623136 576130 2926 3032 0 613048 0
[pid=974532/tid=974537] ppid=974529 vsize=2492544 memory=736 CPUtime=42 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 312532 0 0 0 4152 48 0 0 20 0 3 0 184705328 2552365056 576130 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=2492544 memory=2304520 CPUtime=0 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 184705415 2552365056 576130 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 50.68 s
Current children cumulated vsize: 2492544 KiB
Current children cumulated memory: 2304520 KiB

[startup+102.301 s]
/proc/loadavg: 4.13 4.11 4.11 5/268 974725
/proc/meminfo: memFree=121991628/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=2584368 memory=2344784 CPUtime=101.41 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 606896 0 0 0 10046 95 0 0 20 0 3 0 184704504 2646392832 586196 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 646092 586196 2926 3032 0 632715 0
[pid=974532/tid=974537] ppid=974529 vsize=2584368 memory=4774834636748362851 CPUtime=92.72 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 397512 0 0 0 9219 53 0 0 20 0 3 0 184705328 2646392832 586196 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=2584368 memory=27460 CPUtime=0 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 184705415 2646392832 586196 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 101.41 s
Current children cumulated vsize: 2584368 KiB
Current children cumulated memory: 2344784 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/268 974735
/proc/meminfo: memFree=121973820/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=2642256 memory=2350484 CPUtime=160.84 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 717151 0 0 0 15984 100 0 0 20 0 3 0 184704504 2705670144 587621 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 660564 587621 2926 3032 0 647187 0
[pid=974532/tid=974537] ppid=974529 vsize=2642256 memory=2350484 CPUtime=152.15 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 507755 0 0 0 15157 58 0 0 20 0 3 0 184705328 2705670144 587621 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=2642256 memory=2350484 CPUtime=0 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 184705415 2705670144 587621 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 160.84 s
Current children cumulated vsize: 2642256 KiB
Current children cumulated memory: 2350484 KiB

[startup+222.301 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 974760
/proc/meminfo: memFree=121959460/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=2694840 memory=2350492 CPUtime=220.3 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 823497 0 0 0 21923 107 0 0 20 0 3 0 184704504 2759516160 587623 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 673710 587623 2926 3032 0 660333 0
[pid=974532/tid=974537] ppid=974529 vsize=2694840 memory=7676 CPUtime=211.61 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 614095 0 0 0 21096 65 0 0 20 0 3 0 184705328 2759516160 587623 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=2694840 memory=27784 CPUtime=0 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 184705415 2759516160 587623 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 220.3 s
Current children cumulated vsize: 2694840 KiB
Current children cumulated memory: 2350492 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 974770
/proc/meminfo: memFree=121617528/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=3206604 memory=2668432 CPUtime=279.94 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 999783 0 0 0 27872 122 0 0 20 0 3 0 184704504 3283562496 667108 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 801651 667108 2942 3032 0 786635 0
[pid=974532/tid=974537] ppid=974529 vsize=3206604 memory=2359876 CPUtime=271.25 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 790344 0 0 0 27045 80 0 0 20 0 3 0 184705328 3283562496 667108 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=3206604 memory=2668432 CPUtime=0 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 184705415 3283562496 667108 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 279.94 s
Current children cumulated vsize: 3206604 KiB

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


[startup+3462.3 s]
/proc/loadavg: 3.07 3.12 3.43 4/256 976052
/proc/meminfo: memFree=112928348/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=4241100 memory=3004408 CPUtime=3447.98 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 3035076 0 0 0 344533 265 0 0 20 0 3 0 184704504 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 1060275 751102 2990 3032 0 1048301 0
[pid=974532/tid=974537] ppid=974529 vsize=4241100 memory=7676 CPUtime=3439.22 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 2823293 0 0 0 343702 220 0 0 20 0 3 0 184705328 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=4241100 memory=3004408 CPUtime=0.04 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 437 0 0 0 1 3 0 0 20 0 3 0 184705415 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 3447.98 s
Current children cumulated vsize: 4241100 KiB
Current children cumulated memory: 3004408 KiB

[startup+3522.3 s]
/proc/loadavg: 3.14 3.13 3.42 4/256 976447
/proc/meminfo: memFree=112926640/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=4241100 memory=3004408 CPUtime=3507.77 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 3040381 0 0 0 350511 266 0 0 20 0 3 0 184704504 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 1060275 751102 2990 3032 0 1048301 0
[pid=974532/tid=974537] ppid=974529 vsize=4241100 memory=3004408 CPUtime=3498.99 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 2828560 0 0 0 349679 220 0 0 20 0 3 0 184705328 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=4241100 memory=3004408 CPUtime=0.04 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 449 0 0 0 1 3 0 0 20 0 3 0 184705415 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 3507.77 s
Current children cumulated vsize: 4241100 KiB
Current children cumulated memory: 3004408 KiB

[startup+3582.3 s]
/proc/loadavg: 3.38 3.20 3.42 4/256 976457
/proc/meminfo: memFree=112925684/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=4241100 memory=3004408 CPUtime=3567.54 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 3050973 0 0 0 356487 267 0 0 20 0 3 0 184704504 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 1060275 751102 2990 3032 0 1048301 0
[pid=974532/tid=974537] ppid=974529 vsize=4241100 memory=2240 CPUtime=3558.76 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 2839093 0 0 0 355655 221 0 0 20 0 3 0 184705328 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=4241100 memory=4892 CPUtime=0.04 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 451 0 0 0 1 3 0 0 20 0 3 0 184705415 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 3567.54 s
Current children cumulated vsize: 4241100 KiB
Current children cumulated memory: 3004408 KiB

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

# cumulated CPU time of all completed processes:  user=3590.75 s, system=2.70746 s

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

[startup+3584 s]*
/proc/loadavg: 3.38 3.20 3.42 4/256 976458
/proc/meminfo: memFree=112925652/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=4241100 memory=3004408 CPUtime=3569.23 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 3050973 0 0 0 356656 267 0 0 20 0 3 0 184704504 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 1060275 751102 2990 3032 0 1048301 0
[pid=974532/tid=974537] ppid=974529 vsize=4241100 memory=2728 CPUtime=3560.46 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 2839093 0 0 0 355825 221 0 0 20 0 3 0 184705328 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=4241100 memory=4716 CPUtime=0.04 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 451 0 0 0 1 3 0 0 20 0 3 0 184705415 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 3569.23 s
Current children cumulated vsize: 4241100 KiB
Current children cumulated memory: 3004408 KiB

[startup+3596.8 s]
/proc/loadavg: 3.21 3.17 3.41 3/247 976490
/proc/meminfo: memFree=115582104/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=4241100 memory=3004408 CPUtime=3581.98 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 3053183 0 0 0 357931 267 0 0 20 0 3 0 184704504 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 1060275 751102 2990 3032 0 1048301 0
[pid=974532/tid=974537] ppid=974529 vsize=4241100 memory=3004408 CPUtime=3573.21 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 2841303 0 0 0 357100 221 0 0 20 0 3 0 184705328 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=4241100 memory=6720669835229151595 CPUtime=0.04 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 451 0 0 0 1 3 0 0 20 0 3 0 184705415 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 3581.98 s
Current children cumulated vsize: 4241100 KiB
Current children cumulated memory: 3004408 KiB

[startup+3603.2 s]
/proc/loadavg: 3.12 3.15 3.40 3/247 976492
/proc/meminfo: memFree=115581964/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=4241100 memory=3004408 CPUtime=3588.36 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 3053309 0 0 0 358569 267 0 0 20 0 3 0 184704504 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 1060275 751102 2990 3032 0 1048301 0
[pid=974532/tid=974537] ppid=974529 vsize=4241100 memory=3004408 CPUtime=3579.59 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 2841428 0 0 0 357738 221 0 0 20 0 3 0 184705328 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=4241100 memory=3004408 CPUtime=0.04 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 452 0 0 0 1 3 0 0 20 0 3 0 184705415 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 3588.36 s
Current children cumulated vsize: 4241100 KiB
Current children cumulated memory: 3004408 KiB

[startup+3606.4 s]
/proc/loadavg: 3.03 3.13 3.39 3/247 976492
/proc/meminfo: memFree=115581972/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=4241100 memory=3004408 CPUtime=3591.55 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 3053313 0 0 0 358888 267 0 0 20 0 3 0 184704504 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 1060275 751102 2990 3032 0 1048301 0
[pid=974532/tid=974537] ppid=974529 vsize=4241100 memory=7676 CPUtime=3582.78 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 2841430 0 0 0 358057 221 0 0 20 0 3 0 184705328 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=4241100 memory=27460 CPUtime=0.04 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 454 0 0 0 1 3 0 0 20 0 3 0 184705415 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 3591.55 s
Current children cumulated vsize: 4241100 KiB
Current children cumulated memory: 3004408 KiB

[startup+3607.2 s]
/proc/loadavg: 3.03 3.13 3.39 3/247 976492
/proc/meminfo: memFree=115581964/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=4241100 memory=3004408 CPUtime=3592.35 cores=0,2
/proc/974532/stat : 974532 (fscip) S 974529 974532 968454 0 -1 1077936128 3053313 0 0 0 358968 267 0 0 20 0 3 0 184704504 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 1060275 751102 2990 3032 0 1048301 0
[pid=974532/tid=974537] ppid=974529 vsize=4241100 memory=3004408 CPUtime=3583.57 cores=0,2
/proc/974532/task/974537/stat : 974537 (fscip) R 974529 974532 968454 0 -1 4194368 2841430 0 0 0 358136 221 0 0 20 0 3 0 184705328 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
[pid=974532/tid=974538] ppid=974529 vsize=4241100 memory=4712 CPUtime=0.04 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 454 0 0 0 1 3 0 0 20 0 3 0 184705415 4342886400 751102 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 3592.35 s
Current children cumulated vsize: 4241100 KiB
Current children cumulated memory: 3004408 KiB

[startup+3608 s]*
/proc/loadavg: 3.03 3.13 3.39 3/246 976492
/proc/meminfo: memFree=116166456/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=2536952 memory=2420424 CPUtime=3593.14 cores=0,2
/proc/974532/stat : 974532 (fscip) R 974529 974532 968454 0 -1 4194304 3059784 0 0 0 359046 268 0 0 20 0 2 0 184704504 2597838848 605106 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 634238 605106 2990 3032 0 623802 0
[pid=974532/tid=974538] ppid=974529 vsize=2536952 memory=-6587191098482015077 CPUtime=0.04 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 454 0 0 0 1 3 0 0 20 0 2 0 184705415 2597838848 605106 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 3593.14 s
Current children cumulated vsize: 2536952 KiB
Current children cumulated memory: 2420424 KiB

[startup+3608.2 s]
/proc/loadavg: 3.03 3.13 3.39 3/246 976492
/proc/meminfo: memFree=116166456/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=2530220 memory=2414100 CPUtime=3593.34 cores=0,2
/proc/974532/stat : 974532 (fscip) R 974529 974532 968454 0 -1 4194304 3060754 0 0 0 359066 268 0 0 20 0 2 0 184704504 2590945280 603525 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 632555 603525 2990 3032 0 622119 0
[pid=974532/tid=974538] ppid=974529 vsize=2530220 memory=-6098642876680010687 CPUtime=0.04 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 454 0 0 0 1 3 0 0 20 0 2 0 184705415 2590945280 603525 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 3593.34 s
Current children cumulated vsize: 2530220 KiB
Current children cumulated memory: 2414100 KiB

[startup+3608.3 s]
/proc/loadavg: 3.03 3.13 3.39 3/246 976492
/proc/meminfo: memFree=116166456/131524600 swapFree=130799128/131071996
[pid=974532] ppid=974529 vsize=2403716 memory=2288004 CPUtime=3593.44 cores=0,2
/proc/974532/stat : 974532 (fscip) R 974529 974532 968454 0 -1 4194304 3070831 0 0 0 359075 269 0 0 20 0 2 0 184704504 2461405184 572001 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
/proc/974532/statm: 600929 572001 2990 3032 0 590493 0
[pid=974532/tid=974538] ppid=974529 vsize=2403716 memory=27460 CPUtime=0.04 cores=0,2
/proc/974532/task/974538/stat : 974538 (fscip) S 974529 974532 968454 0 -1 1077936192 454 0 0 0 1 3 0 0 20 0 2 0 184705415 2461405184 572001 134679101440 4194304 16613245 140737240020176 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 29671424 140737240028180 140737240028296 140737240028296 140737240035312 0
Current children cumulated CPU time: 3593.44 s
Current children cumulated vsize: 2403716 KiB
Current children cumulated memory: 2288004 KiB

Child status: 0

Real time (s): 3608.31
CPU time (s): 3593.46
CPU user time (s): 3590.75
CPU system time (s): 2.70746
CPU usage (%): 99.5884
Max. virtual memory (cumulated for all children) (KiB): 4241100
Max. memory (cumulated for all children) (KiB): 3004408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.75
system time used= 2.70746
maximum resident set size= 3004408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3071151
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= 4959
involuntary context switches= 26475


# summary of solver processes directly reported to runsolver:
#   pid: 974532
#   total CPU time (s): 3593.46
#   total CPU user time (s): 3590.75
#   total CPU system time (s): 2.70746

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09554 second user time and 16.9555 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-18 19:57:46
IDJOB=4446140
IDBENCH=155459
IDSOLVER=3064
FILE ID=nodeC014/4446140-1721325453
RUNJOBID= nodeC014-1721318012-968464
SLURM_JOB_ID= 7542671
Free space on /tmp= 889980 MiB

SOLVER NAME= FiberSCIP 2024-07-02
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-4446140-1721325453/watcher-4446140-1721325453 -o /tmp/evaluation-result-4446140-1721325453/solver-4446140-1721325453 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968464 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4446140-1721325453.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 41cda2cdd43cae95a9671374dc621893
RANDOM SEED=1155846690

nodeC014.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		: 3667.430
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.32
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		: 3683.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.96
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		: 3656.718
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.32
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.035
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.96
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		: 3665.642
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.32
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		: 3683.149
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.96
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		: 3605.603
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.32
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		: 3599.895
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125763132 kB
MemAvailable:   129029400 kB
Buffers:          453456 kB
Cached:          3616372 kB
SwapCached:        12908 kB
Active:          1390792 kB
Inactive:        3782560 kB
Active(anon):       9308 kB
Inactive(anon):  1114788 kB
Active(file):    1381484 kB
Inactive(file):  2667772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130799128 kB
Dirty:             40104 kB
Writeback:             0 kB
AnonPages:       1093056 kB
Mapped:            84168 kB
Shmem:             20528 kB
KReclaimable:     113320 kB
Slab:             211172 kB
SReclaimable:     113320 kB
SUnreclaim:        97852 kB
KernelStack:        4176 kB
PageTables:        12100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1393812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35168 kB
HardwareCorrupted:     0 kB
AnonHugePages:    378880 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:      232148 kB
DirectMap2M:    25755648 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC014 at 2024-07-18 20:57:54