Trace number 4445955

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
SCIP 2024-07-07SAT 996.119 999.651

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-849702.opb
MD5SUM99577d0b2060d1d3afdf18d9c444f818
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.21994
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1737
Total number of constraints1041
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)954
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint9
Maximum length of a constraint32
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 34
Number of bits of the biggest sum of numbers6
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 SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4445955-1721328766.opb>
0.00/0.01	c original problem has 1737 variables (1737 bin, 0 int, 0 impl, 0 cont) and 1041 constraints
0.00/0.01	c problem read in 0.01
0.00/0.01	c No objective function, only one solution is needed.
0.00/0.01	c presolving:
0.00/0.02	c    (0.0s) running MILP presolver
0.00/0.03	c    (0.0s) MILP presolver found nothing
0.00/0.03	c (round 1, exhaustive) 0 del vars, 42 del conss, 0 add conss, 0 chg bounds, 42 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 810 clqs
0.00/0.04	c (round 2, exhaustive) 0 del vars, 42 del conss, 0 add conss, 0 chg bounds, 42 chg sides, 0 chg coeffs, 912 upgd conss, 0 impls, 810 clqs
0.00/0.04	c (round 3, medium)     18 del vars, 42 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 18 chg coeffs, 912 upgd conss, 0 impls, 810 clqs
0.00/0.05	c (round 4, exhaustive) 42 del vars, 45 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 18 chg coeffs, 912 upgd conss, 0 impls, 807 clqs
0.00/0.05	c (round 5, medium)     45 del vars, 45 del conss, 0 add conss, 0 chg bounds, 63 chg sides, 21 chg coeffs, 912 upgd conss, 0 impls, 807 clqs
0.00/0.07	c    (0.1s) probing: 51/1692 (3.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07	c    (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.08	c    (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.09	c    (0.1s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.00/0.09	c dynamic symmetry handling statistics:
0.00/0.09	c    orbitopal reduction:       no components
0.00/0.09	c    orbital reduction:          1 components of sizes 7
0.00/0.09	c    lexicographic reduction:    7 permutations with support sizes 648, 648, 682, 682, 682, 682, 682
0.00/0.09	c handled 1 out of 1 symmetry components
0.00/0.10	c presolving (6 rounds: 6 fast, 6 medium, 4 exhaustive):
0.00/0.10	c  45 deleted vars, 45 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 63 changed sides, 21 changed coefficients
0.00/0.10	c  0 implications, 807 cliques
0.00/0.10	c presolved problem has 1692 variables (1692 bin, 0 int, 0 impl, 0 cont) and 996 constraints
0.00/0.10	c     144 constraints of type <knapsack>
0.00/0.10	c     765 constraints of type <setppc>
0.00/0.10	c      87 constraints of type <linear>
0.00/0.10	c transformed objective value is always integral (scale: 1)
0.00/0.10	c Presolving Time: 0.08
0.00/0.10	c - non default parameters ----------------------------------------------------------------------
0.00/0.10	c # SCIP version 10.0.0
0.00/0.10	c 
0.00/0.10	c # maximal time in seconds to run
0.00/0.10	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.10	c limits/time = 3596.997014
0.00/0.10	c 
0.00/0.10	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.10	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.10	c limits/memory = 27900
0.00/0.10	c 
0.00/0.10	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.10	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.10	c limits/solutions = 1
0.00/0.10	c 
0.00/0.10	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.10	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.10	c misc/usesymmetry = 3
0.00/0.10	c 
0.00/0.10	c # belongs reading time to solving time?
0.00/0.10	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10	c timing/reading = TRUE
0.00/0.10	c 
0.00/0.10	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.10	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.10	c propagating/symmetry/detectdoublelex = FALSE
0.00/0.10	c 
0.00/0.10	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.10	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.10	c propagating/symmetry/detectsubgroups = FALSE
0.00/0.10	c 
0.00/0.10	c # Type of symmetries that shall be computed?
0.00/0.10	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.10	c propagating/symmetry/symtype = 1
0.00/0.10	c 
0.00/0.10	c # Should components consisting of a single full reflection be handled?
0.00/0.10	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.10	c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.10	c 
0.00/0.10	c -----------------------------------------------------------------------------------------------
0.00/0.10	c start solving
0.00/0.10	c 
1.29/1.30	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.29/1.30	c   1.3s|     1 |     0 | 11736 |     - |    28M |   0 |1692 |1101 | 996 |   0 |  0 | 105 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2.68/2.77	c   2.8s|     1 |     0 | 26417 |     - |    30M |   0 |1692 |1253 |1007 |  11 |  1 | 106 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2.88/2.95	c   2.9s|     1 |     0 | 26642 |     - |    30M |   0 |1692 |1260 |1018 |  22 |  2 | 113 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2.88/2.95	c   3.0s|     1 |     0 | 26811 |     - |    31M |   0 |1692 |1261 |1028 |  32 |  3 | 114 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2.98/3.04	c   3.0s|     1 |     0 | 26954 |     - |    31M |   0 |1692 |1267 |1039 |  43 |  4 | 120 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.08/3.15	c   3.1s|     1 |     0 | 27170 |     - |    31M |   0 |1692 |1268 |1048 |  52 |  5 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.18/3.23	c   3.2s|     1 |     0 | 27260 |     - |    31M |   0 |1692 |1269 |1055 |  59 |  6 | 122 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.28/3.33	c   3.3s|     1 |     0 | 27380 |     - |    31M |   0 |1692 |1272 |1063 |  67 |  7 | 125 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.38/3.44	c   3.4s|     1 |     0 | 27540 |     - |    32M |   0 |1692 |1279 |1071 |  75 |  8 | 132 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.48/3.54	c   3.5s|     1 |     0 | 27681 |     - |    32M |   0 |1692 |1281 |1081 |  85 |  9 | 134 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.64	c   3.6s|     1 |     0 | 27773 |     - |    32M |   0 |1692 |1282 |1088 |  92 | 10 | 135 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.58/3.69	c   3.7s|     1 |     0 | 27885 |     - |    32M |   0 |1692 |1283 |1092 | 100 | 11 | 136 |   0 | 0.000000e+00 |      --      |    Inf | unknown
8.46/8.60	c   8.6s|     1 |     2 | 50594 |     - |    32M |   0 |1692 |1287 |1092 | 100 | 11 | 140 |  16 | 0.000000e+00 |      --      |    Inf | unknown
89.71/90.09	c  90.1s|   100 |    99 |746408 |7257.8 |    35M |  13 |1692 |1628 |1058 | 162 |  2 | 483 |  16 | 0.000000e+00 |      --      |    Inf | unknown
155.28/155.83	c   156s|   200 |   199 |  1311k|6450.3 |    37M |  16 |1692 |1982 |1057 | 381 |  1 | 847 |  16 | 0.000000e+00 |      --      |    Inf | unknown
161.06/161.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
161.06/161.67	c   162s|   300 |   227 |  1363k|4467.4 |    39M |  40 |1692 |2111 |1061 | 406 |  1 | 976 |  16 | 0.000000e+00 |      --      |    Inf | unknown
163.05/163.60	c   164s|   400 |   233 |  1383k|3397.4 |    40M |  40 |1692 |2318 |1061 | 441 |  1 |1184 |  16 | 0.000000e+00 |      --      |    Inf | unknown
166.14/166.72	c   167s|   500 |   248 |  1415k|2780.2 |    43M |  43 |1692 |2385 |1056 | 470 |  0 |1252 |  16 | 0.000000e+00 |      --      |    Inf | unknown
167.24/167.87	c   168s|   600 |   242 |  1425k|2333.6 |    45M |  43 |1692 |2534 |1058 | 509 |  0 |1404 |  16 | 0.000000e+00 |      --      |    Inf | unknown
168.34/168.95	c   169s|   700 |   243 |  1436k|2014.7 |    45M |  43 |1692 |2625 |1058 | 524 |  0 |1496 |  16 | 0.000000e+00 |      --      |    Inf | unknown
169.54/170.13	c   170s|   800 |   247 |  1447k|1776.5 |    46M |  43 |1692 |2675 |1056 | 542 |  0 |1548 |  16 | 0.000000e+00 |      --      |    Inf | unknown
171.03/171.65	c   172s|   900 |   243 |  1461k|1595.0 |    48M |  43 |1692 |2728 |1060 | 583 |  0 |1602 |  16 | 0.000000e+00 |      --      |    Inf | unknown
172.32/172.95	c   173s|  1000 |   242 |  1474k|1447.9 |    48M |  43 |1692 |2857 |1060 | 602 |  1 |1735 |  16 | 0.000000e+00 |      --      |    Inf | unknown
173.72/174.31	c   174s|  1100 |   240 |  1488k|1328.9 |    49M |  43 |1692 |2914 |1059 | 625 |  1 |1796 |  16 | 0.000000e+00 |      --      |    Inf | unknown
174.92/175.59	c   176s|  1200 |   238 |  1500k|1228.6 |    49M |  43 |1692 |2978 |1065 | 650 |  0 |1860 |  16 | 0.000000e+00 |      --      |    Inf | unknown
176.21/176.89	c   177s|  1300 |   245 |  1513k|1143.8 |    49M |  43 |1692 |3042 |1058 | 676 |  0 |1932 |  16 | 0.000000e+00 |      --      |    Inf | unknown
177.61/178.24	c   178s|  1400 |   241 |  1527k|1071.7 |    49M |  43 |1692 |3046 |1061 | 702 |  0 |1941 |  16 | 0.000000e+00 |      --      |    Inf | unknown
178.81/179.44	c   179s|  1500 |   241 |  1538k|1007.7 |    49M |  43 |1692 |3119 |1061 | 722 |  1 |2021 |  16 | 0.000000e+00 |      --      |    Inf | unknown
180.41/181.01	c   181s|  1600 |   247 |  1554k| 954.9 |    49M |  43 |1692 |3149 |1058 | 735 |  1 |2059 |  16 | 0.000000e+00 |      --      |    Inf | unknown
181.70/182.34	c   182s|  1700 |   243 |  1568k| 906.8 |    50M |  43 |1692 |3192 |1061 | 741 |  1 |2105 |  16 | 0.000000e+00 |      --      |    Inf | unknown
183.09/183.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
183.09/183.73	c   184s|  1800 |   239 |  1582k| 864.4 |    50M |  43 |1692 |3206 |1060 | 746 |  0 |2122 |  16 | 0.000000e+00 |      --      |    Inf | unknown
184.49/185.12	c   185s|  1900 |   247 |  1596k| 825.8 |    50M |  43 |1692 |3268 |1067 | 774 |  0 |2190 |  16 | 0.000000e+00 |      --      |    Inf | unknown
185.68/186.36	c   186s|  2000 |   244 |  1607k| 790.3 |    51M |  43 |1692 |3302 |1059 | 797 |  1 |2229 |  16 | 0.000000e+00 |      --      |    Inf | unknown
186.88/187.56	c   188s|  2100 |   243 |  1618k| 757.8 |    52M |  43 |1692 |3408 |1061 | 844 |  1 |2338 |  16 | 0.000000e+00 |      --      |    Inf | unknown
188.28/188.90	c   189s|  2200 |   241 |  1631k| 729.4 |    53M |  43 |1692 |3431 |1065 | 859 |  0 |2370 |  16 | 0.000000e+00 |      --      |    Inf | unknown
189.77/190.45	c   190s|  2300 |   239 |  1647k| 704.4 |    53M |  43 |1692 |3441 |1060 | 892 |  1 |2390 |  16 | 0.000000e+00 |      --      |    Inf | unknown
191.47/192.16	c   192s|  2400 |   244 |  1665k| 682.7 |    53M |  43 |1692 |3447 |1059 | 914 |  0 |2404 |  16 | 0.000000e+00 |      --      |    Inf | unknown
193.06/193.75	c   194s|  2500 |   250 |  1681k| 661.9 |    53M |  43 |1692 |3457 |1063 | 934 |  1 |2442 |  16 | 0.000000e+00 |      --      |    Inf | unknown
194.76/195.41	c   195s|  2600 |   248 |  1696k| 642.0 |    54M |  51 |1692 |3531 |1066 | 977 |  0 |2528 |  16 | 0.000000e+00 |      --      |    Inf | unknown
196.05/196.76	c   197s|  2700 |   254 |  1708k| 622.7 |    54M |  57 |1692 |3586 |1068 |1012 |  0 |2599 |  16 | 0.000000e+00 |      --      |    Inf | unknown
198.15/198.85	c   199s|  2800 |   248 |  1730k| 608.2 |    55M |  57 |1692 |3594 |1061 |1029 |  1 |2621 |  16 | 0.000000e+00 |      --      |    Inf | unknown
199.84/200.52	c   201s|  2900 |   248 |  1746k| 592.9 |    55M |  57 |1692 |3667 |   0 |1064 |  0 |2712 |  16 | 0.000000e+00 |      --      |    Inf | unknown
201.64/202.33	c   202s|  3000 |   250 |  1763k| 578.7 |    56M |  57 |1692 |3714 |1069 |1119 |  1 |2772 |  16 | 0.000000e+00 |      --      |    Inf | unknown
203.34/204.05	c   204s|  3100 |   252 |  1779k| 565.1 |    57M |  57 |1692 |3724 |1070 |1156 |  1 |2795 |  16 | 0.000000e+00 |      --      |    Inf | unknown
204.93/205.65	c   206s|  3200 |   248 |  1794k| 552.2 |    57M |  57 |1692 |3718 |1065 |1186 |  1 |2805 |  16 | 0.000000e+00 |      --      |    Inf | unknown
206.82/207.53	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
206.82/207.53	c   208s|  3300 |   246 |  1812k| 540.8 |    57M |  57 |1692 |3726 |1063 |1227 |  1 |2838 |  16 | 0.000000e+00 |      --      |    Inf | unknown
208.42/209.19	c   209s|  3400 |   252 |  1826k| 529.1 |    58M |  57 |1692 |3742 |1065 |1295 |  0 |2862 |  16 | 0.000000e+00 |      --      |    Inf | unknown
210.31/211.08	c   211s|  3500 |   246 |  1842k| 518.5 |    59M |  57 |1692 |3761 |1068 |1405 |  0 |2897 |  16 | 0.000000e+00 |      --      |    Inf | unknown
212.11/212.84	c   213s|  3600 |   238 |  1859k| 508.8 |    59M |  57 |1692 |3744 |1061 |1448 |  0 |2917 |  16 | 0.000000e+00 |      --      |    Inf | unknown
214.50/215.24	c   215s|  3700 |   242 |  1883k| 501.8 |    59M |  57 |1692 |3735 |1064 |1501 |  1 |2936 |  16 | 0.000000e+00 |      --      |    Inf | unknown
216.00/216.77	c   217s|  3800 |   240 |  1899k| 492.6 |    59M |  57 |1692 |3754 |1069 |1528 |  0 |2984 |  16 | 0.000000e+00 |      --      |    Inf | unknown
217.40/218.13	c   218s|  3900 |   238 |  1911k| 483.0 |    60M |  57 |1692 |3843 |1064 |1572 |  1 |3094 |  16 | 0.000000e+00 |      --      |    Inf | unknown
218.79/219.58	c   220s|  4000 |   240 |  1925k| 474.6 |    60M |  57 |1692 |3830 |1065 |1613 |  0 |3103 |  16 | 0.000000e+00 |      --      |    Inf | unknown
220.29/221.08	c   221s|  4100 |   238 |  1940k| 466.7 |    61M |  57 |1692 |3837 |1065 |1630 |  0 |3126 |  16 | 0.000000e+00 |      --      |    Inf | unknown
222.18/222.90	c   223s|  4200 |   238 |  1959k| 460.0 |    61M |  57 |1692 |3826 |   0 |1677 |  0 |3140 |  16 | 0.000000e+00 |      --      |    Inf | unknown
223.77/224.55	c   225s|  4300 |   238 |  1976k| 453.3 |    61M |  57 |1692 |3824 |1063 |1677 |  0 |3168 |  16 | 0.000000e+00 |      --      |    Inf | unknown
225.67/226.49	c   226s|  4400 |   244 |  1995k| 447.4 |    61M |  57 |1692 |3772 |1066 |1686 |  1 |3183 |  16 | 0.000000e+00 |      --      |    Inf | unknown
227.37/228.11	c   228s|  4500 |   247 |  2009k| 440.5 |    61M |  57 |1692 |3839 |1067 |1792 |  1 |3267 |  16 | 0.000000e+00 |      --      |    Inf | unknown
229.46/230.21	c   230s|  4600 |   241 |  2029k| 435.2 |    62M |  57 |1692 |3891 |1065 |1898 |  1 |3330 |  16 | 0.000000e+00 |      --      |    Inf | unknown
231.36/232.14	c   232s|  4700 |   239 |  2046k| 429.6 |    63M |  57 |1692 |3916 |1079 |2028 |  1 |3385 |  16 | 0.000000e+00 |      --      |    Inf | unknown
233.54/234.35	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
233.54/234.35	c   234s|  4800 |   241 |  2066k| 424.8 |    64M |  57 |1692 |3928 |1070 |2154 |  1 |3438 |  16 | 0.000000e+00 |      --      |    Inf | unknown
235.34/236.19	c   236s|  4900 |   237 |  2084k| 419.8 |    64M |  57 |1692 |3989 |1072 |2202 |  1 |3540 |  16 | 0.000000e+00 |      --      |    Inf | unknown
236.83/237.64	c   238s|  5000 |   238 |  2098k| 414.1 |    64M |  57 |1692 |4032 |1069 |2247 |  0 |3623 |  16 | 0.000000e+00 |      --      |    Inf | unknown
238.43/239.24	c   239s|  5100 |   240 |  2113k| 408.9 |    65M |  57 |1692 |4084 |1070 |2315 |  0 |3703 |  16 | 0.000000e+00 |      --      |    Inf | unknown
240.23/241.08	c   241s|  5200 |   238 |  2129k| 404.3 |    66M |  57 |1692 |4172 |1072 |2377 |  0 |3810 |  16 | 0.000000e+00 |      --      |    Inf | unknown
242.22/243.04	c   243s|  5300 |   238 |  2148k| 400.1 |    66M |  57 |1692 |4198 |1070 |2453 |  1 |3877 |  16 | 0.000000e+00 |      --      |    Inf | unknown
243.51/244.31	c   244s|  5400 |   233 |  2160k| 395.1 |    66M |  57 |1692 |4261 |1075 |2472 |  0 |3972 |  16 | 0.000000e+00 |      --      |    Inf | unknown
244.90/245.72	c   246s|  5500 |   239 |  2175k| 390.5 |    66M |  57 |1692 |4265 |1075 |2506 |  0 |4074 |  16 | 0.000000e+00 |      --      |    Inf | unknown
246.30/247.16	c   247s|  5600 |   240 |  2189k| 386.1 |    66M |  57 |1692 |4296 |1070 |2539 |  1 |4193 |  16 | 0.000000e+00 |      --      |    Inf | unknown
247.99/248.82	c   249s|  5700 |   238 |  2206k| 382.3 |    66M |  57 |1692 |4374 |1071 |2581 |  0 |4317 |  16 | 0.000000e+00 |      --      |    Inf | unknown
249.39/250.29	c   250s|  5800 |   239 |  2222k| 378.4 |    66M |  57 |1692 |4455 |1067 |2595 |  1 |4436 |  16 | 0.000000e+00 |      --      |    Inf | unknown
250.68/251.57	c   252s|  5900 |   238 |  2234k| 374.1 |    67M |  57 |1692 |4520 |1073 |2647 |  0 |4564 |  16 | 0.000000e+00 |      --      |    Inf | unknown
252.28/253.12	c   253s|  6000 |   239 |  2250k| 370.5 |    67M |  57 |1692 |4533 |1071 |2692 |  0 |4629 |  16 | 0.000000e+00 |      --      |    Inf | unknown
253.67/254.59	c   255s|  6100 |   241 |  2265k| 366.9 |    67M |  57 |1692 |4672 |1071 |2743 |  0 |4813 |  16 | 0.000000e+00 |      --      |    Inf | unknown
255.36/256.21	c   256s|  6200 |   240 |  2281k| 363.6 |    67M |  57 |1692 |4793 |1070 |2820 |  1 |4980 |  16 | 0.000000e+00 |      --      |    Inf | unknown
256.96/257.81	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
256.96/257.81	c   258s|  6300 |   239 |  2298k| 360.5 |    67M |  57 |1692 |4806 |1070 |2836 |  0 |5042 |  16 | 0.000000e+00 |      --      |    Inf | unknown
258.55/259.47	c   259s|  6400 |   241 |  2315k| 357.5 |    67M |  57 |1692 |4933 |1073 |2895 |  1 |5189 |  16 | 0.000000e+00 |      --      |    Inf | unknown
260.15/261.06	c   261s|  6500 |   233 |  2331k| 354.4 |    67M |  57 |1692 |4945 |1070 |2968 |  0 |5256 |  16 | 0.000000e+00 |      --      |    Inf | unknown
261.44/262.38	c   262s|  6600 |   237 |  2344k| 351.0 |    67M |  57 |1692 |5007 |1069 |3032 |  1 |5353 |  16 | 0.000000e+00 |      --      |    Inf | unknown
262.83/263.77	c   264s|  6700 |   236 |  2358k| 347.8 |    67M |  57 |1692 |5074 |1069 |3060 |  1 |5442 |  16 | 0.000000e+00 |      --      |    Inf | unknown
264.33/265.23	c   265s|  6800 |   240 |  2372k| 344.9 |    67M |  57 |1692 |5109 |1069 |3112 |  1 |5490 |  16 | 0.000000e+00 |      --      |    Inf | unknown
265.62/266.51	c   267s|  6900 |   240 |  2385k| 341.7 |    68M |  57 |1692 |5183 |1076 |3121 |  1 |5570 |  16 | 0.000000e+00 |      --      |    Inf | unknown
267.22/268.11	c   268s|  7000 |   241 |  2401k| 339.2 |    68M |  57 |1692 |5170 |1069 |3165 |  1 |5675 |  16 | 0.000000e+00 |      --      |    Inf | unknown
268.51/269.45	c   269s|  7100 |   236 |  2414k| 336.2 |    68M |  57 |1692 |5151 |1068 |3234 |  1 |5757 |  16 | 0.000000e+00 |      --      |    Inf | unknown
270.51/271.40	c   271s|  7200 |   236 |  2435k| 334.4 |    68M |  57 |1692 |5056 |1071 |3393 |  0 |5906 |  16 | 0.000000e+00 |      --      |    Inf | unknown
272.20/273.14	c   273s|  7300 |   241 |  2453k| 332.3 |    68M |  57 |1692 |4906 |1059 |3438 |  1 |6003 |  16 | 0.000000e+00 |      --      |    Inf | unknown
273.29/274.27	c   274s|  7400 |   239 |  2463k| 329.2 |    68M |  57 |1692 |4875 |1067 |3487 |  1 |6075 |  16 | 0.000000e+00 |      --      |    Inf | unknown
274.49/275.46	c   275s|  7500 |   235 |  2474k| 326.3 |    68M |  57 |1692 |4973 |1066 |3525 |  1 |6200 |  16 | 0.000000e+00 |      --      |    Inf | unknown
275.98/276.98	c   277s|  7600 |   242 |  2489k| 324.0 |    68M |  57 |1692 |4607 |1061 |3600 |  1 |6300 |  16 | 0.000000e+00 |      --      |    Inf | unknown
276.78/277.75	c   278s|  7700 |   235 |  2496k| 320.6 |    68M |  57 |1692 |4650 |1061 |3632 |  0 |6415 |  16 | 0.000000e+00 |      --      |    Inf | unknown
277.98/278.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
277.98/278.93	c   279s|  7800 |   236 |  2507k| 318.0 |    68M |  57 |1692 |4584 |1065 |3649 |  0 |6483 |  16 | 0.000000e+00 |      --      |    Inf | unknown
279.08/280.03	c   280s|  7900 |   236 |  2517k| 315.2 |    69M |  57 |1692 |4387 |1068 |3693 |  1 |6620 |  16 | 0.000000e+00 |      --      |    Inf | unknown
281.07/282.08	c   282s|  8000 |   236 |  2539k| 314.0 |    69M |  57 |1692 |4294 |1073 |3768 |  0 |6692 |  16 | 0.000000e+00 |      --      |    Inf | unknown
282.86/283.81	c   284s|  8100 |   238 |  2556k| 312.3 |    69M |  57 |1692 |4334 |1074 |3850 |  1 |6796 |  16 | 0.000000e+00 |      --      |    Inf | unknown
285.85/286.80	c   287s|  8200 |   248 |  2586k| 312.1 |    69M |  57 |1692 |4250 |1069 |3882 |  1 |6865 |  16 | 0.000000e+00 |      --      |    Inf | unknown
287.94/288.96	c   289s|  8300 |   244 |  2608k| 310.9 |    69M |  57 |1692 |4259 |1062 |3938 |  0 |7034 |  16 | 0.000000e+00 |      --      |    Inf | unknown
289.54/290.53	c   291s|  8400 |   257 |  2623k| 309.1 |    69M |  57 |1692 |4177 |1070 |3973 |  1 |7114 |  16 | 0.000000e+00 |      --      |    Inf | unknown
291.43/292.47	c   292s|  8500 |   255 |  2644k| 307.8 |    69M |  57 |1692 |4146 |1061 |3980 |  1 |7171 |  16 | 0.000000e+00 |      --      |    Inf | unknown
293.03/294.09	c   294s|  8600 |   252 |  2660k| 306.1 |    69M |  57 |1692 |4021 |   0 |3995 |  0 |7245 |  16 | 0.000000e+00 |      --      |    Inf | unknown
294.62/295.66	c   296s|  8700 |   251 |  2674k| 304.3 |    69M |  57 |1692 |4045 |1061 |4030 |  1 |7304 |  16 | 0.000000e+00 |      --      |    Inf | unknown
296.12/297.19	c   297s|  8800 |   249 |  2689k| 302.5 |    69M |  57 |1692 |4101 |1066 |4071 |  0 |7368 |  16 | 0.000000e+00 |      --      |    Inf | unknown
297.51/298.57	c   299s|  8900 |   248 |  2703k| 300.6 |    69M |  57 |1692 |4162 |1069 |4082 |  1 |7467 |  16 | 0.000000e+00 |      --      |    Inf | unknown
299.11/300.12	c   300s|  9000 |   249 |  2718k| 299.0 |    69M |  57 |1692 |4238 |1069 |4099 |  1 |7576 |  16 | 0.000000e+00 |      --      |    Inf | unknown
300.40/301.40	c   301s|  9100 |   250 |  2731k| 297.1 |    69M |  57 |1692 |4305 |1064 |4120 |  1 |7691 |  16 | 0.000000e+00 |      --      |    Inf | unknown
301.59/302.67	c   303s|  9200 |   255 |  2743k| 295.2 |    69M |  57 |1692 |4368 |1062 |4143 |  1 |7774 |  16 | 0.000000e+00 |      --      |    Inf | unknown
303.19/304.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
303.19/304.26	c   304s|  9300 |   249 |  2757k| 293.6 |    69M |  57 |1692 |4444 |1072 |4184 |  0 |7866 |  16 | 0.000000e+00 |      --      |    Inf | unknown
305.38/306.44	c   306s|  9400 |   249 |  2779k| 292.7 |    69M |  57 |1692 |4464 |1062 |4207 |  0 |7898 |  16 | 0.000000e+00 |      --      |    Inf | unknown
306.98/308.02	c   308s|  9500 |   249 |  2793k| 291.2 |    70M |  57 |1692 |4504 |1066 |4253 |  1 |7964 |  16 | 0.000000e+00 |      --      |    Inf | unknown
308.47/309.53	c   310s|  9600 |   253 |  2807k| 289.6 |    70M |  57 |1692 |4553 |1065 |4300 |  1 |8036 |  16 | 0.000000e+00 |      --      |    Inf | unknown
309.86/310.96	c   311s|  9700 |   251 |  2821k| 288.1 |    70M |  57 |1692 |4587 |1065 |4313 |  1 |8085 |  16 | 0.000000e+00 |      --      |    Inf | unknown
311.65/312.77	c   313s|  9800 |   249 |  2839k| 287.0 |    70M |  57 |1692 |4609 |1066 |4326 |  0 |8129 |  16 | 0.000000e+00 |      --      |    Inf | unknown
313.35/314.46	c   314s|  9900 |   249 |  2855k| 285.7 |    70M |  57 |1692 |4661 |1065 |4367 |  1 |8197 |  16 | 0.000000e+00 |      --      |    Inf | unknown
315.24/316.40	c   316s| 10000 |   249 |  2873k| 284.6 |    70M |  57 |1692 |4697 |1071 |4424 |  0 |8249 |  16 | 0.000000e+00 |      --      |    Inf | unknown
317.53/318.69	c   319s| 10100 |   247 |  2892k| 283.7 |    70M |  57 |1692 |4739 |1076 |4526 |  0 |8301 |  16 | 0.000000e+00 |      --      |    Inf | unknown
318.93/320.02	c   320s| 10200 |   249 |  2903k| 282.0 |    70M |  57 |1692 |4796 |1066 |4577 |  1 |8392 |  16 | 0.000000e+00 |      --      |    Inf | unknown
320.12/321.26	c   321s| 10300 |   251 |  2914k| 280.3 |    70M |  57 |1692 |4835 |1070 |4603 |  0 |8463 |  16 | 0.000000e+00 |      --      |    Inf | unknown
322.51/323.61	c   324s| 10400 |   249 |  2934k| 279.5 |    71M |  57 |1692 |4857 |1078 |4711 |  1 |8501 |  16 | 0.000000e+00 |      --      |    Inf | unknown
324.31/325.42	c   325s| 10500 |   249 |  2951k| 278.4 |    71M |  57 |1692 |4857 |1078 |4765 |  1 |8523 |  16 | 0.000000e+00 |      --      |    Inf | unknown
326.50/327.66	c   328s| 10600 |   249 |  2970k| 277.7 |    71M |  57 |1692 |4843 |1065 |4876 |  1 |8534 |  16 | 0.000000e+00 |      --      |    Inf | unknown
328.29/329.43	c   329s| 10700 |   247 |  2986k| 276.5 |    71M |  57 |1692 |4872 |1079 |4954 |  1 |8591 |  16 | 0.000000e+00 |      --      |    Inf | unknown
329.69/330.82	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
329.69/330.82	c   331s| 10800 |   250 |  2997k| 275.0 |    71M |  57 |1692 |4911 |1068 |5027 |  0 |8661 |  16 | 0.000000e+00 |      --      |    Inf | unknown
331.48/332.67	c   333s| 10900 |   249 |  3012k| 273.8 |    72M |  57 |1692 |4960 |1069 |5162 |  1 |8731 |  16 | 0.000000e+00 |      --      |    Inf | unknown
332.88/334.04	c   334s| 11000 |   255 |  3023k| 272.4 |    73M |  57 |1692 |5023 |1065 |5232 |  1 |8812 |  16 | 0.000000e+00 |      --      |    Inf | unknown
334.67/335.86	c   336s| 11100 |   251 |  3036k| 271.0 |    74M |  57 |1692 |5115 |1068 |5361 |  0 |8909 |  16 | 0.000000e+00 |      --      |    Inf | unknown
335.97/337.14	c   337s| 11200 |   252 |  3046k| 269.5 |    74M |  57 |1692 |5203 |1063 |5426 |  0 |9016 |  16 | 0.000000e+00 |      --      |    Inf | unknown
337.56/338.76	c   339s| 11300 |   252 |  3060k| 268.4 |    74M |  57 |1692 |5252 |1065 |5492 |  1 |9088 |  16 | 0.000000e+00 |      --      |    Inf | unknown
339.15/340.37	c   340s| 11400 |   250 |  3074k| 267.2 |    75M |  57 |1692 |5334 |   0 |5573 |  0 |9193 |  16 | 0.000000e+00 |      --      |    Inf | unknown
340.55/341.74	c   342s| 11500 |   252 |  3085k| 265.9 |    75M |  57 |1692 |5358 |1068 |5644 |  1 |9247 |  16 | 0.000000e+00 |      --      |    Inf | unknown
342.04/343.28	c   343s| 11600 |   250 |  3098k| 264.8 |    75M |  57 |1692 |5412 |1069 |5711 |  0 |9327 |  16 | 0.000000e+00 |      --      |    Inf | unknown
343.44/344.68	c   345s| 11700 |   250 |  3110k| 263.5 |    75M |  57 |1692 |5470 |1071 |5793 |  1 |9408 |  16 | 0.000000e+00 |      --      |    Inf | unknown
344.94/346.16	c   346s| 11800 |   248 |  3124k| 262.5 |    75M |  57 |1692 |5484 |1069 |5863 |  0 |9455 |  16 | 0.000000e+00 |      --      |    Inf | unknown
348.12/349.34	c   349s| 11900 |   256 |  3156k| 262.9 |    75M |  57 |1692 |5282 |1064 |5909 |  1 |9508 |  16 | 0.000000e+00 |      --      |    Inf | unknown
349.61/350.87	c   351s| 12000 |   262 |  3171k| 262.0 |    75M |  57 |1692 |5207 |1067 |5918 |  1 |9549 |  16 | 0.000000e+00 |      --      |    Inf | unknown
351.40/352.68	c   353s| 12100 |   258 |  3190k| 261.4 |    75M |  57 |1692 |5200 |1067 |5940 |  1 |9611 |  16 | 0.000000e+00 |      --      |    Inf | unknown
353.10/354.38	c   354s| 12200 |   262 |  3207k| 260.6 |    75M |  57 |1692 |5108 |1064 |5967 |  1 |9701 |  16 | 0.000000e+00 |      --      |    Inf | unknown
354.49/355.76	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
354.49/355.76	c   356s| 12300 |   272 |  3220k| 259.6 |    75M |  57 |1692 |5115 |1067 |5987 |  1 |9764 |  16 | 0.000000e+00 |      --      |    Inf | unknown
355.69/356.97	c   357s| 12400 |   267 |  3232k| 258.4 |    75M |  57 |1692 |5178 |1067 |6014 |  0 |9867 |  16 | 0.000000e+00 |      --      |    Inf | unknown
356.89/358.17	c   358s| 12500 |   266 |  3244k| 257.3 |    75M |  57 |1692 |5252 |1068 |6022 |  1 |9987 |  16 | 0.000000e+00 |      --      |    Inf | unknown
358.08/359.35	c   359s| 12600 |   271 |  3254k| 256.1 |    75M |  57 |1692 |5401 |1066 |6050 |  0 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
359.47/360.71	c   361s| 12700 |   273 |  3267k| 255.1 |    75M |  57 |1692 |5480 |1066 |6073 |  0 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
361.47/362.77	c   363s| 12800 |   273 |  3284k| 254.5 |    75M |  57 |1692 |5539 |1066 |6171 |  1 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
363.46/364.72	c   365s| 12900 |   271 |  3303k| 253.9 |    75M |  57 |1692 |5597 |1072 |6259 |  1 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
365.25/366.58	c   367s| 13000 |   269 |  3321k| 253.3 |    75M |  57 |1692 |5666 |1075 |6305 |  1 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
366.85/368.16	c   368s| 13100 |   267 |  3337k| 252.6 |    75M |  57 |1692 |5741 |1077 |6348 |  2 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
368.85/370.18	c   370s| 13200 |   264 |  3357k| 252.3 |    75M |  57 |1692 |5772 |1071 |6377 |  0 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
370.93/372.21	c   372s| 13300 |   272 |  3374k| 251.6 |    75M |  57 |1692 |5743 |1069 |6466 |  0 |  10k|  16 | 0.000000e+00 |      --      |    Inf | unknown
372.73/374.02	c   374s| 13400 |   270 |  3392k| 251.1 |    75M |  57 |1692 |5836 |1070 |6514 |  0 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
374.52/375.85	c   376s| 13500 |   268 |  3410k| 250.6 |    75M |  57 |1692 |5855 |1064 |6528 |  1 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
376.91/378.24	c   378s| 13600 |   276 |  3435k| 250.6 |    75M |  57 |1692 |5884 |1068 |6621 |  1 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
378.60/379.98	c   380s| 13700 |   271 |  3451k| 249.9 |    75M |  57 |1692 |5971 |1070 |6672 |  1 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
380.60/381.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
380.60/381.90	c   382s| 13800 |   271 |  3471k| 249.6 |    75M |  57 |1692 |5970 |1068 |6690 |  1 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
382.19/383.58	c   384s| 13900 |   273 |  3489k| 249.0 |    75M |  57 |1692 |5994 |1071 |6762 |  1 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
383.98/385.34	c   385s| 14000 |   270 |  3506k| 248.5 |    75M |  57 |1692 |6037 |1072 |6807 |  1 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
385.58/386.91	c   387s| 14100 |   269 |  3522k| 247.8 |    75M |  57 |1692 |6076 |1069 |6826 |  0 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
387.47/388.89	c   389s| 14200 |   269 |  3542k| 247.5 |    75M |  57 |1692 |6068 |1069 |6848 |  0 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
389.86/391.24	c   391s| 14300 |   270 |  3565k| 247.4 |    76M |  57 |1692 |6155 |1070 |6920 |  0 |  11k|  16 | 0.000000e+00 |      --      |    Inf | unknown
392.55/393.91	c   394s| 14400 |   273 |  3592k| 247.5 |    76M |  57 |1692 |6088 |1075 |7026 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
395.14/396.58	c   397s| 14500 |   273 |  3620k| 247.8 |    76M |  57 |1692 |6058 |1070 |7081 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
397.44/398.86	c   399s| 14600 |   270 |  3644k| 247.7 |    76M |  57 |1692 |6082 |   0 |7182 |  0 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
399.23/400.66	c   401s| 14700 |   270 |  3663k| 247.3 |    76M |  57 |1692 |6107 |1071 |7214 |  0 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
400.92/402.35	c   402s| 14800 |   269 |  3679k| 246.8 |    76M |  57 |1692 |6203 |1069 |7241 |  0 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
402.33/403.77	c   404s| 14900 |   271 |  3693k| 246.1 |    76M |  57 |1692 |6281 |1071 |7277 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
403.73/405.11	c   405s| 15000 |   271 |  3707k| 245.3 |    76M |  57 |1692 |6321 |1071 |7293 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
405.32/406.71	c   407s| 15100 |   273 |  3722k| 244.7 |    76M |  57 |1692 |6367 |1070 |7322 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
407.21/408.68	c   409s| 15200 |   271 |  3742k| 244.4 |    76M |  57 |1692 |6406 |1071 |7354 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
408.71/410.12	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
408.71/410.12	c   410s| 15300 |   270 |  3757k| 243.8 |    76M |  57 |1692 |6448 |1069 |7373 |  1 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
410.20/411.66	c   412s| 15400 |   268 |  3773k| 243.2 |    76M |  57 |1692 |6505 |1071 |7395 |  0 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
411.79/413.25	c   413s| 15500 |   274 |  3789k| 242.7 |    76M |  57 |1692 |6561 |1073 |7448 |  0 |  12k|  16 | 0.000000e+00 |      --      |    Inf | unknown
413.69/415.16	c   415s| 15600 |   272 |  3808k| 242.4 |    76M |  57 |1692 |6658 |1070 |7518 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
415.68/417.12	c   417s| 15700 |   273 |  3828k| 242.1 |    76M |  57 |1692 |6774 |1071 |7569 |  1 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
417.27/418.70	c   419s| 15800 |   271 |  3843k| 241.5 |    76M |  57 |1692 |6849 |1074 |7670 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
419.06/420.58	c   421s| 15900 |   269 |  3863k| 241.3 |    76M |  57 |1692 |6881 |1072 |7742 |  1 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
421.16/422.69	c   423s| 16000 |   265 |  3884k| 241.1 |    76M |  57 |1692 |6890 |1072 |7800 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
423.15/424.67	c   425s| 16100 |   265 |  3904k| 240.8 |    76M |  57 |1692 |6910 |1072 |7892 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
425.65/427.12	c   427s| 16200 |   263 |  3930k| 240.9 |    76M |  57 |1692 |6724 |1067 |7995 |  1 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
427.43/428.95	c   429s| 16300 |   267 |  3949k| 240.6 |    76M |  57 |1692 |6704 |1075 |8051 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
429.92/431.43	c   431s| 16400 |   261 |  3975k| 240.7 |    76M |  57 |1692 |6709 |1072 |8117 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
431.72/433.24	c   433s| 16500 |   267 |  3994k| 240.4 |    76M |  57 |1692 |6650 |1071 |8172 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
434.01/435.57	c   436s| 16600 |   269 |  4019k| 240.5 |    76M |  57 |1692 |6638 |1073 |8298 |  1 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
435.80/437.36	c   437s| 16700 |   266 |  4037k| 240.1 |    76M |  57 |1692 |6594 |1071 |8387 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
437.40/438.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
437.40/438.97	c   439s| 16800 |   268 |  4054k| 239.7 |    76M |  57 |1692 |6660 |1071 |8453 |  0 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
439.19/440.79	c   441s| 16900 |   268 |  4073k| 239.4 |    76M |  57 |1692 |6699 |1071 |8475 |  1 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
440.98/442.57	c   443s| 17000 |   264 |  4091k| 239.0 |    76M |  57 |1692 |6739 |1071 |8505 |  1 |  13k|  16 | 0.000000e+00 |      --      |    Inf | unknown
443.28/444.86	c   445s| 17100 |   268 |  4115k| 239.0 |    76M |  57 |1692 |6759 |1072 |8558 |  0 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
445.37/446.95	c   447s| 17200 |   270 |  4137k| 238.9 |    76M |  57 |1692 |6775 |1067 |8601 |  1 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
447.26/448.89	c   449s| 17300 |   269 |  4157k| 238.7 |    76M |  57 |1692 |6808 |1079 |8692 |  2 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
449.35/450.94	c   451s| 17400 |   267 |  4178k| 238.6 |    76M |  57 |1692 |6884 |1070 |8732 |  1 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
451.15/452.79	c   453s| 17500 |   267 |  4198k| 238.3 |    76M |  57 |1692 |6908 |1070 |8754 |  1 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
453.24/454.88	c   455s| 17600 |   269 |  4218k| 238.1 |    76M |  57 |1692 |6929 |1074 |8846 |  1 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
455.63/457.21	c   457s| 17700 |   267 |  4241k| 238.1 |    76M |  57 |1692 |6961 |1075 |8918 |  0 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
457.92/459.58	c   460s| 17800 |   267 |  4264k| 238.1 |    76M |  57 |1692 |6963 |1070 |8997 |  2 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
459.82/461.41	c   461s| 17900 |   267 |  4283k| 237.8 |    76M |  57 |1692 |6863 |1071 |9025 |  1 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
461.61/463.25	c   463s| 18000 |   265 |  4302k| 237.5 |    76M |  57 |1692 |6815 |1075 |9089 |  0 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
463.90/465.54	c   466s| 18100 |   265 |  4325k| 237.4 |    76M |  57 |1692 |6756 |1070 |9181 |  0 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
466.09/467.78	c   468s| 18200 |   267 |  4348k| 237.4 |    76M |  57 |1692 |6789 |   0 |9246 |  0 |  14k|  16 | 0.000000e+00 |      --      |    Inf | unknown
468.29/469.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
468.29/469.93	c   470s| 18300 |   268 |  4370k| 237.3 |    76M |  57 |1692 |6898 |1075 |9283 |  0 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
470.28/471.96	c   472s| 18400 |   264 |  4390k| 237.1 |    76M |  57 |1692 |6941 |1064 |9321 |  1 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
472.07/473.74	c   474s| 18500 |   262 |  4409k| 236.9 |    76M |  57 |1692 |7020 |1067 |9377 |  1 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
474.06/475.75	c   476s| 18600 |   266 |  4430k| 236.7 |    76M |  57 |1692 |7015 |1071 |9410 |  1 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
475.86/477.54	c   478s| 18700 |   270 |  4448k| 236.4 |    76M |  57 |1692 |7078 |1072 |9455 |  1 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
477.65/479.37	c   479s| 18800 |   267 |  4467k| 236.2 |    76M |  57 |1692 |7153 |1072 |9488 |  0 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
479.35/481.10	c   481s| 18900 |   263 |  4485k| 235.9 |    77M |  57 |1692 |7225 |1075 |9506 |  0 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
481.04/482.77	c   483s| 19000 |   268 |  4501k| 235.5 |    77M |  57 |1692 |7338 |1071 |9550 |  0 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
483.03/484.74	c   485s| 19100 |   266 |  4522k| 235.3 |    77M |  57 |1692 |7311 |1071 |9558 |  0 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
485.12/486.80	c   487s| 19200 |   262 |  4543k| 235.2 |    77M |  57 |1692 |7328 |1071 |9592 |  0 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
487.52/489.27	c   489s| 19300 |   262 |  4570k| 235.4 |    77M |  57 |1692 |7313 |1072 |9653 |  1 |  15k|  16 | 0.000000e+00 |      --      |    Inf | unknown
490.01/491.78	c   492s| 19400 |   263 |  4595k| 235.4 |    77M |  57 |1692 |7272 |1070 |9715 |  0 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
492.60/494.32	c   494s| 19500 |   262 |  4620k| 235.5 |    77M |  57 |1692 |7130 |1077 |9800 |  2 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
494.49/496.27	c   496s| 19600 |   266 |  4639k| 235.3 |    77M |  57 |1692 |7137 |1072 |9847 |  1 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
496.88/498.65	c   499s| 19700 |   266 |  4663k| 235.3 |    77M |  57 |1692 |7071 |1072 |9949 |  1 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.88/500.67	c   501s| 19800 |   260 |  4685k| 235.2 |    77M |  57 |1692 |6930 |1071 |9997 |  0 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
500.77/502.52	c   503s| 19900 |   266 |  4703k| 235.0 |    77M |  57 |1692 |6779 |1068 |  10k|  1 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
502.06/503.86	c   504s| 20000 |   266 |  4717k| 234.5 |    77M |  57 |1692 |6829 |1068 |  10k|  1 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
503.76/505.51	c   506s| 20100 |   265 |  4733k| 234.1 |    77M |  57 |1692 |6808 |1067 |  10k|  0 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
505.15/506.93	c   507s| 20200 |   263 |  4746k| 233.6 |    77M |  57 |1692 |6827 |1071 |  10k|  1 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
507.05/508.80	c   509s| 20300 |   261 |  4766k| 233.4 |    77M |  57 |1692 |6879 |1070 |  10k|  0 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
509.04/510.83	c   511s| 20400 |   267 |  4787k| 233.3 |    77M |  57 |1692 |6780 |1072 |  10k|  0 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
511.43/513.29	c   513s| 20500 |   267 |  4811k| 233.4 |    77M |  57 |1692 |6813 |1071 |  10k|  0 |  16k|  16 | 0.000000e+00 |      --      |    Inf | unknown
513.92/515.71	c   516s| 20600 |   263 |  4836k| 233.4 |    77M |  57 |1692 |6849 |1073 |  10k|  1 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
515.61/517.40	c   517s| 20700 |   263 |  4853k| 233.2 |    77M |  57 |1692 |6882 |1075 |  10k|  1 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
517.81/519.63	c   520s| 20800 |   263 |  4875k| 233.1 |    77M |  57 |1692 |6911 |1075 |  10k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
519.80/521.66	c   522s| 20900 |   271 |  4896k| 233.0 |    77M |  57 |1692 |6885 |1073 |  10k|  1 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
522.30/524.11	c   524s| 21000 |   261 |  4921k| 233.1 |    77M |  57 |1692 |6909 |1072 |  10k|  1 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
524.29/526.16	c   526s| 21100 |   259 |  4942k| 232.9 |    78M |  57 |1692 |6918 |1076 |  10k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
525.88/527.79	c   528s| 21200 |   259 |  4958k| 232.6 |    78M |  57 |1692 |6972 |1069 |  10k|  1 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
527.77/529.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
527.77/529.62	c   530s| 21300 |   257 |  4977k| 232.4 |    78M |  57 |1692 |7006 |1076 |  11k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
529.86/531.70	c   532s| 21400 |   257 |  4998k| 232.3 |    78M |  57 |1692 |7004 |1081 |  11k|  2 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
531.66/533.55	c   534s| 21500 |   259 |  5018k| 232.1 |    78M |  57 |1692 |7046 |1071 |  11k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
533.85/535.78	c   536s| 21600 |   259 |  5041k| 232.1 |    78M |  57 |1692 |7095 |1069 |  11k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
535.94/537.83	c   538s| 21700 |   256 |  5063k| 232.1 |    78M |  57 |1692 |7156 |1073 |  11k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
537.83/539.78	c   540s| 21800 |   256 |  5083k| 231.9 |    78M |  57 |1692 |7181 |1074 |  11k|  0 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
539.83/541.79	c   542s| 21900 |   265 |  5102k| 231.7 |    78M |  57 |1692 |7146 |1070 |  11k|  1 |  17k|  16 | 0.000000e+00 |      --      |    Inf | unknown
541.02/542.96	c   543s| 22000 |   265 |  5113k| 231.2 |    78M |  57 |1692 |7243 |1066 |  11k|  0 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
543.22/545.15	c   545s| 22100 |   264 |  5134k| 231.1 |    78M |  57 |1692 |7160 |1069 |  11k|  0 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
544.71/546.61	c   547s| 22200 |   260 |  5148k| 230.7 |    78M |  57 |1692 |7277 |1071 |  11k|  0 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
546.11/548.05	c   548s| 22300 |   262 |  5161k| 230.2 |    78M |  57 |1692 |7361 |1077 |  11k|  1 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
547.70/549.69	c   550s| 22400 |   262 |  5174k| 229.8 |    78M |  57 |1692 |7524 |1069 |  11k|  1 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
549.39/551.36	c   551s| 22500 |   257 |  5186k| 229.3 |    78M |  57 |1692 |7651 |1070 |  11k|  0 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
550.78/552.71	c   553s| 22600 |   265 |  5198k| 228.8 |    78M |  57 |1692 |7699 |1081 |  11k|  1 |  18k|  16 | 0.000000e+00 |      --      |    Inf | unknown
551.98/553.90	c   554s| 22700 |   260 |  5209k| 228.3 |    78M |  57 |1692 |7808 |1069 |  11k|  1 |  19k|  16 | 0.000000e+00 |      --      |    Inf | unknown
553.37/555.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
553.37/555.32	c   555s| 22800 |   266 |  5220k| 227.8 |    79M |  57 |1692 |7905 |1076 |  11k|  1 |  19k|  16 | 0.000000e+00 |      --      |    Inf | unknown
554.67/556.61	c   557s| 22900 |   264 |  5231k| 227.3 |    79M |  57 |1692 |7991 |   0 |  12k|  0 |  19k|  16 | 0.000000e+00 |      --      |    Inf | unknown
555.77/557.77	c   558s| 23000 |   259 |  5242k| 226.7 |    79M |  57 |1692 |8127 |1069 |  12k|  0 |  19k|  16 | 0.000000e+00 |      --      |    Inf | unknown
557.17/559.11	c   559s| 23100 |   263 |  5255k| 226.3 |    79M |  57 |1692 |8312 |1072 |  12k|  1 |  19k|  16 | 0.000000e+00 |      --      |    Inf | unknown
558.16/560.11	c   560s| 23200 |   267 |  5264k| 225.7 |    79M |  57 |1692 |8362 |1072 |  12k|  1 |  19k|  16 | 0.000000e+00 |      --      |    Inf | unknown
558.95/560.94	c   561s| 23300 |   267 |  5271k| 225.1 |    79M |  57 |1692 |8471 |1072 |  12k|  0 |  20k|  16 | 0.000000e+00 |      --      |    Inf | unknown
559.75/561.79	c   562s| 23400 |   265 |  5278k| 224.4 |    80M |  57 |1692 |8630 |1072 |  12k|  0 |  20k|  16 | 0.000000e+00 |      --      |    Inf | unknown
560.94/562.99	c   563s| 23500 |   265 |  5289k| 223.9 |    80M |  57 |1692 |8688 |1074 |  12k|  1 |  20k|  16 | 0.000000e+00 |      --      |    Inf | unknown
562.24/564.29	c   564s| 23600 |   269 |  5301k| 223.5 |    80M |  57 |1692 |8732 |1076 |  12k|  1 |  20k|  16 | 0.000000e+00 |      --      |    Inf | unknown
563.24/565.29	c   565s| 23700 |   264 |  5309k| 222.9 |    80M |  57 |1692 |8675 |1074 |  12k|  1 |  20k|  16 | 0.000000e+00 |      --      |    Inf | unknown
564.43/566.45	c   566s| 23800 |   259 |  5321k| 222.4 |    80M |  57 |1692 |8753 |1080 |  12k|  0 |  20k|  16 | 0.000000e+00 |      --      |    Inf | unknown
565.83/567.85	c   568s| 23900 |   270 |  5334k| 222.0 |    81M |  57 |1692 |8767 |1074 |  12k|  1 |  21k|  16 | 0.000000e+00 |      --      |    Inf | unknown
566.92/568.93	c   569s| 24000 |   269 |  5343k| 221.5 |    81M |  57 |1692 |8867 |1072 |  12k|  1 |  21k|  16 | 0.000000e+00 |      --      |    Inf | unknown
567.92/569.94	c   570s| 24100 |   270 |  5352k| 220.9 |    81M |  57 |1692 |8968 |1070 |  12k|  1 |  21k|  16 | 0.000000e+00 |      --      |    Inf | unknown
569.12/571.14	c   571s| 24200 |   264 |  5363k| 220.5 |    81M |  57 |1692 |9110 |1073 |  12k|  0 |  21k|  16 | 0.000000e+00 |      --      |    Inf | unknown
570.51/572.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
570.51/572.56	c   573s| 24300 |   274 |  5377k| 220.2 |    81M |  57 |1692 |9210 |1073 |  12k|  0 |  21k|  16 | 0.000000e+00 |      --      |    Inf | unknown
571.80/573.84	c   574s| 24400 |   275 |  5388k| 219.7 |    81M |  57 |1692 |9266 |1083 |  12k|  1 |  21k|  16 | 0.000000e+00 |      --      |    Inf | unknown
573.20/575.24	c   575s| 24500 |   273 |  5401k| 219.3 |    81M |  57 |1692 |9330 |1076 |  12k|  0 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
574.59/576.64	c   577s| 24600 |   270 |  5413k| 218.9 |    81M |  57 |1692 |9375 |1072 |  12k|  0 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
575.79/577.81	c   578s| 24700 |   270 |  5424k| 218.5 |    81M |  57 |1692 |9466 |1080 |  12k|  1 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
577.18/579.29	c   579s| 24800 |   273 |  5438k| 218.2 |    81M |  57 |1692 |9498 |1074 |  12k|  1 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
578.98/581.05	c   581s| 24900 |   270 |  5455k| 218.0 |    82M |  57 |1692 |9428 |1074 |  13k|  1 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
580.47/582.56	c   583s| 25000 |   272 |  5469k| 217.7 |    82M |  57 |1692 |9415 |1075 |  13k|  0 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
581.86/583.99	c   584s| 25100 |   270 |  5481k| 217.3 |    82M |  57 |1692 |9446 |1073 |  13k|  1 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
583.46/585.56	c   586s| 25200 |   272 |  5494k| 216.9 |    82M |  57 |1692 |9533 |1073 |  13k|  1 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
585.06/587.13	c   587s| 25300 |   267 |  5508k| 216.7 |    82M |  57 |1692 |9511 |   0 |  13k|  0 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
586.35/588.44	c   588s| 25400 |   269 |  5521k| 216.3 |    82M |  57 |1692 |9541 |1086 |  13k|  1 |  22k|  16 | 0.000000e+00 |      --      |    Inf | unknown
587.64/589.71	c   590s| 25500 |   265 |  5532k| 215.9 |    82M |  57 |1692 |9663 |1073 |  13k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
589.04/591.12	c   591s| 25600 |   265 |  5544k| 215.5 |    82M |  57 |1692 |9732 |1077 |  13k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
590.43/592.59	c   593s| 25700 |   263 |  5558k| 215.2 |    82M |  57 |1692 |9753 |1089 |  13k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
592.03/594.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
592.03/594.17	c   594s| 25800 |   263 |  5572k| 214.9 |    82M |  57 |1692 |9738 |1083 |  13k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
593.62/595.73	c   596s| 25900 |   263 |  5586k| 214.6 |    82M |  57 |1692 |9749 |1072 |  13k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
594.81/596.99	c   597s| 26000 |   261 |  5598k| 214.2 |    82M |  57 |1692 |9764 |1074 |  14k|  0 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
595.92/598.09	c   598s| 26100 |   261 |  5608k| 213.8 |    82M |  57 |1692 |9882 |1072 |  14k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
597.40/599.51	c   600s| 26200 |   258 |  5621k| 213.5 |    82M |  57 |1692 |9930 |1074 |  14k|  1 |  23k|  16 | 0.000000e+00 |      --      |    Inf | unknown
598.90/601.03	c   601s| 26300 |   259 |  5636k| 213.3 |    82M |  57 |1692 |9302 |1063 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
600.59/602.71	c   603s| 26400 |   260 |  5650k| 213.0 |    83M |  57 |1692 |9035 |1067 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
602.29/604.40	c   604s| 26500 |   264 |  5667k| 212.8 |    83M |  57 |1692 |8910 |1067 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
604.38/606.53	c   607s| 26600 |   262 |  5686k| 212.7 |    83M |  57 |1692 |8850 |1069 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
606.17/608.38	c   608s| 26700 |   262 |  5702k| 212.5 |    83M |  57 |1692 |8840 |1071 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
608.46/610.64	c   611s| 26800 |   264 |  5721k| 212.4 |    83M |  57 |1692 |8820 |1074 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
610.96/613.19	c   613s| 26900 |   261 |  5744k| 212.5 |    83M |  57 |1692 |8820 |1077 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
613.24/615.46	c   615s| 27000 |   260 |  5765k| 212.5 |    83M |  57 |1692 |8815 |1067 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
618.43/620.63	c   621s| 27100 |   269 |  5812k| 213.5 |    83M |  57 |1692 |8523 |1063 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
619.93/622.16	c   622s| 27200 |   265 |  5828k| 213.3 |    83M |  57 |1692 |8416 |1067 |  14k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
621.12/623.30	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
621.12/623.30	c   623s| 27300 |   267 |  5838k| 212.9 |    83M |  57 |1692 |8393 |1064 |  14k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
622.61/624.87	c   625s| 27400 |   271 |  5853k| 212.6 |    83M |  57 |1692 |8346 |1067 |  14k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
623.81/626.10	c   626s| 27500 |   275 |  5864k| 212.3 |    83M |  57 |1692 |8304 |1069 |  15k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
625.20/627.44	c   627s| 27600 |   273 |  5876k| 211.9 |    83M |  57 |1692 |8273 |1073 |  15k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
626.69/628.96	c   629s| 27700 |   269 |  5890k| 211.6 |    83M |  57 |1692 |8186 |   0 |  15k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
628.19/630.45	c   630s| 27800 |   269 |  5904k| 211.4 |    83M |  57 |1692 |8142 |1068 |  15k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
629.89/632.14	c   632s| 27900 |   273 |  5917k| 211.1 |    83M |  57 |1692 |8147 |1086 |  15k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
631.48/633.76	c   634s| 28000 |   269 |  5931k| 210.9 |    84M |  57 |1692 |8154 |1068 |  15k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
633.27/635.52	c   636s| 28100 |   271 |  5948k| 210.7 |    84M |  57 |1692 |8147 |1069 |  15k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
634.46/636.72	c   637s| 28200 |   272 |  5959k| 210.4 |    84M |  57 |1692 |8180 |1065 |  15k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
635.76/638.02	c   638s| 28300 |   272 |  5972k| 210.1 |    84M |  57 |1692 |8176 |1076 |  15k|  1 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
637.25/639.52	c   640s| 28400 |   270 |  5986k| 209.8 |    84M |  57 |1692 |8211 |1069 |  15k|  0 |  24k|  16 | 0.000000e+00 |      --      |    Inf | unknown
638.65/640.95	c   641s| 28500 |   272 |  5999k| 209.6 |    84M |  57 |1692 |8222 |1068 |  15k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
640.34/642.66	c   643s| 28600 |   272 |  6015k| 209.4 |    85M |  57 |1692 |8254 |1072 |  15k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
642.63/644.97	c   645s| 28700 |   268 |  6033k| 209.3 |    86M |  57 |1692 |8286 |1068 |  15k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
644.33/646.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
644.33/646.67	c   647s| 28800 |   270 |  6050k| 209.1 |    86M |  57 |1692 |8352 |1070 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
646.02/648.38	c   648s| 28900 |   278 |  6066k| 208.9 |    86M |  57 |1692 |8376 |1081 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
647.72/650.06	c   650s| 29000 |   274 |  6080k| 208.7 |    86M |  57 |1692 |8416 |1069 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
649.41/651.77	c   652s| 29100 |   274 |  6094k| 208.5 |    86M |  57 |1692 |8437 |1069 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
651.00/653.36	c   653s| 29200 |   277 |  6107k| 208.2 |    86M |  57 |1692 |8483 |1077 |  16k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
652.40/654.77	c   655s| 29300 |   273 |  6118k| 207.9 |    86M |  57 |1692 |8541 |1080 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
653.89/656.23	c   656s| 29400 |   268 |  6131k| 207.6 |    86M |  57 |1692 |8580 |1069 |  16k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
655.88/658.28	c   658s| 29500 |   266 |  6150k| 207.6 |    86M |  57 |1692 |8592 |1069 |  16k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
656.98/659.39	c   659s| 29600 |   269 |  6161k| 207.2 |    86M |  57 |1692 |8612 |1074 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
658.37/660.72	c   661s| 29700 |   268 |  6173k| 206.9 |    86M |  57 |1692 |8624 |1075 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
660.16/662.58	c   663s| 29800 |   268 |  6191k| 206.8 |    86M |  57 |1692 |8606 |1069 |  16k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
661.96/664.34	c   664s| 29900 |   270 |  6205k| 206.6 |    87M |  57 |1692 |8590 |1087 |  16k|  1 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
663.76/666.14	c   666s| 30000 |   267 |  6219k| 206.4 |    87M |  57 |1692 |8614 |1071 |  17k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
665.25/667.61	c   668s| 30100 |   269 |  6234k| 206.2 |    87M |  57 |1692 |8574 |1073 |  17k|  0 |  25k|  16 | 0.000000e+00 |      --      |    Inf | unknown
682.08/684.53	c   685s| 30200 |   307 |  6384k| 210.5 |    87M |  57 |1692 |7709 |1073 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
683.88/686.30	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
683.88/686.30	c   686s| 30300 |   309 |  6401k| 210.4 |    87M |  57 |1692 |7692 |1073 |  17k|  1 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
685.77/688.28	c   688s| 30400 |   305 |  6418k| 210.2 |    87M |  57 |1692 |7716 |1089 |  17k|  1 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
687.67/690.14	c   690s| 30500 |   303 |  6436k| 210.1 |    87M |  57 |1692 |7654 |1073 |  17k|  1 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
689.56/692.00	c   692s| 30600 |   301 |  6453k| 210.0 |    87M |  57 |1692 |7626 |1084 |  17k|  1 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
692.14/694.64	c   695s| 30700 |   311 |  6475k| 210.0 |    88M |  57 |1692 |7426 |1073 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
693.94/696.46	c   696s| 30800 |   321 |  6491k| 209.9 |    88M |  57 |1692 |7152 |1070 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
695.13/697.65	c   698s| 30900 |   319 |  6503k| 209.6 |    88M |  57 |1692 |7169 |1069 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
696.73/699.26	c   699s| 31000 |   318 |  6519k| 209.4 |    88M |  57 |1692 |6977 |1068 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
698.02/700.54	c   701s| 31100 |   319 |  6531k| 209.1 |    88M |  57 |1692 |7044 |1069 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
700.01/702.55	c   703s| 31200 |   318 |  6552k| 209.1 |    88M |  57 |1692 |7044 |1070 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
701.61/704.16	c   704s| 31300 |   320 |  6568k| 209.0 |    88M |  57 |1692 |6996 |1069 |  17k|  0 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
702.90/705.49	c   705s| 31400 |   324 |  6581k| 208.7 |    88M |  57 |1692 |7062 |1071 |  17k|  1 |  26k|  16 | 0.000000e+00 |      --      |    Inf | unknown
704.30/706.81	c   707s| 31500 |   322 |  6594k| 208.5 |    88M |  57 |1692 |7142 |1068 |  17k|  0 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
705.69/708.25	c   708s| 31600 |   328 |  6608k| 208.2 |    88M |  57 |1692 |7164 |1071 |  17k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
707.09/709.60	c   710s| 31700 |   321 |  6621k| 208.0 |    88M |  57 |1692 |7270 |1071 |  17k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
708.68/711.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
708.68/711.22	c   711s| 31800 |   317 |  6636k| 207.8 |    88M |  57 |1692 |7300 |1069 |  17k|  0 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
710.08/712.64	c   713s| 31900 |   319 |  6650k| 207.6 |    88M |  57 |1692 |7342 |1070 |  17k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
711.17/713.78	c   714s| 32000 |   319 |  6661k| 207.3 |    88M |  57 |1692 |7373 |1068 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
712.47/715.08	c   715s| 32100 |   319 |  6673k| 207.0 |    88M |  57 |1692 |7495 |1068 |  18k|  0 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
713.86/716.46	c   716s| 32200 |   325 |  6686k| 206.8 |    88M |  57 |1692 |7480 |1069 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
715.46/718.01	c   718s| 32300 |   324 |  6702k| 206.6 |    88M |  57 |1692 |7531 |1067 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
716.65/719.25	c   719s| 32400 |   317 |  6714k| 206.4 |    88M |  57 |1692 |7575 |1068 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
718.25/720.85	c   721s| 32500 |   319 |  6729k| 206.2 |    88M |  57 |1692 |7613 |1073 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
720.24/722.84	c   723s| 32600 |   317 |  6747k| 206.1 |    88M |  57 |1692 |7621 |1070 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
721.54/724.16	c   724s| 32700 |   327 |  6760k| 205.9 |    88M |  57 |1692 |7648 |1069 |  18k|  1 |  27k|  16 | 0.000000e+00 |      --      |    Inf | unknown
722.93/725.52	c   726s| 32800 |   323 |  6771k| 205.6 |    88M |  57 |1692 |7787 |1077 |  18k|  0 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
724.03/726.69	c   727s| 32900 |   323 |  6781k| 205.3 |    88M |  57 |1692 |7884 |1072 |  18k|  0 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
725.53/728.18	c   728s| 33000 |   321 |  6793k| 205.0 |    88M |  57 |1692 |7944 |1070 |  18k|  1 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
727.21/729.81	c   730s| 33100 |   317 |  6808k| 204.8 |    88M |  57 |1692 |7973 |1070 |  18k|  0 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
728.61/731.27	c   731s| 33200 |   321 |  6821k| 204.6 |    88M |  57 |1692 |8017 |1071 |  18k|  1 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
730.41/733.10	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
730.41/733.10	c   733s| 33300 |   323 |  6838k| 204.5 |    88M |  57 |1692 |8065 |1069 |  18k|  1 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
732.00/734.66	c   735s| 33400 |   327 |  6852k| 204.3 |    88M |  57 |1692 |8115 |1079 |  18k|  0 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
733.30/735.96	c   736s| 33500 |   322 |  6864k| 204.1 |    88M |  57 |1692 |8212 |1070 |  18k|  0 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
734.89/737.54	c   738s| 33600 |   322 |  6878k| 203.9 |    88M |  57 |1692 |8287 |1076 |  18k|  0 |  28k|  16 | 0.000000e+00 |      --      |    Inf | unknown
736.49/739.12	c   739s| 33700 |   324 |  6893k| 203.7 |    88M |  57 |1692 |8375 |1074 |  18k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
738.18/740.88	c   741s| 33800 |   326 |  6909k| 203.6 |    88M |  57 |1692 |8437 |1081 |  18k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
740.17/742.82	c   743s| 33900 |   328 |  6926k| 203.5 |    88M |  57 |1692 |8497 |1084 |  18k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
741.87/744.50	c   745s| 34000 |   324 |  6941k| 203.4 |    88M |  57 |1692 |8579 |1074 |  18k|  0 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
744.06/746.71	c   747s| 34100 |   322 |  6961k| 203.3 |    88M |  57 |1692 |8633 |1081 |  18k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
745.36/748.09	c   748s| 34200 |   326 |  6974k| 203.1 |    88M |  57 |1692 |8640 |1074 |  18k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
746.95/749.65	c   750s| 34300 |   324 |  6989k| 203.0 |    88M |  57 |1692 |8698 |1081 |  18k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
748.84/751.58	c   752s| 34400 |   324 |  7006k| 202.9 |    88M |  57 |1692 |8727 |1087 |  18k|  0 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
750.54/753.29	c   753s| 34500 |   327 |  7020k| 202.7 |    88M |  57 |1692 |8749 |1085 |  19k|  1 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
752.23/754.93	c   755s| 34600 |   323 |  7037k| 202.6 |    88M |  57 |1692 |8763 |   0 |  19k|  0 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
754.12/756.82	c   757s| 34700 |   321 |  7052k| 202.4 |    88M |  57 |1692 |8797 |1084 |  19k|  0 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
756.12/758.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
756.12/758.86	c   759s| 34800 |   325 |  7069k| 202.3 |    88M |  57 |1692 |8774 |1081 |  19k|  0 |  29k|  16 | 0.000000e+00 |      --      |    Inf | unknown
757.61/760.31	c   760s| 34900 |   325 |  7081k| 202.1 |    88M |  57 |1692 |8792 |1085 |  19k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
759.31/762.02	c   762s| 35000 |   323 |  7097k| 202.0 |    88M |  57 |1692 |8858 |1088 |  19k|  0 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
761.20/763.98	c   764s| 35100 |   323 |  7113k| 201.9 |    88M |  57 |1692 |8838 |1079 |  19k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
762.69/765.47	c   765s| 35200 |   327 |  7127k| 201.7 |    88M |  57 |1692 |8883 |1079 |  19k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
765.18/767.92	c   768s| 35300 |   319 |  7147k| 201.7 |    88M |  57 |1692 |8906 |1081 |  19k|  0 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
767.28/770.00	c   770s| 35400 |   325 |  7164k| 201.6 |    89M |  57 |1692 |8922 |1078 |  19k|  0 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
769.07/771.82	c   772s| 35500 |   327 |  7178k| 201.4 |    89M |  57 |1692 |8955 |1081 |  19k|  0 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
770.86/773.61	c   774s| 35600 |   327 |  7193k| 201.3 |    89M |  57 |1692 |8964 |1087 |  19k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
772.66/775.40	c   775s| 35700 |   323 |  7209k| 201.2 |    89M |  57 |1692 |8982 |1078 |  19k|  0 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
774.65/777.45	c   777s| 35800 |   323 |  7224k| 201.0 |    89M |  57 |1692 |9010 |1087 |  19k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
776.54/779.33	c   779s| 35900 |   323 |  7239k| 200.9 |    89M |  57 |1692 |9070 |1086 |  20k|  0 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
778.34/781.19	c   781s| 36000 |   324 |  7255k| 200.8 |    89M |  57 |1692 |9115 |1088 |  20k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
780.23/783.06	c   783s| 36100 |   322 |  7271k| 200.7 |    89M |  57 |1692 |9171 |1088 |  20k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
781.92/784.76	c   785s| 36200 |   320 |  7287k| 200.5 |    89M |  57 |1692 |9225 |1075 |  20k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
783.42/786.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
783.42/786.20	c   786s| 36300 |   326 |  7299k| 200.3 |    89M |  57 |1692 |9185 |1075 |  20k|  1 |  30k|  16 | 0.000000e+00 |      --      |    Inf | unknown
785.32/788.16	c   788s| 36400 |   321 |  7316k| 200.2 |    89M |  57 |1692 |9160 |1097 |  20k|  2 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
787.00/789.85	c   790s| 36500 |   319 |  7330k| 200.1 |    89M |  57 |1692 |9081 |1087 |  20k|  0 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
788.60/791.46	c   791s| 36600 |   319 |  7346k| 200.0 |    89M |  57 |1692 |9011 |1066 |  20k|  1 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
790.09/792.91	c   793s| 36700 |   319 |  7359k| 199.8 |    89M |  57 |1692 |9064 |1083 |  20k|  0 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
791.69/794.54	c   795s| 36800 |   319 |  7374k| 199.6 |    89M |  57 |1692 |9065 |1078 |  20k|  0 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
793.68/796.52	c   797s| 36900 |   321 |  7392k| 199.6 |    89M |  57 |1692 |9053 |1086 |  20k|  1 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
795.67/798.55	c   799s| 37000 |   317 |  7410k| 199.5 |    89M |  57 |1692 |9067 |1074 |  20k|  0 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
797.17/800.04	c   800s| 37100 |   319 |  7424k| 199.4 |    89M |  57 |1692 |9098 |1073 |  21k|  1 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
798.96/801.89	c   802s| 37200 |   319 |  7439k| 199.3 |    89M |  57 |1692 |9114 |1084 |  21k|  0 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
800.76/803.66	c   804s| 37300 |   322 |  7457k| 199.2 |    89M |  57 |1692 |9140 |1079 |  21k|  1 |  31k|  16 | 0.000000e+00 |      --      |    Inf | unknown
802.26/805.14	c   805s| 37400 |   322 |  7470k| 199.0 |    89M |  57 |1692 |9167 |1079 |  21k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
803.84/806.78	c   807s| 37500 |   320 |  7484k| 198.9 |    89M |  57 |1692 |9181 |1081 |  21k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
805.94/808.87	c   809s| 37600 |   319 |  7501k| 198.8 |    89M |  57 |1692 |9232 |1089 |  21k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
808.14/811.06	c   811s| 37700 |   321 |  7520k| 198.8 |    89M |  57 |1692 |9251 |1080 |  21k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
810.62/813.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
810.62/813.56	c   814s| 37800 |   319 |  7541k| 198.8 |    89M |  57 |1692 |9229 |1077 |  21k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
812.51/815.48	c   815s| 37900 |   323 |  7557k| 198.7 |    89M |  57 |1692 |9220 |1077 |  21k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
814.11/817.03	c   817s| 38000 |   321 |  7571k| 198.5 |    89M |  57 |1692 |9226 |1081 |  21k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
815.90/818.83	c   819s| 38100 |   321 |  7588k| 198.4 |    89M |  57 |1692 |9193 |1081 |  21k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
818.10/821.05	c   821s| 38200 |   323 |  7607k| 198.4 |    89M |  57 |1692 |9164 |1077 |  21k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
819.89/822.84	c   823s| 38300 |   321 |  7621k| 198.3 |    89M |  57 |1692 |9250 |1085 |  22k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
821.48/824.47	c   824s| 38400 |   323 |  7635k| 198.1 |    89M |  57 |1692 |9292 |1092 |  22k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
823.57/826.59	c   827s| 38500 |   319 |  7654k| 198.1 |    89M |  57 |1692 |9341 |1092 |  22k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
825.96/828.90	c   829s| 38600 |   323 |  7674k| 198.1 |    89M |  57 |1692 |9369 |1079 |  22k|  0 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
828.46/831.49	c   831s| 38700 |   325 |  7696k| 198.2 |    90M |  57 |1692 |9389 |1094 |  22k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
830.65/833.65	c   834s| 38800 |   323 |  7715k| 198.1 |    90M |  57 |1692 |9454 |1079 |  22k|  1 |  32k|  16 | 0.000000e+00 |      --      |    Inf | unknown
833.44/836.50	c   836s| 38900 |   321 |  7740k| 198.3 |    90M |  57 |1692 |9479 |1091 |  22k|  1 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
835.33/838.38	c   838s| 39000 |   323 |  7755k| 198.2 |    90M |  57 |1692 |9536 |1090 |  22k|  0 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
837.32/840.38	c   840s| 39100 |   319 |  7773k| 198.1 |    90M |  57 |1692 |9507 |1081 |  22k|  0 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
838.92/841.92	c   842s| 39200 |   319 |  7788k| 198.0 |    90M |  57 |1692 |9481 |1081 |  23k|  1 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
843.90/847.00	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
843.90/847.00	c   847s| 39300 |   320 |  7834k| 198.7 |    90M |  57 |1692 |8667 |1086 |  23k|  0 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
856.76/859.89	c   860s| 39400 |   345 |  7900k| 199.8 |    91M |  57 |1692 |7818 |1084 |  23k|  2 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
857.85/861.00	c   861s| 39500 |   345 |  7911k| 199.6 |    91M |  57 |1692 |7740 |1062 |  23k|  1 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
859.15/862.26	c   862s| 39600 |   345 |  7924k| 199.4 |    91M |  57 |1692 |7799 |1062 |  23k|  0 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
860.14/863.29	c   863s| 39700 |   347 |  7934k| 199.2 |    91M |  57 |1692 |7831 |1063 |  23k|  1 |  33k|  16 | 0.000000e+00 |      --      |    Inf | unknown
861.24/864.33	c   864s| 39800 |   348 |  7943k| 198.9 |    91M |  57 |1692 |7931 |1062 |  23k|  0 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
863.13/866.27	c   866s| 39900 |   351 |  7962k| 198.9 |    91M |  57 |1692 |7862 |1076 |  23k|  0 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
865.62/868.78	c   869s| 40000 |   344 |  7987k| 199.0 |    91M |  57 |1692 |7850 |1079 |  23k|  2 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
867.12/870.23	c   870s| 40100 |   348 |  8001k| 198.8 |    91M |  57 |1692 |7655 |1075 |  23k|  0 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
868.41/871.59	c   872s| 40200 |   358 |  8013k| 198.7 |    91M |  57 |1692 |7632 |1076 |  23k|  1 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
870.01/873.15	c   873s| 40300 |   352 |  8029k| 198.5 |    91M |  57 |1692 |7696 |1074 |  23k|  0 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
871.50/874.60	c   875s| 40400 |   357 |  8042k| 198.4 |    91M |  57 |1692 |7713 |1074 |  23k|  1 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
873.20/876.34	c   876s| 40500 |   355 |  8056k| 198.2 |    91M |  57 |1692 |7755 |1081 |  23k|  1 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
875.00/878.10	c   878s| 40600 |   353 |  8071k| 198.1 |    91M |  57 |1692 |7834 |1082 |  23k|  0 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
876.48/879.69	c   880s| 40700 |   354 |  8085k| 198.0 |    91M |  57 |1692 |7861 |1089 |  24k|  0 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
878.18/881.35	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
878.18/881.35	c   881s| 40800 |   353 |  8100k| 197.9 |    91M |  57 |1692 |7902 |1080 |  24k|  1 |  34k|  16 | 0.000000e+00 |      --      |    Inf | unknown
879.77/882.99	c   883s| 40900 |   352 |  8116k| 197.8 |    91M |  57 |1692 |7945 |1078 |  24k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
881.47/884.67	c   885s| 41000 |   354 |  8131k| 197.7 |    91M |  57 |1692 |7971 |1083 |  24k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
883.06/886.27	c   886s| 41100 |   353 |  8145k| 197.5 |    91M |  57 |1692 |8014 |1078 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
884.55/887.76	c   888s| 41200 |   349 |  8158k| 197.3 |    91M |  57 |1692 |8049 |1071 |  24k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
885.96/889.16	c   889s| 41300 |   351 |  8171k| 197.2 |    91M |  57 |1692 |8072 |1082 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
887.95/891.11	c   891s| 41400 |   351 |  8190k| 197.2 |    91M |  57 |1692 |8007 |1082 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
890.04/893.20	c   893s| 41500 |   351 |  8209k| 197.1 |    91M |  57 |1692 |7996 |1086 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
891.93/895.11	c   895s| 41600 |   347 |  8227k| 197.1 |    91M |  57 |1692 |7988 |1077 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
893.42/896.68	c   897s| 41700 |   347 |  8241k| 197.0 |    91M |  57 |1692 |8017 |1080 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
895.22/898.42	c   898s| 41800 |   347 |  8258k| 196.9 |    91M |  57 |1692 |7974 |1082 |  24k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
897.11/900.39	c   900s| 41900 |   355 |  8275k| 196.8 |    91M |  57 |1692 |7967 |1089 |  24k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
898.50/901.71	c   902s| 42000 |   353 |  8286k| 196.6 |    91M |  57 |1692 |8053 |1076 |  24k|  0 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
900.00/903.26	c   903s| 42100 |   355 |  8299k| 196.5 |    92M |  57 |1692 |8110 |1079 |  25k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
901.99/905.25	c   905s| 42200 |   353 |  8316k| 196.4 |    92M |  57 |1692 |8121 |1077 |  25k|  1 |  35k|  16 | 0.000000e+00 |      --      |    Inf | unknown
903.79/907.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
903.79/907.09	c   907s| 42300 |   350 |  8333k| 196.4 |    92M |  57 |1692 |8223 |1083 |  25k|  1 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
905.38/908.65	c   909s| 42400 |   350 |  8348k| 196.3 |    92M |  57 |1692 |8176 |1081 |  25k|  1 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
907.27/910.56	c   911s| 42500 |   350 |  8364k| 196.2 |    92M |  57 |1692 |8260 |1083 |  25k|  1 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
909.57/912.87	c   913s| 42600 |   343 |  8386k| 196.2 |    92M |  57 |1692 |8271 |1080 |  25k|  0 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
911.46/914.70	c   915s| 42700 |   347 |  8404k| 196.2 |    92M |  57 |1692 |8267 |1077 |  25k|  1 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
913.15/916.43	c   916s| 42800 |   343 |  8421k| 196.1 |    92M |  57 |1692 |8247 |1078 |  25k|  0 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
914.85/918.13	c   918s| 42900 |   346 |  8436k| 196.0 |    92M |  57 |1692 |8077 |1059 |  25k|  2 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
923.12/926.45	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
923.22/926.50	c (run 1, node 42987) performing user restart
923.22/926.50	c 
923.22/926.50	c (restart) converted 60 cuts from the global cut pool into linear constraints
923.22/926.50	c 
923.22/926.53	c presolving:
923.22/926.55	c (round 1, fast)       0 del vars, 752 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1053 clqs
923.22/926.59	c (round 2, exhaustive) 0 del vars, 758 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1053 clqs
923.32/926.60	c (round 3, exhaustive) 0 del vars, 769 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1053 clqs
923.32/926.61	c (round 4, exhaustive) 0 del vars, 769 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 0 chg coeffs, 163 upgd conss, 0 impls, 1053 clqs
923.42/926.72	c (round 5, exhaustive) 0 del vars, 1735 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 386 chg coeffs, 163 upgd conss, 0 impls, 1053 clqs
923.52/926.87	c (round 6, exhaustive) 0 del vars, 1737 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 3497 chg coeffs, 163 upgd conss, 0 impls, 1053 clqs
923.62/926.96	c (round 7, exhaustive) 0 del vars, 1746 del conss, 0 add conss, 0 chg bounds, 11 chg sides, 3501 chg coeffs, 163 upgd conss, 0 impls, 1053 clqs
923.82/927.16	c presolving (8 rounds: 8 fast, 7 medium, 7 exhaustive):
923.82/927.16	c  0 deleted vars, 1746 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 11 changed sides, 3501 changed coefficients
923.82/927.16	c  0 implications, 1053 cliques
923.82/927.16	c presolved problem has 1692 variables (1692 bin, 0 int, 0 impl, 0 cont) and 5450 constraints
923.82/927.16	c     167 constraints of type <knapsack>
923.82/927.16	c    1005 constraints of type <setppc>
923.82/927.16	c      89 constraints of type <linear>
923.82/927.16	c    4189 constraints of type <logicor>
923.82/927.16	c transformed objective value is always integral (scale: 1)
923.82/927.16	c Presolving Time: 0.73
923.82/927.17	c 
925.21/928.54	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
925.21/928.54	c   929s|     1 |     0 |  8521k|     - |   108M |   0 |1692 |5520 |1050 |   0 |  0 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
925.60/928.95	c   929s|     1 |     0 |  8522k|     - |   108M |   0 |1692 |5527 |1062 |  12 |  1 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
925.71/929.06	c   929s|     1 |     0 |  8522k|     - |   108M |   0 |1692 |5527 |1072 |  22 |  2 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
925.81/929.15	c   929s|     1 |     0 |  8522k|     - |   108M |   0 |1692 |5524 |1080 |  30 |  3 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
925.90/929.24	c   929s|     1 |     0 |  8522k|     - |   108M |   0 |1692 |5523 |1088 |  38 |  4 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
926.00/929.33	c   929s|     1 |     0 |  8522k|     - |   108M |   0 |1692 |5518 |1096 |  46 |  5 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
926.10/929.43	c   929s|     1 |     0 |  8522k|     - |   108M |   0 |1692 |5515 |1101 |  51 |  6 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
926.20/929.53	c   930s|     1 |     0 |  8523k|     - |   108M |   0 |1692 |5507 |1112 |  62 |  7 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
926.30/929.64	c   930s|     1 |     0 |  8523k|     - |   108M |   0 |1692 |5497 |1118 |  68 |  8 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
926.40/929.73	c   930s|     1 |     0 |  8523k|     - |   109M |   0 |1692 |5496 |1127 |  77 |  9 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
926.50/929.84	c   930s|     1 |     0 |  8523k|     - |   109M |   0 |1692 |5487 |1133 |  83 | 10 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
926.50/929.89	c   930s|     1 |     0 |  8523k|     - |   109M |   0 |1692 |5468 |1143 |  93 | 11 |  36k|  16 | 0.000000e+00 |      --      |    Inf | unknown
933.28/936.65	c   937s|     1 |     2 |  8558k|     - |   109M |   0 |1692 |5374 |1143 |  93 | 11 |  36k|  35 | 0.000000e+00 |      --      |    Inf | unknown
947.44/950.83	c   951s|   100 |    50 |  8680k| 200.5 |   110M |  40 |1692 |5310 |1051 | 114 |  1 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
956.11/959.57	c   960s|   200 |    59 |  8758k| 201.8 |   110M |  40 |1692 |5329 |1055 | 181 |  1 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
957.90/961.39	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
957.90/961.39	c   961s|   300 |    59 |  8775k| 201.8 |   110M |  40 |1692 |5370 |1057 | 240 |  1 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
959.89/963.35	c   963s|   400 |    65 |  8794k| 201.8 |   110M |  40 |1692 |5391 |1055 | 280 |  0 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
961.19/964.69	c   965s|   500 |    69 |  8807k| 201.6 |   110M |  40 |1692 |5421 |1055 | 301 |  1 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
962.49/965.99	c   966s|   600 |    69 |  8819k| 201.4 |   110M |  40 |1692 |5478 |1057 | 334 |  1 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
964.08/967.59	c   968s|   700 |    65 |  8835k| 201.3 |   110M |  40 |1692 |5479 |1058 | 356 |  0 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
965.68/969.15	c   969s|   800 |    75 |  8850k| 201.2 |   110M |  40 |1692 |5539 |1059 | 388 |  1 |  37k|  35 | 0.000000e+00 |      --      |    Inf | unknown
968.16/971.69	c   972s|   900 |    84 |  8876k| 201.3 |   110M |  40 |1692 |5602 |1059 | 429 |  0 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
969.46/972.95	c   973s|  1000 |    84 |  8887k| 201.1 |   110M |  43 |1692 |5629 |1053 | 462 |  0 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
971.05/974.57	c   975s|  1100 |    84 |  8902k| 201.0 |   110M |  43 |1692 |5757 |1059 | 499 |  0 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
972.45/975.99	c   976s|  1200 |    83 |  8916k| 200.8 |   110M |  43 |1692 |5843 |1059 | 549 |  1 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
974.14/977.60	c   978s|  1300 |    82 |  8931k| 200.7 |   110M |  43 |1692 |5891 |1066 | 603 |  1 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
975.64/979.11	c   979s|  1400 |    81 |  8946k| 200.6 |   110M |  43 |1692 |5993 |1054 | 610 |  1 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
977.23/980.77	c   981s|  1500 |    79 |  8962k| 200.5 |   110M |  43 |1692 |6035 |1064 | 650 |  1 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
978.53/982.09	c   982s|  1600 |    82 |  8973k| 200.3 |   110M |  43 |1692 |6124 |1058 | 715 |  1 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
980.22/983.70	c   984s|  1700 |    85 |  8987k| 200.2 |   110M |  43 |1692 |6149 |1060 | 814 |  0 |  38k|  35 | 0.000000e+00 |      --      |    Inf | unknown
981.52/985.01	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
981.52/985.01	c   985s|  1800 |    86 |  8999k| 200.0 |   110M |  43 |1692 |6207 |1066 | 869 |  0 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
983.41/986.94	c   987s|  1900 |    83 |  9019k| 200.0 |   110M |  43 |1692 |6255 |1061 | 918 |  1 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
985.20/988.70	c   989s|  2000 |    78 |  9037k| 200.0 |   110M |  43 |1692 |6234 |1061 | 955 |  0 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
986.70/990.27	c   990s|  2100 |    79 |  9051k| 199.8 |   110M |  43 |1692 |6262 |1060 | 973 |  1 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
988.69/992.27	c   992s|  2200 |    81 |  9072k| 199.9 |   110M |  43 |1692 |6254 |1061 |1046 |  1 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
990.18/993.77	c   994s|  2300 |    83 |  9087k| 199.7 |   110M |  43 |1692 |6394 |1059 |1097 |  1 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
991.08/994.60	c   995s|  2400 |    77 |  9094k| 199.5 |   110M |  43 |1692 |6401 |1059 |1127 |  0 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
992.08/995.63	c   996s|  2500 |    77 |  9104k| 199.3 |   110M |  43 |1692 |6395 |1059 |1137 |  0 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
992.87/996.49	c   996s|  2600 |    79 |  9113k| 199.0 |   110M |  43 |1692 |6376 |1059 |1158 |  1 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
994.47/998.00	c   998s|  2700 |    75 |  9129k| 198.9 |   110M |  43 |1692 |6370 |1059 |1195 |  0 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
995.57/999.11	c   999s|  2800 |    83 |  9140k| 198.7 |   110M |  43 |1692 |6388 |1065 |1260 |  1 |  39k|  35 | 0.000000e+00 |      --      |    Inf | unknown
996.06/999.60	c *1000s|  2876 |     0 |  9142k| 198.4 |    LP  |  46 |1692 |6447 |1066 |1307 |  3 |  39k|  35 | 0.000000e+00 | 0.000000e+00 |   0.00%| 100.00%
996.06/999.60	c 
996.06/999.60	c SCIP Status        : problem is solved [optimal solution found]
996.06/999.60	c Solving Time (sec) : 999.60
996.06/999.60	c Solving Nodes      : 2876 (total of 45863 nodes in 2 runs)
996.06/999.60	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
996.06/999.60	c Dual Bound         : +0.00000000000000e+00
996.06/999.60	c Gap                : 0.00 %
996.06/999.61	s SATISFIABLE
996.06/999.61	v -x1737 -x1736 -x1735 x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 x1724 x1723 x1722 -x1721 -x1720 x1719 
996.06/999.61	v -x1718 -x1717 x1716 -x1715 x1714 -x1713 -x1712 -x1711 x1710 -x1709 -x1708 x1707 -x1706 -x1705 x1704 -x1703 -x1702 -x1701 -x1700 
996.06/999.61	v x1699 -x1698 x1697 -x1696 -x1695 -x1694 x1693 -x1692 -x1691 -x1690 x1689 -x1688 -x1687 -x1686 -x1685 x1684 -x1683 -x1682 
996.06/999.61	v x1681 -x1680 x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 x1668 x1667 -x1666 -x1665 -x1664 -x1663 
996.06/999.61	v x1662 -x1661 x1660 -x1659 -x1658 -x1657 -x1656 -x1655 x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 x1647 x1646 x1645 -x1644 
996.06/999.61	v -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 x1635 -x1634 x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 x1626 
996.06/999.61	v x1625 x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 x1616 -x1615 -x1614 x1613 -x1612 -x1611 x1610 -x1609 -x1608 
996.06/999.61	v -x1607 x1606 -x1605 -x1604 -x1603 -x1602 x1601 -x1600 -x1599 x1598 x1597 -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 x1589 
996.06/999.61	v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 x1582 -x1581 -x1580 x1579 -x1578 -x1577 x1576 x1575 -x1574 -x1573 -x1572 x1571 -x1570 
996.06/999.61	v -x1569 x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 x1559 x1558 x1557 -x1556 -x1555 -x1554 -x1553 -x1552 
996.06/999.61	v -x1551 x1550 -x1549 x1548 x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 
996.06/999.61	v -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 
996.06/999.61	v -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501 -x1500 -x1499 -x1498 
996.06/999.61	v -x1497 -x1496 -x1495 -x1494 -x1493 x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 
996.06/999.61	v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 
996.06/999.61	v -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 
996.06/999.61	v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 x1427 -x1426 
996.06/999.61	v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 
996.06/999.61	v -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 x1393 -x1392 -x1391 -x1390 
996.06/999.61	v -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 
996.06/999.61	v -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 
996.06/999.61	v -x1353 x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 
996.06/999.61	v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 
996.06/999.61	v x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 x1303 -x1302 -x1301 -x1300 
996.06/999.61	v -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 
996.06/999.61	v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 x1265 -x1264 
996.06/999.61	v -x1263 -x1262 -x1261 -x1260 -x1259 x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 
996.06/999.61	v -x1245 -x1244 -x1243 -x1242 -x1241 x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 
996.06/999.61	v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 
996.06/999.61	v -x1209 x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 
996.06/999.61	v -x1191 -x1190 -x1189 -x1188 -x1187 x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 
996.06/999.61	v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 
996.06/999.61	v -x1155 -x1154 x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 
996.06/999.61	v -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 
996.06/999.61	v -x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102 
996.06/999.61	v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084 
996.06/999.61	v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 
996.06/999.61	v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048 
996.06/999.61	v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 
996.06/999.61	v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 -x1012 
996.06/999.61	v -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 
996.06/999.61	v -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 
996.06/999.61	v -x971 x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 
996.06/999.61	v -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 
996.06/999.61	v -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 
996.06/999.61	v -x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 
996.06/999.61	v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 
996.06/999.61	v -x866 -x865 x864 -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 
996.06/999.61	v -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 x825 
996.06/999.61	v -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 
996.06/999.61	v -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 
996.06/999.61	v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 
996.06/999.61	v -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 
996.06/999.61	v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 
996.06/999.61	v x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 x701 -x700 -x699 
996.06/999.61	v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 
996.06/999.61	v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 x663 -x662 -x661 -x660 -x659 -x658 -x657 
996.06/999.61	v -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 
996.06/999.61	v -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 
996.06/999.61	v -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594 
996.06/999.61	v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 
996.06/999.61	v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 
996.06/999.61	v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 
996.06/999.61	v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 
996.06/999.61	v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 
996.06/999.61	v -x488 -x487 -x486 x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 
996.06/999.61	v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 
996.06/999.61	v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 
996.06/999.61	v -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 
996.06/999.61	v -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 
996.06/999.61	v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 
996.06/999.61	v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 
996.06/999.61	v x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 
996.06/999.61	v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 
996.06/999.61	v -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 
996.06/999.61	v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 
996.06/999.61	v -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 
996.06/999.61	v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 
996.06/999.61	v -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 
996.06/999.61	v -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 
996.06/999.61	v -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 
996.06/999.61	v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 
996.06/999.61	v -x132 x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 
996.06/999.61	v -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 
996.06/999.61	v -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 
996.06/999.61	v -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 
996.06/999.61	v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 
996.06/999.61	v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
996.06/999.61	c SCIP Status        : problem is solved [optimal solution found]
996.06/999.61	c Total Time         :     999.60
996.06/999.61	c   solving          :     999.60
996.06/999.61	c   presolving       :       0.73 (included in solving)
996.06/999.61	c   reading          :       0.01 (included in solving)
996.06/999.61	c   copying          :       0.74 (43 #copies) (minimal 0.01, maximal 0.05, average 0.02)
996.06/999.61	c Original Problem   :
996.06/999.61	c   Problem name     : HOME/instance-4445955-1721328766.opb
996.06/999.61	c   Variables        : 1737 (1737 binary, 0 integer, 0 implicit integer, 0 continuous)
996.06/999.61	c   Constraints      : 1041 initial, 1041 maximal
996.06/999.61	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
996.06/999.61	c Presolved Problem  :
996.06/999.61	c   Problem name     : t_HOME/instance-4445955-1721328766.opb
996.06/999.61	c   Variables        : 1692 (1692 binary, 0 integer, 0 implicit integer, 0 continuous)
996.06/999.61	c   Constraints      : 5450 initial, 6447 maximal
996.06/999.61	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
996.06/999.61	c   Nonzeros         : 173383 constraint, 13832 clique table
996.06/999.61	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
996.06/999.61	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
996.06/999.61	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
996.06/999.61	c   gateextraction   :       0.03       0.00      7          0          0          0          0          0          0          0          0          0
996.06/999.61	c   implics          :       0.00       0.00     13          0          0          0          0          0          0          0          0          0
996.06/999.61	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   milp             :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
996.06/999.61	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   sparsify         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
996.06/999.61	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   trivial          :       0.00       0.00     14          0          0          0          0          0          0          0          0          0
996.06/999.61	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   dualfix          :       0.00       0.00     14          0          0          0          0          0          0          0          0          0
996.06/999.61	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   probing          :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
996.06/999.61	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
996.06/999.61	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
996.06/999.61	c   vbounds          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
996.06/999.61	c   knapsack         :       0.02       0.00     32          0          0          0          0          0          0          0          0          0
996.06/999.61	c   setppc           :       0.01       0.00     32         24         21          0          0          0        148          0         21         21
996.06/999.61	c   linear           :       0.02       0.00     23          0          0          0          0          0         53          0         53          0
996.06/999.61	c   logicor          :       0.47       0.11     19          0          0          0          0          0       1590          0          0       3501
996.06/999.61	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   components       :       0.02       0.00      2          0          0          0          0          0          0          0          0          0
996.06/999.61	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
996.06/999.61	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
996.06/999.61	c   benderslp        :          0          0          0          0      23343          0          0       2491          0          0          0          0          0          0          0
996.06/999.61	c   integral         :          0          0          0          0      23343          0          0       2491          0          0          0          0          0          0      46684
996.06/999.61	c   knapsack         :        167+       188         22     175327          1          0          0       2484     431423        125     142533          0          0          0          0
996.06/999.61	c   setppc           :       1005+      1055         22     175202          1          0          0         27    2762276        808    1000175          0          0          0          0
996.06/999.61	c   linear           :         89         89         23     174391          1          0          0          3     311526        355     137585          1          1          0          0
996.06/999.61	c   logicor          :       4189+      5124         22      76076          0          0          0          0      49789        310      39980          4          3          0          0
996.06/999.61	c   benders          :          0          0          0          0          1          0          0          2          0          0          0          0          0          0          0
996.06/999.61	c   fixedvar         :          0          0          0          0          1          0          0          2          0          0          0          0          0          0          0
996.06/999.61	c   countsols        :          0          0          0          0          1          0          0          2          0          0          0          0          0          0          0
996.06/999.61	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
996.06/999.61	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
996.06/999.61	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
996.06/999.61	c   integral         :       5.63       0.00       0.00       0.00       5.63       0.00       0.00       0.00       0.00       0.00
996.06/999.61	c   knapsack         :       1.47       0.00       0.03       1.10       0.00       0.00       0.00       0.04       0.30       0.00
996.06/999.61	c   setppc           :       3.18       0.00       0.00       2.68       0.00       0.00       0.00       0.00       0.49       0.00
996.06/999.61	c   linear           :       1.25       0.00       0.00       0.93       0.00       0.00       0.00       0.00       0.32       0.00
996.06/999.61	c   logicor          :       2.01       0.11       0.02       1.75       0.00       0.00       0.00       0.00       0.13       0.00
996.06/999.61	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
996.06/999.61	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
996.06/999.61	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
996.06/999.61	c   components       :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
996.06/999.61	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
996.06/999.61	c   dualfix          :          2          0          0          0
996.06/999.61	c   genvbounds       :          0          0          0          0
996.06/999.61	c   nlobbt           :          0          0          0          0
996.06/999.61	c   obbt             :          0          0          0          0
996.06/999.61	c   probing          :          0          0          0          0
996.06/999.61	c   pseudoobj        :          0          0          0          0
996.06/999.61	c   redcost          :          0          0          0          0
996.06/999.61	c   rootredcost      :          0          0          0          0
996.06/999.61	c   symmetry         :     156910          0          0        290
996.06/999.61	c   vbounds          :     111983          0          0          0
996.06/999.61	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
996.06/999.61	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
996.06/999.61	c   genvbounds       :       0.03       0.00       0.00       0.03       0.00       0.00
996.06/999.61	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
996.06/999.61	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
996.06/999.61	c   probing          :       0.01       0.00       0.01       0.00       0.00       0.00
996.06/999.61	c   pseudoobj        :       0.05       0.00       0.00       0.05       0.00       0.00
996.06/999.61	c   redcost          :       0.02       0.00       0.00       0.02       0.00       0.00
996.06/999.61	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00       0.00
996.06/999.61	c   symmetry         :      11.17       0.00       0.02      11.16       0.00       0.00
996.06/999.61	c   vbounds          :       0.52       0.00       0.00       0.52       0.00       0.00
996.06/999.61	c Symmetry           :
996.06/999.61	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
996.06/999.61	c   orbital reduction:        290 reductions applied,          0 cutoffs
996.06/999.61	c   lexicographic red:          0 reductions applied,          0 cutoffs
996.06/999.61	c   shadow tree time :       0.09 s
996.06/999.61	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
996.06/999.61	c   propagation      :       0.41       1498       1494          -      21209      126.2        418       35.8          -          -          -
996.06/999.61	c   infeasible LP    :      20.03      21452       6934          -     160088      291.2        561       37.0        365      193.7          0
996.06/999.61	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
996.06/999.61	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
996.06/999.61	c   pseudo solution  :       0.00          1          1          -          1        0.0          0        0.0          -          -          -
996.06/999.61	c   applied globally :       3.04          -          -          0      39358       49.5          -          -        361          -          -
996.06/999.61	c   applied locally  :          -          -          -          0         51      338.8          -          -          4          -          -
996.06/999.61	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
996.06/999.61	c   cut pool         :       1.51          -       4921         42          -          -      11661      94014          -          -          -          -          -    (maximal pool size:        818)
996.06/999.61	c   aggregation      :       1.44       0.00       2214         22          0          0          0          0          0          0          0          0          0
996.06/999.61	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
996.06/999.61	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
996.06/999.61	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
996.06/999.61	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   clique           :       0.05       0.00         22         22          0          0        175        438          0        271        271          0          0
996.06/999.61	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   gomory           :      31.03       0.00       2212         20          0          0      13380      91127       1972      18657      18455        202          0
996.06/999.61	c   > gomorymi       :          -          -          -          -          -          -          -       5010        986        497        394        103          -
996.06/999.61	c   > strongcg       :          -          -          -          -          -          -          -      86117        986      18160      18061         99          -
996.06/999.61	c   impliedbounds    :       0.09       0.00       2214         22          0          0          0          0          0          0          0          0          0
996.06/999.61	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
996.06/999.61	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   multilinear      :       0.00       0.00         53         22          0          0          0          0          0          0          0          0          0
996.06/999.61	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
996.06/999.61	c   rapidlearning    :       3.04       0.00         37          2          0        142          0          0          0          0          0          0        151
996.06/999.61	c   rlt              :       0.01       0.00       1688         20          0          0          0          0          0          0          0          0          0
996.06/999.61	c   zerohalf         :      20.44       0.00       2214         22          0          0       7037       2449       6959       8092       1717       6375          0
996.06/999.61	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
996.06/999.61	c   hybrid           :       0.24       0.00       3739         22      27023          2      75927        193          0        122
996.06/999.61	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c Pricers            :   ExecTime  SetupTime      Calls       Vars
996.06/999.61	c   problem variables:       0.00          -          0          0
996.06/999.61	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
996.06/999.61	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c   relpscost        :       5.60       0.00      23342          0          0          0          0          0          0      46684
996.06/999.61	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
996.06/999.61	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
996.06/999.61	c   LP solutions     :       0.00          -          -          1          1
996.06/999.61	c   relax solutions  :       0.00          -          -          0          0
996.06/999.61	c   pseudo solutions :       0.00          -          -          0          0
996.06/999.61	c   strong branching :       0.00          -          -          0          0
996.06/999.61	c   actconsdiving    :       0.00       0.00          0          0          0
996.06/999.61	c   adaptivediving   :       4.73       0.00         19          0          0
996.06/999.61	c   alns             :       6.32       0.00          9          0          0
996.06/999.61	c   bound            :       0.00       0.00          0          0          0
996.06/999.61	c   clique           :       0.01       0.00          1          0          0
996.06/999.61	c   coefdiving       :       0.00       0.00          0          0          0
996.06/999.61	c   completesol      :       0.00       0.00          0          0          0
996.06/999.61	c   conflictdiving   :      23.39       0.00         18          0          0
996.06/999.61	c   crossover        :       0.01       0.00          0          0          0
996.06/999.61	c   dins             :       0.00       0.00          0          0          0
996.06/999.61	c   distributiondivin:      16.51       0.00         18          0          0
996.06/999.61	c   dps              :       0.00       0.00          0          0          0
996.06/999.61	c   dualval          :       0.00       0.00          0          0          0
996.06/999.61	c   farkasdiving     :       0.00       0.00          0          0          0
996.06/999.61	c   feasjump         :       0.03       0.00          2          0          0
996.06/999.61	c   feaspump         :       2.72       0.00          9          0          0
996.06/999.61	c   fixandinfer      :       0.00       0.00          0          0          0
996.06/999.61	c   fracdiving       :      13.52       0.00         18          0          0
996.06/999.61	c   gins             :       0.01       0.00          0          0          0
996.06/999.61	c   guideddiving     :       0.00       0.00          0          0          0
996.06/999.61	c   indcoefdiving    :       0.00       0.00          0          0          0
996.06/999.61	c   indicator        :       0.02       0.00          0          0          0
996.06/999.61	c   indicatordiving  :       0.00       0.00          0          0          0
996.06/999.61	c   indoneopt        :       0.02       0.00          0          0          0
996.06/999.61	c   indrounding      :       0.00       0.00          0          0          0
996.06/999.61	c   indtwoopt        :       0.00       0.00          0          0          0
996.06/999.61	c   intdiving        :       0.00       0.00          0          0          0
996.06/999.61	c   intshifting      :       0.00       0.00          0          0          0
996.06/999.61	c   linesearchdiving :      10.70       0.00         18          0          0
996.06/999.61	c   localbranching   :       0.00       0.00          0          0          0
996.06/999.61	c   locks            :       0.01       0.00          1          0          0
996.06/999.61	c   lpface           :       0.04       0.00          0          0          0
996.06/999.61	c   mpec             :       0.00       0.00          0          0          0
996.06/999.61	c   multistart       :       0.00       0.00          0          0          0
996.06/999.61	c   mutation         :       0.00       0.00          0          0          0
996.06/999.61	c   nlpdiving        :       0.00       0.00          0          0          0
996.06/999.61	c   objpscostdiving  :      13.26       0.00          9          0          0
996.06/999.61	c   octane           :       0.00       0.00          0          0          0
996.06/999.61	c   ofins            :       0.01       0.00          0          0          0
996.06/999.61	c   oneopt           :       0.02       0.00          0          0          0
996.06/999.61	c   padm             :       0.00       0.00          0          0          0
996.06/999.61	c   proximity        :       0.00       0.00          0          0          0
996.06/999.61	c   pscostdiving     :       3.18       0.00         18          0          0
996.06/999.61	c   randrounding     :       0.33       0.00       2499          0          0
996.06/999.61	c   rens             :       0.97       0.00          2          0          0
996.06/999.61	c   reoptsols        :       0.00       0.00          0          0          0
996.06/999.61	c   repair           :       0.00       0.00          0          0          0
996.06/999.61	c   rins             :       0.01       0.00          0          0          0
996.06/999.61	c   rootsoldiving    :       5.58       0.00          9          0          0
996.06/999.61	c   rounding         :       0.36       0.00       2274          0          0
996.06/999.61	c   scheduler        :       0.00       0.00          0          0          0
996.06/999.61	c   shiftandpropagate:       0.02       0.00          2          0          0
996.06/999.61	c   shifting         :       0.37       0.00        922          0          0
996.06/999.61	c   simplerounding   :       0.02       0.00          0          0          0
996.06/999.61	c   smallcard        :       0.00       0.00          0          0          0
996.06/999.61	c   subnlp           :       0.04       0.00          0          0          0
996.06/999.61	c   trivial          :       0.00       0.00          4          0          0
996.06/999.61	c   trivialnegation  :       0.00       0.00          0          0          0
996.06/999.61	c   trustregion      :       0.00       0.00          0          0          0
996.06/999.61	c   trysol           :       0.02       0.00          0          0          0
996.06/999.61	c   twoopt           :       0.00       0.00          0          0          0
996.06/999.61	c   undercover       :       0.00       0.00          0          0          0
996.06/999.61	c   vbounds          :       0.01       0.00          2          0          0
996.06/999.61	c   veclendiving     :      10.80       0.00         18          0          0
996.06/999.61	c   zeroobj          :       0.00       0.00          0          0          0
996.06/999.61	c   zirounding       :       0.05       0.00       1000          0          0
996.06/999.61	c   other solutions  :          -          -          -          0          -
996.06/999.61	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
996.06/999.61	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
996.06/999.61	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
996.06/999.61	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
996.06/999.61	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
996.06/999.61	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
996.06/999.61	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
996.06/999.61	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
996.06/999.61	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
996.06/999.61	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
996.06/999.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
996.06/999.61	c   primal LP        :       2.67       2377          0       0.00       0.00       2.67       2377
996.06/999.61	c   dual LP          :     754.65      48407    8191307     169.82   10854.49       0.09        173
996.06/999.61	c   lex dual LP      :       0.00          0          0       0.00          -
996.06/999.61	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
996.06/999.61	c   resolve instable :       0.00          0          0       0.00          -
996.06/999.61	c   diving/probing LP:     100.24       3030     951446     314.01    9491.75
996.06/999.61	c   strong branching :       3.53         35      20051     572.89    5681.38          -          -         34
996.06/999.61	c     (at root node) :          -         35      20051     572.89          -
996.06/999.61	c   conflict analysis:       0.00          0          0       0.00          -
996.06/999.61	c B&B Tree           :
996.06/999.61	c   number of runs   :          2
996.06/999.61	c   nodes            :       2876 (1511 internal, 1365 leaves)
996.06/999.61	c   feasible leaves  :          1
996.06/999.61	c   infeas. leaves   :       1364
996.06/999.61	c   objective leaves :          0
996.06/999.61	c   nodes (total)    :      45863 (23342 internal, 22521 leaves)
996.06/999.61	c   nodes left       :          0
996.06/999.61	c   max depth        :         46
996.06/999.61	c   max depth (total):         57
996.06/999.61	c   backtracks       :        632 (22.0%)
996.06/999.61	c   early backtracks :          0 (0.0%)
996.06/999.61	c   nodes exc. ref.  :          0 (0.0%)
996.06/999.61	c   delayed cutoffs  :         66
996.06/999.61	c   repropagations   :       1264 (9892 domain reductions, 43 cutoffs)
996.06/999.61	c   avg switch length:       3.49
996.06/999.61	c   switching time   :       8.55
996.06/999.61	c Root Node          :
996.06/999.61	c   First LP value   : +0.00000000000000e+00
996.06/999.61	c   First LP Iters   :      11736 (10133.27 Iter/sec)
996.06/999.61	c   First LP Time    :       1.16
996.06/999.61	c   Final Dual Bound : +0.00000000000000e+00
996.06/999.61	c   Final Root Iters :      41641
996.06/999.61	c   Root LP Estimate : +4.36710359773675e-02
996.06/999.61	c Solution           :
996.06/999.61	c   Solutions found  :          1 (1 improvements)
996.06/999.61	c   First Solution   : +0.00000000000000e+00   (in run 2, after 2876 nodes, 999.60 seconds, depth 40, found by <relaxation>)
996.06/999.61	c   Gap First Sol.   :       0.00 %
996.06/999.61	c   Gap Last Sol.    :       0.00 %
996.06/999.61	c   Primal Bound     : +0.00000000000000e+00   (in run 2, after 2876 nodes, 999.60 seconds, depth 40, found by <relaxation>)
996.06/999.61	c   Dual Bound       : +0.00000000000000e+00
996.06/999.61	c   Gap              :       0.00 %
996.06/999.61	c Integrals          :      Total       Avg%
996.06/999.61	c   primal-dual      :   99960.01     100.00
996.06/999.61	c   primal-ref       :          -          - (not evaluated)
996.06/999.61	c   dual-ref         :          -          - (not evaluated)
996.06/999.64	c Time complete: 996.11.

Verifier Data

OK	0

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 (62020 MiB free)
  memory of node 1: 64510 MiB (63125 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445955-1721328766/watcher-4445955-1721328766 -o /tmp/evaluation-result-4445955-1721328766/solver-4445955-1721328766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973107 --watchdog 3760 pbscip -f HOME/instance-4445955-1721328766.opb -t 3600 -j 2 -m 31000 

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
solver pid=973261, runsolver pid=973258
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 2.68 3.54 3.90 5/259 973262
/proc/meminfo: memFree=128116880/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=82028 memory=40792 CPUtime=0.1 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 6932 0 0 0 9 1 0 0 20 0 1 0 185036850 83996672 10198 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 20507 10198 3853 3540 0 8764 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82028 KiB
Current children cumulated memory: 40792 KiB

[startup+0.205634 s]*
/proc/loadavg: 2.68 3.54 3.90 5/259 973262
/proc/meminfo: memFree=128105876/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=86128 memory=45140 CPUtime=0.2 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 7894 0 0 0 19 1 0 0 20 0 1 0 185036850 88195072 11285 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 21532 11285 3965 3540 0 9789 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86128 KiB
Current children cumulated memory: 45140 KiB

[startup+0.305844 s]*
/proc/loadavg: 2.68 3.54 3.90 5/259 973262
/proc/meminfo: memFree=128096420/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=86128 memory=45140 CPUtime=0.3 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 7910 0 0 0 29 1 0 0 20 0 1 0 185036850 88195072 11285 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 21532 11285 3965 3540 0 9789 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 86128 KiB
Current children cumulated memory: 45140 KiB

[startup+0.700228 s]
/proc/loadavg: 2.68 3.54 3.90 5/259 973262
/proc/meminfo: memFree=128078136/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=86128 memory=45140 CPUtime=0.69 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 7923 0 0 0 68 1 0 0 20 0 1 0 185036850 88195072 11285 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 21532 11285 3965 3540 0 9789 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 86128 KiB
Current children cumulated memory: 45140 KiB

[startup+1.50026 s]
/proc/loadavg: 2.68 3.54 3.90 5/259 973262
/proc/meminfo: memFree=128054924/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=87384 memory=45992 CPUtime=1.49 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 8138 0 0 0 148 1 0 0 20 0 1 0 185036850 89481216 11498 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 21846 11498 3981 3540 0 10103 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 87384 KiB
Current children cumulated memory: 45992 KiB

[startup+3.10541 s]
/proc/loadavg: 2.78 3.55 3.91 5/259 973308
/proc/meminfo: memFree=128094444/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=103372 memory=60992 CPUtime=3.08 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 12826 0 0 0 307 1 0 0 20 0 1 0 185036850 105852928 15248 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 25843 15248 4028 3540 0 14100 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 103372 KiB
Current children cumulated memory: 60992 KiB

[startup+6.30015 s]
/proc/loadavg: 2.78 3.55 3.91 5/259 973310
/proc/meminfo: memFree=128083332/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=103372 memory=61252 CPUtime=6.27 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 12884 0 0 0 626 1 0 0 20 0 1 0 185036850 105852928 15313 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 25843 15313 4028 3540 0 14100 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 103372 KiB
Current children cumulated memory: 61252 KiB

[startup+12.7002 s]
/proc/loadavg: 2.97 3.57 3.91 5/259 973310
/proc/meminfo: memFree=128032036/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=104352 memory=63356 CPUtime=12.65 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 13427 0 0 0 1264 1 0 0 20 0 1 0 185036850 106856448 15839 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 26088 15839 4028 3540 0 14345 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 104352 KiB
Current children cumulated memory: 63356 KiB

[startup+25.5003 s]
/proc/loadavg: 3.13 3.58 3.91 5/259 973359
/proc/meminfo: memFree=126060524/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=105604 memory=64988 CPUtime=25.43 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 15382 0 0 0 2541 2 0 0 20 0 1 0 185036850 108138496 16247 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 26401 16247 4028 3540 0 14658 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 105604 KiB
Current children cumulated memory: 64988 KiB

[startup+51.1058 s]
/proc/loadavg: 3.43 3.62 3.91 5/259 973362
/proc/meminfo: memFree=124020144/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=105604 memory=64988 CPUtime=50.95 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 15382 0 0 0 5093 2 0 0 20 0 1 0 185036850 108138496 16247 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 26401 16247 4028 3540 0 14658 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 105604 KiB
Current children cumulated memory: 64988 KiB

[startup+102.3 s]
/proc/loadavg: 3.82 3.70 3.92 5/259 973374
/proc/meminfo: memFree=122795688/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=110060 memory=69452 CPUtime=101.96 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 25028 0 0 0 10193 3 0 0 20 0 1 0 185036850 112701440 17363 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 27515 17363 4028 3540 0 15772 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 110060 KiB
Current children cumulated memory: 69452 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 3.79 3.94 5/258 973770
/proc/meminfo: memFree=122856184/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=113564 memory=75084 CPUtime=161.76 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 28390 0 0 0 16172 4 0 0 20 0 1 0 185036850 116289536 18771 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 28391 18771 4028 3540 0 16648 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 113564 KiB
Current children cumulated memory: 75084 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.84 3.95 5/258 973781
/proc/meminfo: memFree=122839256/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=120344 memory=81376 CPUtime=221.58 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 30033 0 0 0 22153 5 0 0 20 0 1 0 185036850 123232256 20344 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 30086 20344 4028 3540 0 18343 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 120344 KiB
Current children cumulated memory: 81376 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 3.91 3.97 5/258 973791
/proc/meminfo: memFree=122814488/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=128436 memory=89316 CPUtime=281.37 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 32102 0 0 0 28132 5 0 0 20 0 1 0 185036850 131518464 22329 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 32109 22329 4028 3540 0 20366 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 128436 KiB
Current children cumulated memory: 89316 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.94 3.98 5/258 973971
/proc/meminfo: memFree=122782024/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=147440 memory=107168 CPUtime=341.15 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 36564 0 0 0 34109 6 0 0 20 0 1 0 185036850 150978560 26792 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 36860 26792 4028 3540 0 25117 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 147440 KiB
Current children cumulated memory: 107168 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.97 3.99 5/258 973982
/proc/meminfo: memFree=122769496/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=156044 memory=116672 CPUtime=400.92 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 38957 0 0 0 40086 6 0 0 20 0 1 0 185036850 159789056 29168 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 39011 29168 4028 3540 0 27268 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 156044 KiB
Current children cumulated memory: 116672 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.02 4.01 5/257 973994
/proc/meminfo: memFree=122762840/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=156044 memory=116672 CPUtime=460.71 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 38982 0 0 0 46064 7 0 0 20 0 1 0 185036850 159789056 29168 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 39011 29168 4028 3540 0 27268 0

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

/proc/loadavg: 4.11 4.05 4.02 5/257 974027
/proc/meminfo: memFree=122592808/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=161176 memory=121020 CPUtime=580.27 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 40121 0 0 0 58020 7 0 0 20 0 1 0 185036850 165044224 30255 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 40294 30255 4028 3540 0 28551 0
Current children cumulated CPU time: 580.27 s
Current children cumulated vsize: 161176 KiB
Current children cumulated memory: 121020 KiB

[startup+642.3 s]
/proc/loadavg: 4.14 4.07 4.02 5/254 974037
/proc/meminfo: memFree=122585228/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=159560 memory=120792 CPUtime=640.04 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 41235 0 0 0 63997 7 0 0 20 0 1 0 185036850 163389440 30198 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 39890 30198 4028 3540 0 28147 0
Current children cumulated CPU time: 640.04 s
Current children cumulated vsize: 159560 KiB
Current children cumulated memory: 120792 KiB

[startup+702.3 s]
/proc/loadavg: 4.11 4.07 4.02 5/254 974050
/proc/meminfo: memFree=122562024/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=175404 memory=136528 CPUtime=699.81 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 45212 0 0 0 69974 7 0 0 20 0 1 0 185036850 179613696 34132 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 43851 34132 4028 3540 0 32108 0
Current children cumulated CPU time: 699.81 s
Current children cumulated vsize: 175404 KiB
Current children cumulated memory: 136528 KiB

[startup+762.3 s]
/proc/loadavg: 4.15 4.09 4.03 5/255 974061
/proc/meminfo: memFree=122545352/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=175404 memory=136528 CPUtime=759.6 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 45237 0 0 0 75952 8 0 0 20 0 1 0 185036850 179613696 34132 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 43851 34132 4028 3540 0 32108 0
Current children cumulated CPU time: 759.6 s
Current children cumulated vsize: 175404 KiB
Current children cumulated memory: 136528 KiB

[startup+822.3 s]
/proc/loadavg: 4.11 4.08 4.03 5/255 974071
/proc/meminfo: memFree=122533696/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=175404 memory=136604 CPUtime=819.39 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 45262 0 0 0 81931 8 0 0 20 0 1 0 185036850 179613696 34151 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 43851 34151 4028 3540 0 32108 0
Current children cumulated CPU time: 819.39 s
Current children cumulated vsize: 175404 KiB
Current children cumulated memory: 136604 KiB

[startup+882.3 s]
/proc/loadavg: 4.33 4.16 4.06 5/255 974083
/proc/meminfo: memFree=122522800/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=179400 memory=140376 CPUtime=879.17 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 46785 0 0 0 87909 8 0 0 20 0 1 0 185036850 183705600 35094 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 44850 35094 4028 3540 0 33107 0
Current children cumulated CPU time: 879.17 s
Current children cumulated vsize: 179400 KiB
Current children cumulated memory: 140376 KiB

[startup+942.3 s]
/proc/loadavg: 4.24 4.16 4.06 5/255 974093
/proc/meminfo: memFree=122487740/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=168092 CPUtime=938.96 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55427 0 0 0 93887 9 0 0 20 0 1 0 185036850 213135360 42023 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42023 4028 3540 0 40292 0
Current children cumulated CPU time: 938.96 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 168092 KiB

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

# cumulated CPU time of all completed processes:  user=996.01 s, system=0.108524 s

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

[startup+972.8 s]
/proc/loadavg: 4.23 4.16 4.06 5/255 974097
/proc/meminfo: memFree=122483364/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=969.36 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 96926 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 969.36 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB

[startup+985.6 s]
/proc/loadavg: 4.19 4.15 4.06 5/255 974101
/proc/meminfo: memFree=122483052/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=982.11 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 98201 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 982.11 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB

[startup+992 s]*
/proc/loadavg: 4.16 4.15 4.06 5/255 974101
/proc/meminfo: memFree=122481492/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=988.5 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 98840 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 988.5 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB

[startup+995.2 s]
/proc/loadavg: 4.16 4.15 4.06 5/255 974103
/proc/meminfo: memFree=122481520/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=991.68 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 99158 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 991.68 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB

[startup+996.8 s]
/proc/loadavg: 4.16 4.15 4.06 5/255 974103
/proc/meminfo: memFree=122481520/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=993.27 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 99317 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 993.27 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB

[startup+998.4 s]
/proc/loadavg: 4.15 4.15 4.06 5/255 974103
/proc/meminfo: memFree=122481404/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=994.87 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 99477 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 994.87 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB

[startup+999.2 s]
/proc/loadavg: 4.15 4.15 4.06 5/255 974103
/proc/meminfo: memFree=122481404/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=995.66 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 99556 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 995.66 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB

[startup+999.6 s]
/proc/loadavg: 4.15 4.15 4.06 5/255 974103
/proc/meminfo: memFree=122481404/131524600 swapFree=131071996/131071996
[pid=973261] ppid=973258 vsize=208140 memory=169328 CPUtime=996.06 cores=1,3
/proc/973261/stat : 973261 (pbscip) R 973258 973261 973095 0 -1 4194304 55738 0 0 0 99596 10 0 0 20 0 1 0 185036850 213135360 42332 134679101440 4194304 18693293 140726493385120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 55762944 140726493389827 140726493389926 140726493389926 140726493396942 0
/proc/973261/statm: 52035 42332 4028 3540 0 40292 0
Current children cumulated CPU time: 996.06 s
Current children cumulated vsize: 208140 KiB
Current children cumulated memory: 169328 KiB

Child status: 0

Real time (s): 999.651
CPU time (s): 996.119
CPU user time (s): 996.01
CPU system time (s): 0.108524
CPU usage (%): 99.6467
Max. virtual memory (cumulated for all children) (KiB): 217156
Max. memory (cumulated for all children) (KiB): 174596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 996.01
system time used= 0.108524
maximum resident set size= 174596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55744
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= 22
involuntary context switches= 496


# summary of solver processes directly reported to runsolver:
#   pid: 973261
#   total CPU time (s): 996.119
#   total CPU user time (s): 996.01
#   total CPU system time (s): 0.108524

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.95474 second user time and 4.76888 second system time

The end

Launcher Data

Begin job on nodeC015 at 2024-07-18 20:52:58
IDJOB=4445955
IDBENCH=155407
IDSOLVER=3059
FILE ID=nodeC015/4445955-1721328766
RUNJOBID= nodeC015-1721328778-973107
SLURM_JOB_ID= 7542690
Free space on /tmp= 890024 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-849702.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445955-1721328766/watcher-4445955-1721328766 -o /tmp/evaluation-result-4445955-1721328766/solver-4445955-1721328766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973107 --watchdog 3760  pbscip -f HOME/instance-4445955-1721328766.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 99577d0b2060d1d3afdf18d9c444f818
RANDOM SEED=655262255

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3663.531
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3609.910
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128155500 kB
MemAvailable:   129326804 kB
Buffers:          496048 kB
Cached:          1501780 kB
SwapCached:            0 kB
Active:          1604648 kB
Inactive:        1130740 kB
Active(anon):       1556 kB
Inactive(anon):   773416 kB
Active(file):    1603092 kB
Inactive(file):   357324 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             79700 kB
Writeback:             0 kB
AnonPages:        735652 kB
Mapped:           138640 kB
Shmem:             37720 kB
KReclaimable:     101068 kB
Slab:             213708 kB
SReclaimable:     101068 kB
SUnreclaim:       112640 kB
KernelStack:        4188 kB
PageTables:        10692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1049964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 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:      291540 kB
DirectMap2M:    38279168 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 889960 MiB
End job on nodeC015 at 2024-07-18 21:09:38