Trace number 4426937

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? 3586.93 3601.27

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-22reduc_wcsp.wbo
MD5SUM145fe6fe39a80fcaff25336bfbc8c080
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1430
Total number of constraints70954
Number of soft constraints70873
Number of constraints which are clauses70873
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint22
Top cost 3389
Min constraint cost 1
Max constraint cost 2435
Sum of constraints costs 23717414
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 23
Number of bits of the biggest sum of numbers5
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.39/0.45	c Default LC presolving (default).
0.39/0.45	c ** Before presolving: virtualMemUsedAtLc = 450482012, getVmSize() = 288415744, SCIPgetMemUsed() = 243081307, SCIPgetMemTotal() = 253426035, SCIPgetMemExternEstim() = 197055977
0.39/0.45	c ** set memory limit for presolving in LC to 8.79596e+12 for SCIP **
49.53/49.73	c ** Estimated virtualMemUsedAtSolver = 607130055, getVmSize() = 772038656, SCIPgetMemUsed() = 487371930, SCIPgetMemTotal() = 713639106, SCIPgetMemExternEstim() = 197055977
49.53/49.73	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
49.53/49.73	c Original Problem   :
49.53/49.73	c   Problem name     : instance-4426937-1720906081
49.53/49.73	c   Variables        : 72303 (72303 binary, 0 integer, 0 implicit integer, 0 continuous)
49.53/49.73	c   Constraints      : 141828
49.53/49.73	c   Objective sense  : minimize
49.53/49.73	c Presolved Problem  :
49.53/49.73	c   Variables        : 143176 (72303 binary, 0 integer, 70873 implicit integer, 0 continuous)
49.53/49.73	c   Constraints      : 141828
49.53/49.73	c Constraints        : Number
49.53/49.73	c   knapsack         : 1 
49.53/49.73	c   setppc           : 81 
49.53/49.73	c   linear           : 70873 
49.53/49.73	c   indicator        : 70873 
49.53/49.73	c ** Instance transfer method used: 0
50.04/50.26	c ** ParaScipInstance copy does not increase the number of variables. **
50.44/50.69	c LC is working with racing ramp-up and with rebuilding tree after racing.
50.44/50.69	c                                Nodes    Active                                            
50.44/50.69	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
1005.17/1008.54	c      1009              2           1         1                -           0.0000          -
1015.12/1018.50	c      1018              4           3         1                -           0.0000          -
1020.79/1024.22	c      1024              5           4         1                -           0.0000          -
1028.75/1032.28	c      1032              6           5         1                -           0.0000          -
1052.55/1056.14	c      1056              7           6         1                -           0.0000          -
1058.22/1061.87	c      1062              8           7         1                -           0.0000          -
1069.56/1073.21	c      1073              9           8         1                -           0.0000          -
1077.73/1081.43	c      1081             10           9         1                -           0.0000          -
1089.78/1093.53	c      1094             12          11         1                -           0.0000          -
1097.65/1101.48	c      1101             13          12         1                -           0.0000          -
1108.10/1111.90	c      1112             14          13         1                -           0.0000          -
1129.91/1133.84	c      1134             16          13         1                -           0.0000          -
1140.86/1144.89	c      1145             18          15         1                -           0.0000          -
1148.62/1152.60	c      1153             20          17         1                -           0.0000          -
1153.80/1157.86	c      1158             21          18         1                -           0.0000          -
1162.75/1166.80	c      1167             23          20         1                -           0.0000          -
1168.32/1172.43	c      1172             24          21         1                -           0.0000          -
1183.66/1187.80	c      1188             26          23         1                -           0.0000          -
1195.20/1199.44	c      1199             28          25         1                -           0.0000          -
1200.98/1205.26	c      1205             29          26         1                -           0.0000          -
1208.94/1213.22	c      1213             31          28         1                -           0.0000          -
1214.61/1218.94	c      1219             33          30         1                -           0.0000          -
1220.68/1225.01	c      1225             34          31         1                -           0.0000          -
1230.63/1235.02	c      1235             44          41         1                -           0.0000          -
1238.79/1243.22	c      1243             50          47         1                -           0.0000          -
1253.03/1257.59	c      1258             57          54         1                -           0.0000          -
1262.89/1267.42	c      1267             63          60         1                -           0.0000          -
1267.87/1272.46	c      1272             74          71         1                -           0.0000          -
1273.54/1278.14	c      1278             78          75         1                -           0.0000          -
1295.54/1300.25	c      1300             83          80         1                -           0.0000          -
1307.40/1312.15	c      1312             89          86         1                -           0.0000          -
1313.16/1317.98	c      1318            100          97         1                -           0.0000          -
1321.63/1326.48	c      1326            101          98         1                -           0.0000          -
1329.09/1333.99	c      1334            112         109         1                -           0.0000          -
1336.35/1341.27	c      1341            125         122         1                -           0.0000          -
1342.32/1347.21	c      1347            132         129         1                -           0.0000          -
1353.58/1358.51	c      1359            137         134         1                -           0.0000          -
1359.35/1364.31	c      1364            145         142         1                -           0.0000          -
1367.02/1372.02	c      1372            152         147         1                -           0.0000          -
1372.58/1377.64	c      1378            162         157         1                -           0.0000          -
1388.22/1393.34	c      1393            171         166         1                -           0.0000          -
1393.78/1398.98	c      1399            177         172         1                -           0.0000          -
1400.64/1405.83	c      1406            189         182         1                -           0.0000          -
1414.49/1419.78	c      1420            194         187         1                -           0.0000          -
1419.86/1425.17	c      1425            202         195         1                -           0.0000          -
1425.23/1430.58	c      1431            205         198         1                -           0.0000          -
1430.61/1435.95	c      1436            215         202         1                -           0.0000          -
1439.77/1445.13	c      1445            227         214         1                -           0.0000          -
1453.21/1458.70	c      1459            236         223         1                -           0.0000          -
1458.47/1463.95	c      1464            243         230         1                -           0.0000          -
1469.03/1474.52	c      1475            249         236         1                -           0.0000          -
1475.89/1481.48	c      1481            263         248         1                -           0.0000          -
1480.96/1486.57	c      1487            273         258         1                -           0.0000          -
1487.33/1492.93	c      1493            280         263         1                -           0.0000          -
1494.20/1499.86	c      1500            289         272         1                -           0.0000          -
1499.67/1505.30	c      1505            292         275         1                -           0.0000          -
1505.15/1510.89	c      1511            298         281         1                -           0.0000          -
1511.62/1517.39	c      1517            302         285         1                -           0.0000          -
1516.70/1522.43	c      1522            306         289         1                -           0.0000          -
1521.77/1527.54	c      1528            308         291         1                -           0.0000          -
1529.13/1534.90	c      1535            322         301         1                -           0.0000          -
1537.39/1543.28	c      1543            332         311         1                -           0.0000          -
1545.54/1551.46	c      1551            348         323         1                -           0.0000          -
1551.91/1557.87	c      1558            356         331         1                -           0.0000          -
1557.69/1563.67	c      1564            364         339         1                -           0.0000          -
1564.95/1570.93	c      1571            369         344         1                -           0.0000          -
1571.82/1577.84	c      1578            374         349         1                -           0.0000          -
1578.48/1584.59	c      1585            382         357         1                -           0.0000          -
1583.56/1589.69	c      1590            389         364         1                -           0.0000          -
1606.48/1612.65	c      1613            395         370         1                -           0.0000          -
1614.84/1621.09	c      1621            402         377         1                -           0.0000          -
1621.41/1627.66	c      1628            408         383         1                -           0.0000          -
1628.58/1634.82	c      1635            418         393         1                -           0.0000          -
1634.15/1640.43	c      1640            426         401         1                -           0.0000          -
1639.23/1645.53	c      1646            431         406         1                -           0.0000          -
1647.89/1654.21	c      1654            434         409         1                -           0.0000          -
1653.26/1659.68	c      1660            447         418         1                -           0.0000          -
1659.23/1665.69	c      1666            451         422         1                -           0.0000          -
1666.00/1672.47	c      1672            465         434         1                -           0.0000          -
1672.17/1678.60	c      1679            472         441         1                -           0.0000          -
1677.54/1684.00	c      1684            478         445         1                -           0.0000          -
1684.61/1691.16	c      1691            493         454         1                -           0.0000          -
1691.97/1698.55	c      1699            509         462         1                -           0.0000          -
1697.94/1704.53	c      1705            517         470         1                -           0.0000          -
1715.18/1721.86	c      1722            519         472         1                -           0.0000          -
1722.04/1728.79	c      1729            527         480         1                -           0.0000          -
1728.41/1735.15	c      1735            546         495         1                -           0.0000          -
1733.58/1740.38	c      1740            553         502         1                -           0.0000          -
1739.15/1745.97	c      1746            563         508         1                -           0.0000          -
1746.22/1753.01	c      1753            577         518         1                -           0.0000          -
1753.58/1760.43	c      1760            592         529         1                -           0.0000          -
1758.85/1765.74	c      1766            602         537         1                -           0.0000          -
1765.22/1772.17	c      1772            610         540         1                -           0.0000          -
1771.88/1778.82	c      1779            620         550         1                -           0.0000          -
1779.05/1786.06	c      1786            632         559         1                -           0.0000          -
1785.02/1792.08	c      1792            649         566         1                -           0.0000          -
1790.89/1797.99	c      1798            660         575         1                -           0.0000          -
1796.66/1803.75	c      1804            669         580         1                -           0.0000          -
1801.94/1809.04	c      1809            686         587         1                -           0.0000          -
1807.21/1814.36	c      1814            696         595         1                -           0.0000          -
1812.68/1819.89	c      1820            705         600         1                -           0.0000          -
1821.36/1828.57	c      1829            714         607         1                -           0.0000          -
1827.02/1834.26	c      1834            724         615         1                -           0.0000          -
1832.20/1839.48	c      1839            735         620         1                -           0.0000          -
1837.97/1845.22	c      1845            745         630         1                -           0.0000          -
1857.31/1864.61	c      1865            746         631         1                -           0.0000          -
1862.79/1870.11	c      1870            759         640         1                -           0.0000          -
1868.25/1875.63	c      1876            771         648         1                -           0.0000          -
1879.01/1886.45	c      1886            780         651         1                -           0.0000          -
1884.88/1892.38	c      1892            788         659         1                -           0.0000          -
1892.05/1899.57	c      1900            798         667         1                -           0.0000          -
1897.73/1905.29	c      1905            813         674         1                -           0.0000          -
1903.20/1910.71	c      1911            821         682         1                -           0.0000          -
1911.67/1919.22	c      1919            828         687         1                -           0.0000          -
1917.34/1924.93	c      1925            836         695         1                -           0.0000          -
1923.30/1930.97	c      1931            842         701         1                -           0.0000          -
1928.49/1936.19	c      1936            849         708         1                -           0.0000          -
1953.99/1961.73	c      1962            856         715         1                -           0.0000          -
1959.96/1967.72	c      1968            870         723         1                -           0.0000          -
1965.93/1973.73	c      1974            876         727         1                -           0.0000          -
1973.39/1981.20	c      1981            885         736         1                -           0.0000          -
1978.47/1986.36	c      1986            893         744         1                -           0.0000          -
1985.64/1993.58	c      1994            901         748         1                -           0.0000          -
1992.01/1999.96	c      2000            911         758         1                -           0.0000          -
1998.48/2006.43	c      2006            922         765         1                -           0.0000          -
2003.55/2011.50	c      2012            932         769         1                -           0.0000          -
2010.81/2018.89	c      2019            941         778         1                -           0.0000          -
2024.17/2032.21	c      2032            949         784         1                -           0.0000          -
2030.64/2038.72	c      2039            955         790         1                -           0.0000          -
2041.20/2049.37	c      2049            967         796         1                -           0.0000          -
2048.37/2056.50	c      2056            983         810         1                -           0.0000          -
2054.14/2062.34	c      2062            992         819         1                -           0.0000          -
2068.19/2076.49	c      2076           1000         823         1                -           0.0000          -
2074.17/2082.45	c      2082           1012         831         1                -           0.0000          -
2079.74/2088.08	c      2088           1022         837         1                -           0.0000          -
2085.41/2093.78	c      2094           1028         843         1                -           0.0000          -
2099.26/2107.63	c      2108           1034         847         1                -           0.0000          -
2104.34/2112.75	c      2113           1041         854         1                -           0.0000          -
2111.80/2120.29	c      2120           1049         862         1                -           0.0000          -
2122.24/2130.72	c      2131           1053           0         1                -           0.0000          -
2476.93/2486.25	c      2486           1054           1         1                -           0.0000          -
2482.10/2491.44	c      2491           1055           2         1                -           0.0000          -
2491.35/2500.71	c      2501           1063          10         1                -           0.0000          -
2496.54/2505.97	c      2506           1071          18         1                -           0.0000          -
2503.40/2512.87	c      2513           1074          21         1                -           0.0000          -
2511.27/2520.76	c      2521           1081          28         1                -           0.0000          -
2524.62/2534.13	c      2534           1084          31         1                -           0.0000          -
2535.37/2544.99	c      2545           1090          37         1                -           0.0000          -
2545.14/2554.77	c      2555           1092          39         1                -           0.0000          -
2551.51/2561.11	c      2561           1100          47         1                -           0.0000          -
2560.86/2570.55	c      2571           1105          52         1                -           0.0000          -
2566.64/2576.36	c      2576           1111          58         1                -           0.0000          -
2571.81/2581.52	c      2582           1116          63         1                -           0.0000          -
2581.87/2591.65	c      2592           1118          65         1                -           0.0000          -
2589.53/2599.30	c      2599           1122          69         1                -           0.0000          -
2596.39/2606.28	c      2606           1142          83         1                -           0.0000          -
2603.86/2613.79	c      2614           1144          85         1                -           0.0000          -
2615.71/2625.61	c      2626           1151          92         1                -           0.0000          -
2626.86/2636.89	c      2637           1164         101         1                -           0.0000          -
2632.94/2642.91	c      2643           1168         105         1                -           0.0000          -
2639.01/2649.03	c      2649           1176         111         1                -           0.0000          -
2651.46/2661.55	c      2662           1190         121         1                -           0.0000          -
2656.62/2666.74	c      2667           1192         123         1                -           0.0000          -
2664.39/2674.59	c      2675           1216         141         1                -           0.0000          -
2670.66/2680.80	c      2681           1228         151         1                -           0.0000          -
2676.33/2686.52	c      2687           1237         158         1                -           0.0000          -
2681.60/2691.87	c      2692           1251         164         1                -           0.0000          -
2688.37/2698.65	c      2699           1263         172         1                -           0.0000          -
2694.33/2704.69	c      2705           1273         176         1                -           0.0000          -
2707.38/2717.70	c      2718           1285         184         1                -           0.0000          -
2713.76/2724.16	c      2724           1290         189         1                -           0.0000          -
2720.62/2731.05	c      2731           1309         202         1                -           0.0000          -
2725.98/2736.43	c      2736           1316         209         1                -           0.0000          -
2731.26/2741.75	c      2742           1324         217         1                -           0.0000          -
2737.33/2747.85	c      2748           1332         225         1                -           0.0000          -
2746.49/2757.10	c      2757           1335         228         1                -           0.0000          -
2752.15/2762.77	c      2763           1345         238         1                -           0.0000          -
2758.02/2768.69	c      2769           1355         246         1                -           0.0000          -
2763.70/2774.32	c      2774           1363         254         1                -           0.0000          -
2769.77/2780.41	c      2780           1378         261         1                -           0.0000          -
2776.54/2787.25	c      2787           1386         269         1                -           0.0000          -
2782.51/2793.20	c      2793           1397         276         1                -           0.0000          -
2788.18/2799.00	c      2799           1425         292         1                -           0.0000          -
2797.84/2808.64	c      2809           1426         293         1                -           0.0000          -
2802.82/2813.66	c      2814           1436         301         1                -           0.0000          -
2817.56/2828.40	c      2828           1443         306         1                -           0.0000          -
2823.83/2834.73	c      2835           1455         318         1                -           0.0000          -
2831.30/2842.21	c      2842           1468         327         1                -           0.0000          -
2836.27/2847.25	c      2847           1484         337         1                -           0.0000          -
2841.34/2852.39	c      2852           1490         341         1                -           0.0000          -
2854.59/2865.69	c      2866           1494         343         1                -           0.0000          -
2860.56/2871.64	c      2872           1504         353         1                -           0.0000          -
2877.20/2888.39	c      2888           1510         357         1                -           0.0000          -
2882.77/2893.96	c      2894           1526         367         1                -           0.0000          -
2888.84/2900.03	c      2900           1540         377         1                -           0.0000          -
2894.41/2905.61	c      2906           1551         386         1                -           0.0000          -
2900.38/2911.62	c      2912           1560         393         1                -           0.0000          -
2906.46/2917.75	c      2918           1570         399         1                -           0.0000          -
2913.73/2925.04	c      2925           1575         402         1                -           0.0000          -
2938.82/2950.26	c      2950           1584         407         1                -           0.0000          -
2946.39/2957.82	c      2958           1590         413         1                -           0.0000          -
2955.94/2967.45	c      2967           1600         423         1                -           0.0000          -
2961.22/2972.70	c      2973           1614         431         1                -           0.0000          -
2966.29/2977.89	c      2978           1623         435         1                -           0.0000          -
2972.07/2983.66	c      2984           1636         443         1                -           0.0000          -
2977.74/2989.37	c      2989           1643         446         1                -           0.0000          -
2983.91/2995.50	c      2996           1654         457         1                -           0.0000          -
2989.28/3000.95	c      3001           1660         461         1                -           0.0000          -
2995.85/3007.50	c      3008           1676         475         1                -           0.0000          -
3002.71/3014.44	c      3014           1679         478         1                -           0.0000          -
3007.69/3019.46	c      3019           1699         488         1                -           0.0000          -
3020.84/3032.64	c      3033           1716         501         1                -           0.0000          -
3027.60/3039.47	c      3039           1724         509         1                -           0.0000          -
3033.28/3045.11	c      3045           1740         517         1                -           0.0000          -
3038.45/3050.33	c      3050           1751         524         1                -           0.0000          -
3045.92/3057.89	c      3058           1756         527         1                -           0.0000          -
3052.28/3064.29	c      3064           1766         537         1                -           0.0000          -
3057.56/3069.51	c      3070           1781         546         1                -           0.0000          -
3062.73/3074.75	c      3075           1790         553         1                -           0.0000          -
3069.61/3081.67	c      3082           1797         554         1                -           0.0000          -
3074.88/3086.92	c      3087           1800         557         1                -           0.0000          -
3080.06/3092.15	c      3092           1821         566         1                -           0.0000          -
3085.13/3097.21	c      3097           1830         575         1                -           0.0000          -
3092.49/3104.64	c      3105           1841         581         1                -           0.0000          -
3098.66/3110.83	c      3111           1858         588         1                -           0.0000          -
3103.94/3116.14	c      3116           1866         592         1                -           0.0000          -
3109.60/3121.82	c      3122           1875         598         1                -           0.0000          -
3114.89/3127.10	c      3127           1889         602         1                -           0.0000          -
3119.95/3132.23	c      3132           1899         610         1                -           0.0000          -
3126.12/3138.44	c      3138           1911         615         1                -           0.0000          -
3131.20/3143.52	c      3144           1916         620         1                -           0.0000          -
3137.87/3150.20	c      3150           1933         630         1                -           0.0000          -
3143.05/3155.44	c      3155           1946         639         1                -           0.0000          -
3148.12/3160.58	c      3161           1948         641         1                -           0.0000          -
3153.99/3166.45	c      3166           1975         652         1                -           0.0000          -
3160.36/3172.83	c      3173           1991         656         1                -           0.0000          -
3165.73/3178.28	c      3178           1998         663         1                -           0.0000          -
3171.80/3184.31	c      3184           2012         668         1                -           0.0000          -
3177.28/3189.89	c      3190           2022         673         1                -           0.0000          -
3183.55/3196.18	c      3196           2026         674         1                -           0.0000          -
3188.92/3201.56	c      3202           2032         680         1                -           0.0000          -
3194.19/3206.80	c      3207           2049         689         1                -           0.0000          -
3201.06/3213.76	c      3214           2054         694         1                -           0.0000          -
3206.93/3219.66	c      3220           2083         705         1                -           0.0000          -
3213.09/3225.82	c      3226           2109         711         1                -           0.0000          -
3218.17/3230.93	c      3231           2122         720         1                -           0.0000          -
3226.03/3238.86	c      3239           2138         728         1                -           0.0000          -
3231.51/3244.38	c      3244           2165         737         1                -           0.0000          -
3236.97/3249.80	c      3250           2172         744         1                -           0.0000          -
3242.95/3255.82	c      3256           2187         753         1                -           0.0000          -
3250.32/3263.25	c      3263           2197         763         1                -           0.0000          -
3263.46/3276.42	c      3276           2213         773         1                -           0.0000          -
3269.63/3282.62	c      3283           2223         783         1                -           0.0000          -
3277.59/3290.61	c      3291           2240         794         1                -           0.0000          -
3283.66/3296.76	c      3297           2256         805         1                -           0.0000          -
3289.83/3302.96	c      3303           2273         813         1                -           0.0000          -
3295.51/3308.66	c      3309           2280         820         1                -           0.0000          -
3302.57/3315.70	c      3316           2299         829         1                -           0.0000          -
3310.03/3323.22	c      3323           2325         841         1                -           0.0000          -
3315.31/3328.56	c      3329           2340         847         1                -           0.0000          -
3321.88/3335.11	c      3335           2364         856         1                -           0.0000          -
3327.15/3340.44	c      3340           2383         861         1                -           0.0000          -
3333.12/3346.43	c      3346           2398         870         1                -           0.0000          -
3338.99/3352.37	c      3352           2417         873         1                -           0.0000          -
3344.67/3358.01	c      3358           2435         881         1                -           0.0000          -
3350.34/3363.75	c      3364           2449         887         1                -           0.0000          -
3355.42/3368.89	c      3369           2471         892         1                -           0.0000          -
3362.48/3375.91	c      3376           2483         902         1                -           0.0000          -
3367.85/3381.38	c      3381           2495         908         1                -           0.0000          -
3373.13/3386.63	c      3387           2507         915         1                -           0.0000          -
3378.80/3392.38	c      3392           2528         922         1                -           0.0000          -
3385.37/3398.99	c      3399           2533         925         1                -           0.0000          -
3391.73/3405.33	c      3405           2540         932         1                -           0.0000          -
3399.10/3412.70	c      3413           2567         942         1                -           0.0000          -
3404.08/3417.73	c      3418           2578         951         1                -           0.0000          -
3410.65/3424.35	c      3424           2590         957         1                -           0.0000          -
3417.51/3431.27	c      3431           2605         966         1                -           0.0000          -
3423.98/3437.76	c      3438           2623         972         1                -           0.0000          -
3430.05/3443.84	c      3444           2641         980         1                -           0.0000          -
3446.89/3460.76	c      3461           2645         984         1                -           0.0000          -
3452.46/3466.35	c      3466           2663         996         1                -           0.0000          -
3459.13/3473.01	c      3473           2677        1002         1                -           0.0000          -
3470.98/3484.93	c      3485           2696        1010         1                -           0.0000          -
3476.75/3490.75	c      3491           2704        1018         1                -           0.0000          -
3482.62/3496.64	c      3497           2717        1025         1                -           0.0000          -
3488.49/3502.59	c      3503           2727        1033         1                -           0.0000          -
3493.76/3507.84	c      3508           2733        1039         1                -           0.0000          -
3513.40/3527.59	c      3528           2748        1046         1                -           0.0000          -
3518.48/3532.61	c      3533           2756        1054         1                -           0.0000          -
3524.85/3539.03	c      3539           2771        1059         1                -           0.0000          -
3534.32/3548.57	c      3549           2779        1061         1                -           0.0000          -
3540.20/3554.42	c      3554           2794        1068         1                -           0.0000          -
3553.36/3567.62	c      3568           2805        1077         1                -           0.0000          -
3558.65/3572.99	c      3573           2807        1079         1                -           0.0000          -
3564.43/3578.78	c      3579           2826        1091         1                -           0.0000          -
3569.91/3584.22	c      3584           2831        1096         1                -           0.0000          -
3576.18/3590.58	c      3591           2851        1107         1                -           0.0000          -
3585.66/3600.04	c      3600           2857        1111         0                -           0.0000          -
3586.45/3600.88	c SCIP Status        : c solving was interrupted [hard time limit reached]
3586.45/3600.88	c Total Time         : 3600.8900
3586.45/3600.88	c   solving          : 3600.8900
3586.45/3600.88	c   presolving       : 49.2736 (included in solving)
3586.45/3600.88	c B&B Tree           :
3586.45/3600.88	c   nodes (total)    : 1
3586.45/3600.88	c Solution           :
3586.45/3600.88	c   Solutions found  : 0
3586.45/3600.88	c   Primal Bound     :          -
3586.45/3600.88	c   Dual Bound       : +0.00000000000000e+00
3586.45/3600.88	c Gap                :          -
3586.85/3601.22	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: 63968 MiB (61287 MiB free)
  memory of node 1: 64473 MiB (59870 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426937-1720906081/watcher-4426937-1720906081 -o /tmp/evaluation-result-4426937-1720906081/solver-4426937-1720906081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720905583-723472 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426937-1720906081.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=725149, runsolver pid=725146

[startup+0.100088 s]*
/proc/loadavg: 4.06 3.93 3.89 5/262 725150
/proc/meminfo: memFree=124013320/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=74800 memory=63112 CPUtime=0.09 cores=5,7
/proc/725149/stat : 725149 (fscip) R 725146 725149 721052 0 -1 4194304 13759 0 0 0 8 1 0 0 20 0 1 0 142773112 76595200 15778 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 18700 15778 2318 3032 0 15100 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74800 KiB
Current children cumulated memory: 63112 KiB

[startup+0.205579 s]*
/proc/loadavg: 4.06 3.93 3.89 5/262 725150
/proc/meminfo: memFree=123965608/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=122276 memory=110596 CPUtime=0.2 cores=5,7
/proc/725149/stat : 725149 (fscip) R 725146 725149 721052 0 -1 4194304 25618 0 0 0 16 4 0 0 20 0 1 0 142773112 125210624 27649 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 30569 27649 2318 3032 0 26969 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 122276 KiB
Current children cumulated memory: 110596 KiB

[startup+0.305567 s]*
/proc/loadavg: 4.06 3.93 3.89 5/262 725150
/proc/meminfo: memFree=123880824/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=211060 memory=200348 CPUtime=0.3 cores=5,7
/proc/725149/stat : 725149 (fscip) R 725146 725149 721052 0 -1 4194304 48733 0 0 0 23 7 0 0 20 0 1 0 142773112 216125440 50087 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 52765 50087 2558 3032 0 49165 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 211060 KiB
Current children cumulated memory: 200348 KiB

[startup+0.700227 s]
/proc/loadavg: 4.06 3.93 3.89 5/262 725150
/proc/meminfo: memFree=123776664/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=416656 memory=401788 CPUtime=0.69 cores=5,7
/proc/725149/stat : 725149 (fscip) R 725146 725149 721052 0 -1 4194304 99065 0 0 0 55 14 0 0 20 0 1 0 142773112 426655744 100447 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 104164 100447 2590 3032 0 100564 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 416656 KiB
Current children cumulated memory: 401788 KiB

[startup+1.50024 s]
/proc/loadavg: 4.06 3.93 3.89 5/262 725150
/proc/meminfo: memFree=123564676/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=588844 memory=564836 CPUtime=1.48 cores=5,7
/proc/725149/stat : 725149 (fscip) R 725146 725149 721052 0 -1 4194304 139795 0 0 0 128 20 0 0 20 0 1 0 142773112 602976256 141209 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 147211 141209 2622 3032 0 143611 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 588844 KiB
Current children cumulated memory: 564836 KiB

[startup+3.10567 s]
/proc/loadavg: 4.06 3.93 3.89 5/262 725151
/proc/meminfo: memFree=123492012/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=601212 memory=580956 CPUtime=3.09 cores=5,7
/proc/725149/stat : 725149 (fscip) R 725146 725149 721052 0 -1 4194304 143964 0 0 0 288 21 0 0 20 0 1 0 142773112 615641088 145239 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 150303 145239 2654 3032 0 146703 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 601212 KiB
Current children cumulated memory: 580956 KiB

[startup+6.30022 s]
/proc/loadavg: 4.05 3.93 3.89 5/262 725151
/proc/meminfo: memFree=123489808/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=603536 memory=583276 CPUtime=6.27 cores=5,7
/proc/725149/stat : 725149 (fscip) R 725146 725149 721052 0 -1 4194304 144543 0 0 0 605 22 0 0 20 0 1 0 142773112 618020864 145819 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 150884 145819 2654 3032 0 147284 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 603536 KiB
Current children cumulated memory: 583276 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 3.95 3.89 5/262 725153
/proc/meminfo: memFree=123476756/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=603536 memory=583276 CPUtime=12.65 cores=5,7
/proc/725149/stat : 725149 (fscip) R 725146 725149 721052 0 -1 4194304 144543 0 0 0 1242 23 0 0 20 0 1 0 142773112 618020864 145819 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 150884 145819 2654 3032 0 147284 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 603536 KiB
Current children cumulated memory: 583276 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 3.95 3.90 5/262 725154
/proc/meminfo: memFree=123476856/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=603536 memory=583276 CPUtime=25.41 cores=5,7
/proc/725149/stat : 725149 (fscip) R 725146 725149 721052 0 -1 4194304 144543 0 0 0 2516 25 0 0 20 0 1 0 142773112 618020864 145819 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 150884 145819 2654 3032 0 147284 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 603536 KiB
Current children cumulated memory: 583276 KiB

[startup+51.1053 s]
/proc/loadavg: 4.06 3.95 3.90 5/264 725207
/proc/meminfo: memFree=122277200/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=1474492 memory=1369092 CPUtime=50.93 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 383492 0 0 0 5028 65 0 0 20 0 3 0 142773112 1509879808 342273 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 368623 342273 2718 3032 0 363472 0
[pid=725149/tid=725206] ppid=725146 vsize=1474492 memory=198340509722 CPUtime=0.83 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 144411 0 0 0 63 20 0 0 20 0 3 0 142778085 1509879808 342273 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=1474492 memory=11648 CPUtime=0 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142778182 1509879808 342273 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1474492 KiB
Current children cumulated memory: 1369092 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.01 3.92 5/264 725217
/proc/meminfo: memFree=121783692/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=1933244 memory=1786280 CPUtime=101.98 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 765324 0 0 0 10103 95 0 0 20 0 3 0 142773112 1979641856 446570 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 483311 446570 2750 3032 0 474821 0
[pid=725149/tid=725206] ppid=725146 vsize=1933244 memory=583276 CPUtime=51.86 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 526208 0 0 0 5137 49 0 0 20 0 3 0 142778085 1979641856 446570 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=1933244 memory=11648 CPUtime=0 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 142778182 1979641856 446570 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1933244 KiB
Current children cumulated memory: 1786280 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.02 3.94 5/266 725288
/proc/meminfo: memFree=121436268/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=1998780 memory=1820184 CPUtime=161.78 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 895608 0 0 0 16073 105 0 0 20 0 3 0 142773112 2046750720 455046 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 499695 455046 2750 3032 0 483709 0
[pid=725149/tid=725206] ppid=725146 vsize=1998780 memory=583276 CPUtime=111.67 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 656474 0 0 0 11107 60 0 0 20 0 3 0 142778085 2046750720 455046 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=1998780 memory=11648 CPUtime=0 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 142778182 2046750720 455046 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1998780 KiB
Current children cumulated memory: 1820184 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.03 3.95 5/266 725298
/proc/meminfo: memFree=121410632/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=1998780 memory=1822808 CPUtime=221.58 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 925995 0 0 0 22049 109 0 0 20 0 3 0 142773112 2046750720 455702 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 499695 455702 2750 3032 0 484365 0
[pid=725149/tid=725206] ppid=725146 vsize=1998780 memory=-6442794456937839462 CPUtime=171.47 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 686848 0 0 0 17083 64 0 0 20 0 3 0 142778085 2046750720 455702 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=1998780 memory=11648 CPUtime=0 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 142778182 2046750720 455702 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 1998780 KiB
Current children cumulated memory: 1822808 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.05 3.96 5/267 725309
/proc/meminfo: memFree=121254352/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=1998780 memory=1824984 CPUtime=281.38 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 975797 0 0 0 28024 114 0 0 20 0 3 0 142773112 2046750720 456246 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 499695 456246 2750 3032 0 484909 0
[pid=725149/tid=725206] ppid=725146 vsize=1998780 memory=1824984 CPUtime=231.27 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 736642 0 0 0 23058 69 0 0 20 0 3 0 142778085 2046750720 456246 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=1998780 memory=1823384 CPUtime=0 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 3 0 142778182 2046750720 456246 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 1998780 KiB
Current children cumulated memory: 1824984 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.06 3.97 5/265 725320
/proc/meminfo: memFree=121172704/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=1998780 memory=1827160 CPUtime=341.17 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 1006197 0 0 0 33999 118 0 0 20 0 3 0 142773112 2046750720 456790 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 499695 456790 2750 3032 0 485453 0
[pid=725149/tid=725206] ppid=725146 vsize=1998780 memory=1823384 CPUtime=291.07 cores=5,7

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

/proc/loadavg: 4.12 4.22 4.16 5/264 728394
/proc/meminfo: memFree=118560968/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=3769300 memory=3546208 CPUtime=3388.75 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 9915823 0 0 0 338201 674 0 0 20 0 3 0 142773112 3859763200 886552 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 942325 886552 3310 3032 0 933231 0
[pid=725149/tid=725206] ppid=725146 vsize=3769300 memory=3546208 CPUtime=3338.55 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 9674511 0 0 0 333229 626 0 0 20 0 3 0 142778085 3859763200 886552 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=3769300 memory=3546208 CPUtime=0.03 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 357 0 0 0 1 2 0 0 20 0 3 0 142778182 3859763200 886552 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 3388.75 s
Current children cumulated vsize: 3769300 KiB
Current children cumulated memory: 3546208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.19 4.15 5/262 728788
/proc/meminfo: memFree=118555756/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=3769300 memory=3546208 CPUtime=3448.48 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 10070860 0 0 0 344165 683 0 0 20 0 3 0 142773112 3859763200 886552 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 942325 886552 3310 3032 0 933231 0
[pid=725149/tid=725206] ppid=725146 vsize=3769300 memory=3546208 CPUtime=3398.27 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 9829508 0 0 0 339192 635 0 0 20 0 3 0 142778085 3859763200 886552 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=3769300 memory=11648 CPUtime=0.03 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 361 0 0 0 1 2 0 0 20 0 3 0 142778182 3859763200 886552 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 3448.48 s
Current children cumulated vsize: 3769300 KiB
Current children cumulated memory: 3546208 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.17 4.14 5/262 728798
/proc/meminfo: memFree=118233424/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=3822540 memory=3546224 CPUtime=3508.22 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 10229882 0 0 0 350131 691 0 0 20 0 3 0 142773112 3914280960 886556 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 955635 886556 3310 3032 0 946541 0
[pid=725149/tid=725206] ppid=725146 vsize=3822540 memory=3546208 CPUtime=3458.01 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 9988496 0 0 0 345158 643 0 0 20 0 3 0 142778085 3914280960 886556 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=3822540 memory=3546208 CPUtime=0.03 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 363 0 0 0 1 2 0 0 20 0 3 0 142778182 3914280960 886556 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 3508.22 s
Current children cumulated vsize: 3822540 KiB
Current children cumulated memory: 3546224 KiB

[startup+3582.3 s]
/proc/loadavg: 3.58 4.03 4.10 4/255 728840
/proc/meminfo: memFree=122077840/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=3915736 memory=3546396 CPUtime=3568.02 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 10378242 0 0 0 356102 700 0 0 20 0 3 0 142773112 4009713664 886599 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 978934 886599 3310 3032 0 969840 0
[pid=725149/tid=725206] ppid=725146 vsize=3915736 memory=3546396 CPUtime=3517.81 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 10136812 0 0 0 351129 652 0 0 20 0 3 0 142778085 4009713664 886599 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=3915736 memory=11648 CPUtime=0.03 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 365 0 0 0 1 2 0 0 20 0 3 0 142778182 4009713664 886599 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 3568.02 s
Current children cumulated vsize: 3915736 KiB
Current children cumulated memory: 3546396 KiB

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

# cumulated CPU time of all completed processes:  user=3579.77 s, system=7.15878 s

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

[startup+3584 s]*
/proc/loadavg: 3.58 4.03 4.10 4/255 728840
/proc/meminfo: memFree=122077708/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=3915736 memory=3546396 CPUtime=3569.71 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 10378358 0 0 0 356271 700 0 0 20 0 3 0 142773112 4009713664 886599 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 978934 886599 3310 3032 0 969840 0
[pid=725149/tid=725206] ppid=725146 vsize=3915736 memory=146488449566078 CPUtime=3519.51 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 10136928 0 0 0 351299 652 0 0 20 0 3 0 142778085 4009713664 886599 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=3915736 memory=146488449566078 CPUtime=0.03 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 365 0 0 0 1 2 0 0 20 0 3 0 142778182 4009713664 886599 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 3569.71 s
Current children cumulated vsize: 3915736 KiB
Current children cumulated memory: 3546396 KiB

[startup+3590.4 s]
/proc/loadavg: 3.62 4.03 4.09 4/255 728840
/proc/meminfo: memFree=122077904/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=3915736 memory=3547344 CPUtime=3576.08 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 10385099 0 0 0 356908 700 0 0 20 0 3 0 142773112 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 978934 886836 3310 3032 0 969840 0
[pid=725149/tid=725206] ppid=725146 vsize=3915736 memory=3546396 CPUtime=3525.88 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 10143664 0 0 0 351936 652 0 0 20 0 3 0 142778085 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=3915736 memory=3546396 CPUtime=0.04 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 365 0 0 0 2 2 0 0 20 0 3 0 142778182 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 3576.08 s
Current children cumulated vsize: 3915736 KiB
Current children cumulated memory: 3547344 KiB

[startup+3596.8 s]
/proc/loadavg: 3.52 3.99 4.08 4/257 729012
/proc/meminfo: memFree=122076328/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=3915736 memory=3547344 CPUtime=3582.47 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 10419683 0 0 0 357545 702 0 0 20 0 3 0 142773112 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 978934 886836 3310 3032 0 969840 0
[pid=725149/tid=725206] ppid=725146 vsize=3915736 memory=3546396 CPUtime=3532.26 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 10178248 0 0 0 352572 654 0 0 20 0 3 0 142778085 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=3915736 memory=0 CPUtime=0.04 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 365 0 0 0 2 2 0 0 20 0 3 0 142778182 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 3582.47 s
Current children cumulated vsize: 3915736 KiB
Current children cumulated memory: 3547344 KiB

[startup+3598.4 s]
/proc/loadavg: 3.52 3.99 4.08 4/257 729012
/proc/meminfo: memFree=122076260/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=3915736 memory=3547344 CPUtime=3584.06 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 10419945 0 0 0 357704 702 0 0 20 0 3 0 142773112 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 978934 886836 3310 3032 0 969840 0
[pid=725149/tid=725206] ppid=725146 vsize=3915736 memory=2280 CPUtime=3533.85 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 10178510 0 0 0 352731 654 0 0 20 0 3 0 142778085 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=3915736 memory=39380 CPUtime=0.04 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 365 0 0 0 2 2 0 0 20 0 3 0 142778182 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 3584.06 s
Current children cumulated vsize: 3915736 KiB
Current children cumulated memory: 3547344 KiB

[startup+3600 s]*
/proc/loadavg: 3.52 3.99 4.08 4/257 729012
/proc/meminfo: memFree=122075316/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=3915736 memory=3547344 CPUtime=3585.66 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 10420032 0 0 0 357864 702 0 0 20 0 3 0 142773112 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 978934 886836 3310 3032 0 969840 0
[pid=725149/tid=725206] ppid=725146 vsize=3915736 memory=28204 CPUtime=3535.45 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 10178597 0 0 0 352891 654 0 0 20 0 3 0 142778085 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=3915736 memory=33808 CPUtime=0.04 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 365 0 0 0 2 2 0 0 20 0 3 0 142778182 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 3585.66 s
Current children cumulated vsize: 3915736 KiB
Current children cumulated memory: 3547344 KiB

[startup+3600.8 s]
/proc/loadavg: 3.52 3.99 4.08 4/257 729012
/proc/meminfo: memFree=122075316/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=3915736 memory=3547344 CPUtime=3586.45 cores=5,7
/proc/725149/stat : 725149 (fscip) S 725146 725149 721052 0 -1 1077936128 10498883 0 0 0 357938 707 0 0 20 0 3 0 142773112 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 978934 886836 3310 3032 0 969840 0
[pid=725149/tid=725206] ppid=725146 vsize=3915736 memory=1816 CPUtime=3536.25 cores=5,7
/proc/725149/task/725206/stat : 725206 (fscip) R 725146 725149 721052 0 -1 4194368 10257459 0 0 0 352966 659 0 0 20 0 3 0 142778085 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
[pid=725149/tid=725207] ppid=725146 vsize=3915736 memory=32224 CPUtime=0.04 cores=5,7
/proc/725149/task/725207/stat : 725207 (fscip) S 725146 725149 721052 0 -1 1077936192 365 0 0 0 2 2 0 0 20 0 3 0 142778182 4009713664 886836 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
Current children cumulated CPU time: 3586.45 s
Current children cumulated vsize: 3915736 KiB
Current children cumulated memory: 3547344 KiB

[startup+3601.2 s]
/proc/loadavg: 3.48 3.98 4.08 4/256 729012
/proc/meminfo: memFree=122076856/131524600 swapFree=131071996/131071996
[pid=725149] ppid=725146 vsize=3675396 memory=3519156 CPUtime=3586.85 cores=5,7
/proc/725149/stat : 725149 (fscip) R 725146 725149 721052 0 -1 4194304 10552098 0 0 0 357975 710 0 0 20 0 1 0 142773112 3763605504 879982 134679101440 4194304 16613245 140733561712688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 56414208 140733561721825 140733561721941 140733561721941 140733561729008 0
/proc/725149/statm: 918728 879789 3310 3032 0 909634 0
Current children cumulated CPU time: 3586.85 s
Current children cumulated vsize: 3675396 KiB
Current children cumulated memory: 3519156 KiB

Child status: 0

Real time (s): 3601.27
CPU time (s): 3586.93
CPU user time (s): 3579.77
CPU system time (s): 7.15878
CPU usage (%): 99.6018
Max. virtual memory (cumulated for all children) (KiB): 3915736
Max. memory (cumulated for all children) (KiB): 3629256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.77
system time used= 7.15878
maximum resident set size= 3629256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10560851
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= 5500
involuntary context switches= 1628


# summary of solver processes directly reported to runsolver:
#   pid: 725149
#   total CPU time (s): 3586.93
#   total CPU user time (s): 3579.77
#   total CPU system time (s): 7.15878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89227 second user time and 17.2138 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-13 23:28:14
IDJOB=4426937
IDBENCH=143873
IDSOLVER=3044
FILE ID=nodeC023/4426937-1720906081
RUNJOBID= nodeC023-1720905583-723472
SLURM_JOB_ID= 7486082
Free space on /tmp= 889992 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-22reduc_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426937-1720906081/watcher-4426937-1720906081 -o /tmp/evaluation-result-4426937-1720906081/solver-4426937-1720906081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720905583-723472 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4426937-1720906081.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 145fe6fe39a80fcaff25336bfbc8c080
RANDOM SEED=638280366

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3667.090
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.61
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		: 3674.690
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.48
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.955
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.61
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.407
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.48
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		: 3667.151
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.61
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		: 3677.498
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.48
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		: 3600.167
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.61
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		: 3665.618
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124065672 kB
MemAvailable:   125238048 kB
Buffers:          334596 kB
Cached:          1668348 kB
SwapCached:            0 kB
Active:           558992 kB
Inactive:        6295128 kB
Active(anon):       1596 kB
Inactive(anon):  4887292 kB
Active(file):     557396 kB
Inactive(file):  1407836 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             30012 kB
Writeback:             0 kB
AnonPages:       4848800 kB
Mapped:           139172 kB
Shmem:             37720 kB
KReclaimable:      93932 kB
Slab:             196248 kB
SReclaimable:      93932 kB
SUnreclaim:       102316 kB
KernelStack:        4252 kB
PageTables:        18552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5077324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55296 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1548288 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 889996 MiB
End job on nodeC023 at 2024-07-14 00:28:15