Trace number 4464281

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 NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-30? 3588.89 3599.88

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
MD5SUMa7d39c8a0eed618aa14a4423c4fae159
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark126
Best CPU time to get the best result obtained on this benchmark1995.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables175232
Total number of constraints2994
Number of constraints which are clauses1368
Number of constraints which are cardinality constraints (but not clauses)1368
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1369
Number of terms in the objective function 128
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 482918
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1101202
Number of bits of the biggest sum of numbers21
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.09/1.14	c Default LC presolving (default).
1.09/1.14	c ** Before presolving: virtualMemUsedAtLc = 601446234, getVmSize() = 461365248, SCIPgetMemUsed() = 426613120, SCIPgetMemTotal() = 433469120, SCIPgetMemExternEstim() = 167977114
1.09/1.14	c ** set memory limit for presolving in LC to 8.79591e+12 for SCIP **
220.53/221.21	c ** Estimated virtualMemUsedAtSolver = 1035895165, getVmSize() = 1502973952, SCIPgetMemUsed() = 1024737178, SCIPgetMemTotal() = 1385865634, SCIPgetMemExternEstim() = 167977114
220.53/221.21	c ** set memory limit for solvers to 4.39802e+12 for each SCIP **
220.53/221.21	c Original Problem   :
220.53/221.21	c   Problem name     : instance-4464281-1722385797
220.53/221.21	c   Variables        : 175232 (175232 binary, 0 integer, 0 implicit integer, 0 continuous)
220.53/221.21	c   Constraints      : 2994
220.53/221.21	c   Objective sense  : minimize
220.53/221.21	c Presolved Problem  :
220.53/221.21	c   Variables        : 174615 (174615 binary, 0 integer, 0 implicit integer, 0 continuous)
220.53/221.21	c   Constraints      : 1626
220.53/221.21	c Constraints        : Number
220.53/221.21	c   knapsack         : 258 
220.53/221.21	c   setppc           : 1368 
220.53/221.21	c ** Instance transfer method used: 0
220.73/221.49	c ** ParaScipInstance copy does not increase the number of variables. **
221.22/221.96	c LC is working with racing ramp-up and with rebuilding tree after racing.
221.22/221.96	c                                Nodes    Active                                            
221.22/221.96	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
700.22/702.39	c       702              2           1         1                -         126.0000          -
705.51/707.65	c       708              4           3         1                -         126.0000          -
713.00/715.13	c       715              6           5         1                -         126.0000          -
732.53/734.78	c       735             12          11         1                -         126.0000          -
740.01/742.26	c       742             14          13         1                -         126.0000          -
745.70/747.91	c       748             18          17         1                -         126.0000          -
755.78/758.04	c       758             22          21         1                -         126.0000          -
761.85/764.13	c       764             25          24         1                -         126.0000          -
769.42/771.78	c       772             28          27         1                -         126.0000          -
780.59/782.97	c       783             32          31         1                -         126.0000          -
786.07/788.42	c       788             38          37         1                -         126.0000          -
800.92/803.34	c       803             42          41         1                -         126.0000          -
807.41/809.86	c       810             45          44         1                -         126.0000          -
813.80/816.24	c       816             47          46         1                -         126.0000          -
820.37/822.80	c       823             49          48         1                -         126.0000          -
830.24/832.77	c       833             52          51         1                -         126.0000          -
835.93/838.43	c       838             56          55         1                -         126.0000          -
845.21/847.73	c       848             61          62         1                -         126.0000          -
900.44/903.11	c       903             62          61         1                -         126.0000          -
906.71/909.48	c       909             69          68         1                -         126.0000          -
913.09/915.82	c       916             71          70         1                -         126.0000          -
918.29/921.03	c       921             73          72         1                -         126.0000          -
935.24/938.10	c       938             77          76         1                -         126.0000          -
948.20/951.08	c       951             81          82         1                -         126.0000          -
961.44/964.32	c       964             82          81         1                -         126.0000          -
968.33/971.24	c       971             85          84         1                -         126.0000          -
974.41/977.36	c       977             89          88         1                -         126.0000          -
981.79/984.70	c       985             92          91         1                -         126.0000          -
987.87/990.82	c       991             97          96         1                -         126.0000          -
992.86/995.88	c       996            102         101         1                -         126.0000          -
998.06/1001.10	c      1001            108         107         1                -         126.0000          -
1003.92/1007.01	c      1007            114         113         1                -         126.0000          -
1032.82/1035.97	c      1036            116         115         1                -         126.0000          -
1052.76/1055.91	c      1056            118         117         1                -         126.0000          -
1058.64/1061.86	c      1062            123         122         1                -         126.0000          -
1067.33/1070.56	c      1071            128         127         1                -         126.0000          -
1072.61/1075.88	c      1076            134         133         1                -         126.0000          -
1078.59/1081.87	c      1082            141         140         1                -         126.0000          -
1084.07/1087.36	c      1087            145         144         1                -         126.0000          -
1089.56/1092.87	c      1093            149         148         1                -         126.0000          -
1095.24/1098.59	c      1099            154         153         1                -         126.0000          -
1124.94/1128.34	c      1128            157         156         1                -         126.0000          -
1140.88/1144.39	c      1144            161         160         1                -         126.0000          -
1146.08/1149.59	c      1150            164         163         1                -         126.0000          -
1153.56/1157.02	c      1157            168         167         1                -         126.0000          -
1159.24/1162.75	c      1163            171         170         1                -         126.0000          -
1166.12/1169.67	c      1170            177         176         1                -         126.0000          -
1172.69/1176.28	c      1176            180         179         1                -         126.0000          -
1178.49/1182.10	c      1182            182         181         1                -         126.0000          -
1183.57/1187.17	c      1187            184         183         1                -         126.0000          -
1189.74/1193.33	c      1193            189         188         1                -         126.0000          -
1196.12/1199.73	c      1200            193         192         1                -         126.0000          -
1232.32/1236.03	c      1236            198         197         1                -         126.0000          -
1240.78/1244.51	c      1245            199         198         1                -         126.0000          -
1246.87/1250.66	c      1251            201         200         1                -         126.0000          -
1254.35/1258.18	c      1258            208         207         1                -         126.0000          -
1262.61/1266.44	c      1266            211         210         1                -         126.0000          -
1269.80/1273.65	c      1274            219         218         1                -         126.0000          -
1275.48/1279.38	c      1279            222         221         1                -         126.0000          -
1282.06/1285.96	c      1286            229         228         1                -         126.0000          -
1287.84/1291.72	c      1292            233         232         1                -         126.0000          -
1293.24/1297.15	c      1297            239         238         1                -         126.0000          -
1356.93/1361.05	c      1361            240         239         1                -         126.0000          -
1377.66/1381.86	c      1382            243         242         1                -         126.0000          -
1384.34/1388.56	c      1389            251         250         1                -         126.0000          -
1391.83/1396.01	c      1396            253         252         1                -         126.0000          -
1398.00/1402.26	c      1402            257         256         1                -         126.0000          -
1403.90/1408.19	c      1408            260         259         1                -         126.0000          -
1409.96/1414.28	c      1414            263         262         1                -         126.0000          -
1415.76/1420.07	c      1420            266         265         1                -         126.0000          -
1422.53/1426.83	c      1427            272         271         1                -         126.0000          -
1428.01/1432.32	c      1432            276         275         1                -         126.0000          -
1440.56/1444.93	c      1445            282         281         1                -         126.0000          -
1445.55/1449.97	c      1450            289         288         1                -         126.0000          -
1454.82/1459.25	c      1459            291         290         1                -         126.0000          -
1460.30/1464.71	c      1465            300         299         1                -         126.0000          -
1465.98/1470.46	c      1470            304         303         1                -         126.0000          -
1472.57/1477.09	c      1477            312         311         1                -         126.0000          -
1479.24/1483.73	c      1484            315         314         1                -         126.0000          -
1484.22/1488.76	c      1489            320         319         1                -         126.0000          -
1490.51/1495.06	c      1495            327         326         1                -         126.0000          -
1496.68/1501.27	c      1501            334         333         1                -         126.0000          -
1551.67/1556.49	c      1556            337         336         1                -         126.0000          -
1557.86/1562.68	c      1563            341         340         1                -         126.0000          -
1563.64/1568.42	c      1568            347         346         1                -         126.0000          -
1569.02/1573.85	c      1574            353         352         1                -         126.0000          -
1575.01/1579.85	c      1580            361         360         1                -         126.0000          -
1580.09/1584.92	c      1585            372         371         1                -         126.0000          -
1586.48/1591.39	c      1591            386         385         1                -         126.0000          -
1592.46/1597.38	c      1597            398         397         1                -         126.0000          -
1632.33/1637.33	c      1637            406         405         1                -         126.0000          -
1640.02/1645.11	c      1645            412         411         1                -         126.0000          -
1646.00/1651.02	c      1651            418         417         1                -         126.0000          -
1652.08/1657.18	c      1657            430         429         1                -         126.0000          -
1657.36/1662.47	c      1662            437         436         1                -         126.0000          -
1663.84/1668.97	c      1669            450         449         1                -         126.0000          -
1670.32/1675.40	c      1675            461         460         1                -         126.0000          -
1675.61/1680.78	c      1681            474         473         1                -         126.0000          -
1720.26/1725.58	c      1726            475         474         1                -         126.0000          -
1725.55/1730.88	c      1731            477         476         1                -         126.0000          -
1731.43/1736.75	c      1737            482         481         1                -         126.0000          -
1737.31/1742.69	c      1743            487         486         1                -         126.0000          -
1742.89/1748.20	c      1748            494         493         1                -         126.0000          -
1748.28/1753.63	c      1754            501         500         1                -         126.0000          -
1753.78/1759.12	c      1759            511         510         1                -         126.0000          -
1759.66/1765.10	c      1765            515         514         1                -         126.0000          -
1765.82/1771.24	c      1771            531         530         1                -         126.0000          -
1779.59/1785.09	c      1785            544         543         1                -         126.0000          -
1786.95/1792.47	c      1792            549         548         1                -         126.0000          -
1792.44/1797.93	c      1798            554         553         1                -         126.0000          -
1798.23/1803.78	c      1804            563         562         1                -         126.0000          -
1804.20/1809.79	c      1810            571         570         1                -         126.0000          -
1810.60/1816.15	c      1816            577         576         1                -         126.0000          -
1816.07/1821.61	c      1822            588         587         1                -         126.0000          -
1821.65/1827.24	c      1827            598         597         1                -         126.0000          -
1828.33/1833.96	c      1834            612         611         1                -         126.0000          -
1865.49/1871.29	c      1871            613         612         1                -         126.0000          -
1871.47/1877.29	c      1877            616         615         1                -         126.0000          -
1877.05/1882.87	c      1883            622         621         1                -         126.0000          -
1883.13/1888.98	c      1889            630         629         1                -         126.0000          -
1889.22/1895.02	c      1895            639         638         1                -         126.0000          -
1894.39/1900.21	c      1900            653         652         1                -         126.0000          -
1900.57/1906.44	c      1906            666         665         1                -         126.0000          -
1905.64/1911.54	c      1912            675         674         1                -         126.0000          -
1961.85/1967.97	c      1968            682         681         1                -         126.0000          -
1968.12/1974.26	c      1974            684         683         1                -         126.0000          -
1973.31/1979.49	c      1980            688         687         1                -         126.0000          -
1978.90/1985.08	c      1985            692         691         1                -         126.0000          -
1985.07/1991.29	c      1991            698         697         1                -         126.0000          -
1992.74/1998.90	c      1999            703         702         1                -         126.0000          -
1997.84/2004.06	c      2004            716         715         1                -         126.0000          -
2003.92/2010.17	c      2010            732         731         1                -         126.0000          -
2008.99/2015.24	c      2015            743         742         1                -         126.0000          -
2047.66/2054.08	c      2054            752         751         1                -         126.0000          -
2053.92/2060.30	c      2060            758         757         1                -         126.0000          -
2059.51/2065.90	c      2066            761         760         1                -         126.0000          -
2065.29/2071.71	c      2072            767         766         1                -         126.0000          -
2070.59/2077.10	c      2077            771         770         1                -         126.0000          -
2076.56/2083.02	c      2083            776         775         1                -         126.0000          -
2083.13/2089.64	c      2090            781         780         1                -         126.0000          -
2088.91/2095.45	c      2095            788         787         1                -         126.0000          -
2094.89/2101.42	c      2101            793         792         1                -         126.0000          -
2100.59/2107.17	c      2107            801         800         1                -         126.0000          -
2106.46/2113.10	c      2113            809         808         1                -         126.0000          -
2120.89/2127.58	c      2128            822         821         1                -         126.0000          -
2129.85/2136.58	c      2137            826         825         1                -         126.0000          -
2135.35/2142.08	c      2142            831         830         1                -         126.0000          -
2140.82/2147.57	c      2148            835         834         1                -         126.0000          -
2146.21/2152.93	c      2153            840         839         1                -         126.0000          -
2151.78/2158.51	c      2159            853         852         1                -         126.0000          -
2156.87/2163.63	c      2164            872         871         1                -         126.0000          -
2163.44/2170.20	c      2170            888         887         1                -         126.0000          -
2202.40/2209.36	c      2209            892         891         1                -         126.0000          -
2207.58/2214.58	c      2215            898         897         1                -         126.0000          -
2214.36/2221.32	c      2221            906         905         1                -         126.0000          -
2219.54/2226.58	c      2227            912         911         1                -         126.0000          -
2226.22/2233.28	c      2233            919         918         1                -         126.0000          -
2232.20/2239.28	c      2239            927         926         1                -         126.0000          -
2238.00/2245.05	c      2245            931         930         1                -         126.0000          -
2243.56/2250.63	c      2251            940         939         1                -         126.0000          -
2248.84/2255.95	c      2256            944         943         1                -         126.0000          -
2255.12/2262.29	c      2262            953         952         1                -         126.0000          -
2274.75/2281.95	c      2282            962         961         1                -         126.0000          -
2282.32/2289.56	c      2290            971         970         1                -         126.0000          -
2287.50/2294.76	c      2295            982         981         1                -         126.0000          -
2292.99/2300.25	c      2300            998         997         1                -         126.0000          -
2298.36/2305.60	c      2306           1004        1003         1                -         126.0000          -
2303.35/2310.64	c      2311           1022        1021         1                -         126.0000          -
2333.95/2341.39	c      2341           1036        1035         1                -         126.0000          -
2349.73/2357.18	c      2357           1042        1041         1                -         126.0000          -
2357.20/2364.62	c      2365           1045        1044         1                -         126.0000          -
2365.28/2372.77	c      2373           1048        1047         1                -         126.0000          -
2373.15/2380.61	c      2381           1050           0         1                -         126.0000          -
2857.57/2866.47	c      2866           1051           1         1                -         126.0000          -
2862.76/2871.62	c      2872           1052           2         1                -         126.0000          -
2869.84/2878.80	c      2879           1054           4         1                -         126.0000          -
2876.14/2885.09	c      2885           1055           5         1                -         126.0000          -
2881.91/2890.85	c      2891           1056           6         1                -         126.0000          -
2890.20/2899.19	c      2899           1060          10         1                -         126.0000          -
2900.17/2909.14	c      2909           1061          11         1                -         126.0000          -
2909.15/2918.13	c      2918           1063          13         1                -         126.0000          -
2917.32/2926.36	c      2926           1067          17         1                -         126.0000          -
2922.50/2931.54	c      2932           1069          19         1                -         126.0000          -
2938.55/2947.62	c      2948           1071          21         1                -         126.0000          -
2956.20/2965.36	c      2965           1073          23         1                -         126.0000          -
2961.39/2970.52	c      2971           1076          26         1                -         126.0000          -
2967.67/2976.85	c      2977           1078          28         1                -         126.0000          -
2973.46/2982.61	c      2983           1079          29         1                -         126.0000          -
2985.63/2994.85	c      2995           1083          33         1                -         126.0000          -
2995.00/3004.26	c      3004           1085          35         1                -         126.0000          -
3003.08/3012.32	c      3012           1088          38         1                -         126.0000          -
3009.47/3018.76	c      3019           1090          40         1                -         126.0000          -
3016.54/3025.86	c      3026           1093          43         1                -         126.0000          -
3024.93/3034.22	c      3034           1097          47         1                -         126.0000          -
3030.51/3039.84	c      3040           1099          49         1                -         126.0000          -
3046.25/3055.65	c      3056           1103          53         1                -         126.0000          -
3052.24/3061.69	c      3062           1105          55         1                -         126.0000          -
3059.91/3069.37	c      3069           1106          56         1                -         126.0000          -
3066.19/3075.61	c      3076           1110          60         1                -         126.0000          -
3072.28/3081.79	c      3082           1116          66         1                -         126.0000          -
3105.18/3114.77	c      3115           1121          71         1                -         126.0000          -
3113.86/3123.43	c      3123           1124          74         1                -         126.0000          -
3119.14/3128.74	c      3129           1127          77         1                -         126.0000          -
3124.33/3133.91	c      3134           1130          80         1                -         126.0000          -
3143.27/3152.98	c      3153           1134          84         1                -         126.0000          -
3149.25/3158.98	c      3159           1137          87         1                -         126.0000          -
3156.53/3166.30	c      3166           1139          89         1                -         126.0000          -
3161.81/3171.56	c      3172           1143          93         1                -         126.0000          -
3169.79/3179.50	c      3180           1145          95         1                -         126.0000          -
3175.18/3184.97	c      3185           1151         101         1                -         126.0000          -
3181.86/3191.64	c      3192           1156         106         1                -         126.0000          -
3187.55/3197.39	c      3197           1160         110         1                -         126.0000          -
3193.92/3203.73	c      3204           1170         120         1                -         126.0000          -
3224.71/3234.60	c      3235           1175         125         1                -         126.0000          -
3237.98/3247.97	c      3248           1176         126         1                -         126.0000          -
3245.36/3255.33	c      3255           1180         130         1                -         126.0000          -
3253.72/3263.79	c      3264           1186         136         1                -         126.0000          -
3259.41/3269.41	c      3269           1190         140         1                -         126.0000          -
3264.49/3274.57	c      3275           1194         144         1                -         126.0000          -
3269.57/3279.62	c      3280           1196         146         1                -         126.0000          -
3274.97/3285.09	c      3285           1199         149         1                -         126.0000          -
3282.84/3292.91	c      3293           1203         153         1                -         126.0000          -
3288.61/3298.71	c      3299           1206         156         1                -         126.0000          -
3296.49/3306.65	c      3307           1209         159         1                -         126.0000          -
3301.68/3311.82	c      3312           1214         164         1                -         126.0000          -
3316.94/3327.13	c      3327           1217         167         1                -         126.0000          -
3322.61/3332.82	c      3333           1228         178         1                -         126.0000          -
3328.50/3338.72	c      3339           1235         185         1                -         126.0000          -
3334.48/3344.77	c      3345           1242         192         1                -         126.0000          -
3340.25/3350.58	c      3351           1252         202         1                -         126.0000          -
3345.34/3355.64	c      3356           1257         207         1                -         126.0000          -
3350.53/3360.84	c      3361           1263         213         1                -         126.0000          -
3355.72/3366.03	c      3366           1270         220         1                -         126.0000          -
3363.58/3373.99	c      3374           1275         225         1                -         126.0000          -
3368.68/3379.04	c      3379           1282         232         1                -         126.0000          -
3375.35/3385.71	c      3386           1286         236         1                -         126.0000          -
3380.83/3391.25	c      3391           1295         245         1                -         126.0000          -
3388.41/3398.85	c      3399           1298         248         1                -         126.0000          -
3413.64/3424.19	c      3424           1305         255         1                -         126.0000          -
3418.92/3429.45	c      3429           1313         263         1                -         126.0000          -
3424.61/3435.19	c      3435           1323         273         1                -         126.0000          -
3430.18/3440.75	c      3441           1327         277         1                -         126.0000          -
3436.36/3446.96	c      3447           1339         289         1                -         126.0000          -
3441.55/3452.17	c      3452           1352         302         1                -         126.0000          -
3448.43/3459.07	c      3459           1365         315         1                -         126.0000          -
3469.37/3480.03	c      3480           1371         321         1                -         126.0000          -
3474.45/3485.15	c      3485           1377         327         1                -         126.0000          -
3487.20/3497.94	c      3498           1384         334         1                -         126.0000          -
3493.48/3504.23	c      3504           1388         338         1                -         126.0000          -
3521.31/3532.15	c      3532           1395         345         1                -         126.0000          -
3527.29/3538.17	c      3538           1405         355         1                -         126.0000          -
3536.27/3547.13	c      3547           1412         362         1                -         126.0000          -
3541.34/3552.27	c      3552           1419         369         1                -         126.0000          -
3546.52/3557.47	c      3557           1424         374         1                -         126.0000          -
3552.50/3563.44	c      3563           1432         382         1                -         126.0000          -
3558.10/3569.02	c      3569           1438         388         1                -         126.0000          -
3564.57/3575.56	c      3576           1442         392         1                -         126.0000          -
3569.65/3580.65	c      3581           1446         396         1                -         126.0000          -
3575.54/3586.51	c      3587           1455         405         1                -         126.0000          -
3582.62/3593.61	c      3594           1462         412         1                -         126.0000          -
3588.02/3599.04	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.02/3599.04	c Total Time         : 3599.0500
3588.02/3599.04	c   solving          : 3599.0500
3588.02/3599.04	c   presolving       : 220.0716 (included in solving)
3588.02/3599.04	c B&B Tree           :
3588.02/3599.04	c   nodes (total)    : 1
3588.02/3599.04	c Solution           :
3588.02/3599.04	c   Solutions found  : 0
3588.02/3599.04	c   Primal Bound     :          -
3588.02/3599.04	c   Dual Bound       : +1.26000000000000e+02
3588.02/3599.04	c Gap                :          -
3588.80/3599.83	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 (62103 MiB free)
  memory of node 1: 64473 MiB (61165 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464281-1722385797/watcher-4464281-1722385797 -o /tmp/evaluation-result-4464281-1722385797/solver-4464281-1722385797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28231 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464281-1722385797.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=32611, runsolver pid=32608

[startup+0.10096 s]*
/proc/loadavg: 4.11 4.11 4.13 5/244 32612
/proc/meminfo: memFree=126180236/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=72420 memory=60108 CPUtime=0.1 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 12937 0 0 0 7 3 0 0 20 0 1 0 4950836 74158080 15027 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 18105 15027 2347 3035 0 14501 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 72420 KiB
Current children cumulated memory: 60108 KiB

[startup+0.212968 s]*
/proc/loadavg: 4.11 4.11 4.13 5/244 32612
/proc/meminfo: memFree=126125020/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=130712 memory=118164 CPUtime=0.21 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 27405 0 0 0 14 7 0 0 20 0 1 0 4950836 133849088 29541 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 32678 29541 2347 3035 0 29074 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 130712 KiB
Current children cumulated memory: 118164 KiB

[startup+0.312969 s]*
/proc/loadavg: 4.11 4.11 4.13 5/244 32612
/proc/meminfo: memFree=126075152/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=180732 memory=167960 CPUtime=0.31 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 39864 0 0 0 20 11 0 0 20 0 1 0 4950836 185069568 41990 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 45183 41990 2347 3035 0 41579 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 180732 KiB
Current children cumulated memory: 167960 KiB

[startup+0.700366 s]
/proc/loadavg: 4.11 4.11 4.13 5/244 32612
/proc/meminfo: memFree=126016484/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=241444 memory=228764 CPUtime=0.68 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 55638 0 0 0 54 14 0 0 20 0 1 0 4950836 247238656 57191 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 60361 57191 2555 3035 0 56757 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 241444 KiB
Current children cumulated memory: 228764 KiB

[startup+1.50035 s]
/proc/loadavg: 4.11 4.11 4.13 5/246 32614
/proc/meminfo: memFree=125703776/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=480124 memory=463220 CPUtime=1.48 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 114183 0 0 0 119 29 0 0 20 0 1 0 4950836 491646976 115805 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 120031 115805 2630 3035 0 116427 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 480124 KiB
Current children cumulated memory: 463220 KiB

[startup+3.11301 s]
/proc/loadavg: 4.10 4.11 4.13 5/246 32614
/proc/meminfo: memFree=125490308/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=595712 memory=577516 CPUtime=3.08 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 137116 0 0 0 272 36 0 0 20 0 1 0 4950836 610009088 144379 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 148928 144379 2726 3035 0 145324 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 595712 KiB
Current children cumulated memory: 577516 KiB

[startup+6.30028 s]
/proc/loadavg: 4.10 4.11 4.13 5/248 32616
/proc/meminfo: memFree=124979892/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=1028328 memory=972632 CPUtime=6.26 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 193506 0 0 0 578 48 0 0 20 0 1 0 4950836 1053007872 243158 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 257082 243158 2774 3035 0 253478 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1028328 KiB
Current children cumulated memory: 972632 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.10 4.12 5/248 32617
/proc/meminfo: memFree=124958032/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=1029352 memory=973740 CPUtime=12.64 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 193805 0 0 0 1215 49 0 0 20 0 1 0 4950836 1054056448 243435 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 257338 243435 2774 3035 0 253734 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1029352 KiB
Current children cumulated memory: 973740 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.10 4.12 5/248 32619
/proc/meminfo: memFree=124830768/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=1029352 memory=973740 CPUtime=25.39 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 193871 0 0 0 2490 49 0 0 20 0 1 0 4950836 1054056448 243435 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 257338 243435 2774 3035 0 253734 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1029352 KiB
Current children cumulated memory: 973740 KiB

[startup+51.1125 s]
/proc/loadavg: 4.10 4.10 4.12 5/250 32681
/proc/meminfo: memFree=124433332/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=1488480 memory=1351592 CPUtime=50.94 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 276873 0 0 0 5033 61 0 0 20 0 1 0 4950836 1524203520 337898 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 372120 337898 2790 3035 0 368516 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1488480 KiB
Current children cumulated memory: 1351592 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.11 5/250 32690
/proc/meminfo: memFree=124427036/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=1488488 memory=1353408 CPUtime=101.98 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 277340 0 0 0 10136 62 0 0 20 0 1 0 4950836 1524211712 338352 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 372122 338352 2790 3035 0 368518 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1488488 KiB
Current children cumulated memory: 1353408 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/250 32701
/proc/meminfo: memFree=124408984/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=1488492 memory=1353408 CPUtime=161.8 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 277354 0 0 0 16117 63 0 0 20 0 1 0 4950836 1524215808 338352 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 372123 338352 2790 3035 0 368519 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1488492 KiB
Current children cumulated memory: 1353408 KiB

[startup+222.301 s]
/proc/loadavg: 4.15 4.11 4.11 5/252 32714
/proc/meminfo: memFree=124223356/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=1877356 memory=1705940 CPUtime=221.61 cores=0,2
/proc/32611/stat : 32611 (fscip) S 32608 32611 28221 0 -1 1077936128 397206 0 0 0 22069 92 0 0 20 0 3 0 4950836 1922412544 426485 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 469339 426485 2806 3035 0 460660 0
[pid=32611/tid=32713] ppid=32608 vsize=1877356 memory=1514744 CPUtime=0.78 cores=0,2
/proc/32611/task/32713/stat : 32713 (fscip) R 32608 32611 28221 0 -1 4194368 92037 0 0 0 55 23 0 0 20 0 3 0 4972957 1922412544 426485 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
[pid=32611/tid=32714] ppid=32608 vsize=1877356 memory=1335688 CPUtime=0 cores=0,2
/proc/32611/task/32714/stat : 32714 (fscip) S 32608 32611 28221 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4973034 1922412544 426485 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 1877356 KiB
Current children cumulated memory: 1705940 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/252 32724
/proc/meminfo: memFree=123077260/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=2896800 memory=2629848 CPUtime=281.42 cores=0,2
/proc/32611/stat : 32611 (fscip) S 32608 32611 28221 0 -1 1077936128 820316 0 0 0 28004 138 0 0 20 0 3 0 4950836 2966323200 657462 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 724200 657462 2934 3035 0 707626 0
[pid=32611/tid=32713] ppid=32608 vsize=2896800 memory=2295904 CPUtime=60.58 cores=0,2
/proc/32611/task/32713/stat : 32713 (fscip) R 32608 32611 28221 0 -1 4194368 515115 0 0 0 5989 69 0 0 20 0 3 0 4972957 2966323200 657462 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
[pid=32611/tid=32714] ppid=32608 vsize=2896800 memory=11392 CPUtime=0 cores=0,2
/proc/32611/task/32714/stat : 32714 (fscip) S 32608 32611 28221 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 4973034 2966323200 657462 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 2896800 KiB
Current children cumulated memory: 2629848 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/250 32735
/proc/meminfo: memFree=122884348/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=3093408 memory=2813164 CPUtime=341.23 cores=0,2
/proc/32611/stat : 32611 (fscip) S 32608 32611 28221 0 -1 1077936128 1074703 0 0 0 33966 157 0 0 20 0 3 0 4950836 3167649792 703291 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 773352 703291 2966 3035 0 759263 0
[pid=32611/tid=32713] ppid=32608 vsize=3093408 memory=11392 CPUtime=120.4 cores=0,2
/proc/32611/task/32713/stat : 32713 (fscip) R 32608 32611 28221 0 -1 4194368 769489 0 0 0 11952 88 0 0 20 0 3 0 4972957 3167649792 703291 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
[pid=32611/tid=32714] ppid=32608 vsize=3093408 memory=12356 CPUtime=0 cores=0,2
/proc/32611/task/32714/stat : 32714 (fscip) S 32608 32611 28221 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 4973034 3167649792 703291 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 3093408 KiB
Current children cumulated memory: 2813164 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/249 32747
/proc/meminfo: memFree=122716336/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=3224480 memory=2975908 CPUtime=401.05 cores=0,2

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

/proc/32611/task/32714/stat : 32714 (fscip) S 32608 32611 28221 0 -1 1077936192 396 0 0 0 1 4 0 0 20 0 3 0 4973034 4107173888 950478 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
Current children cumulated CPU time: 3332.09 s
Current children cumulated vsize: 4010912 KiB
Current children cumulated memory: 3801912 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.17 5/253 34331
/proc/meminfo: memFree=122321872/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=4010912 memory=3806884 CPUtime=3391.9 cores=0,2
/proc/32611/stat : 32611 (fscip) S 32608 32611 28221 0 -1 1077936128 9089961 0 0 0 338542 648 0 0 20 0 3 0 4950836 4107173888 951721 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 1002728 951721 3318 3035 0 994676 0
[pid=32611/tid=32713] ppid=32608 vsize=4010912 memory=12356 CPUtime=3170.94 cores=0,2
/proc/32611/task/32713/stat : 32713 (fscip) R 32608 32611 28221 0 -1 4194368 8783097 0 0 0 316522 572 0 0 20 0 3 0 4972957 4107173888 951721 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
[pid=32611/tid=32714] ppid=32608 vsize=4010912 memory=3806884 CPUtime=0.05 cores=0,2
/proc/32611/task/32714/stat : 32714 (fscip) S 32608 32611 28221 0 -1 1077936192 399 0 0 0 1 4 0 0 20 0 3 0 4973034 4107173888 951721 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
Current children cumulated CPU time: 3391.9 s
Current children cumulated vsize: 4010912 KiB
Current children cumulated memory: 3806884 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.16 5/252 34342
/proc/meminfo: memFree=122319256/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=4010912 memory=3808580 CPUtime=3451.71 cores=0,2
/proc/32611/stat : 32611 (fscip) S 32608 32611 28221 0 -1 1077936128 9180622 0 0 0 344517 654 0 0 20 0 3 0 4950836 4107173888 952145 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 1002728 952145 3318 3035 0 994676 0
[pid=32611/tid=32713] ppid=32608 vsize=4010912 memory=3807500 CPUtime=3230.74 cores=0,2
/proc/32611/task/32713/stat : 32713 (fscip) R 32608 32611 28221 0 -1 4194368 8873739 0 0 0 322496 578 0 0 20 0 3 0 4972957 4107173888 952145 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
[pid=32611/tid=32714] ppid=32608 vsize=4010912 memory=11392 CPUtime=0.05 cores=0,2
/proc/32611/task/32714/stat : 32714 (fscip) S 32608 32611 28221 0 -1 1077936192 402 0 0 0 1 4 0 0 20 0 3 0 4973034 4107173888 952145 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
Current children cumulated CPU time: 3451.71 s
Current children cumulated vsize: 4010912 KiB
Current children cumulated memory: 3808580 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.16 5/253 34353
/proc/meminfo: memFree=122310836/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=4010912 memory=3810532 CPUtime=3511.53 cores=0,2
/proc/32611/stat : 32611 (fscip) S 32608 32611 28221 0 -1 1077936128 9247851 0 0 0 350496 657 0 0 20 0 3 0 4950836 4107173888 952633 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 1002728 952633 3318 3035 0 994676 0
[pid=32611/tid=32713] ppid=32608 vsize=4010912 memory=3810220 CPUtime=3290.57 cores=0,2
/proc/32611/task/32713/stat : 32713 (fscip) R 32608 32611 28221 0 -1 4194368 8940944 0 0 0 328476 581 0 0 20 0 3 0 4972957 4107173888 952633 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
[pid=32611/tid=32714] ppid=32608 vsize=4010912 memory=5548 CPUtime=0.05 cores=0,2
/proc/32611/task/32714/stat : 32714 (fscip) S 32608 32611 28221 0 -1 1077936192 409 0 0 0 1 4 0 0 20 0 3 0 4973034 4107173888 952633 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
Current children cumulated CPU time: 3511.53 s
Current children cumulated vsize: 4010912 KiB
Current children cumulated memory: 3810532 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.15 5/253 34533
/proc/meminfo: memFree=122307816/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=4010912 memory=3810576 CPUtime=3571.35 cores=0,2
/proc/32611/stat : 32611 (fscip) S 32608 32611 28221 0 -1 1077936128 9326334 0 0 0 356472 663 0 0 20 0 3 0 4950836 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 1002728 952644 3318 3035 0 994676 0
[pid=32611/tid=32713] ppid=32608 vsize=4010912 memory=3810576 CPUtime=3350.38 cores=0,2
/proc/32611/task/32713/stat : 32713 (fscip) R 32608 32611 28221 0 -1 4194368 9019397 0 0 0 334452 586 0 0 20 0 3 0 4972957 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
[pid=32611/tid=32714] ppid=32608 vsize=4010912 memory=12880 CPUtime=0.05 cores=0,2
/proc/32611/task/32714/stat : 32714 (fscip) S 32608 32611 28221 0 -1 1077936192 416 0 0 0 1 4 0 0 20 0 3 0 4973034 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
Current children cumulated CPU time: 3571.35 s
Current children cumulated vsize: 4010912 KiB
Current children cumulated memory: 3810576 KiB

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

# cumulated CPU time of all completed processes:  user=3582.05 s, system=6.83797 s

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

[startup+3584 s]*
/proc/loadavg: 4.04 4.09 4.15 5/253 34533
/proc/meminfo: memFree=122307816/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=4010912 memory=3810576 CPUtime=3573.06 cores=0,2
/proc/32611/stat : 32611 (fscip) S 32608 32611 28221 0 -1 1077936128 9327020 0 0 0 356643 663 0 0 20 0 3 0 4950836 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 1002728 952644 3318 3035 0 994676 0
[pid=32611/tid=32713] ppid=32608 vsize=4010912 memory=7686721470247706567 CPUtime=3352.09 cores=0,2
/proc/32611/task/32713/stat : 32713 (fscip) R 32608 32611 28221 0 -1 4194368 9020083 0 0 0 334623 586 0 0 20 0 3 0 4972957 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
[pid=32611/tid=32714] ppid=32608 vsize=4010912 memory=7511280255749425774 CPUtime=0.05 cores=0,2
/proc/32611/task/32714/stat : 32714 (fscip) S 32608 32611 28221 0 -1 1077936192 416 0 0 0 1 4 0 0 20 0 3 0 4973034 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 4010912 KiB
Current children cumulated memory: 3810576 KiB

[startup+3590.4 s]
/proc/loadavg: 4.04 4.09 4.15 5/253 34534
/proc/meminfo: memFree=122307672/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=4010912 memory=3810576 CPUtime=3579.43 cores=0,2
/proc/32611/stat : 32611 (fscip) S 32608 32611 28221 0 -1 1077936128 9329599 0 0 0 357280 663 0 0 20 0 3 0 4950836 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 1002728 952644 3318 3035 0 994676 0
[pid=32611/tid=32713] ppid=32608 vsize=4010912 memory=3810576 CPUtime=3358.46 cores=0,2
/proc/32611/task/32713/stat : 32713 (fscip) R 32608 32611 28221 0 -1 4194368 9022655 0 0 0 335259 587 0 0 20 0 3 0 4972957 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
[pid=32611/tid=32714] ppid=32608 vsize=4010912 memory=11392 CPUtime=0.05 cores=0,2
/proc/32611/task/32714/stat : 32714 (fscip) S 32608 32611 28221 0 -1 1077936192 416 0 0 0 1 4 0 0 20 0 3 0 4973034 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
Current children cumulated CPU time: 3579.43 s
Current children cumulated vsize: 4010912 KiB
Current children cumulated memory: 3810576 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.15 4/244 34565
/proc/meminfo: memFree=122650204/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=4010912 memory=3810576 CPUtime=3585.81 cores=0,2
/proc/32611/stat : 32611 (fscip) S 32608 32611 28221 0 -1 1077936128 9335802 0 0 0 357918 663 0 0 20 0 3 0 4950836 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 1002728 952644 3318 3035 0 994676 0
[pid=32611/tid=32713] ppid=32608 vsize=4010912 memory=3810576 CPUtime=3364.84 cores=0,2
/proc/32611/task/32713/stat : 32713 (fscip) R 32608 32611 28221 0 -1 4194368 9028857 0 0 0 335897 587 0 0 20 0 3 0 4972957 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
[pid=32611/tid=32714] ppid=32608 vsize=4010912 memory=3810576 CPUtime=0.05 cores=0,2
/proc/32611/task/32714/stat : 32714 (fscip) S 32608 32611 28221 0 -1 1077936192 416 0 0 0 1 4 0 0 20 0 3 0 4973034 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 4010912 KiB
Current children cumulated memory: 3810576 KiB

[startup+3598.4 s]
/proc/loadavg: 3.95 4.07 4.14 3/235 34596
/proc/meminfo: memFree=123211764/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=4010912 memory=3810576 CPUtime=3587.41 cores=0,2
/proc/32611/stat : 32611 (fscip) S 32608 32611 28221 0 -1 1077936128 9359938 0 0 0 358076 665 0 0 20 0 3 0 4950836 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 1002728 952644 3318 3035 0 994676 0
[pid=32611/tid=32713] ppid=32608 vsize=4010912 memory=11392 CPUtime=3366.44 cores=0,2
/proc/32611/task/32713/stat : 32713 (fscip) R 32608 32611 28221 0 -1 4194368 9052991 0 0 0 336055 589 0 0 20 0 3 0 4972957 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
[pid=32611/tid=32714] ppid=32608 vsize=4010912 memory=38684 CPUtime=0.05 cores=0,2
/proc/32611/task/32714/stat : 32714 (fscip) S 32608 32611 28221 0 -1 1077936192 416 0 0 0 1 4 0 0 20 0 3 0 4973034 4107173888 952644 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
Current children cumulated CPU time: 3587.41 s
Current children cumulated vsize: 4010912 KiB
Current children cumulated memory: 3810576 KiB

[startup+3599.2 s]
/proc/loadavg: 3.95 4.07 4.14 3/235 34596
/proc/meminfo: memFree=123211756/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=3253612 memory=3031560 CPUtime=3588.2 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 9472378 0 0 0 358147 673 0 0 20 0 2 0 4950836 3331698688 757890 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 813403 757890 3318 3035 0 806081 0
[pid=32611/tid=32714] ppid=32608 vsize=3253612 memory=12880 CPUtime=0.05 cores=0,2
/proc/32611/task/32714/stat : 32714 (fscip) S 32608 32611 28221 0 -1 1077936192 416 0 0 0 1 4 0 0 20 0 2 0 4973034 3331698688 757890 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
Current children cumulated CPU time: 3588.2 s
Current children cumulated vsize: 3253612 KiB
Current children cumulated memory: 3031560 KiB

[startup+3599.6 s]
/proc/loadavg: 3.95 4.07 4.14 3/235 34596
/proc/meminfo: memFree=123211756/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=3253612 memory=3031560 CPUtime=3588.6 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 9472780 0 0 0 358187 673 0 0 20 0 1 0 4950836 3331698688 757890 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 813403 757890 3318 3035 0 806081 0
Current children cumulated CPU time: 3588.6 s
Current children cumulated vsize: 3253612 KiB
Current children cumulated memory: 3031560 KiB

[startup+3599.8 s]
/proc/loadavg: 3.95 4.07 4.14 3/235 34596
/proc/meminfo: memFree=123211756/131655788 swapFree=131071996/131071996
[pid=32611] ppid=32608 vsize=3118448 memory=2896700 CPUtime=3588.8 cores=0,2
/proc/32611/stat : 32611 (fscip) R 32608 32611 28221 0 -1 4194304 9491984 0 0 0 358203 677 0 0 20 0 1 0 4950836 3193290752 724175 134679101440 4194304 16623229 140725878394304 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26910720 140725878395926 140725878396042 140725878396042 140725878403056 0
/proc/32611/statm: 779612 724175 3318 3035 0 772290 0
Current children cumulated CPU time: 3588.8 s
Current children cumulated vsize: 3118448 KiB
Current children cumulated memory: 2896700 KiB

Child status: 0

Real time (s): 3599.88
CPU time (s): 3588.89
CPU user time (s): 3582.05
CPU system time (s): 6.83797
CPU usage (%): 99.6947
Max. virtual memory (cumulated for all children) (KiB): 4141984
Max. memory (cumulated for all children) (KiB): 3887108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.05
system time used= 6.83797
maximum resident set size= 3887304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9496120
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= 5040
involuntary context switches= 25106


# summary of solver processes directly reported to runsolver:
#   pid: 32611
#   total CPU time (s): 3588.89
#   total CPU user time (s): 3582.05
#   total CPU system time (s): 6.83797

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7968 second user time and 34.4193 second system time

The end

Launcher Data

Begin job on nodeC004 at 2024-07-31 02:29:57
IDJOB=4464281
IDBENCH=158606
IDSOLVER=3092
FILE ID=nodeC004/4464281-1722385797
RUNJOBID= nodeC004-1722378594-28231
SLURM_JOB_ID= 8249834
Free space on /tmp= 723676 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.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-4464281-1722385797/watcher-4464281-1722385797 -o /tmp/evaluation-result-4464281-1722385797/solver-4464281-1722385797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28231 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464281-1722385797.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=292526229

nodeC004.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		: 1257.340
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.85
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		: 3647.194
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.39
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.249
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.85
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.275
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.39
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.839
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.85
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		: 3617.567
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.39
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.256
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.85
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.377
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126228380 kB
MemAvailable:   127246992 kB
Buffers:           99480 kB
Cached:          1753484 kB
SwapCached:            0 kB
Active:           275264 kB
Inactive:        4713588 kB
Active(anon):       1432 kB
Inactive(anon):  3155808 kB
Active(file):     273832 kB
Inactive(file):  1557780 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             94392 kB
Writeback:             4 kB
AnonPages:       3133916 kB
Mapped:           122912 kB
Shmem:             21320 kB
KReclaimable:      54400 kB
Slab:             130724 kB
SReclaimable:      54400 kB
SUnreclaim:        76324 kB
KernelStack:        3920 kB
PageTables:        15920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2067564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6944 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2383872 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:      172872 kB
DirectMap2M:     9168896 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723712 MiB
End job on nodeC004 at 2024-07-31 03:29:57