Trace number 4434949

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-02? 3594.5 3603.74

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: 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)
1.10/1.11	c Default LC presolving (default).
1.10/1.11	c ** Before presolving: virtualMemUsedAtLc = 601446234, getVmSize() = 461348864, SCIPgetMemUsed() = 426613040, SCIPgetMemTotal() = 433469120, SCIPgetMemExternEstim() = 167977114
1.10/1.11	c ** set memory limit for presolving in LC to 8.79591e+12 for SCIP **
221.29/221.81	c ** Estimated virtualMemUsedAtSolver = 1035895165, getVmSize() = 1502961664, SCIPgetMemUsed() = 1024737098, SCIPgetMemTotal() = 1385865634, SCIPgetMemExternEstim() = 167977114
221.29/221.81	c ** set memory limit for solvers to 4.39802e+12 for each SCIP **
221.29/221.81	c Original Problem   :
221.29/221.81	c   Problem name     : instance-4434949-1721169026
221.29/221.81	c   Variables        : 175232 (175232 binary, 0 integer, 0 implicit integer, 0 continuous)
221.29/221.81	c   Constraints      : 2994
221.29/221.81	c   Objective sense  : minimize
221.29/221.81	c Presolved Problem  :
221.29/221.81	c   Variables        : 174615 (174615 binary, 0 integer, 0 implicit integer, 0 continuous)
221.29/221.81	c   Constraints      : 1626
221.29/221.81	c Constraints        : Number
221.29/221.81	c   knapsack         : 258 
221.29/221.81	c   setppc           : 1368 
221.29/221.81	c ** Instance transfer method used: 0
221.51/222.10	c ** ParaScipInstance copy does not increase the number of variables. **
221.99/222.59	c LC is working with racing ramp-up and with rebuilding tree after racing.
221.99/222.59	c                                Nodes    Active                                            
221.99/222.59	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
700.14/701.94	c       702              2           1         1                -         126.0000          -
705.43/707.21	c       707              4           3         1                -         126.0000          -
712.92/714.76	c       715              6           5         1                -         126.0000          -
732.97/734.87	c       735             12          11         1                -         126.0000          -
740.46/742.38	c       742             14          13         1                -         126.0000          -
746.16/748.10	c       748             18          17         1                -         126.0000          -
756.53/758.48	c       758             22          21         1                -         126.0000          -
762.71/764.66	c       765             25          24         1                -         126.0000          -
770.49/772.46	c       772             28          27         1                -         126.0000          -
781.86/783.82	c       784             32          31         1                -         126.0000          -
787.45/789.40	c       789             38          37         1                -         126.0000          -
803.30/805.31	c       805             42          41         1                -         126.0000          -
809.78/811.88	c       812             45          44         1                -         126.0000          -
816.27/818.31	c       818             47          46         1                -         126.0000          -
822.86/824.99	c       825             49          48         1                -         126.0000          -
833.14/835.21	c       835             52          51         1                -         126.0000          -
838.83/840.94	c       841             56          55         1                -         126.0000          -
848.30/850.49	c       850             61          62         1                -         126.0000          -
905.16/907.45	c       907             62          61         1                -         126.0000          -
911.64/913.99	c       914             69          68         1                -         126.0000          -
918.13/920.40	c       920             71          70         1                -         126.0000          -
923.31/925.69	c       926             73          72         1                -         126.0000          -
940.88/943.27	c       943             77          76         1                -         126.0000          -
954.44/956.80	c       957             81          82         1                -         126.0000          -
967.90/970.34	c       970             82          81         1                -         126.0000          -
974.89/977.38	c       977             85          84         1                -         126.0000          -
981.17/983.63	c       984             89          88         1                -         126.0000          -
988.67/991.19	c       991             92          91         1                -         126.0000          -
994.95/997.44	c       997             97          96         1                -         126.0000          -
1000.03/1002.55	c      1003            102         101         1                -         126.0000          -
1005.33/1007.83	c      1008            108         107         1                -         126.0000          -
1010.41/1012.90	c      1013            112         111         1                -         126.0000          -
1042.73/1045.32	c      1045            116         115         1                -         126.0000          -
1063.58/1066.26	c      1066            118         117         1                -         126.0000          -
1069.57/1072.28	c      1072            123         122         1                -         126.0000          -
1078.46/1081.17	c      1081            128         127         1                -         126.0000          -
1083.84/1086.58	c      1087            134         133         1                -         126.0000          -
1090.01/1092.72	c      1093            141         140         1                -         126.0000          -
1095.60/1098.34	c      1098            145         144         1                -         126.0000          -
1101.19/1103.94	c      1104            149         148         1                -         126.0000          -
1106.28/1109.05	c      1109            152         151         1                -         126.0000          -
1138.38/1141.27	c      1141            157         156         1                -         126.0000          -
1154.45/1157.32	c      1157            161         160         1                -         126.0000          -
1159.63/1162.52	c      1163            164         163         1                -         126.0000          -
1166.92/1169.87	c      1170            168         167         1                -         126.0000          -
1172.70/1175.66	c      1176            171         170         1                -         126.0000          -
1179.69/1182.64	c      1183            177         176         1                -         126.0000          -
1186.27/1189.26	c      1189            180         179         1                -         126.0000          -
1191.86/1194.88	c      1195            182         181         1                -         126.0000          -
1196.96/1199.94	c      1200            184         183         1                -         126.0000          -
1203.15/1206.17	c      1206            189         188         1                -         126.0000          -
1209.62/1212.69	c      1213            193         192         1                -         126.0000          -
1246.71/1249.82	c      1250            198         197         1                -         126.0000          -
1255.29/1258.49	c      1258            199         198         1                -         126.0000          -
1261.57/1264.70	c      1265            201         200         1                -         126.0000          -
1268.96/1272.17	c      1272            208         207         1                -         126.0000          -
1277.32/1280.58	c      1281            211         210         1                -         126.0000          -
1284.71/1287.99	c      1288            219         218         1                -         126.0000          -
1290.50/1293.75	c      1294            222         221         1                -         126.0000          -
1297.08/1300.37	c      1300            229         228         1                -         126.0000          -
1302.96/1306.23	c      1306            233         232         1                -         126.0000          -
1308.36/1311.65	c      1312            239         238         1                -         126.0000          -
1374.78/1378.21	c      1378            240         239         1                -         126.0000          -
1396.03/1399.58	c      1400            243         242         1                -         126.0000          -
1402.81/1406.32	c      1406            251         250         1                -         126.0000          -
1410.31/1413.81	c      1414            253         252         1                -         126.0000          -
1416.50/1420.06	c      1420            257         256         1                -         126.0000          -
1422.49/1426.07	c      1426            260         259         1                -         126.0000          -
1428.66/1432.28	c      1432            263         262         1                -         126.0000          -
1434.47/1438.09	c      1438            266         265         1                -         126.0000          -
1441.23/1444.87	c      1445            272         271         1                -         126.0000          -
1446.83/1450.40	c      1450            276         275         1                -         126.0000          -
1459.58/1463.20	c      1463            282         281         1                -         126.0000          -
1464.58/1468.29	c      1468            289         288         1                -         126.0000          -
1474.05/1477.75	c      1478            291         290         1                -         126.0000          -
1479.73/1483.40	c      1483            300         299         1                -         126.0000          -
1485.52/1489.28	c      1489            304         303         1                -         126.0000          -
1492.20/1495.93	c      1496            312         311         1                -         126.0000          -
1498.89/1502.67	c      1503            315         314         1                -         126.0000          -
1503.97/1507.74	c      1508            320         319         1                -         126.0000          -
1510.38/1514.13	c      1514            327         326         1                -         126.0000          -
1516.05/1519.82	c      1520            333         332         1                -         126.0000          -
1572.99/1576.98	c      1577            337         336         1                -         126.0000          -
1579.28/1583.22	c      1583            341         340         1                -         126.0000          -
1585.08/1589.02	c      1589            347         346         1                -         126.0000          -
1590.55/1594.59	c      1595            353         352         1                -         126.0000          -
1596.64/1600.65	c      1601            361         360         1                -         126.0000          -
1603.03/1607.11	c      1607            377         376         1                -         126.0000          -
1608.21/1612.27	c      1612            386         385         1                -         126.0000          -
1613.19/1617.27	c      1617            396         395         1                -         126.0000          -
1656.16/1660.38	c      1660            406         405         1                -         126.0000          -
1664.03/1668.28	c      1668            412         411         1                -         126.0000          -
1670.01/1674.23	c      1674            418         417         1                -         126.0000          -
1676.20/1680.40	c      1680            430         429         1                -         126.0000          -
1681.48/1685.73	c      1686            437         436         1                -         126.0000          -
1686.57/1690.81	c      1691            447         446         1                -         126.0000          -
1692.46/1696.73	c      1697            460         459         1                -         126.0000          -
1697.65/1701.99	c      1702            467         466         1                -         126.0000          -
1749.59/1754.03	c      1754            475         474         1                -         126.0000          -
1754.97/1759.41	c      1759            477         476         1                -         126.0000          -
1760.85/1765.30	c      1765            482         481         1                -         126.0000          -
1766.73/1771.26	c      1771            487         486         1                -         126.0000          -
1772.32/1776.82	c      1777            494         493         1                -         126.0000          -
1777.70/1782.29	c      1782            501         500         1                -         126.0000          -
1783.38/1787.90	c      1788            511         510         1                -         126.0000          -
1789.48/1794.01	c      1794            515         514         1                -         126.0000          -
1794.47/1799.03	c      1799            527         526         1                -         126.0000          -
1809.81/1814.47	c      1814            544         543         1                -         126.0000          -
1817.30/1821.92	c      1822            549         548         1                -         126.0000          -
1822.78/1827.42	c      1827            554         553         1                -         126.0000          -
1828.67/1833.32	c      1833            563         562         1                -         126.0000          -
1834.66/1839.36	c      1839            571         570         1                -         126.0000          -
1841.14/1845.89	c      1846            577         576         1                -         126.0000          -
1846.63/1851.36	c      1851            588         587         1                -         126.0000          -
1852.42/1857.14	c      1857            598         597         1                -         126.0000          -
1859.20/1863.96	c      1864            612         611         1                -         126.0000          -
1900.59/1905.46	c      1905            613         612         1                -         126.0000          -
1906.68/1911.56	c      1912            616         615         1                -         126.0000          -
1912.28/1917.17	c      1917            622         621         1                -         126.0000          -
1918.55/1923.40	c      1923            630         629         1                -         126.0000          -
1924.64/1929.50	c      1930            639         638         1                -         126.0000          -
1929.83/1934.74	c      1935            653         652         1                -         126.0000          -
1936.01/1940.99	c      1941            666         665         1                -         126.0000          -
1941.21/1946.14	c      1946            675         674         1                -         126.0000          -
2000.26/2005.30	c      2005            682         681         1                -         126.0000          -
2006.54/2011.63	c      2012            684         683         1                -         126.0000          -
2011.83/2016.91	c      2017            688         687         1                -         126.0000          -
2017.41/2022.53	c      2023            692         691         1                -         126.0000          -
2023.70/2028.82	c      2029            698         697         1                -         126.0000          -
2031.29/2036.50	c      2036            703         702         1                -         126.0000          -
2036.47/2041.68	c      2042            715         714         1                -         126.0000          -
2041.66/2046.82	c      2047            730         729         1                -         126.0000          -
2047.87/2053.07	c      2053            743         742         1                -         126.0000          -
2089.44/2094.76	c      2095            752         751         1                -         126.0000          -
2095.75/2101.03	c      2101            758         757         1                -         126.0000          -
2101.32/2106.68	c      2107            761         760         1                -         126.0000          -
2107.21/2112.54	c      2113            767         766         1                -         126.0000          -
2112.71/2118.02	c      2118            771         770         1                -         126.0000          -
2118.58/2123.93	c      2124            776         775         1                -         126.0000          -
2125.17/2130.55	c      2131            781         780         1                -         126.0000          -
2131.06/2136.44	c      2136            788         787         1                -         126.0000          -
2137.05/2142.45	c      2142            793         792         1                -         126.0000          -
2142.94/2148.33	c      2148            801         800         1                -         126.0000          -
2147.92/2153.39	c      2153            804         803         1                -         126.0000          -
2153.61/2159.06	c      2159            818         817         1                -         126.0000          -
2164.56/2170.08	c      2170            822         821         1                -         126.0000          -
2173.54/2179.09	c      2179            826         825         1                -         126.0000          -
2179.13/2184.60	c      2185            831         830         1                -         126.0000          -
2184.62/2190.18	c      2190            835         834         1                -         126.0000          -
2190.00/2195.54	c      2196            840         839         1                -         126.0000          -
2195.60/2201.14	c      2201            853         852         1                -         126.0000          -
2200.68/2206.29	c      2206            872         871         1                -         126.0000          -
2205.77/2211.31	c      2211            883         882         1                -         126.0000          -
2248.85/2254.54	c      2255            892         891         1                -         126.0000          -
2254.14/2259.81	c      2260            898         897         1                -         126.0000          -
2260.83/2266.57	c      2267            906         905         1                -         126.0000          -
2266.12/2271.83	c      2272            912         911         1                -         126.0000          -
2272.80/2278.57	c      2279            919         918         1                -         126.0000          -
2278.88/2284.66	c      2285            927         926         1                -         126.0000          -
2284.68/2290.48	c      2290            931         930         1                -         126.0000          -
2290.37/2296.13	c      2296            940         939         1                -         126.0000          -
2295.85/2301.60	c      2302            944         943         1                -         126.0000          -
2300.93/2306.70	c      2307            950         949         1                -         126.0000          -
2322.29/2328.16	c      2328            962         961         1                -         126.0000          -
2329.96/2335.85	c      2336            971         970         1                -         126.0000          -
2335.26/2341.14	c      2341            982         981         1                -         126.0000          -
2340.93/2346.80	c      2347            998         997         1                -         126.0000          -
2346.32/2352.23	c      2352           1004        1003         1                -         126.0000          -
2351.31/2357.28	c      2357           1022        1021         1                -         126.0000          -
2382.83/2388.85	c      2389           1036        1035         1                -         126.0000          -
2398.70/2404.75	c      2405           1042        1041         1                -         126.0000          -
2406.18/2412.20	c      2412           1045        1044         1                -         126.0000          -
2414.36/2420.44	c      2420           1048        1047         1                -         126.0000          -
2422.24/2428.30	c      2428           1050           0         1                -         126.0000          -
2913.63/2920.99	c      2921           1051           1         1                -         126.0000          -
2918.83/2926.11	c      2926           1052           2         1                -         126.0000          -
2926.00/2933.38	c      2933           1054           4         1                -         126.0000          -
2932.28/2939.69	c      2940           1055           5         1                -         126.0000          -
2938.17/2945.52	c      2946           1056           6         1                -         126.0000          -
2946.45/2953.86	c      2954           1060          10         1                -         126.0000          -
2956.51/2963.93	c      2964           1061          11         1                -         126.0000          -
2965.50/2972.96	c      2973           1063          13         1                -         126.0000          -
2973.77/2981.24	c      2981           1067          17         1                -         126.0000          -
2978.96/2986.44	c      2986           1069          19         1                -         126.0000          -
2995.21/3002.70	c      3003           1071          21         1                -         126.0000          -
3013.06/3020.69	c      3021           1073          23         1                -         126.0000          -
3018.25/3025.89	c      3026           1076          26         1                -         126.0000          -
3024.73/3032.32	c      3032           1078          28         1                -         126.0000          -
3030.52/3038.13	c      3038           1079          29         1                -         126.0000          -
3042.68/3050.38	c      3050           1083          33         1                -         126.0000          -
3052.16/3059.80	c      3060           1085          35         1                -         126.0000          -
3060.13/3067.86	c      3068           1088          38         1                -         126.0000          -
3066.61/3074.31	c      3074           1090          40         1                -         126.0000          -
3073.70/3081.47	c      3081           1093          43         1                -         126.0000          -
3082.08/3089.86	c      3090           1097          47         1                -         126.0000          -
3087.76/3095.50	c      3096           1099          49         1                -         126.0000          -
3103.51/3111.39	c      3111           1103          53         1                -         126.0000          -
3109.60/3117.43	c      3117           1105          55         1                -         126.0000          -
3117.38/3125.28	c      3125           1106          56         1                -         126.0000          -
3123.66/3131.57	c      3132           1110          60         1                -         126.0000          -
3129.94/3137.82	c      3138           1116          66         1                -         126.0000          -
3163.84/3171.82	c      3172           1121          71         1                -         126.0000          -
3172.51/3180.50	c      3181           1124          74         1                -         126.0000          -
3177.80/3185.89	c      3186           1127          77         1                -         126.0000          -
3183.00/3191.05	c      3191           1130          80         1                -         126.0000          -
3202.24/3210.30	c      3210           1134          84         1                -         126.0000          -
3208.22/3216.30	c      3216           1137          87         1                -         126.0000          -
3215.60/3223.71	c      3224           1139          89         1                -         126.0000          -
3220.79/3228.96	c      3229           1143          93         1                -         126.0000          -
3228.76/3236.92	c      3237           1145          95         1                -         126.0000          -
3234.25/3242.44	c      3242           1151         101         1                -         126.0000          -
3240.23/3248.43	c      3248           1155         105         1                -         126.0000          -
3246.92/3255.14	c      3255           1160         110         1                -         126.0000          -
3253.29/3261.53	c      3262           1170         120         1                -         126.0000          -
3285.19/3293.55	c      3294           1175         125         1                -         126.0000          -
3298.55/3306.91	c      3307           1176         126         1                -         126.0000          -
3305.93/3314.31	c      3314           1180         130         1                -         126.0000          -
3314.21/3322.64	c      3323           1186         136         1                -         126.0000          -
3319.90/3328.30	c      3328           1190         140         1                -         126.0000          -
3324.88/3333.39	c      3333           1194         144         1                -         126.0000          -
3330.07/3338.56	c      3339           1196         146         1                -         126.0000          -
3335.45/3343.99	c      3344           1199         149         1                -         126.0000          -
3343.43/3351.99	c      3352           1203         153         1                -         126.0000          -
3349.41/3357.91	c      3358           1206         156         1                -         126.0000          -
3357.29/3365.88	c      3366           1209         159         1                -         126.0000          -
3362.49/3371.02	c      3371           1214         164         1                -         126.0000          -
3378.12/3386.76	c      3387           1217         167         1                -         126.0000          -
3383.90/3392.50	c      3393           1228         178         1                -         126.0000          -
3389.69/3398.39	c      3398           1235         185         1                -         126.0000          -
3395.78/3404.41	c      3404           1242         192         1                -         126.0000          -
3401.56/3410.26	c      3410           1252         202         1                -         126.0000          -
3406.64/3415.34	c      3415           1257         207         1                -         126.0000          -
3411.93/3420.69	c      3421           1263         213         1                -         126.0000          -
3417.22/3425.91	c      3426           1270         220         1                -         126.0000          -
3425.19/3433.91	c      3434           1275         225         1                -         126.0000          -
3430.29/3439.02	c      3439           1282         232         1                -         126.0000          -
3436.96/3445.79	c      3446           1286         236         1                -         126.0000          -
3442.64/3451.47	c      3451           1295         245         1                -         126.0000          -
3450.52/3459.37	c      3459           1298         248         1                -         126.0000          -
3476.25/3485.12	c      3485           1305         255         1                -         126.0000          -
3481.52/3490.47	c      3490           1313         263         1                -         126.0000          -
3487.31/3496.21	c      3496           1323         273         1                -         126.0000          -
3492.79/3501.75	c      3502           1327         277         1                -         126.0000          -
3498.97/3507.98	c      3508           1339         289         1                -         126.0000          -
3504.26/3513.23	c      3513           1352         302         1                -         126.0000          -
3511.23/3520.29	c      3520           1365         315         1                -         126.0000          -
3532.68/3541.72	c      3542           1371         321         1                -         126.0000          -
3537.86/3546.95	c      3547           1377         327         1                -         126.0000          -
3551.32/3560.40	c      3560           1384         334         1                -         126.0000          -
3557.70/3566.88	c      3567           1388         338         1                -         126.0000          -
3586.41/3595.69	c      3596           1395         345         1                -         126.0000          -
3593.28/3602.52	c SCIP Status        : c solving was interrupted [hard time limit reached]
3593.28/3602.52	c Total Time         : 3602.5200
3593.28/3602.52	c   solving          : 3602.5200
3593.28/3602.52	c   presolving       : 220.7001 (included in solving)
3593.28/3602.52	c B&B Tree           :
3593.28/3602.52	c   nodes (total)    : 1
3593.28/3602.52	c Solution           :
3593.28/3602.52	c   Solutions found  : 0
3593.28/3602.52	c   Primal Bound     :          -
3593.28/3602.52	c   Dual Bound       : +1.26000000000000e+02
3593.28/3602.52	c Gap                :          -
3594.27/3603.56	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 (59323 MiB free)
  memory of node 1: 64473 MiB (59165 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100091 s]*
/proc/loadavg: 4.17 4.14 4.09 5/247 877165
/proc/meminfo: memFree=121285824/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=72404 memory=59992 CPUtime=0.1 cores=4,6
/proc/877164/stat : 877164 (fscip) R 877161 877164 874063 0 -1 4194304 12930 0 0 0 7 3 0 0 20 0 1 0 169061428 74141696 14998 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 18101 14998 2318 3032 0 14501 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 72404 KiB
Current children cumulated memory: 59992 KiB

[startup+0.209595 s]*
/proc/loadavg: 4.17 4.14 4.09 5/247 877165
/proc/meminfo: memFree=121132228/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=121464 memory=108016 CPUtime=0.21 cores=4,6
/proc/877164/stat : 877164 (fscip) R 877161 877164 874063 0 -1 4194304 24923 0 0 0 15 6 0 0 20 0 1 0 169061428 124379136 27004 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 30366 27004 2318 3032 0 26766 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 121464 KiB
Current children cumulated memory: 108016 KiB

[startup+0.309546 s]*
/proc/loadavg: 4.17 4.14 4.09 5/247 877165
/proc/meminfo: memFree=121077308/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=164304 memory=151476 CPUtime=0.31 cores=4,6
/proc/877164/stat : 877164 (fscip) R 877161 877164 874063 0 -1 4194304 35811 0 0 0 22 9 0 0 20 0 1 0 169061428 168247296 37869 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 41076 37869 2318 3032 0 37476 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 164304 KiB
Current children cumulated memory: 151476 KiB

[startup+0.700332 s]
/proc/loadavg: 4.17 4.14 4.09 5/247 877165
/proc/meminfo: memFree=120914096/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=232160 memory=219792 CPUtime=0.69 cores=4,6
/proc/877164/stat : 877164 (fscip) R 877161 877164 874063 0 -1 4194304 53381 0 0 0 56 13 0 0 20 0 1 0 169061428 237731840 54948 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 58040 54948 2558 3032 0 54440 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 232160 KiB
Current children cumulated memory: 219792 KiB

[startup+1.50034 s]
/proc/loadavg: 4.17 4.14 4.09 5/245 877165
/proc/meminfo: memFree=120712408/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=483156 memory=466360 CPUtime=1.48 cores=4,6
/proc/877164/stat : 877164 (fscip) R 877161 877164 874063 0 -1 4194304 114960 0 0 0 124 24 0 0 20 0 1 0 169061428 494751744 116590 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 120789 116590 2622 3032 0 117189 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 483156 KiB
Current children cumulated memory: 466360 KiB

[startup+3.11279 s]
/proc/loadavg: 4.17 4.14 4.09 5/243 877181
/proc/meminfo: memFree=122397232/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=602524 memory=582972 CPUtime=3.09 cores=4,6
/proc/877164/stat : 877164 (fscip) R 877161 877164 874063 0 -1 4194304 138205 0 0 0 279 30 0 0 20 0 1 0 169061428 616984576 145743 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 150631 145743 2702 3032 0 147031 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 602524 KiB
Current children cumulated memory: 582972 KiB

[startup+6.30031 s]
/proc/loadavg: 4.15 4.14 4.09 5/247 877215
/proc/meminfo: memFree=121819260/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=1028308 memory=972400 CPUtime=6.27 cores=4,6
/proc/877164/stat : 877164 (fscip) R 877161 877164 874063 0 -1 4194304 195522 0 0 0 586 41 0 0 20 0 1 0 169061428 1052987392 243100 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 257077 243100 2750 3032 0 253477 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1028308 KiB
Current children cumulated memory: 972400 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.14 4.09 5/245 877261
/proc/meminfo: memFree=121761176/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=1029332 memory=973356 CPUtime=12.65 cores=4,6
/proc/877164/stat : 877164 (fscip) R 877161 877164 874063 0 -1 4194304 195795 0 0 0 1223 42 0 0 20 0 1 0 169061428 1054035968 243339 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 257333 243339 2750 3032 0 253733 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1029332 KiB
Current children cumulated memory: 973356 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.13 4.09 5/247 877266
/proc/meminfo: memFree=120843348/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=1029332 memory=973548 CPUtime=25.41 cores=4,6
/proc/877164/stat : 877164 (fscip) R 877161 877164 874063 0 -1 4194304 195842 0 0 0 2497 44 0 0 20 0 1 0 169061428 1054035968 243387 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 257333 243387 2750 3032 0 253733 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1029332 KiB
Current children cumulated memory: 973548 KiB

[startup+51.1124 s]
/proc/loadavg: 4.14 4.14 4.09 5/247 877269
/proc/meminfo: memFree=119731552/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=1488468 memory=1349792 CPUtime=50.96 cores=4,6
/proc/877164/stat : 877164 (fscip) R 877161 877164 874063 0 -1 4194304 277857 0 0 0 5040 56 0 0 20 0 1 0 169061428 1524191232 337448 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 372117 337448 2782 3032 0 368517 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1488468 KiB
Current children cumulated memory: 1349792 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/247 877277
/proc/meminfo: memFree=119706348/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=1488476 memory=1351092 CPUtime=102.04 cores=4,6
/proc/877164/stat : 877164 (fscip) R 877161 877164 874063 0 -1 4194304 278164 0 0 0 10147 57 0 0 20 0 1 0 169061428 1524199424 337773 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 372119 337773 2782 3032 0 368519 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1488476 KiB
Current children cumulated memory: 1351092 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/249 877290
/proc/meminfo: memFree=118434076/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=1488480 memory=1351092 CPUtime=161.93 cores=4,6
/proc/877164/stat : 877164 (fscip) R 877161 877164 874063 0 -1 4194304 278178 0 0 0 16134 59 0 0 20 0 1 0 169061428 1524203520 337773 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 372120 337773 2782 3032 0 368520 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 1488480 KiB
Current children cumulated memory: 1351092 KiB

[startup+222.301 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 877301
/proc/meminfo: memFree=118161048/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=1666236 memory=1509100 CPUtime=221.8 cores=4,6
/proc/877164/stat : 877164 (fscip) S 877161 877164 874063 0 -1 1077936128 333966 0 0 0 22108 72 0 0 20 0 2 0 169061428 1706225664 377275 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 416559 377275 2782 3032 0 409589 0
[pid=877164/tid=877301] ppid=877161 vsize=1666236 memory=5796695868719759386 CPUtime=0.19 cores=4,6
/proc/877164/task/877301/stat : 877301 (fscip) R 877161 877164 874063 0 -1 4194368 28624 0 0 0 12 7 0 0 20 0 2 0 169083610 1706225664 377275 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 1666236 KiB
Current children cumulated memory: 1509100 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/253 877315
/proc/meminfo: memFree=115767256/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=2956020 memory=2685908 CPUtime=281.62 cores=4,6
/proc/877164/stat : 877164 (fscip) S 877161 877164 874063 0 -1 1077936128 838730 0 0 0 28025 137 0 0 20 0 3 0 169061428 3026964480 671477 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 739005 671477 2894 3032 0 722435 0
[pid=877164/tid=877301] ppid=877161 vsize=2956020 memory=2353776 CPUtime=60.02 cores=4,6
/proc/877164/task/877301/stat : 877301 (fscip) R 877161 877164 874063 0 -1 4194368 533354 0 0 0 5929 73 0 0 20 0 3 0 169083610 3026964480 671477 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
[pid=877164/tid=877304] ppid=877161 vsize=2956020 memory=12740 CPUtime=0 cores=4,6
/proc/877164/task/877304/stat : 877304 (fscip) S 877161 877164 874063 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 169083689 3026964480 671477 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 2956020 KiB
Current children cumulated memory: 2685908 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/249 877327
/proc/meminfo: memFree=114717988/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=3152628 memory=2870916 CPUtime=341.45 cores=4,6
/proc/877164/stat : 877164 (fscip) S 877161 877164 874063 0 -1 1077936128 1094417 0 0 0 33989 156 0 0 20 0 3 0 169061428 3228291072 717729 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 788157 717729 2926 3032 0 774165 0
[pid=877164/tid=877301] ppid=877161 vsize=3152628 memory=2843772 CPUtime=119.84 cores=4,6
/proc/877164/task/877301/stat : 877301 (fscip) R 877161 877164 874063 0 -1 4194368 789026 0 0 0 11893 91 0 0 20 0 3 0 169083610 3228291072 717729 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
[pid=877164/tid=877304] ppid=877161 vsize=3152628 memory=2870916 CPUtime=0 cores=4,6
/proc/877164/task/877304/stat : 877304 (fscip) S 877161 877164 874063 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 169083689 3228291072 717729 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 3152628 KiB
Current children cumulated memory: 2870916 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/249 877337
/proc/meminfo: memFree=114407504/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=3283700 memory=3022616 CPUtime=401.29 cores=4,6
/proc/877164/stat : 877164 (fscip) S 877161 877164 874063 0 -1 1077936128 1346050 0 0 0 39956 173 0 0 20 0 3 0 169061428 3362508800 755654 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 820925 755654 2926 3032 0 811221 0

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

/proc/loadavg: 4.78 4.34 4.17 5/249 878932
/proc/meminfo: memFree=112863272/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=4201204 memory=3926000 CPUtime=3393.68 cores=4,6
/proc/877164/stat : 877164 (fscip) S 877161 877164 874063 0 -1 1077936128 9575908 0 0 0 338691 677 0 0 20 0 3 0 169061428 4302032896 981500 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 1050301 981500 3294 3032 0 1038015 0
[pid=877164/tid=877301] ppid=877161 vsize=4201204 memory=12740 CPUtime=3171.94 cores=4,6
/proc/877164/task/877301/stat : 877301 (fscip) R 877161 877164 874063 0 -1 4194368 9268558 0 0 0 316588 606 0 0 20 0 3 0 169083610 4302032896 981500 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
[pid=877164/tid=877304] ppid=877161 vsize=4201204 memory=3926000 CPUtime=0.05 cores=4,6
/proc/877164/task/877304/stat : 877304 (fscip) S 877161 877164 874063 0 -1 1077936192 422 0 0 0 1 4 0 0 20 0 3 0 169083689 4302032896 981500 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
Current children cumulated CPU time: 3393.68 s
Current children cumulated vsize: 4201204 KiB
Current children cumulated memory: 3926000 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.31 4.17 5/249 878942
/proc/meminfo: memFree=112836996/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=4201204 memory=3926212 CPUtime=3453.51 cores=4,6
/proc/877164/stat : 877164 (fscip) S 877161 877164 874063 0 -1 1077936128 9739172 0 0 0 344664 687 0 0 20 0 3 0 169061428 4302032896 981553 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 1050301 981553 3294 3032 0 1038015 0
[pid=877164/tid=877301] ppid=877161 vsize=4201204 memory=12740 CPUtime=3231.77 cores=4,6
/proc/877164/task/877301/stat : 877301 (fscip) R 877161 877164 874063 0 -1 4194368 9431787 0 0 0 322561 616 0 0 20 0 3 0 169083610 4302032896 981553 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
[pid=877164/tid=877304] ppid=877161 vsize=4201204 memory=27176 CPUtime=0.05 cores=4,6
/proc/877164/task/877304/stat : 877304 (fscip) S 877161 877164 874063 0 -1 1077936192 425 0 0 0 1 4 0 0 20 0 3 0 169083689 4302032896 981553 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 4201204 KiB
Current children cumulated memory: 3926212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.34 4.30 4.18 5/251 879123
/proc/meminfo: memFree=112816984/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=4201204 memory=3926212 CPUtime=3513.33 cores=4,6
/proc/877164/stat : 877164 (fscip) S 877161 877164 874063 0 -1 1077936128 9913056 0 0 0 350635 698 0 0 20 0 3 0 169061428 4302032896 981553 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 1050301 981553 3294 3032 0 1038015 0
[pid=877164/tid=877301] ppid=877161 vsize=4201204 memory=3926212 CPUtime=3291.59 cores=4,6
/proc/877164/task/877301/stat : 877301 (fscip) R 877161 877164 874063 0 -1 4194368 9605622 0 0 0 328532 627 0 0 20 0 3 0 169083610 4302032896 981553 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
[pid=877164/tid=877304] ppid=877161 vsize=4201204 memory=12740 CPUtime=0.05 cores=4,6
/proc/877164/task/877304/stat : 877304 (fscip) S 877161 877164 874063 0 -1 1077936192 428 0 0 0 1 4 0 0 20 0 3 0 169083689 4302032896 981553 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
Current children cumulated CPU time: 3513.33 s
Current children cumulated vsize: 4201204 KiB
Current children cumulated memory: 3926212 KiB

[startup+3582.3 s]
/proc/loadavg: 4.31 4.29 4.18 5/251 879133
/proc/meminfo: memFree=112725536/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=4201204 memory=3926236 CPUtime=3573.15 cores=4,6
/proc/877164/stat : 877164 (fscip) S 877161 877164 874063 0 -1 1077936128 10074143 0 0 0 356608 707 0 0 20 0 3 0 169061428 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 1050301 981559 3294 3032 0 1038015 0
[pid=877164/tid=877301] ppid=877161 vsize=4201204 memory=43124 CPUtime=3351.4 cores=4,6
/proc/877164/task/877301/stat : 877301 (fscip) R 877161 877164 874063 0 -1 4194368 9766671 0 0 0 334504 636 0 0 20 0 3 0 169083610 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
[pid=877164/tid=877304] ppid=877161 vsize=4201204 memory=3926236 CPUtime=0.05 cores=4,6
/proc/877164/task/877304/stat : 877304 (fscip) S 877161 877164 874063 0 -1 1077936192 434 0 0 0 1 4 0 0 20 0 3 0 169083689 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 4201204 KiB
Current children cumulated memory: 3926236 KiB

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

# cumulated CPU time of all completed processes:  user=3586.84 s, system=7.65903 s

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

[startup+3584 s]*
/proc/loadavg: 4.31 4.29 4.18 5/251 879135
/proc/meminfo: memFree=112725508/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=4201204 memory=3926236 CPUtime=3574.85 cores=4,6
/proc/877164/stat : 877164 (fscip) S 877161 877164 874063 0 -1 1077936128 10074169 0 0 0 356778 707 0 0 20 0 3 0 169061428 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 1050301 981559 3294 3032 0 1038015 0
[pid=877164/tid=877301] ppid=877161 vsize=4201204 memory=6720659948130812267 CPUtime=3353.11 cores=4,6
/proc/877164/task/877301/stat : 877301 (fscip) R 877161 877164 874063 0 -1 4194368 9766697 0 0 0 334675 636 0 0 20 0 3 0 169083610 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
[pid=877164/tid=877304] ppid=877161 vsize=4201204 memory=-7088515896496776575 CPUtime=0.05 cores=4,6
/proc/877164/task/877304/stat : 877304 (fscip) S 877161 877164 874063 0 -1 1077936192 434 0 0 0 1 4 0 0 20 0 3 0 169083689 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
Current children cumulated CPU time: 3574.85 s
Current children cumulated vsize: 4201204 KiB
Current children cumulated memory: 3926236 KiB

[startup+3596.8 s]
/proc/loadavg: 4.24 4.27 4.18 5/254 879195
/proc/meminfo: memFree=112724744/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=4201204 memory=3926236 CPUtime=3587.6 cores=4,6
/proc/877164/stat : 877164 (fscip) S 877161 877164 874063 0 -1 1077936128 10168766 0 0 0 358048 712 0 0 20 0 3 0 169061428 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 1050301 981559 3294 3032 0 1038015 0
[pid=877164/tid=877301] ppid=877161 vsize=4201204 memory=3926236 CPUtime=3365.85 cores=4,6
/proc/877164/task/877301/stat : 877301 (fscip) R 877161 877164 874063 0 -1 4194368 9861294 0 0 0 335944 641 0 0 20 0 3 0 169083610 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
[pid=877164/tid=877304] ppid=877161 vsize=4201204 memory=3926236 CPUtime=0.05 cores=4,6
/proc/877164/task/877304/stat : 877304 (fscip) S 877161 877164 874063 0 -1 1077936192 434 0 0 0 1 4 0 0 20 0 3 0 169083689 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 4201204 KiB
Current children cumulated memory: 3926236 KiB

[startup+3600 s]*
/proc/loadavg: 4.30 4.29 4.18 4/244 879272
/proc/meminfo: memFree=119843048/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=4201204 memory=3926236 CPUtime=3590.81 cores=4,6
/proc/877164/stat : 877164 (fscip) S 877161 877164 874063 0 -1 1077936128 10244198 0 0 0 358364 717 0 0 20 0 3 0 169061428 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 1050301 981559 3294 3032 0 1038015 0
[pid=877164/tid=877301] ppid=877161 vsize=4201204 memory=-9104141422874174140 CPUtime=3369.06 cores=4,6
/proc/877164/task/877301/stat : 877301 (fscip) R 877161 877164 874063 0 -1 4194368 9936724 0 0 0 336260 646 0 0 20 0 3 0 169083610 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
[pid=877164/tid=877304] ppid=877161 vsize=4201204 memory=2196 CPUtime=0.05 cores=4,6
/proc/877164/task/877304/stat : 877304 (fscip) S 877161 877164 874063 0 -1 1077936192 436 0 0 0 1 4 0 0 20 0 3 0 169083689 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
Current children cumulated CPU time: 3590.81 s
Current children cumulated vsize: 4201204 KiB
Current children cumulated memory: 3926236 KiB

[startup+3601.6 s]
/proc/loadavg: 4.30 4.29 4.18 5/252 879289
/proc/meminfo: memFree=119593128/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=4201204 memory=3926236 CPUtime=3592.39 cores=4,6
/proc/877164/stat : 877164 (fscip) S 877161 877164 874063 0 -1 1077936128 10262432 0 0 0 358521 718 0 0 20 0 3 0 169061428 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 1050301 981559 3294 3032 0 1038015 0
[pid=877164/tid=877301] ppid=877161 vsize=4201204 memory=3926236 CPUtime=3370.65 cores=4,6
/proc/877164/task/877301/stat : 877301 (fscip) R 877161 877164 874063 0 -1 4194368 9954949 0 0 0 336418 647 0 0 20 0 3 0 169083610 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
[pid=877164/tid=877304] ppid=877161 vsize=4201204 memory=3926236 CPUtime=0.05 cores=4,6
/proc/877164/task/877304/stat : 877304 (fscip) S 877161 877164 874063 0 -1 1077936192 436 0 0 0 1 4 0 0 20 0 3 0 169083689 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
Current children cumulated CPU time: 3592.39 s
Current children cumulated vsize: 4201204 KiB
Current children cumulated memory: 3926236 KiB

[startup+3602.4 s]
/proc/loadavg: 4.30 4.29 4.18 5/252 879289
/proc/meminfo: memFree=119531632/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=4201204 memory=3926236 CPUtime=3593.19 cores=4,6
/proc/877164/stat : 877164 (fscip) S 877161 877164 874063 0 -1 1077936128 10330805 0 0 0 358598 721 0 0 20 0 3 0 169061428 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 1050301 981559 3294 3032 0 1038015 0
[pid=877164/tid=877301] ppid=877161 vsize=4201204 memory=1976 CPUtime=3371.43 cores=4,6
/proc/877164/task/877301/stat : 877301 (fscip) R 877161 877164 874063 0 -1 4194368 10023374 0 0 0 336494 649 0 0 20 0 3 0 169083610 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
[pid=877164/tid=877304] ppid=877161 vsize=4201204 memory=20508 CPUtime=0.05 cores=4,6
/proc/877164/task/877304/stat : 877304 (fscip) S 877161 877164 874063 0 -1 1077936192 436 0 0 0 1 4 0 0 20 0 3 0 169083689 4302032896 981559 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
Current children cumulated CPU time: 3593.19 s
Current children cumulated vsize: 4201204 KiB
Current children cumulated memory: 3926236 KiB

[startup+3603.2 s]
/proc/loadavg: 4.30 4.29 4.18 5/252 879293
/proc/meminfo: memFree=119986148/131655788 swapFree=131071996/131071996
[pid=877164] ppid=877161 vsize=3509440 memory=3303256 CPUtime=3593.97 cores=4,6
/proc/877164/stat : 877164 (fscip) R 877161 877164 874063 0 -1 4194304 10483570 0 0 0 358656 741 0 0 20 0 1 0 169061428 3593666560 825814 134679101440 4194304 16613245 140726328107232 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31424512 140726328116245 140726328116361 140726328116361 140726328123376 0
/proc/877164/statm: 877360 825814 3294 3032 0 869805 0
Current children cumulated CPU time: 3593.97 s
Current children cumulated vsize: 3509440 KiB
Current children cumulated memory: 3303256 KiB

[startup+3603.6 s]*
/proc/loadavg: 4.30 4.29 4.18 5/244 879329
/proc/meminfo: memFree=121136064/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3603.71 s]
/proc/loadavg: 4.30 4.29 4.18 5/244 879329
/proc/meminfo: memFree=121136064/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3603.74
CPU time (s): 3594.5
CPU user time (s): 3586.84
CPU system time (s): 7.65903
CPU usage (%): 99.7437
Max. virtual memory (cumulated for all children) (KiB): 4201204
Max. memory (cumulated for all children) (KiB): 3926236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.84
system time used= 7.65902
maximum resident set size= 3926236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10544515
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= 5014
involuntary context switches= 2485


# summary of solver processes directly reported to runsolver:
#   pid: 877164
#   total CPU time (s): 3594.5
#   total CPU user time (s): 3586.84
#   total CPU system time (s): 7.65903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7911 second user time and 35.2848 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-17 00:30:38
IDJOB=4434949
IDBENCH=158606
IDSOLVER=3064
FILE ID=nodeC005/4434949-1721169026
RUNJOBID= nodeC005-1721165433-874074
SLURM_JOB_ID= 7505788
Free space on /tmp= 723668 MiB

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

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

MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=1794290964

nodeC005.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		: 3491.764
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.53
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		: 3612.482
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.35
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.244
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.53
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.346
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.35
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		: 3491.326
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.53
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		: 3547.555
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.35
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		: 1247.990
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.53
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.290
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121333312 kB
MemAvailable:   126446312 kB
Buffers:          418980 kB
Cached:          5472524 kB
SwapCached:            0 kB
Active:           862004 kB
Inactive:        8779368 kB
Active(anon):       3440 kB
Inactive(anon):  3784136 kB
Active(file):     858564 kB
Inactive(file):  4995232 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            106028 kB
Writeback:            28 kB
AnonPages:       3748968 kB
Mapped:           139396 kB
Shmem:             37704 kB
KReclaimable:     198804 kB
Slab:             312328 kB
SReclaimable:     198804 kB
SUnreclaim:       113524 kB
KernelStack:        3936 kB
PageTables:        16796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3169516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54368 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2043904 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:      285512 kB
DirectMap2M:    36319232 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723664 MiB
End job on nodeC005 at 2024-07-17 01:30:42