Trace number 4446110

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02? 3588.7 3601.08

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-20.opb
MD5SUMce92e16bf0ab8af5c50df3c37225d359
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark14.7404
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9342
Total number of constraints199352
Number of constraints which are clauses178530
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints20102
Minimum length of a constraint2
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.59/0.64	c Default LC presolving (default).
0.59/0.64	c ** Before presolving: virtualMemUsedAtLc = 491779820, getVmSize() = 315363328, SCIPgetMemUsed() = 256378164, SCIPgetMemTotal() = 278167252, SCIPgetMemExternEstim() = 213612568
0.59/0.64	c ** set memory limit for presolving in LC to 8.79595e+12 for SCIP **
14.05/14.16	c ** Estimated virtualMemUsedAtSolver = 697030111, getVmSize() = 893349888, SCIPgetMemUsed() = 507320095, SCIPgetMemTotal() = 831932599, SCIPgetMemExternEstim() = 213612568
14.05/14.16	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
14.05/14.16	c Original Problem   :
14.05/14.16	c   Problem name     : instance-4446110-1721325442
14.05/14.16	c   Variables        : 9342 (9342 binary, 0 integer, 0 implicit integer, 0 continuous)
14.05/14.16	c   Constraints      : 199352
14.05/14.16	c   Objective sense  : minimize
14.05/14.16	c Presolved Problem  :
14.05/14.16	c   Variables        : 9341 (9341 binary, 0 integer, 0 implicit integer, 0 continuous)
14.05/14.16	c   Constraints      : 196526
14.05/14.16	c Constraints        : Number
14.05/14.16	c   knapsack         : 20454 
14.05/14.16	c   setppc           : 40318 
14.05/14.16	c   linear           : 2 
14.05/14.16	c   logicor          : 135752 
14.05/14.16	c ** Instance transfer method used: 0
14.34/14.49	c ** ParaScipInstance copy does not increase the number of variables. **
14.65/14.75	c LC is working with racing ramp-up and with rebuilding tree after racing.
14.65/14.75	c                                Nodes    Active                                            
14.65/14.75	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
364.82/365.96	c       366              2           1         1                -           0.0000          -
371.40/372.53	c       373             13          12         1                -           0.0000          -
380.08/381.28	c       381             15          14         1                -           0.0000          -
416.48/417.79	c       418             16          15         1                -           0.0000          -
426.46/427.75	c       428             29          28         1                -           0.0000          -
432.54/433.84	c       434             32          31         1                -           0.0000          -
448.11/449.47	c       449             33          32         1                -           0.0000          -
531.12/532.69	c       533             35          34         1                -           0.0000          -
537.10/538.65	c       539             58          57         1                -           0.0000          -
555.34/556.93	c       557             59          58         1                -           0.0000          -
569.80/571.46	c       571             62          61         1                -           0.0000          -
616.38/618.15	c       618             64          63         1                -           0.0000          -
644.00/645.87	c       646             66          65         1                -           0.0000          -
678.50/680.48	c       680             67          66         1                -           0.0000          -
709.92/711.91	c       712             80          79         1                -           0.0000          -
728.87/730.96	c       731             81          80         1                -           0.0000          -
762.88/765.08	c       765             83          82         1                -           0.0000          -
774.55/776.77	c       777             87          86         1                -           0.0000          -
781.43/783.63	c       784             93          92         1                -           0.0000          -
793.29/795.50	c       796             95          94         1                -           0.0000          -
821.00/823.38	c       823             98          97         1                -           0.0000          -
833.36/835.73	c       836            100          99         1                -           0.0000          -
844.43/846.87	c       847            102         101         1                -           0.0000          -
857.88/860.37	c       860            112         111         1                -           0.0000          -
867.74/870.26	c       870            113         112         1                -           0.0000          -
873.02/875.52	c       876            125         124         1                -           0.0000          -
879.60/882.15	c       882            143         142         1                -           0.0000          -
889.07/891.60	c       892            147         146         1                -           0.0000          -
897.34/899.92	c       900            158         157         1                -           0.0000          -
907.60/910.26	c       910            160         159         1                -           0.0000          -
913.39/916.03	c       916            169         168         1                -           0.0000          -
921.25/923.92	c       924            180         179         1                -           0.0000          -
930.02/932.71	c       933            182         181         1                -           0.0000          -
936.69/939.41	c       939            189         188         1                -           0.0000          -
950.94/953.76	c       954            202         201         1                -           0.0000          -
958.61/961.45	c       961            208         207         1                -           0.0000          -
963.89/966.74	c       967            216         215         1                -           0.0000          -
972.27/975.12	c       975            223         222         1                -           0.0000          -
977.85/980.78	c       981            227         226         1                -           0.0000          -
983.53/986.43	c       986            236         235         1                -           0.0000          -
990.11/993.04	c       993            250         249         1                -           0.0000          -
1009.05/1012.03	c      1012            252         251         1                -           0.0000          -
1021.21/1024.25	c      1024            258         257         1                -           0.0000          -
1026.78/1029.85	c      1030            271         270         1                -           0.0000          -
1036.75/1039.81	c      1040            276         275         1                -           0.0000          -
1042.43/1045.58	c      1046            284         283         1                -           0.0000          -
1053.79/1056.99	c      1057            286         285         1                -           0.0000          -
1061.08/1064.21	c      1064            290         289         1                -           0.0000          -
1070.34/1073.55	c      1074            296         295         1                -           0.0000          -
1077.22/1080.43	c      1080            303         302         1                -           0.0000          -
1090.78/1094.02	c      1094            310         309         1                -           0.0000          -
1099.44/1102.79	c      1103            318         317         1                -           0.0000          -
1105.02/1108.38	c      1108            322         321         1                -           0.0000          -
1110.10/1113.40	c      1113            331         330         1                -           0.0000          -
1116.48/1119.83	c      1120            335         334         1                -           0.0000          -
1125.95/1129.30	c      1129            342         341         1                -           0.0000          -
1132.22/1135.67	c      1136            352         351         1                -           0.0000          -
1142.78/1146.27	c      1146            368         367         1                -           0.0000          -
1148.86/1152.35	c      1152            376         375         1                -           0.0000          -
1159.22/1162.72	c      1163            378         377         1                -           0.0000          -
1168.59/1172.19	c      1172            382         381         1                -           0.0000          -
1180.55/1184.17	c      1184            386         385         1                -           0.0000          -
1189.52/1193.11	c      1193            390         389         1                -           0.0000          -
1200.28/1203.97	c      1204            393         392         1                -           0.0000          -
1210.95/1214.69	c      1215            396         395         1                -           0.0000          -
1221.11/1224.88	c      1225            405         404         1                -           0.0000          -
1230.58/1234.37	c      1234            408         407         1                -           0.0000          -
1237.76/1241.50	c      1242            415         414         1                -           0.0000          -
1249.42/1253.21	c      1253            422         421         1                -           0.0000          -
1263.18/1267.08	c      1267            437         436         1                -           0.0000          -
1272.54/1276.48	c      1276            440         439         1                -           0.0000          -
1279.01/1282.90	c      1283            449         448         1                -           0.0000          -
1285.29/1289.23	c      1289            459         458         1                -           0.0000          -
1292.57/1296.59	c      1297            463         462         1                -           0.0000          -
1303.04/1307.09	c      1307            474         473         1                -           0.0000          -
1308.31/1312.39	c      1312            478         477         1                -           0.0000          -
1314.09/1318.14	c      1318            488         487         1                -           0.0000          -
1326.64/1330.79	c      1331            496         495         1                -           0.0000          -
1334.32/1338.46	c      1338            499         498         1                -           0.0000          -
1350.27/1354.44	c      1354            502         501         1                -           0.0000          -
1356.84/1361.10	c      1361            508         507         1                -           0.0000          -
1363.71/1367.91	c      1368            516         515         1                -           0.0000          -
1372.79/1377.07	c      1377            518         517         1                -           0.0000          -
1382.95/1387.24	c      1387            524         523         1                -           0.0000          -
1388.32/1392.60	c      1393            536         535         1                -           0.0000          -
1417.31/1421.74	c      1422            545         544         1                -           0.0000          -
1422.29/1426.74	c      1427            556         555         1                -           0.0000          -
1436.24/1440.80	c      1441            558         557         1                -           0.0000          -
1446.91/1451.42	c      1451            566         565         1                -           0.0000          -
1452.69/1457.26	c      1457            575         574         1                -           0.0000          -
1457.77/1462.34	c      1462            580         579         1                -           0.0000          -
1463.35/1467.93	c      1468            586         585         1                -           0.0000          -
1473.42/1478.05	c      1478            594         593         1                -           0.0000          -
1481.28/1485.98	c      1486            604         603         1                -           0.0000          -
1494.93/1499.67	c      1500            608         607         1                -           0.0000          -
1502.90/1507.61	c      1508            618         617         1                -           0.0000          -
1508.88/1513.61	c      1514            624         623         1                -           0.0000          -
1520.74/1525.56	c      1526            626         625         1                -           0.0000          -
1529.41/1534.26	c      1534            629         628         1                -           0.0000          -
1534.50/1539.39	c      1539            634         633         1                -           0.0000          -
1540.19/1545.09	c      1545            635         634         1                -           0.0000          -
1551.45/1556.39	c      1556            642         641         1                -           0.0000          -
1562.41/1567.31	c      1567            655         654         1                -           0.0000          -
1567.59/1572.57	c      1573            664         663         1                -           0.0000          -
1575.66/1580.66	c      1581            668         667         1                -           0.0000          -
1585.22/1590.22	c      1590            672         671         1                -           0.0000          -
1594.19/1599.24	c      1599            678         677         1                -           0.0000          -
1602.65/1607.74	c      1608            689         688         1                -           0.0000          -
1607.64/1612.77	c      1613            698         697         1                -           0.0000          -
1613.81/1618.97	c      1619            706         705         1                -           0.0000          -
1628.56/1633.78	c      1634            713         712         1                -           0.0000          -
1638.13/1643.38	c      1643            716         715         1                -           0.0000          -
1652.08/1657.38	c      1657            725         724         1                -           0.0000          -
1658.26/1663.55	c      1664            731         730         1                -           0.0000          -
1663.94/1669.29	c      1669            732         731         1                -           0.0000          -
1672.91/1678.25	c      1678            742         741         1                -           0.0000          -
1680.38/1685.74	c      1686            753         752         1                -           0.0000          -
1686.16/1691.59	c      1692            759         758         1                -           0.0000          -
1691.25/1696.66	c      1697            763         762         1                -           0.0000          -
1696.52/1701.96	c      1702            772         771         1                -           0.0000          -
1703.20/1708.63	c      1709            783         782         1                -           0.0000          -
1709.57/1715.05	c      1715            790         789         1                -           0.0000          -
1718.43/1723.95	c      1724            796         795         1                -           0.0000          -
1724.10/1729.68	c      1730            805         804         1                -           0.0000          -
1735.47/1741.04	c      1741            816         815         1                -           0.0000          -
1746.03/1751.63	c      1752            822         821         1                -           0.0000          -
1755.40/1761.06	c      1761            826         825         1                -           0.0000          -
1760.58/1766.30	c      1766            841         840         1                -           0.0000          -
1768.46/1774.17	c      1774            842         841         1                -           0.0000          -
1775.52/1781.26	c      1781            854         853         1                -           0.0000          -
1782.20/1787.94	c      1788            861         860         1                -           0.0000          -
1787.97/1793.77	c      1794            868         867         1                -           0.0000          -
1811.29/1817.19	c      1817            887         886         1                -           0.0000          -
1819.06/1824.93	c      1825            893         892         1                -           0.0000          -
1826.02/1831.91	c      1832            905         904         1                -           0.0000          -
1831.21/1837.17	c      1837            908         907         1                -           0.0000          -
1838.29/1844.25	c      1844            915         914         1                -           0.0000          -
1845.96/1851.93	c      1852            918         917         1                -           0.0000          -
1860.81/1866.86	c      1867            922         921         1                -           0.0000          -
1867.19/1873.28	c      1873            926         925         1                -           0.0000          -
1878.75/1884.89	c      1885            932         931         1                -           0.0000          -
1884.92/1891.00	c      1891            944         943         1                -           0.0000          -
1901.46/1907.66	c      1908            955         954         1                -           0.0000          -
1907.94/1914.18	c      1914            965         964         1                -           0.0000          -
1918.30/1924.54	c      1925            975         974         1                -           0.0000          -
1927.48/1933.77	c      1934            978         977         1                -           0.0000          -
1937.84/1944.13	c      1944            990         989         1                -           0.0000          -
1942.92/1949.22	c      1949            994         993         1                -           0.0000          -
1948.20/1954.57	c      1955           1006        1005         1                -           0.0000          -
1960.76/1967.19	c      1967           1009        1008         1                -           0.0000          -
1973.30/1979.76	c      1980           1012        1011         1                -           0.0000          -
1979.18/1985.63	c      1986           1022        1021         1                -           0.0000          -
1984.36/1990.88	c      1991           1025        1024         1                -           0.0000          -
1997.32/2003.81	c      2004           1028        1027         1                -           0.0000          -
2003.00/2009.51	c      2010           1032        1031         1                -           0.0000          -
2011.36/2017.94	c      2018           1035        1034         1                -           0.0000          -
2017.55/2024.11	c      2024           1041        1040         1                -           0.0000          -
2022.62/2029.29	c      2029           1050           0         1                -           0.0000          -
2158.50/2165.69	c      2166           1051           1         1                -           0.0000          -
2278.08/2285.68	c      2286           1059           9         1                -           0.0000          -
2306.79/2314.45	c      2314           1061          11         1                -           0.0000          -
2311.87/2319.55	c      2320           1062          12         1                -           0.0000          -
2320.64/2328.37	c      2328           1074          24         1                -           0.0000          -
2327.11/2334.80	c      2335           1076          26         1                -           0.0000          -
2333.79/2341.51	c      2342           1078          28         1                -           0.0000          -
2339.76/2347.51	c      2348           1080          30         1                -           0.0000          -
2348.93/2356.75	c      2357           1081          31         1                -           0.0000          -
2354.61/2362.46	c      2362           1084          34         1                -           0.0000          -
2361.19/2369.03	c      2369           1086          36         1                -           0.0000          -
2378.13/2386.05	c      2386           1093          43         1                -           0.0000          -
2383.81/2391.73	c      2392           1095          45         1                -           0.0000          -
2394.57/2402.55	c      2403           1098          48         1                -           0.0000          -
2399.64/2407.64	c      2408           1105          55         1                -           0.0000          -
2410.01/2418.02	c      2418           1113          63         1                -           0.0000          -
2431.23/2439.39	c      2439           1118          68         1                -           0.0000          -
2436.81/2444.93	c      2445           1125          75         1                -           0.0000          -
2441.89/2450.02	c      2450           1131          81         1                -           0.0000          -
2451.55/2459.76	c      2460           1141          91         1                -           0.0000          -
2463.92/2472.10	c      2472           1146          96         1                -           0.0000          -
2477.07/2485.32	c      2485           1153         103         1                -           0.0000          -
2482.35/2490.68	c      2491           1156         106         1                -           0.0000          -
2488.83/2497.14	c      2497           1162         112         1                -           0.0000          -
2502.98/2511.39	c      2511           1168         118         1                -           0.0000          -
2508.65/2517.01	c      2517           1174         124         1                -           0.0000          -
2516.53/2524.90	c      2525           1178         128         1                -           0.0000          -
2533.77/2542.29	c      2542           1181         131         1                -           0.0000          -
2541.54/2550.00	c      2550           1183         133         1                -           0.0000          -
2549.71/2558.27	c      2558           1187         137         1                -           0.0000          -
2565.55/2574.15	c      2574           1191         141         1                -           0.0000          -
2584.49/2593.15	c      2593           1195         145         1                -           0.0000          -
2589.47/2598.19	c      2598           1198         148         1                -           0.0000          -
2595.24/2603.92	c      2604           1203         153         1                -           0.0000          -
2601.21/2609.96	c      2610           1210         160         1                -           0.0000          -
2608.39/2617.11	c      2617           1218         168         1                -           0.0000          -
2619.24/2628.08	c      2628           1224         174         1                -           0.0000          -
2625.32/2634.14	c      2634           1234         184         1                -           0.0000          -
2647.43/2656.30	c      2656           1244         194         1                -           0.0000          -
2654.11/2663.01	c      2663           1250         200         1                -           0.0000          -
2660.17/2669.19	c      2669           1257         207         1                -           0.0000          -
2668.04/2677.07	c      2677           1261         211         1                -           0.0000          -
2674.41/2683.49	c      2684           1269         219         1                -           0.0000          -
2686.28/2695.30	c      2695           1274         224         1                -           0.0000          -
2700.93/2710.04	c      2710           1277         227         1                -           0.0000          -
2706.01/2715.12	c      2715           1287         237         1                -           0.0000          -
2712.26/2721.41	c      2721           1291         241         1                -           0.0000          -
2727.12/2736.38	c      2736           1294         244         1                -           0.0000          -
2737.18/2746.44	c      2746           1297         247         1                -           0.0000          -
2747.25/2756.59	c      2757           1306         256         1                -           0.0000          -
2768.68/2778.08	c      2778           1311         261         1                -           0.0000          -
2784.42/2793.85	c      2794           1315         265         1                -           0.0000          -
2794.39/2803.88	c      2804           1319         269         1                -           0.0000          -
2800.46/2809.91	c      2810           1324         274         1                -           0.0000          -
2806.82/2816.31	c      2816           1332         282         1                -           0.0000          -
2812.00/2821.50	c      2822           1336         286         1                -           0.0000          -
2827.25/2836.84	c      2837           1337         287         1                -           0.0000          -
2834.92/2844.58	c      2845           1342         292         1                -           0.0000          -
2840.59/2850.26	c      2850           1348         298         1                -           0.0000          -
2850.65/2860.37	c      2860           1349         299         1                -           0.0000          -
2864.60/2874.34	c      2874           1351         301         1                -           0.0000          -
2872.67/2882.45	c      2882           1354         304         1                -           0.0000          -
2878.05/2887.87	c      2888           1356         306         1                -           0.0000          -
2884.44/2894.26	c      2894           1358         308         1                -           0.0000          -
2899.08/2908.99	c      2909           1366         316         1                -           0.0000          -
2906.96/2916.84	c      2917           1371         321         1                -           0.0000          -
2913.33/2923.23	c      2923           1381         331         1                -           0.0000          -
2935.94/2945.96	c      2946           1389         339         1                -           0.0000          -
2942.41/2952.41	c      2952           1397         347         1                -           0.0000          -
2958.44/2968.54	c      2969           1401         351         1                -           0.0000          -
2965.81/2975.98	c      2976           1409         359         1                -           0.0000          -
2980.97/2991.17	c      2991           1411         361         1                -           0.0000          -
2986.83/2997.08	c      2997           1415         365         1                -           0.0000          -
3007.86/3018.13	c      3018           1421         371         1                -           0.0000          -
3019.21/3029.59	c      3030           1423         373         1                -           0.0000          -
3026.19/3036.52	c      3037           1431         381         1                -           0.0000          -
3031.68/3042.03	c      3042           1443         393         1                -           0.0000          -
3037.34/3047.71	c      3048           1452         402         1                -           0.0000          -
3043.02/3053.42	c      3053           1458         408         1                -           0.0000          -
3060.46/3070.96	c      3071           1461         411         1                -           0.0000          -
3071.03/3081.58	c      3082           1467         417         1                -           0.0000          -
3080.10/3090.64	c      3091           1469         419         1                -           0.0000          -
3085.87/3096.44	c      3096           1476         426         1                -           0.0000          -
3092.14/3102.74	c      3103           1484         434         1                -           0.0000          -
3102.40/3113.08	c      3113           1488         438         1                -           0.0000          -
3121.63/3132.32	c      3132           1491         441         1                -           0.0000          -
3136.78/3147.55	c      3148           1494         444         1                -           0.0000          -
3143.75/3154.54	c      3155           1501         451         1                -           0.0000          -
3151.03/3161.85	c      3162           1506         456         1                -           0.0000          -
3164.08/3174.95	c      3175           1508         458         1                -           0.0000          -
3169.86/3180.74	c      3181           1523         473         1                -           0.0000          -
3175.52/3186.42	c      3186           1529         479         1                -           0.0000          -
3187.99/3198.90	c      3199           1535         485         1                -           0.0000          -
3207.41/3218.45	c      3218           1541         491         1                -           0.0000          -
3218.08/3229.12	c      3229           1546         496         1                -           0.0000          -
3229.82/3240.93	c      3241           1555         505         1                -           0.0000          -
3241.98/3253.17	c      3253           1556         506         1                -           0.0000          -
3248.35/3259.59	c      3260           1562         512         1                -           0.0000          -
3253.63/3264.86	c      3265           1568         518         1                -           0.0000          -
3262.00/3273.25	c      3273           1569         519         1                -           0.0000          -
3270.37/3281.62	c      3282           1575         525         1                -           0.0000          -
3288.72/3300.00	c      3300           1579         529         1                -           0.0000          -
3294.10/3305.49	c      3306           1586         536         1                -           0.0000          -
3300.47/3311.82	c      3312           1596         546         1                -           0.0000          -
3305.84/3317.25	c      3317           1599         549         1                -           0.0000          -
3312.31/3323.76	c      3324           1605         555         1                -           0.0000          -
3327.75/3339.26	c      3339           1609         559         1                -           0.0000          -
3332.92/3344.47	c      3344           1614         564         1                -           0.0000          -
3355.45/3367.07	c      3367           1616         566         1                -           0.0000          -
3382.15/3393.83	c      3394           1621         571         1                -           0.0000          -
3387.34/3399.01	c      3399           1628         578         1                -           0.0000          -
3394.10/3405.80	c      3406           1634         584         1                -           0.0000          -
3400.38/3412.15	c      3412           1640         590         1                -           0.0000          -
3425.10/3436.93	c      3437           1641         591         1                -           0.0000          -
3431.36/3443.26	c      3443           1646         596         1                -           0.0000          -
3448.31/3460.21	c      3460           1647         597         1                -           0.0000          -
3466.95/3478.92	c      3479           1651         601         1                -           0.0000          -
3474.92/3486.95	c      3487           1654         604         1                -           0.0000          -
3480.90/3492.99	c      3493           1668         618         1                -           0.0000          -
3487.36/3499.42	c      3499           1670         620         1                -           0.0000          -
3501.02/3513.17	c      3513           1674         624         1                -           0.0000          -
3513.78/3525.94	c      3526           1677         627         1                -           0.0000          -
3568.19/3580.56	c      3581           1681         631         1                -           0.0000          -
3574.47/3586.80	c      3587           1692         642         1                -           0.0000          -
3587.82/3600.26	c      3600           1692         642         0                -           0.0000          -
3588.32/3600.74	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.32/3600.74	c Total Time         : 3600.7500
3588.32/3600.74	c   solving          : 3600.7500
3588.32/3600.74	c   presolving       : 13.5140 (included in solving)
3588.32/3600.74	c B&B Tree           :
3588.32/3600.74	c   nodes (total)    : 1
3588.32/3600.74	c Solution           :
3588.32/3600.74	c   Solutions found  : 0
3588.32/3600.74	c   Primal Bound     :          -
3588.32/3600.74	c   Dual Bound       : +0.00000000000000e+00
3588.32/3600.74	c Gap                :          -
3588.62/3601.04	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61179 MiB free)
  memory of node 1: 64510 MiB (61434 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=974484, runsolver pid=974481

[startup+0.100614 s]*
/proc/loadavg: 4.06 4.08 4.11 5/264 974485
/proc/meminfo: memFree=125523440/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=55704 memory=43732 CPUtime=0.1 cores=4,6
/proc/974484/stat : 974484 (fscip) R 974481 974484 968454 0 -1 4194304 8888 0 0 0 9 1 0 0 20 0 1 0 184703406 57040896 10933 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 13926 10933 2318 3032 0 10326 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55704 KiB
Current children cumulated memory: 43732 KiB

[startup+0.205582 s]*
/proc/loadavg: 4.06 4.08 4.11 5/264 974485
/proc/meminfo: memFree=125492872/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=86152 memory=73756 CPUtime=0.2 cores=4,6
/proc/974484/stat : 974484 (fscip) R 974481 974484 968454 0 -1 4194304 16390 0 0 0 18 2 0 0 20 0 1 0 184703406 88219648 18439 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 21538 18439 2318 3032 0 17938 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86152 KiB
Current children cumulated memory: 73756 KiB

[startup+0.305523 s]*
/proc/loadavg: 4.13 4.10 4.11 5/264 974485
/proc/meminfo: memFree=125464508/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=114808 memory=102492 CPUtime=0.3 cores=4,6
/proc/974484/stat : 974484 (fscip) R 974481 974484 968454 0 -1 4194304 23556 0 0 0 27 3 0 0 20 0 1 0 184703406 117563392 25623 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 28702 25623 2318 3032 0 25102 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114808 KiB
Current children cumulated memory: 102492 KiB

[startup+0.700226 s]
/proc/loadavg: 4.13 4.10 4.11 5/264 974485
/proc/meminfo: memFree=125363148/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=312400 memory=296384 CPUtime=0.69 cores=4,6
/proc/974484/stat : 974484 (fscip) R 974481 974484 968454 0 -1 4194304 72443 0 0 0 59 10 0 0 20 0 1 0 184703406 319897600 74096 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 78100 74096 2606 3032 0 74500 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 312400 KiB
Current children cumulated memory: 296384 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.10 4.11 5/264 974485
/proc/meminfo: memFree=125209116/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=478088 memory=459116 CPUtime=1.48 cores=4,6
/proc/974484/stat : 974484 (fscip) R 974481 974484 968454 0 -1 4194304 91039 0 0 0 133 15 0 0 20 0 1 0 184703406 489562112 114779 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 119522 114779 2654 3032 0 115922 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 478088 KiB
Current children cumulated memory: 459116 KiB

[startup+3.10546 s]
/proc/loadavg: 4.13 4.10 4.11 5/264 974485
/proc/meminfo: memFree=125115280/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=469704 memory=448732 CPUtime=3.08 cores=4,6
/proc/974484/stat : 974484 (fscip) R 974481 974484 968454 0 -1 4194304 115130 0 0 0 289 19 0 0 20 0 1 0 184703406 480976896 112183 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 117426 112183 2734 3032 0 113826 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 469704 KiB
Current children cumulated memory: 448732 KiB

[startup+6.30021 s]
/proc/loadavg: 4.12 4.09 4.11 5/264 974485
/proc/meminfo: memFree=125113824/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=469704 memory=449200 CPUtime=6.27 cores=4,6
/proc/974484/stat : 974484 (fscip) R 974481 974484 968454 0 -1 4194304 115264 0 0 0 608 19 0 0 20 0 1 0 184703406 480976896 112300 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 117426 112300 2734 3032 0 113826 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 469704 KiB
Current children cumulated memory: 449200 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.11 5/262 974533
/proc/meminfo: memFree=125363952/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=685428 memory=608856 CPUtime=12.65 cores=4,6
/proc/974484/stat : 974484 (fscip) R 974481 974484 968454 0 -1 4194304 119167 0 0 0 1242 23 0 0 20 0 1 0 184703406 701878272 152214 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 171357 152214 2734 3032 0 167757 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 685428 KiB
Current children cumulated memory: 608856 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.09 4.11 5/266 974538
/proc/meminfo: memFree=122545612/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=2052728 memory=1821232 CPUtime=25.41 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 315013 0 0 0 2476 65 0 0 20 0 3 0 184703406 2101993472 455308 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 513182 455308 2926 3032 0 492255 0
[pid=974484/tid=974534] ppid=974481 vsize=2052728 memory=1821212 CPUtime=10.96 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 157779 0 0 0 1063 33 0 0 20 0 3 0 184704822 2101993472 455308 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=2052728 memory=1697004 CPUtime=0 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 184704881 2101993472 455308 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2052728 KiB
Current children cumulated memory: 1821232 KiB

[startup+51.1049 s]
/proc/loadavg: 4.21 4.11 4.11 5/266 974543
/proc/meminfo: memFree=122045504/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=2052728 memory=1859968 CPUtime=50.96 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 367410 0 0 0 5028 68 0 0 20 0 3 0 184703406 2101993472 464992 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 513182 464992 2926 3032 0 507223 0
[pid=974484/tid=974534] ppid=974481 vsize=2052728 memory=1859968 CPUtime=36.51 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 210166 0 0 0 3615 36 0 0 20 0 3 0 184704822 2101993472 464992 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=2052728 memory=1859968 CPUtime=0 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 184704881 2101993472 464992 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2052728 KiB
Current children cumulated memory: 1859968 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.11 5/268 974722
/proc/meminfo: memFree=121995656/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=2066820 memory=1859984 CPUtime=102.04 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 476326 0 0 0 10129 75 0 0 20 0 3 0 184703406 2116423680 464996 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 516705 464996 2926 3032 0 510747 0
[pid=974484/tid=974534] ppid=974481 vsize=2066820 memory=1859984 CPUtime=87.58 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 319072 0 0 0 8716 42 0 0 20 0 3 0 184704822 2116423680 464996 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=2066820 memory=1859984 CPUtime=0 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 184704881 2116423680 464996 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2066820 KiB
Current children cumulated memory: 1859984 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/268 974733
/proc/meminfo: memFree=121978868/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=2085248 memory=1863152 CPUtime=161.86 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 535997 0 0 0 16107 79 0 0 20 0 3 0 184703406 2135293952 465788 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 521312 465788 2926 3032 0 515354 0
[pid=974484/tid=974534] ppid=974481 vsize=2085248 memory=0 CPUtime=147.41 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 378733 0 0 0 14694 47 0 0 20 0 3 0 184704822 2135293952 465788 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=2085248 memory=1863152 CPUtime=0 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 184704881 2135293952 465788 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2085248 KiB
Current children cumulated memory: 1863152 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/267 974759
/proc/meminfo: memFree=121966216/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=2150784 memory=1867540 CPUtime=221.69 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 633102 0 0 0 22084 85 0 0 20 0 3 0 184703406 2202402816 466885 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 537696 466885 2926 3032 0 525337 0
[pid=974484/tid=974534] ppid=974481 vsize=2150784 memory=1867532 CPUtime=207.23 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 475833 0 0 0 20671 52 0 0 20 0 3 0 184704822 2202402816 466885 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=2150784 memory=7676 CPUtime=0 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 184704881 2202402816 466885 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2150784 KiB
Current children cumulated memory: 1867540 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 974769
/proc/meminfo: memFree=121628188/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=2150784 memory=1880540 CPUtime=281.51 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 1645455 0 0 0 27973 178 0 0 20 0 3 0 184703406 2202402816 470135 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 537696 470135 2926 3032 0 531586 0
[pid=974484/tid=974534] ppid=974481 vsize=2150784 memory=1876936 CPUtime=267.06 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 1488178 0 0 0 26561 145 0 0 20 0 3 0 184704822 2202402816 470135 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=2150784 memory=1878204 CPUtime=0 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 184704881 2202402816 470135 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 2150784 KiB
Current children cumulated memory: 1880540 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 974779

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

/proc/loadavg: 3.07 3.14 3.46 4/256 976041
/proc/meminfo: memFree=112939532/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=4100684 memory=2626328 CPUtime=3390.62 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 7337649 0 0 0 338468 594 0 0 20 0 3 0 184703406 4199100416 656582 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 1025171 656582 2990 3032 0 985483 0
[pid=974484/tid=974534] ppid=974481 vsize=4100684 memory=2626324 CPUtime=3376.08 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 7178728 0 0 0 337051 557 0 0 20 0 3 0 184704822 4199100416 656582 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=4100684 memory=2626328 CPUtime=0.03 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 307 0 0 0 1 2 0 0 20 0 3 0 184704881 4199100416 656582 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 3390.62 s
Current children cumulated vsize: 4100684 KiB
Current children cumulated memory: 2626328 KiB

[startup+3462.3 s]
/proc/loadavg: 3.08 3.12 3.44 4/256 976051
/proc/meminfo: memFree=112928460/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=4119120 memory=2626352 CPUtime=3450.4 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 7403119 0 0 0 344442 598 0 0 20 0 3 0 184703406 4217978880 656588 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 1029780 656588 2990 3032 0 990092 0
[pid=974484/tid=974534] ppid=974481 vsize=4119120 memory=27460 CPUtime=3435.86 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 7244161 0 0 0 343026 560 0 0 20 0 3 0 184704822 4217978880 656588 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=4119120 memory=2626352 CPUtime=0.03 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 312 0 0 0 1 2 0 0 20 0 3 0 184704881 4217978880 656588 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 3450.4 s
Current children cumulated vsize: 4119120 KiB
Current children cumulated memory: 2626352 KiB

[startup+3522.3 s]
/proc/loadavg: 3.07 3.11 3.41 4/256 976445
/proc/meminfo: memFree=112926604/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=4137560 memory=2626428 CPUtime=3510.19 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 7500778 0 0 0 350416 603 0 0 20 0 3 0 184703406 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 1034390 656607 2990 3032 0 994702 0
[pid=974484/tid=974534] ppid=974481 vsize=4137560 memory=2626352 CPUtime=3495.66 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 7341775 0 0 0 349000 566 0 0 20 0 3 0 184704822 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=4137560 memory=2626428 CPUtime=0.03 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 318 0 0 0 1 2 0 0 20 0 3 0 184704881 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 3510.19 s
Current children cumulated vsize: 4137560 KiB
Current children cumulated memory: 2626428 KiB

[startup+3582.3 s]
/proc/loadavg: 3.45 3.20 3.43 4/256 976455
/proc/meminfo: memFree=112925796/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=4137560 memory=2626428 CPUtime=3569.98 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 7556503 0 0 0 356391 607 0 0 20 0 3 0 184703406 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 1034390 656607 2990 3032 0 994702 0
[pid=974484/tid=974534] ppid=974481 vsize=4137560 memory=2626428 CPUtime=3555.44 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 7397476 0 0 0 354975 569 0 0 20 0 3 0 184704822 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=4137560 memory=2626428 CPUtime=0.03 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 325 0 0 0 1 2 0 0 20 0 3 0 184704881 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 3569.98 s
Current children cumulated vsize: 4137560 KiB
Current children cumulated memory: 2626428 KiB

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

# cumulated CPU time of all completed processes:  user=3582.5 s, system=6.20702 s

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

[startup+3584 s]*
/proc/loadavg: 3.45 3.20 3.43 4/256 976455
/proc/meminfo: memFree=112925796/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=4137560 memory=2626428 CPUtime=3571.69 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 7564468 0 0 0 356561 608 0 0 20 0 3 0 184703406 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 1034390 656607 2990 3032 0 994702 0
[pid=974484/tid=974534] ppid=974481 vsize=4137560 memory=-6587191098482015077 CPUtime=3557.14 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 7405435 0 0 0 355144 570 0 0 20 0 3 0 184704822 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=4137560 memory=16888 CPUtime=0.03 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 325 0 0 0 1 2 0 0 20 0 3 0 184704881 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 4137560 KiB
Current children cumulated memory: 2626428 KiB

[startup+3590.4 s]
/proc/loadavg: 3.41 3.20 3.42 4/256 976457
/proc/meminfo: memFree=112925676/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=4137560 memory=2626428 CPUtime=3578.05 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 7568869 0 0 0 357197 608 0 0 20 0 3 0 184703406 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 1034390 656607 2990 3032 0 994702 0
[pid=974484/tid=974534] ppid=974481 vsize=4137560 memory=7676 CPUtime=3563.51 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 7409836 0 0 0 355781 570 0 0 20 0 3 0 184704822 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=4137560 memory=164 CPUtime=0.03 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 325 0 0 0 1 2 0 0 20 0 3 0 184704881 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 3578.05 s
Current children cumulated vsize: 4137560 KiB
Current children cumulated memory: 2626428 KiB

[startup+3596.8 s]
/proc/loadavg: 3.38 3.20 3.42 4/256 976458
/proc/meminfo: memFree=112923636/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=4137560 memory=2626428 CPUtime=3584.43 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 7569672 0 0 0 357835 608 0 0 20 0 3 0 184703406 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 1034390 656607 2990 3032 0 994702 0
[pid=974484/tid=974534] ppid=974481 vsize=4137560 memory=2626428 CPUtime=3569.89 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 7410639 0 0 0 356419 570 0 0 20 0 3 0 184704822 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=4137560 memory=2626428 CPUtime=0.03 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 325 0 0 0 1 2 0 0 20 0 3 0 184704881 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 3584.43 s
Current children cumulated vsize: 4137560 KiB
Current children cumulated memory: 2626428 KiB

[startup+3598.4 s]
/proc/loadavg: 3.35 3.19 3.42 4/256 976458
/proc/meminfo: memFree=112923604/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=4137560 memory=2626428 CPUtime=3586.03 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 7569672 0 0 0 357995 608 0 0 20 0 3 0 184703406 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 1034390 656607 2990 3032 0 994702 0
[pid=974484/tid=974534] ppid=974481 vsize=4137560 memory=27460 CPUtime=3571.49 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 7410639 0 0 0 356579 570 0 0 20 0 3 0 184704822 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=4137560 memory=4892 CPUtime=0.03 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 325 0 0 0 1 2 0 0 20 0 3 0 184704881 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 4137560 KiB
Current children cumulated memory: 2626428 KiB

[startup+3600 s]*
/proc/loadavg: 3.35 3.19 3.42 4/256 976459
/proc/meminfo: memFree=112923584/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=4137560 memory=2626428 CPUtime=3587.63 cores=4,6
/proc/974484/stat : 974484 (fscip) S 974481 974484 968454 0 -1 1077936128 7569672 0 0 0 358155 608 0 0 20 0 3 0 184703406 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 1034390 656607 2990 3032 0 994702 0
[pid=974484/tid=974534] ppid=974481 vsize=4137560 memory=-6587191098482015077 CPUtime=3573.09 cores=4,6
/proc/974484/task/974534/stat : 974534 (fscip) R 974481 974484 968454 0 -1 4194368 7410639 0 0 0 356739 570 0 0 20 0 3 0 184704822 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
[pid=974484/tid=974535] ppid=974481 vsize=4137560 memory=-7304687579098866556 CPUtime=0.03 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 325 0 0 0 1 2 0 0 20 0 3 0 184704881 4236861440 656607 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 4137560 KiB
Current children cumulated memory: 2626428 KiB

[startup+3600.8 s]
/proc/loadavg: 3.35 3.19 3.42 4/256 976459
/proc/meminfo: memFree=112923584/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=2032592 memory=1813220 CPUtime=3588.42 cores=4,6
/proc/974484/stat : 974484 (fscip) R 974481 974484 968454 0 -1 4194304 7637890 0 0 0 358229 613 0 0 20 0 2 0 184703406 2081374208 453305 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 508148 453305 2990 3032 0 501170 0
[pid=974484/tid=974535] ppid=974481 vsize=2032592 memory=-6587191098482015077 CPUtime=0.03 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 325 0 0 0 1 2 0 0 20 0 2 0 184704881 2081374208 453305 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 3588.42 s
Current children cumulated vsize: 2032592 KiB
Current children cumulated memory: 1813220 KiB

[startup+3601 s]*
/proc/loadavg: 3.35 3.19 3.42 4/255 976459
/proc/meminfo: memFree=113803024/131524600 swapFree=130799128/131071996
[pid=974484] ppid=974481 vsize=1967748 memory=1748644 CPUtime=3588.62 cores=4,6
/proc/974484/stat : 974484 (fscip) R 974481 974484 968454 0 -1 4194304 7664586 0 0 0 358247 615 0 0 20 0 2 0 184703406 2014973952 437161 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
/proc/974484/statm: 491937 437161 2990 3032 0 484959 0
[pid=974484/tid=974535] ppid=974481 vsize=1967748 memory=-6587191098482015077 CPUtime=0.03 cores=4,6
/proc/974484/task/974535/stat : 974535 (fscip) S 974481 974484 968454 0 -1 1077936192 325 0 0 0 1 2 0 0 20 0 2 0 184704881 2014973952 437161 134679101440 4194304 16613245 140735303192864 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47824896 140735303197716 140735303197832 140735303197832 140735303204848 0
Current children cumulated CPU time: 3588.62 s
Current children cumulated vsize: 1967748 KiB
Current children cumulated memory: 1748644 KiB

Child status: 0

Real time (s): 3601.08
CPU time (s): 3588.7
CPU user time (s): 3582.5
CPU system time (s): 6.20702
CPU usage (%): 99.6563
Max. virtual memory (cumulated for all children) (KiB): 4137560
Max. memory (cumulated for all children) (KiB): 2626432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.5
system time used= 6.20702
maximum resident set size= 2628448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7672305
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= 5114
involuntary context switches= 1646


# summary of solver processes directly reported to runsolver:
#   pid: 974484
#   total CPU time (s): 3588.7
#   total CPU user time (s): 3582.5
#   total CPU system time (s): 6.20702

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62666 second user time and 16.8826 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-18 19:57:35
IDJOB=4446110
IDBENCH=155450
IDSOLVER=3064
FILE ID=nodeC014/4446110-1721325442
RUNJOBID= nodeC014-1721318012-968465
SLURM_JOB_ID= 7542671
Free space on /tmp= 889992 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-20.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-4446110-1721325442/watcher-4446110-1721325442 -o /tmp/evaluation-result-4446110-1721325442/solver-4446110-1721325442 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968465 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4446110-1721325442.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= ce92e16bf0ab8af5c50df3c37225d359
RANDOM SEED=377433427

nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125557464 kB
MemAvailable:   128811660 kB
Buffers:          453436 kB
Cached:          3604328 kB
SwapCached:        12908 kB
Active:          1382520 kB
Inactive:        3996604 kB
Active(anon):       9308 kB
Inactive(anon):  1332616 kB
Active(file):    1373212 kB
Inactive(file):  2663988 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130799128 kB
Dirty:             36704 kB
Writeback:            12 kB
AnonPages:       1308888 kB
Mapped:            85164 kB
Shmem:             20528 kB
KReclaimable:     113288 kB
Slab:             211072 kB
SReclaimable:     113288 kB
SUnreclaim:        97784 kB
KernelStack:        4208 kB
PageTables:        12504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1314132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35168 kB
HardwareCorrupted:     0 kB
AnonHugePages:    884736 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      232148 kB
DirectMap2M:    25755648 kB
DirectMap1G:    110100480 kB

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