Trace number 4464465

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-30? 3585.06 3598.65

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-86.opb
MD5SUM3b78757f10307782e0b04e5cada0d1b0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.36818
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7354
Total number of constraints165969
Number of constraints which are clauses149056
Number of constraints which are cardinality constraints (but not clauses)575
Number of constraints which are nor clauses,nor cardinality constraints16338
Minimum length of a constraint1
Maximum length of a constraint195
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 196
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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.50/0.52	c Default LC presolving (default).
0.50/0.52	c ** Before presolving: virtualMemUsedAtLc = 414534198, getVmSize() = 271908864, SCIPgetMemUsed() = 213014106, SCIPgetMemTotal() = 237285690, SCIPgetMemExternEstim() = 177248508
0.50/0.52	c ** set memory limit for presolving in LC to 8.79597e+12 for SCIP **
4.17/4.29	c ** Estimated virtualMemUsedAtSolver = 499102159, getVmSize() = 621961216, SCIPgetMemUsed() = 346869387, SCIPgetMemTotal() = 571404731, SCIPgetMemExternEstim() = 177248508
4.17/4.29	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
4.17/4.29	c Original Problem   :
4.17/4.29	c   Problem name     : instance-4464465-1722382203
4.17/4.29	c   Variables        : 7354 (7354 binary, 0 integer, 0 implicit integer, 0 continuous)
4.17/4.29	c   Constraints      : 165969
4.17/4.29	c   Objective sense  : minimize
4.17/4.29	c Presolved Problem  :
4.17/4.29	c   Variables        : 6711 (6711 binary, 0 integer, 0 implicit integer, 0 continuous)
4.17/4.29	c   Constraints      : 142592
4.17/4.29	c Constraints        : Number
4.17/4.29	c   knapsack         : 16597 
4.17/4.29	c   setppc           : 29007 
4.17/4.29	c   linear           : 1 
4.17/4.29	c   logicor          : 96987 
4.17/4.29	c ** Instance transfer method used: 0
4.47/4.53	c ** ParaScipInstance copy does not increase the number of variables. **
4.68/4.72	c LC is working with racing ramp-up and with rebuilding tree after racing.
4.68/4.72	c                                Nodes    Active                                            
4.68/4.72	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
265.82/266.64	c       267              2           1         1                -           0.0000          -
277.08/277.99	c       278             15          14         1                -           0.0000          -
283.56/284.42	c       284             38          35         1                -           0.0000          -
297.81/298.77	c       299             49          42         1                -           0.0000          -
311.77/312.76	c       313             57          48         1                -           0.0000          -
325.92/326.95	c       327             70          56         1                -           0.0000          -
336.39/337.48	c       337             76          62         1                -           0.0000          -
348.35/349.42	c       349             83          69         1                -           0.0000          -
353.83/354.92	c       355             85          71         1                -           0.0000          -
359.32/360.46	c       360             98          84         1                -           0.0000          -
378.06/379.25	c       379            102          86         1                -           0.0000          -
389.42/390.63	c       391            111          93         1                -           0.0000          -
402.29/403.54	c       404            122          98         1                -           0.0000          -
407.57/408.82	c       409            132         106         1                -           0.0000          -
412.96/414.20	c       414            135         109         1                -           0.0000          -
427.11/428.46	c       428            148         119         1                -           0.0000          -
435.39/436.70	c       437            150         121         1                -           0.0000          -
448.44/449.89	c       450            192         163         1                -           0.0000          -
454.32/455.77	c       456            232         189         1                -           0.0000          -
460.10/461.54	c       462            269         222         1                -           0.0000          -
466.88/468.31	c       468            275         226         1                -           0.0000          -
473.26/474.74	c       475            286         237         1                -           0.0000          -
481.73/483.23	c       483            302         251         1                -           0.0000          -
487.40/488.96	c       489            348         289         1                -           0.0000          -
492.60/494.19	c       494            417         348         1                -           0.0000          -
497.86/499.41	c       499            490         407         1                -           0.0000          -
503.84/505.46	c       505            555         470         1                -           0.0000          -
509.42/511.08	c       511            653         536         1                -           0.0000          -
514.80/516.42	c       516            772         598         1                -           0.0000          -
519.87/521.55	c       522            898         695         1                -           0.0000          -
526.04/527.75	c       528            937         730         1                -           0.0000          -
531.63/533.33	c       533            991         780         1                -           0.0000          -
536.70/538.49	c       538           1092         837         1                -           0.0000          -
541.98/543.70	c       544           1260         866         1                -           0.0000          -
547.44/549.27	c       549           1397         846         1                -           0.0000          -
553.12/554.91	c       555           1478         833         1                -           0.0000          -
558.30/560.17	c       560           1543         801         1                -           0.0000          -
563.67/565.59	c       566           1698         729         1                -           0.0000          -
569.35/571.25	c       571           1738         691         1                -           0.0000          -
574.43/576.35	c       576           1784         686         1                -           0.0000          -
580.41/582.35	c       582           1912         643         1                -           0.0000          -
586.39/588.38	c       588           2024         623         1                -           0.0000          -
593.36/595.39	c       595           2030         626         1                -           0.0000          -
599.33/601.38	c       601           2178         633         1                -           0.0000          -
604.51/606.56	c       607           2319         687         1                -           0.0000          -
609.58/611.68	c       612           2490         717         1                -           0.0000          -
614.65/616.79	c       617           2668         713         1                -           0.0000          -
619.92/622.05	c       622           2835         712         1                -           0.0000          -
625.08/627.24	c       627           3038         661         1                -           0.0000          -
630.15/632.33	c       632           3235         574         1                -           0.0000          -
636.12/638.36	c       638           3340           0         1                -           0.0000          -
804.40/807.19	c       807           3341           1         1                -           0.0000          -
809.87/812.64	c       813           3367          27         1                -           0.0000          -
818.54/821.35	c       821           3382          40         1                -           0.0000          -
831.50/834.31	c       834           3385          43         1                -           0.0000          -
844.77/847.60	c       848           3403          61         1                -           0.0000          -
851.26/854.12	c       854           3411          69         1                -           0.0000          -
857.13/860.01	c       860           3441          97         1                -           0.0000          -
862.61/865.55	c       866           3471         119         1                -           0.0000          -
868.49/871.43	c       871           3491         138         1                -           0.0000          -
898.48/901.54	c       902           3506         153         1                -           0.0000          -
905.96/909.07	c       909           3515         162         1                -           0.0000          -
914.22/917.36	c       917           3527         174         1                -           0.0000          -
931.77/934.99	c       935           3529         176         1                -           0.0000          -
954.22/957.45	c       957           3532         179         1                -           0.0000          -
959.69/962.93	c       963           3541         186         1                -           0.0000          -
965.28/968.52	c       969           3545         190         1                -           0.0000          -
973.35/976.61	c       977           3576         221         1                -           0.0000          -
978.73/982.01	c       982           3581         226         1                -           0.0000          -
984.72/988.04	c       988           3590         233         1                -           0.0000          -
990.29/993.60	c       994           3594         237         1                -           0.0000          -
997.67/1001.07	c      1001           3600         243         1                -           0.0000          -
1003.55/1006.90	c      1007           3606         249         1                -           0.0000          -
1012.81/1016.20	c      1016           3619         262         1                -           0.0000          -
1018.59/1022.01	c      1022           3622         265         1                -           0.0000          -
1026.17/1029.66	c      1030           3627         268         1                -           0.0000          -
1034.55/1038.06	c      1038           3631         270         1                -           0.0000          -
1040.22/1043.78	c      1044           3650         289         1                -           0.0000          -
1049.00/1052.51	c      1053           3663         295         1                -           0.0000          -
1053.97/1057.59	c      1058           3746         318         1                -           0.0000          -
1059.35/1062.96	c      1063           3861         280         1                -           0.0000          -
1064.53/1068.13	c      1068           3963         319         1                -           0.0000          -
1070.59/1074.24	c      1074           3979         335         1                -           0.0000          -
1076.28/1079.90	c      1080           4033         383         1                -           0.0000          -
1081.46/1085.15	c      1085           4137         450         1                -           0.0000          -
1086.63/1090.30	c      1090           4255         535         1                -           0.0000          -
1092.30/1096.03	c      1096           4381         625         1                -           0.0000          -
1097.48/1101.21	c      1101           4481         690         1                -           0.0000          -
1102.55/1106.32	c      1106           4621         762         1                -           0.0000          -
1107.92/1111.70	c      1112           4747         842         1                -           0.0000          -
1113.00/1116.84	c      1117           4875         823         1                -           0.0000          -
1118.28/1122.12	c      1122           5026         781         1                -           0.0000          -
1123.34/1127.27	c      1127           5218         817         1                -           0.0000          -
1128.53/1132.41	c      1132           5435         844         1                -           0.0000          -
1133.59/1137.53	c      1138           5622         888         1                -           0.0000          -
1138.67/1142.66	c      1143           5808         922         1                -           0.0000          -
1143.75/1147.75	c      1148           5997         940         1                -           0.0000          -
1148.82/1152.86	c      1153           6188         983         1                -           0.0000          -
1154.00/1158.00	c      1158           6375         993         1                -           0.0000          -
1159.07/1163.14	c      1163           6528        1014         1                -           0.0000          -
1164.14/1168.24	c      1168           6698        1061         1                -           0.0000          -
1169.62/1173.75	c      1174           6852        1097         1                -           0.0000          -
1174.69/1178.86	c      1179           7031        1137         1                -           0.0000          -
1179.78/1183.96	c      1184           7225        1148         1                -           0.0000          -
1184.85/1189.09	c      1189           7425        1165         1                -           0.0000          -
1190.02/1194.20	c      1194           7620        1173         1                -           0.0000          -
1195.10/1199.34	c      1199           7815        1180         1                -           0.0000          -
1200.18/1204.48	c      1204           7996        1198         1                -           0.0000          -
1205.26/1209.59	c      1210           8145        1260         1                -           0.0000          -
1210.43/1214.73	c      1215           8331        1297         1                -           0.0000          -
1215.51/1219.86	c      1220           8515        1315         1                -           0.0000          -
1220.58/1224.98	c      1225           8690        1343         1                -           0.0000          -
1225.66/1230.10	c      1230           8884        1334         1                -           0.0000          -
1230.83/1235.20	c      1235           9058        1357         1                -           0.0000          -
1235.81/1240.28	c      1240           9251        1364         1                -           0.0000          -
1241.00/1245.44	c      1245           9445        1389         1                -           0.0000          -
1246.08/1250.58	c      1251           9644        1395         1                -           0.0000          -
1251.25/1255.75	c      1256           9850        1369         1                -           0.0000          -
1256.33/1260.85	c      1261          10050        1358         1                -           0.0000          -
1261.40/1265.95	c      1266          10250        1310         1                -           0.0000          -
1266.47/1271.06	c      1271          10452        1272         1                -           0.0000          -
1271.55/1276.19	c      1276          10645        1246         1                -           0.0000          -
1276.72/1281.30	c      1281          10841        1247         1                -           0.0000          -
1281.80/1286.40	c      1286          11045        1131         1                -           0.0000          -
1286.88/1291.52	c      1292          11221         673         1                -           0.0000          -
1292.46/1297.17	c      1297          11343         380         1                -           0.0000          -
1297.73/1302.46	c      1302          11389         426         1                -           0.0000          -
1303.01/1307.71	c      1308          11478         485         1                -           0.0000          -
1309.40/1314.17	c      1314          11622         451         1                -           0.0000          -
1314.57/1319.35	c      1319          11789         482         1                -           0.0000          -
1319.65/1324.45	c      1324          11958         500         1                -           0.0000          -
1325.03/1329.80	c      1330          12058         517         1                -           0.0000          -
1330.11/1334.95	c      1335          12228         535         1                -           0.0000          -
1335.78/1340.61	c      1341          12320         537         1                -           0.0000          -
1343.55/1348.41	c      1348          12401         522         1                -           0.0000          -
1349.24/1354.14	c      1354          12427         513         1                -           0.0000          -
1354.91/1359.86	c      1360          12486         502         1                -           0.0000          -
1360.40/1365.36	c      1365          12537         548         1                -           0.0000          -
1410.16/1415.23	c      1415          12565         567         1                -           0.0000          -
1415.73/1420.86	c      1421          12646         620         1                -           0.0000          -
1421.02/1426.15	c      1426          12787         668         1                -           0.0000          -
1426.09/1431.21	c      1431          12947         685         1                -           0.0000          -
1431.17/1436.31	c      1436          13119         661         1                -           0.0000          -
1436.26/1441.45	c      1441          13311         540         1                -           0.0000          -
1441.33/1446.59	c      1447          13469         538         1                -           0.0000          -
1447.60/1452.86	c      1453          13591         547         1                -           0.0000          -
1452.80/1458.02	c      1458          13721         528         1                -           0.0000          -
1458.67/1463.98	c      1464          13803         431         1                -           0.0000          -
1464.45/1469.76	c      1470          13937         367         1                -           0.0000          -
1470.62/1475.98	c      1476          14080         378         1                -           0.0000          -
1475.90/1481.28	c      1481          14122         387         1                -           0.0000          -
1481.38/1486.79	c      1487          14223         387         1                -           0.0000          -
1486.66/1492.02	c      1492          14336         352         1                -           0.0000          -
1493.44/1498.84	c      1499          14444         336         1                -           0.0000          -
1499.42/1504.81	c      1505          14477         365         1                -           0.0000          -
1505.19/1510.65	c      1511          14572         375         1                -           0.0000          -
1510.27/1515.76	c      1516          14692         404         1                -           0.0000          -
1515.44/1520.91	c      1521          14821         407         1                -           0.0000          -
1520.73/1526.25	c      1526          14944         398         1                -           0.0000          -
1527.61/1533.16	c      1533          15024         394         1                -           0.0000          -
1533.49/1539.00	c      1539          15080         389         1                -           0.0000          -
1540.06/1545.64	c      1546          15114         392         1                -           0.0000          -
1545.34/1550.96	c      1551          15252         398         1                -           0.0000          -
1550.52/1556.12	c      1556          15376         401         1                -           0.0000          -
1555.69/1561.39	c      1561          15497         406         1                -           0.0000          -
1561.07/1566.71	c      1567          15625         398         1                -           0.0000          -
1566.65/1572.36	c      1572          15747         439         1                -           0.0000          -
1572.22/1577.92	c      1578          15846         428         1                -           0.0000          -
1577.42/1583.12	c      1583          15899         435         1                -           0.0000          -
1582.99/1588.79	c      1589          15949         478         1                -           0.0000          -
1588.96/1594.71	c      1595          16079         564         1                -           0.0000          -
1594.15/1599.91	c      1600          16207         644         1                -           0.0000          -
1599.33/1605.16	c      1605          16329         723         1                -           0.0000          -
1604.50/1610.34	c      1610          16497         801         1                -           0.0000          -
1609.78/1615.68	c      1616          16625         876         1                -           0.0000          -
1614.86/1620.79	c      1621          16796         957         1                -           0.0000          -
1620.04/1625.91	c      1626          16976        1018         1                -           0.0000          -
1625.03/1630.98	c      1631          17173        1075         1                -           0.0000          -
1630.12/1636.07	c      1636          17370        1110         1                -           0.0000          -
1635.19/1641.15	c      1641          17575        1140         1                -           0.0000          -
1640.47/1646.48	c      1646          17738        1199         1                -           0.0000          -
1645.64/1651.64	c      1652          17940        1225         1                -           0.0000          -
1650.72/1656.78	c      1657          18129        1300         1                -           0.0000          -
1655.80/1661.88	c      1662          18323        1353         1                -           0.0000          -
1661.00/1667.00	c      1667          18502        1436         1                -           0.0000          -
1666.08/1672.12	c      1672          18694        1489         1                -           0.0000          -
1671.25/1677.33	c      1677          18862        1557         1                -           0.0000          -
1676.82/1682.92	c      1683          19025        1603         1                -           0.0000          -
1681.92/1688.05	c      1688          19240        1631         1                -           0.0000          -
1687.00/1693.17	c      1693          19434        1683         1                -           0.0000          -
1692.17/1698.30	c      1698          19621        1740         1                -           0.0000          -
1697.15/1703.39	c      1703          19821        1768         1                -           0.0000          -
1702.33/1708.53	c      1709          19996        1793         1                -           0.0000          -
1707.41/1713.62	c      1714          20178        1839         1                -           0.0000          -
1712.79/1719.05	c      1719          20362        1885         1                -           0.0000          -
1717.87/1724.18	c      1724          20553        1919         1                -           0.0000          -
1723.04/1729.30	c      1729          20724        1976         1                -           0.0000          -
1728.13/1734.40	c      1734          20920        2018         1                -           0.0000          -
1733.11/1739.46	c      1739          21097        2065         1                -           0.0000          -
1738.18/1744.57	c      1745          21285        2088         1                -           0.0000          -
1743.36/1749.71	c      1750          21471        2122         1                -           0.0000          -
1748.44/1754.85	c      1755          21654        2179         1                -           0.0000          -
1753.53/1759.92	c      1760          21838        2193         1                -           0.0000          -
1758.61/1765.01	c      1765          22019        2237         1                -           0.0000          -
1763.68/1770.11	c      1770          22204        2294         1                -           0.0000          -
1768.76/1775.23	c      1775          22394        2330         1                -           0.0000          -
1773.83/1780.32	c      1780          22579        2381         1                -           0.0000          -
1778.92/1785.48	c      1785          22773        2419         1                -           0.0000          -
1783.99/1790.58	c      1791          22967        2478         1                -           0.0000          -
1789.08/1795.66	c      1796          23155        2520         1                -           0.0000          -
1794.16/1800.76	c      1801          23345        2549         1                -           0.0000          -
1799.54/1806.17	c      1806          23521        2588         1                -           0.0000          -
1805.53/1812.14	c      1812          23701        2636         1                -           0.0000          -
1810.59/1817.23	c      1817          23887        2663         1                -           0.0000          -
1815.68/1822.32	c      1822          24094        2679         1                -           0.0000          -
1820.75/1827.45	c      1827          24285        2711         1                -           0.0000          -
1825.83/1832.51	c      1833          24462        2764         1                -           0.0000          -
1830.91/1837.62	c      1838          24660        2795         1                -           0.0000          -
1835.99/1842.72	c      1843          24860        2824         1                -           0.0000          -
1841.07/1847.81	c      1848          25054        2851         1                -           0.0000          -
1846.25/1853.03	c      1853          25188        2918         1                -           0.0000          -
1851.33/1858.18	c      1858          25364        2989         1                -           0.0000          -
1856.41/1863.28	c      1863          25558        3023         1                -           0.0000          -
1861.49/1868.38	c      1868          25740        3069         1                -           0.0000          -
1866.56/1873.47	c      1873          25929        3104         1                -           0.0000          -
1871.65/1878.55	c      1879          26122        3131         1                -           0.0000          -
1876.73/1883.68	c      1884          26319        3166         1                -           0.0000          -
1881.91/1888.80	c      1889          26514        3197         1                -           0.0000          -
1886.89/1893.88	c      1894          26712        3219         1                -           0.0000          -
1892.07/1899.02	c      1899          26897        3267         1                -           0.0000          -
1897.25/1904.22	c      1904          27084        3323         1                -           0.0000          -
1902.33/1909.32	c      1909          27260        3377         1                -           0.0000          -
1908.40/1915.44	c      1915          27423        3405         1                -           0.0000          -
1913.48/1920.58	c      1921          27609        3465         1                -           0.0000          -
1918.57/1925.68	c      1926          27805        3508         1                -           0.0000          -
1923.64/1930.75	c      1931          27993        3544         1                -           0.0000          -
1928.73/1935.83	c      1936          28186        3583         1                -           0.0000          -
1933.81/1940.96	c      1941          28375        3627         1                -           0.0000          -
1938.89/1946.07	c      1946          28549        3692         1                -           0.0000          -
1943.97/1951.16	c      1951          28729        3763         1                -           0.0000          -
1949.04/1956.29	c      1956          28904        3842         1                -           0.0000          -
1954.12/1961.38	c      1961          29078        3915         1                -           0.0000          -
1959.20/1966.48	c      1966          29250        3996         1                -           0.0000          -
1964.28/1971.58	c      1972          29438        4043         1                -           0.0000          -
1969.45/1976.72	c      1977          29637        4067         1                -           0.0000          -
1974.53/1981.80	c      1982          29809        4139         1                -           0.0000          -
1979.61/1986.90	c      1987          30002        4182         1                -           0.0000          -
1984.70/1992.04	c      1992          30215        4202         1                -           0.0000          -
1989.78/1997.19	c      1997          30392        4257         1                -           0.0000          -
1994.95/2002.31	c      2002          30596        4285         1                -           0.0000          -
2000.03/2007.45	c      2007          30790        4327         1                -           0.0000          -
2005.12/2012.57	c      2013          30984        4364         1                -           0.0000          -
2010.20/2017.67	c      2018          31194        4407         1                -           0.0000          -
2015.27/2022.79	c      2023          31395        4433         1                -           0.0000          -
2020.45/2027.91	c      2028          31580        4479         1                -           0.0000          -
2025.44/2032.98	c      2033          31774        4517         1                -           0.0000          -
2030.63/2038.12	c      2038          31978        4564         1                -           0.0000          -
2035.61/2043.18	c      2043          32171        4588         1                -           0.0000          -
2040.78/2048.35	c      2048          32373        4625         1                -           0.0000          -
2045.96/2053.51	c      2054          32578        4642         1                -           0.0000          -
2051.04/2058.66	c      2059          32758        4703         1                -           0.0000          -
2056.12/2063.75	c      2064          32966        4703         1                -           0.0000          -
2061.20/2068.87	c      2069          33150        4741         1                -           0.0000          -
2066.28/2073.99	c      2074          33351        4773         1                -           0.0000          -
2071.46/2079.12	c      2079          33545        4828         1                -           0.0000          -
2076.54/2084.25	c      2084          33744        4856         1                -           0.0000          -
2081.61/2089.36	c      2089          33941        4905         1                -           0.0000          -
2086.69/2094.49	c      2094          34149        4924         1                -           0.0000          -
2091.88/2099.63	c      2100          34355        4940         1                -           0.0000          -
2096.95/2104.71	c      2105          34557        4961         1                -           0.0000          -
2101.93/2109.77	c      2110          34726        5048         1                -           0.0000          -
2107.02/2114.86	c      2115          34893        5122         1                -           0.0000          -
2112.09/2119.97	c      2120          35063        5205         1                -           0.0000          -
2117.28/2125.11	c      2125          35273        5251         1                -           0.0000          -
2122.35/2130.26	c      2130          35488        5271         1                -           0.0000          -
2127.44/2135.37	c      2135          35701        5290         1                -           0.0000          -
2132.61/2140.50	c      2140          35891        5324         1                -           0.0000          -
2137.69/2145.61	c      2146          36076        5364         1                -           0.0000          -
2142.77/2150.71	c      2151          36263        5378         1                -           0.0000          -
2148.65/2156.68	c      2157          36431        5406         1                -           0.0000          -
2153.73/2161.79	c      2162          36637        5418         1                -           0.0000          -
2158.81/2166.89	c      2167          36834        5438         1                -           0.0000          -
2163.99/2172.03	c      2172          37034        5457         1                -           0.0000          -
2169.07/2177.14	c      2177          37240        5469         1                -           0.0000          -
2174.15/2182.29	c      2182          37435        5503         1                -           0.0000          -
2179.32/2187.43	c      2187          37634        5531         1                -           0.0000          -
2184.40/2192.57	c      2193          37831        5590         1                -           0.0000          -
2189.58/2197.70	c      2198          38041        5621         1                -           0.0000          -
2194.67/2202.80	c      2203          38221        5679         1                -           0.0000          -
2199.65/2207.89	c      2208          38404        5747         1                -           0.0000          -
2205.63/2213.87	c      2214          38412        5749         1                -           0.0000          -
2210.70/2218.96	c      2219          38590        5813         1                -           0.0000          -
2215.79/2224.09	c      2224          38791        5852         1                -           0.0000          -
2220.88/2229.19	c      2229          38978        5915         1                -           0.0000          -
2225.95/2234.26	c      2234          39169        5969         1                -           0.0000          -
2231.13/2239.40	c      2239          39372        6013         1                -           0.0000          -
2236.22/2244.52	c      2245          39580        6040         1                -           0.0000          -
2241.30/2249.62	c      2250          39785        6066         1                -           0.0000          -
2246.38/2254.74	c      2255          39992        6093         1                -           0.0000          -
2251.46/2259.84	c      2260          40209        6100         1                -           0.0000          -
2256.54/2264.96	c      2265          40425        6106         1                -           0.0000          -
2261.63/2270.09	c      2270          40635        6123         1                -           0.0000          -
2266.70/2275.18	c      2275          40848        6148         1                -           0.0000          -
2271.78/2280.29	c      2280          41053        6173         1                -           0.0000          -
2276.96/2285.41	c      2285          41269        6199         1                -           0.0000          -
2282.55/2291.00	c      2291          41476        6214         1                -           0.0000          -
2287.63/2296.11	c      2296          41680        6231         1                -           0.0000          -
2292.70/2301.26	c      2301          41884        6269         1                -           0.0000          -
2297.79/2306.39	c      2306          42087        6321         1                -           0.0000          -
2302.97/2311.54	c      2312          42270        6397         1                -           0.0000          -
2308.05/2316.67	c      2317          42449        6453         1                -           0.0000          -
2313.23/2321.84	c      2322          42669        6482         1                -           0.0000          -
2318.31/2326.92	c      2327          42867        6514         1                -           0.0000          -
2323.40/2332.01	c      2332          43077        6544         1                -           0.0000          -
2328.48/2337.12	c      2337          43282        6571         1                -           0.0000          -
2333.55/2342.24	c      2342          43491        6599         1                -           0.0000          -
2338.64/2347.33	c      2347          43689        6656         1                -           0.0000          -
2343.71/2352.46	c      2352          43895        6707         1                -           0.0000          -
2348.79/2357.53	c      2358          44107        6730         1                -           0.0000          -
2353.87/2362.66	c      2363          44296        6779         1                -           0.0000          -
2358.95/2367.77	c      2368          44463        6862         1                -           0.0000          -
2364.03/2372.90	c      2373          44666        6893         1                -           0.0000          -
2369.11/2377.99	c      2378          44864        6936         1                -           0.0000          -
2374.19/2383.09	c      2383          45075        6961         1                -           0.0000          -
2379.36/2388.21	c      2388          45281        6980         1                -           0.0000          -
2384.45/2393.36	c      2393          45476        7024         1                -           0.0000          -
2389.52/2398.45	c      2398          45687        7043         1                -           0.0000          -
2394.60/2403.57	c      2404          45906        7064         1                -           0.0000          -
2399.68/2408.68	c      2409          46107        7091         1                -           0.0000          -
2404.77/2413.79	c      2414          46322        7103         1                -           0.0000          -
2409.94/2418.92	c      2419          46509        7149         1                -           0.0000          -
2415.03/2424.02	c      2424          46720        7165         1                -           0.0000          -
2420.11/2429.16	c      2429          46920        7185         1                -           0.0000          -
2425.18/2434.27	c      2434          47124        7206         1                -           0.0000          -
2430.26/2439.37	c      2439          47334        7219         1                -           0.0000          -
2435.44/2444.51	c      2445          47546        7238         1                -           0.0000          -
2440.52/2449.63	c      2450          47734        7256         1                -           0.0000          -
2445.59/2454.71	c      2455          47936        7290         1                -           0.0000          -
2450.67/2459.82	c      2460          48144        7314         1                -           0.0000          -
2455.75/2464.91	c      2465          48352        7332         1                -           0.0000          -
2460.84/2470.02	c      2470          48559        7363         1                -           0.0000          -
2465.92/2475.13	c      2475          48771        7402         1                -           0.0000          -
2471.00/2480.27	c      2480          48989        7424         1                -           0.0000          -
2476.17/2485.41	c      2485          49194        7453         1                -           0.0000          -
2481.25/2490.53	c      2491          49417        7468         1                -           0.0000          -
2486.34/2495.63	c      2496          49630        7472         1                -           0.0000          -
2491.41/2500.75	c      2501          49832        7505         1                -           0.0000          -
2496.49/2505.87	c      2506          50029        7532         1                -           0.0000          -
2501.57/2510.99	c      2511          50227        7558         1                -           0.0000          -
2506.75/2516.11	c      2516          50453        7580         1                -           0.0000          -
2512.03/2521.47	c      2521          50567        7623         1                -           0.0000          -
2517.11/2526.59	c      2527          50766        7693         1                -           0.0000          -
2522.19/2531.68	c      2532          50974        7725         1                -           0.0000          -
2527.37/2536.85	c      2537          51185        7742         1                -           0.0000          -
2532.55/2542.00	c      2542          51398        7770         1                -           0.0000          -
2537.63/2547.11	c      2547          51619        7785         1                -           0.0000          -
2542.70/2552.24	c      2552          51846        7800         1                -           0.0000          -
2547.78/2557.38	c      2557          52056        7838         1                -           0.0000          -
2552.86/2562.48	c      2562          52271        7857         1                -           0.0000          -
2557.93/2567.57	c      2568          52479        7882         1                -           0.0000          -
2563.12/2572.70	c      2573          52702        7901         1                -           0.0000          -
2568.20/2577.80	c      2578          52909        7913         1                -           0.0000          -
2573.27/2582.91	c      2583          53117        7947         1                -           0.0000          -
2578.36/2588.04	c      2588          53333        7957         1                -           0.0000          -
2583.43/2593.19	c      2593          53536        7989         1                -           0.0000          -
2588.61/2598.30	c      2598          53755        8005         1                -           0.0000          -
2593.68/2603.40	c      2603          53970        8037         1                -           0.0000          -
2598.76/2608.58	c      2609          54197        8055         1                -           0.0000          -
2603.84/2613.69	c      2614          54415        8071         1                -           0.0000          -
2608.93/2618.78	c      2619          54604        8135         1                -           0.0000          -
2614.11/2623.92	c      2624          54790        8207         1                -           0.0000          -
2619.19/2629.08	c      2629          54979        8266         1                -           0.0000          -
2624.27/2634.19	c      2634          55173        8312         1                -           0.0000          -
2629.44/2639.31	c      2639          55340        8374         1                -           0.0000          -
2635.22/2645.13	c      2645          55401        8397         1                -           0.0000          -
2640.50/2650.42	c      2650          55441        8403         1                -           0.0000          -
2645.58/2655.51	c      2656          55653        8420         1                -           0.0000          -
2650.66/2660.64	c      2661          55874        8443         1                -           0.0000          -
2655.74/2665.74	c      2666          56069        8478         1                -           0.0000          -
2660.82/2670.84	c      2671          56275        8509         1                -           0.0000          -
2665.90/2675.92	c      2676          56486        8543         1                -           0.0000          -
2670.98/2681.06	c      2681          56698        8563         1                -           0.0000          -
2676.06/2686.17	c      2686          56905        8583         1                -           0.0000          -
2682.04/2692.13	c      2692          57091        8625         1                -           0.0000          -
2687.11/2697.26	c      2697          57301        8662         1                -           0.0000          -
2692.19/2702.34	c      2702          57503        8689         1                -           0.0000          -
2697.27/2707.44	c      2707          57724        8705         1                -           0.0000          -
2702.36/2712.58	c      2713          57939        8740         1                -           0.0000          -
2707.43/2717.68	c      2718          58146        8746         1                -           0.0000          -
2712.61/2722.81	c      2723          58350        8774         1                -           0.0000          -
2717.69/2727.94	c      2728          58568        8802         1                -           0.0000          -
2722.88/2733.11	c      2733          58785        8827         1                -           0.0000          -
2727.95/2738.25	c      2738          59020        8855         1                -           0.0000          -
2733.13/2743.41	c      2743          59227        8884         1                -           0.0000          -
2738.22/2748.50	c      2749          59436        8907         1                -           0.0000          -
2743.30/2753.62	c      2754          59655        8931         1                -           0.0000          -
2748.38/2758.77	c      2759          59873        8968         1                -           0.0000          -
2753.46/2763.87	c      2764          60099        8980         1                -           0.0000          -
2758.54/2768.97	c      2769          60304        9005         1                -           0.0000          -
2763.72/2774.11	c      2774          60530        9022         1                -           0.0000          -
2768.80/2779.24	c      2779          60743        9030         1                -           0.0000          -
2773.88/2784.34	c      2784          60947        9058         1                -           0.0000          -
2778.96/2789.48	c      2789          61167        9073         1                -           0.0000          -
2784.14/2794.62	c      2795          61383        9090         1                -           0.0000          -
2789.23/2799.74	c      2800          61596        9114         1                -           0.0000          -
2794.30/2804.85	c      2805          61795        9148         1                -           0.0000          -
2799.38/2809.98	c      2810          62004        9170         1                -           0.0000          -
2804.56/2815.10	c      2815          62211        9198         1                -           0.0000          -
2809.55/2820.18	c      2820          62431        9212         1                -           0.0000          -
2814.62/2825.29	c      2825          62608        9261         1                -           0.0000          -
2819.70/2830.39	c      2830          62798        9292         1                -           0.0000          -
2824.88/2835.50	c      2836          63026        9317         1                -           0.0000          -
2829.96/2840.63	c      2841          63228        9340         1                -           0.0000          -
2835.03/2845.76	c      2846          63442        9372         1                -           0.0000          -
2840.11/2850.88	c      2851          63644        9403         1                -           0.0000          -
2845.29/2856.02	c      2856          63859        9436         1                -           0.0000          -
2850.38/2861.11	c      2861          64077        9468         1                -           0.0000          -
2855.46/2866.27	c      2866          64295        9495         1                -           0.0000          -
2860.54/2871.37	c      2871          64517        9490         1                -           0.0000          -
2865.61/2876.48	c      2876          64735        9489         1                -           0.0000          -
2870.69/2881.57	c      2882          64965        9494         1                -           0.0000          -
2875.77/2886.67	c      2887          65184        9518         1                -           0.0000          -
2880.86/2891.77	c      2892          65403        9523         1                -           0.0000          -
2886.03/2896.91	c      2897          65626        9545         1                -           0.0000          -
2891.12/2902.00	c      2902          65832        9572         1                -           0.0000          -
2896.10/2907.08	c      2907          66043        9585         1                -           0.0000          -
2901.27/2912.21	c      2912          66257        9608         1                -           0.0000          -
2906.36/2917.35	c      2917          66468        9638         1                -           0.0000          -
2911.44/2922.47	c      2922          66681        9660         1                -           0.0000          -
2916.52/2927.59	c      2928          66901        9677         1                -           0.0000          -
2921.60/2932.69	c      2933          67101        9706         1                -           0.0000          -
2926.67/2937.80	c      2938          67306        9718         1                -           0.0000          -
2931.75/2942.89	c      2943          67530        9734         1                -           0.0000          -
2936.84/2947.99	c      2948          67749        9745         1                -           0.0000          -
2941.92/2953.08	c      2953          67972        9764         1                -           0.0000          -
2947.10/2958.23	c      2958          68183        9805         1                -           0.0000          -
2952.18/2963.33	c      2963          68408        9824         1                -           0.0000          -
2957.26/2968.44	c      2968          68644        9824         1                -           0.0000          -
2962.35/2973.52	c      2974          68853        9850         1                -           0.0000          -
2967.43/2978.61	c      2979          69078        9870         1                -           0.0000          -
2972.41/2983.69	c      2984          69312        9903         1                -           0.0000          -
2977.59/2988.85	c      2989          69532        9912         1                -           0.0000          -
2982.67/2993.92	c      2994          69746        9941         1                -           0.0000          -
2987.76/2999.04	c      2999          69947        9968         1                -           0.0000          -
2992.84/3004.18	c      3004          70146       10002         1                -           0.0000          -
2998.01/3009.30	c      3009          70344       10035         1                -           0.0000          -
3003.10/3014.42	c      3014          70545       10074         1                -           0.0000          -
3008.18/3019.53	c      3020          70747       10119         1                -           0.0000          -
3013.25/3024.69	c      3025          70954       10144         1                -           0.0000          -
3018.43/3029.82	c      3030          71158       10179         1                -           0.0000          -
3023.51/3034.92	c      3035          71357       10212         1                -           0.0000          -
3028.59/3040.07	c      3040          71551       10258         1                -           0.0000          -
3033.67/3045.19	c      3045          71760       10292         1                -           0.0000          -
3038.85/3050.30	c      3050          71981       10300         1                -           0.0000          -
3043.83/3055.40	c      3055          72186       10329         1                -           0.0000          -
3048.90/3060.49	c      3060          72401       10332         1                -           0.0000          -
3053.98/3065.58	c      3066          72614       10351         1                -           0.0000          -
3059.16/3070.71	c      3071          72844       10357         1                -           0.0000          -
3064.25/3075.81	c      3076          73048       10384         1                -           0.0000          -
3069.33/3080.92	c      3081          73262       10401         1                -           0.0000          -
3074.41/3086.05	c      3086          73492       10410         1                -           0.0000          -
3079.49/3091.17	c      3091          73699       10431         1                -           0.0000          -
3084.67/3096.30	c      3096          73910       10459         1                -           0.0000          -
3089.75/3101.41	c      3101          74110       10494         1                -           0.0000          -
3094.83/3106.51	c      3107          74312       10508         1                -           0.0000          -
3099.90/3111.63	c      3112          74497       10542         1                -           0.0000          -
3104.99/3116.76	c      3117          74702       10580         1                -           0.0000          -
3110.16/3121.91	c      3122          74921       10605         1                -           0.0000          -
3115.25/3127.01	c      3127          75138       10634         1                -           0.0000          -
3120.33/3132.14	c      3132          75344       10664         1                -           0.0000          -
3126.10/3137.92	c      3138          75483       10676         1                -           0.0000          -
3131.19/3143.00	c      3143          75683       10682         1                -           0.0000          -
3136.27/3148.12	c      3148          75881       10725         1                -           0.0000          -
3141.34/3153.24	c      3153          76096       10742         1                -           0.0000          -
3146.43/3158.30	c      3158          76308       10763         1                -           0.0000          -
3151.41/3163.38	c      3163          76538       10770         1                -           0.0000          -
3156.59/3168.53	c      3169          76769       10786         1                -           0.0000          -
3161.67/3173.65	c      3174          76986       10810         1                -           0.0000          -
3166.74/3178.77	c      3179          77207       10848         1                -           0.0000          -
3171.82/3183.87	c      3184          77441       10862         1                -           0.0000          -
3176.91/3188.99	c      3189          77654       10879         1                -           0.0000          -
3182.09/3194.11	c      3194          77877       10887         1                -           0.0000          -
3187.16/3199.25	c      3199          78096       10900         1                -           0.0000          -
3192.24/3204.33	c      3204          78326       10916         1                -           0.0000          -
3197.32/3209.40	c      3209          78543       10929         1                -           0.0000          -
3202.40/3214.50	c      3214          78760       10958         1                -           0.0000          -
3207.38/3219.59	c      3220          78976       10976         1                -           0.0000          -
3212.47/3224.70	c      3225          79177       11007         1                -           0.0000          -
3217.54/3229.79	c      3230          79389       11027         1                -           0.0000          -
3222.72/3234.92	c      3235          79618       11050         1                -           0.0000          -
3227.70/3239.99	c      3240          79815       11087         1                -           0.0000          -
3232.89/3245.13	c      3245          80020       11125         1                -           0.0000          -
3237.96/3250.23	c      3250          80235       11148         1                -           0.0000          -
3243.03/3255.35	c      3255          80453       11170         1                -           0.0000          -
3248.11/3260.47	c      3260          80668       11193         1                -           0.0000          -
3253.30/3265.62	c      3266          80877       11217         1                -           0.0000          -
3258.27/3270.69	c      3271          81090       11242         1                -           0.0000          -
3263.45/3275.82	c      3276          81292       11260         1                -           0.0000          -
3268.53/3280.91	c      3281          81489       11303         1                -           0.0000          -
3273.61/3286.02	c      3286          81686       11354         1                -           0.0000          -
3278.70/3291.12	c      3291          81891       11387         1                -           0.0000          -
3283.77/3296.24	c      3296          82116       11399         1                -           0.0000          -
3288.85/3301.33	c      3301          82336       11411         1                -           0.0000          -
3294.23/3306.73	c      3307          82444       11423         1                -           0.0000          -
3299.31/3311.84	c      3312          82666       11443         1                -           0.0000          -
3304.39/3316.95	c      3317          82880       11462         1                -           0.0000          -
3309.48/3322.08	c      3322          83092       11500         1                -           0.0000          -
3314.65/3327.20	c      3327          83302       11532         1                -           0.0000          -
3319.73/3332.31	c      3332          83508       11572         1                -           0.0000          -
3324.71/3337.40	c      3337          83738       11579         1                -           0.0000          -
3329.89/3342.53	c      3343          83958       11599         1                -           0.0000          -
3334.98/3347.62	c      3348          84169       11608         1                -           0.0000          -
3339.95/3352.69	c      3353          84397       11632         1                -           0.0000          -
3345.03/3357.79	c      3358          84589       11684         1                -           0.0000          -
3350.21/3362.95	c      3363          84763       11773         1                -           0.0000          -
3355.29/3368.04	c      3368          84947       11843         1                -           0.0000          -
3360.37/3373.13	c      3373          85151       11868         1                -           0.0000          -
3365.44/3378.26	c      3378          85370       11881         1                -           0.0000          -
3371.13/3383.98	c      3384          85528       11915         1                -           0.0000          -
3376.31/3389.13	c      3389          85750       11947         1                -           0.0000          -
3381.38/3394.26	c      3394          85975       11973         1                -           0.0000          -
3386.76/3399.67	c      3400          86180       12012         1                -           0.0000          -
3391.95/3404.82	c      3405          86396       12037         1                -           0.0000          -
3397.03/3409.93	c      3410          86626       12046         1                -           0.0000          -
3402.11/3415.02	c      3415          86846       12065         1                -           0.0000          -
3407.20/3420.14	c      3420          87053       12105         1                -           0.0000          -
3412.27/3425.24	c      3425          87248       12151         1                -           0.0000          -
3417.35/3430.32	c      3430          87451       12187         1                -           0.0000          -
3422.43/3435.43	c      3435          87667       12222         1                -           0.0000          -
3427.61/3440.61	c      3441          87865       12275         1                -           0.0000          -
3432.68/3445.72	c      3446          88079       12304         1                -           0.0000          -
3437.76/3450.84	c      3451          88280       12331         1                -           0.0000          -
3442.85/3455.94	c      3456          88509       12334         1                -           0.0000          -
3447.93/3461.03	c      3461          88725       12358         1                -           0.0000          -
3453.01/3466.12	c      3466          88952       12391         1                -           0.0000          -
3458.08/3471.22	c      3471          89182       12396         1                -           0.0000          -
3463.17/3476.33	c      3476          89388       12436         1                -           0.0000          -
3468.25/3481.42	c      3481          89606       12462         1                -           0.0000          -
3473.33/3486.56	c      3487          89827       12481         1                -           0.0000          -
3478.41/3491.66	c      3492          90053       12488         1                -           0.0000          -
3483.59/3496.82	c      3497          90281       12507         1                -           0.0000          -
3488.67/3501.96	c      3502          90499       12532         1                -           0.0000          -
3493.76/3507.06	c      3507          90727       12549         1                -           0.0000          -
3498.83/3512.19	c      3512          90957       12564         1                -           0.0000          -
3504.01/3517.34	c      3517          91177       12587         1                -           0.0000          -
3509.09/3522.41	c      3522          91408       12604         1                -           0.0000          -
3514.17/3527.52	c      3528          91621       12611         1                -           0.0000          -
3519.25/3532.62	c      3533          91812       12631         1                -           0.0000          -
3524.33/3537.76	c      3538          92042       12644         1                -           0.0000          -
3529.41/3542.88	c      3543          92239       12666         1                -           0.0000          -
3534.49/3547.98	c      3548          92454       12694         1                -           0.0000          -
3539.67/3553.14	c      3553          92669       12726         1                -           0.0000          -
3544.75/3558.27	c      3558          92877       12776         1                -           0.0000          -
3550.03/3563.53	c      3564          93095       12799         1                -           0.0000          -
3555.11/3568.65	c      3569          93319       12816         1                -           0.0000          -
3560.20/3573.76	c      3574          93470       12829         1                -           0.0000          -
3565.38/3578.99	c      3579          93471       12828         1                -           0.0000          -
3570.56/3584.15	c      3584          93675       12868         1                -           0.0000          -
3575.63/3589.26	c      3589          93904       12886         1                -           0.0000          -
3580.81/3594.45	c      3594          94125       12900         1                -           0.0000          -
3584.80/3598.43	c SCIP Status        : c solving was interrupted [hard time limit reached]
3584.80/3598.43	c Total Time         : 3598.4200
3584.80/3598.43	c   solving          : 3598.4200
3584.80/3598.43	c   presolving       : 3.7716 (included in solving)
3584.80/3598.43	c B&B Tree           :
3584.80/3598.43	c   nodes (total)    : 1
3584.80/3598.43	c Solution           :
3584.80/3598.43	c   Solutions found  : 0
3584.80/3598.43	c   Primal Bound     :          -
3584.80/3598.43	c   Dual Bound       : +0.00000000000000e+00
3584.80/3598.43	c Gap                :          -
3585.00/3598.61	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 (56514 MiB free)
  memory of node 1: 64510 MiB (62474 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=33421, runsolver pid=33418

[startup+0.100387 s]*
/proc/loadavg: 4.19 4.20 4.09 5/266 33422
/proc/meminfo: memFree=121792720/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=55764 memory=43824 CPUtime=0.09 cores=1,3
/proc/33421/stat : 33421 (fscip) R 33418 33421 30590 0 -1 4194304 8876 0 0 0 8 1 0 0 20 0 1 0 4818653 57102336 10956 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 13941 10956 2347 3035 0 10337 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55764 KiB
Current children cumulated memory: 43824 KiB

[startup+0.205497 s]*
/proc/loadavg: 4.19 4.20 4.09 5/266 33422
/proc/meminfo: memFree=121640740/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=88496 memory=75984 CPUtime=0.2 cores=1,3
/proc/33421/stat : 33421 (fscip) R 33418 33421 30590 0 -1 4194304 16914 0 0 0 17 3 0 0 20 0 1 0 4818653 90619904 18996 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 22124 18996 2347 3035 0 18520 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88496 KiB
Current children cumulated memory: 75984 KiB

[startup+0.30565 s]*
/proc/loadavg: 4.19 4.20 4.09 5/266 33422
/proc/meminfo: memFree=121535668/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=122412 memory=112040 CPUtime=0.29 cores=1,3
/proc/33421/stat : 33421 (fscip) R 33418 33421 30590 0 -1 4194304 26433 0 0 0 26 3 0 0 20 0 1 0 4818653 125349888 28010 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 30603 28010 2539 3035 0 26999 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 122412 KiB
Current children cumulated memory: 112040 KiB

[startup+0.700237 s]
/proc/loadavg: 4.19 4.20 4.09 5/266 33422
/proc/meminfo: memFree=121473288/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=272624 memory=255528 CPUtime=0.68 cores=1,3
/proc/33421/stat : 33421 (fscip) R 33418 33421 30590 0 -1 4194304 62245 0 0 0 61 7 0 0 20 0 1 0 4818653 279166976 63882 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 68156 63882 2614 3035 0 64552 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 272624 KiB
Current children cumulated memory: 255528 KiB

[startup+1.50024 s]
/proc/loadavg: 4.19 4.20 4.09 5/266 33422
/proc/meminfo: memFree=121393544/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=311040 memory=293348 CPUtime=1.48 cores=1,3
/proc/33421/stat : 33421 (fscip) R 33418 33421 30590 0 -1 4194304 78796 0 0 0 136 12 0 0 20 0 1 0 4818653 318504960 73337 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 77760 73337 2710 3035 0 74156 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 311040 KiB
Current children cumulated memory: 293348 KiB

[startup+3.10575 s]
/proc/loadavg: 4.19 4.20 4.09 5/266 33422
/proc/meminfo: memFree=120979296/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=374372 memory=356572 CPUtime=3.08 cores=1,3
/proc/33421/stat : 33421 (fscip) R 33418 33421 30590 0 -1 4194304 94574 0 0 0 294 14 0 0 20 0 1 0 4818653 383356928 89143 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 93593 89143 2758 3035 0 89989 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 374372 KiB
Current children cumulated memory: 356572 KiB

[startup+6.30025 s]
/proc/loadavg: 4.17 4.20 4.09 5/268 33424
/proc/meminfo: memFree=119749324/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=1068468 memory=937252 CPUtime=6.26 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 198321 0 0 0 592 34 0 0 20 0 3 0 4818653 1094111232 234313 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 267117 234313 2790 3035 0 247784 0
[pid=33421/tid=33423] ppid=33418 vsize=1068468 memory=-5155626912171256709 CPUtime=1.74 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 71162 0 0 0 163 11 0 0 20 0 3 0 4819083 1094111232 234313 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=1068468 memory=876544 CPUtime=0 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4819126 1094111232 234313 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1068468 KiB
Current children cumulated memory: 937252 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.19 4.09 5/270 33428
/proc/meminfo: memFree=118590888/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=1410100 memory=1276424 CPUtime=12.64 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 278361 0 0 0 1218 46 0 0 20 0 3 0 4818653 1443942400 319106 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 352525 319106 2950 3035 0 339346 0
[pid=33421/tid=33423] ppid=33418 vsize=1410100 memory=11400 CPUtime=8.13 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 151196 0 0 0 789 24 0 0 20 0 3 0 4819083 1443942400 319106 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=1410100 memory=1276424 CPUtime=0 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4819126 1443942400 319106 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1410100 KiB
Current children cumulated memory: 1276424 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.18 4.09 5/269 33429
/proc/meminfo: memFree=118302960/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=1475636 memory=1304628 CPUtime=25.41 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 325679 0 0 0 2492 49 0 0 20 0 3 0 4818653 1511051264 326157 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 368909 326157 2950 3035 0 351112 0
[pid=33421/tid=33423] ppid=33418 vsize=1475636 memory=1304628 CPUtime=20.89 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 198508 0 0 0 2063 26 0 0 20 0 3 0 4819083 1511051264 326157 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=1475636 memory=1276424 CPUtime=0 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 4819126 1511051264 326157 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1475636 KiB
Current children cumulated memory: 1304628 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.18 4.09 5/269 33435
/proc/meminfo: memFree=118177744/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=1541172 memory=1325732 CPUtime=50.96 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 407997 0 0 0 5041 55 0 0 20 0 3 0 4818653 1578160128 331433 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 385293 331433 2950 3035 0 358911 0
[pid=33421/tid=33423] ppid=33418 vsize=1541172 memory=-5155626912171256709 CPUtime=46.44 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 280812 0 0 0 4612 32 0 0 20 0 3 0 4819083 1578160128 331433 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=1541172 memory=11400 CPUtime=0 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4819126 1578160128 331433 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1541172 KiB
Current children cumulated memory: 1325732 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.18 4.09 5/269 33443
/proc/meminfo: memFree=118152400/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=1541172 memory=1326000 CPUtime=102.02 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 488494 0 0 0 10142 60 0 0 20 0 3 0 4818653 1578160128 331500 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 385293 331500 2950 3035 0 365565 0
[pid=33421/tid=33423] ppid=33418 vsize=1541172 memory=11400 CPUtime=97.51 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 361297 0 0 0 9713 38 0 0 20 0 3 0 4819083 1578160128 331500 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=1541172 memory=14436 CPUtime=0 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4819126 1578160128 331500 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1541172 KiB
Current children cumulated memory: 1326000 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.20 4.10 5/268 33502
/proc/meminfo: memFree=117402600/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=1606708 memory=1330368 CPUtime=161.84 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 535011 0 0 0 16121 63 0 0 20 0 3 0 4818653 1645268992 332592 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 401677 332592 2950 3035 0 372809 0
[pid=33421/tid=33423] ppid=33418 vsize=1606708 memory=1326060 CPUtime=157.32 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 407806 0 0 0 15692 40 0 0 20 0 3 0 4819083 1645268992 332592 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=1606708 memory=1326072 CPUtime=0 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 4819126 1645268992 332592 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1606708 KiB
Current children cumulated memory: 1330368 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.17 4.10 5/266 33512
/proc/meminfo: memFree=117188260/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=1606708 memory=1339744 CPUtime=221.65 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 578747 0 0 0 22097 68 0 0 20 0 3 0 4818653 1645268992 334936 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 401677 334936 2950 3035 0 378325 0
[pid=33421/tid=33423] ppid=33418 vsize=1606708 memory=1332940 CPUtime=217.14 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 451539 0 0 0 21668 46 0 0 20 0 3 0 4819083 1645268992 334936 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=1606708 memory=2720 CPUtime=0 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 4819126 1645268992 334936 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 1606708 KiB
Current children cumulated memory: 1339744 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/264 33569
/proc/meminfo: memFree=118640516/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=1807556 memory=1516188 CPUtime=281.47 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 708519 0 0 0 28066 81 0 0 20 0 3 0 4818653 1850937344 379047 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 451889 379047 2966 3035 0 427668 0
[pid=33421/tid=33423] ppid=33418 vsize=1807556 memory=11400 CPUtime=276.95 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 581265 0 0 0 27637 58 0 0 20 0 3 0 4819083 1850937344 379047 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0

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

[pid=33421] ppid=33418 vsize=4216840 memory=2650592 CPUtime=3389.45 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 2301667 0 0 0 338482 463 0 0 20 0 3 0 4818653 4318044160 662648 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 1054210 662648 3014 3035 0 981153 0
[pid=33421/tid=33423] ppid=33418 vsize=4216840 memory=2650592 CPUtime=3384.73 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 2173429 0 0 0 338042 431 0 0 20 0 3 0 4819083 4318044160 662648 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=4216840 memory=2650592 CPUtime=0.04 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 157 0 0 0 0 4 0 0 20 0 3 0 4819126 4318044160 662648 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 3389.45 s
Current children cumulated vsize: 4216840 KiB
Current children cumulated memory: 2650592 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/266 35108
/proc/meminfo: memFree=110057348/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=4216840 memory=2650592 CPUtime=3449.22 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 2310352 0 0 0 344455 467 0 0 20 0 3 0 4818653 4318044160 662648 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 1054210 662648 3014 3035 0 981153 0
[pid=33421/tid=33423] ppid=33418 vsize=4216840 memory=2650592 CPUtime=3444.49 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 2182098 0 0 0 344014 435 0 0 20 0 3 0 4819083 4318044160 662648 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=4216840 memory=11400 CPUtime=0.05 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 159 0 0 0 1 4 0 0 20 0 3 0 4819126 4318044160 662648 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 3449.22 s
Current children cumulated vsize: 4216840 KiB
Current children cumulated memory: 2650592 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/268 35289
/proc/meminfo: memFree=109989268/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=4216840 memory=2650592 CPUtime=3508.99 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 2316703 0 0 0 350430 469 0 0 20 0 3 0 4818653 4318044160 662648 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 1054210 662648 3014 3035 0 981153 0
[pid=33421/tid=33423] ppid=33418 vsize=4216840 memory=2650592 CPUtime=3504.26 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 2188433 0 0 0 349990 436 0 0 20 0 3 0 4819083 4318044160 662648 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=4216840 memory=11400 CPUtime=0.05 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 4819126 4318044160 662648 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 3508.99 s
Current children cumulated vsize: 4216840 KiB
Current children cumulated memory: 2650592 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 35299
/proc/meminfo: memFree=109893336/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=4282376 memory=2740288 CPUtime=3568.77 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 2385368 0 0 0 356400 477 0 0 20 0 3 0 4818653 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 1070594 685072 3014 3035 0 1004525 0
[pid=33421/tid=33423] ppid=33418 vsize=4282376 memory=11400 CPUtime=3564.02 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 2257080 0 0 0 355958 444 0 0 20 0 3 0 4819083 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=4282376 memory=54448 CPUtime=0.05 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 163 0 0 0 1 4 0 0 20 0 3 0 4819126 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 3568.77 s
Current children cumulated vsize: 4282376 KiB
Current children cumulated memory: 2740288 KiB

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

# cumulated CPU time of all completed processes:  user=3580.23 s, system=4.83271 s

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

[startup+3584 s]*
/proc/loadavg: 4.07 4.11 4.09 5/268 35299
/proc/meminfo: memFree=109893364/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=4282376 memory=2740288 CPUtime=3570.46 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 2385397 0 0 0 356569 477 0 0 20 0 3 0 4818653 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 1070594 685072 3014 3035 0 1004525 0
[pid=33421/tid=33423] ppid=33418 vsize=4282376 memory=-7307490086970549114 CPUtime=3565.72 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 2257109 0 0 0 356128 444 0 0 20 0 3 0 4819083 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=4282376 memory=4714311806746259097 CPUtime=0.05 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 163 0 0 0 1 4 0 0 20 0 3 0 4819126 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 3570.46 s
Current children cumulated vsize: 4282376 KiB
Current children cumulated memory: 2740288 KiB

[startup+3590.4 s]
/proc/loadavg: 4.06 4.11 4.09 5/266 35347
/proc/meminfo: memFree=110228496/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=4282376 memory=2740288 CPUtime=3576.83 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 2386068 0 0 0 357206 477 0 0 20 0 3 0 4818653 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 1070594 685072 3014 3035 0 1004525 0
[pid=33421/tid=33423] ppid=33418 vsize=4282376 memory=68 CPUtime=3572.1 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 2257780 0 0 0 356765 445 0 0 20 0 3 0 4819083 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=4282376 memory=54448 CPUtime=0.05 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 163 0 0 0 1 4 0 0 20 0 3 0 4819126 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 3576.83 s
Current children cumulated vsize: 4282376 KiB
Current children cumulated memory: 2740288 KiB

[startup+3593.6 s]
/proc/loadavg: 4.06 4.11 4.09 5/266 35347
/proc/meminfo: memFree=110227732/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=4282376 memory=2740288 CPUtime=3580.02 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 2386882 0 0 0 357525 477 0 0 20 0 3 0 4818653 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 1070594 685072 3014 3035 0 1004525 0
[pid=33421/tid=33423] ppid=33418 vsize=4282376 memory=2740288 CPUtime=3575.28 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 2258594 0 0 0 357083 445 0 0 20 0 3 0 4819083 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=4282376 memory=2740288 CPUtime=0.05 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 163 0 0 0 1 4 0 0 20 0 3 0 4819126 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 3580.02 s
Current children cumulated vsize: 4282376 KiB
Current children cumulated memory: 2740288 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 35347
/proc/meminfo: memFree=110226724/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=4282376 memory=2740288 CPUtime=3583.2 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 2387154 0 0 0 357843 477 0 0 20 0 3 0 4818653 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 1070594 685072 3014 3035 0 1004525 0
[pid=33421/tid=33423] ppid=33418 vsize=4282376 memory=2740288 CPUtime=3578.47 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 2258866 0 0 0 357402 445 0 0 20 0 3 0 4819083 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=4282376 memory=11400 CPUtime=0.05 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 163 0 0 0 1 4 0 0 20 0 3 0 4819126 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 3583.2 s
Current children cumulated vsize: 4282376 KiB
Current children cumulated memory: 2740288 KiB

[startup+3597.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 35403
/proc/meminfo: memFree=110225680/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=4282376 memory=2740288 CPUtime=3584 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 2387176 0 0 0 357923 477 0 0 20 0 3 0 4818653 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 1070594 685072 3014 3035 0 1004525 0
[pid=33421/tid=33423] ppid=33418 vsize=4282376 memory=14648 CPUtime=3579.26 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 2258888 0 0 0 357481 445 0 0 20 0 3 0 4819083 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=4282376 memory=2336 CPUtime=0.05 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 163 0 0 0 1 4 0 0 20 0 3 0 4819126 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 3584 s
Current children cumulated vsize: 4282376 KiB
Current children cumulated memory: 2740288 KiB

[startup+3598.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 35406
/proc/meminfo: memFree=110137940/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=4282376 memory=2740288 CPUtime=3584.8 cores=1,3
/proc/33421/stat : 33421 (fscip) S 33418 33421 30590 0 -1 1077936128 2406732 0 0 0 358002 478 0 0 20 0 3 0 4818653 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 1070594 685072 3014 3035 0 1004525 0
[pid=33421/tid=33423] ppid=33418 vsize=4282376 memory=11400 CPUtime=3580.06 cores=1,3
/proc/33421/task/33423/stat : 33423 (fscip) R 33418 33421 30590 0 -1 4194368 2278440 0 0 0 357560 446 0 0 20 0 3 0 4819083 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
[pid=33421/tid=33424] ppid=33418 vsize=4282376 memory=14648 CPUtime=0.05 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 163 0 0 0 1 4 0 0 20 0 3 0 4819126 4385153024 685072 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 3584.8 s
Current children cumulated vsize: 4282376 KiB
Current children cumulated memory: 2740288 KiB

[startup+3598.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 35406
/proc/meminfo: memFree=110137940/131524600 swapFree=131071216/131071996
[pid=33421] ppid=33418 vsize=3527612 memory=2355844 CPUtime=3585 cores=1,3
/proc/33421/stat : 33421 (fscip) R 33418 33421 30590 0 -1 4194304 2414751 0 0 0 358021 479 0 0 20 0 2 0 4818653 3612274688 588961 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
/proc/33421/statm: 881903 588961 3014 3035 0 815834 0
[pid=33421/tid=33424] ppid=33418 vsize=3527612 memory=-6658125009618309471 CPUtime=0.05 cores=1,3
/proc/33421/task/33424/stat : 33424 (fscip) S 33418 33421 30590 0 -1 1077936192 163 0 0 0 1 4 0 0 20 0 2 0 4819126 3612274688 588961 134679101440 4194304 16623229 140735891087680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45895680 140735891096598 140735891096714 140735891096714 140735891103728 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 3527612 KiB
Current children cumulated memory: 2355844 KiB

Child status: 0

Real time (s): 3598.65
CPU time (s): 3585.06
CPU user time (s): 3580.23
CPU system time (s): 4.83271
CPU usage (%): 99.6223
Max. virtual memory (cumulated for all children) (KiB): 4282376
Max. memory (cumulated for all children) (KiB): 2740288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.23
system time used= 4.83271
maximum resident set size= 2740288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2416355
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= 8977
involuntary context switches= 1956


# summary of solver processes directly reported to runsolver:
#   pid: 33421
#   total CPU time (s): 3585.06
#   total CPU user time (s): 3580.23
#   total CPU system time (s): 4.83271

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.87044 second user time and 16.4859 second system time

The end

Launcher Data

Begin job on nodeC021 at 2024-07-31 01:30:03
IDJOB=4464465
IDBENCH=155502
IDSOLVER=3092
FILE ID=nodeC021/4464465-1722382203
RUNJOBID= nodeC021-1722378594-30602
SLURM_JOB_ID= 8249844
Free space on /tmp= 889972 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-86.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-4464465-1722382203/watcher-4464465-1722382203 -o /tmp/evaluation-result-4464465-1722382203/solver-4464465-1722382203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722378594-30602 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464465-1722382203.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 3b78757f10307782e0b04e5cada0d1b0
RANDOM SEED=624940052

nodeC021.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		: 3669.980
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.80
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.172
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	: 7006.98
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		: 3600.229
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.80
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		: 3665.201
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	: 7006.98
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		: 3670.005
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.80
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		: 3672.285
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	: 7006.98
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.247
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.80
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		: 3600.090
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	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121846476 kB
MemAvailable:   128991456 kB
Buffers:          100268 kB
Cached:          7837280 kB
SwapCached:           56 kB
Active:           289052 kB
Inactive:        8814796 kB
Active(anon):       1512 kB
Inactive(anon):  1185996 kB
Active(file):     287540 kB
Inactive(file):  7628800 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            112612 kB
Writeback:             0 kB
AnonPages:       1164208 kB
Mapped:           122560 kB
Shmem:             21208 kB
KReclaimable:     136572 kB
Slab:             228344 kB
SReclaimable:     136572 kB
SUnreclaim:        91772 kB
KernelStack:        4240 kB
PageTables:        11384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1388320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8736 kB
HardwareCorrupted:     0 kB
AnonHugePages:    258048 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:      226004 kB
DirectMap2M:    15276032 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 889952 MiB
End job on nodeC021 at 2024-07-31 02:30:02