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-4507742-1751191363.opb>
0.00/0.02 c original problem has 4180 variables (4180 bin, 0 int, 0 impl, 0 cont) and 4334 constraints
0.00/0.02 c problem read in 0.01
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.03 c presolving:
0.00/0.04 c (round 1, fast) 174 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 793 clqs
0.00/0.04 c (round 2, fast) 434 del vars, 190 del conss, 0 add conss, 60 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 780 clqs
0.00/0.04 c (round 3, fast) 551 del vars, 276 del conss, 0 add conss, 116 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 777 clqs
0.00/0.04 c (round 4, fast) 644 del vars, 346 del conss, 0 add conss, 154 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 788 clqs
0.00/0.04 c (round 5, fast) 701 del vars, 391 del conss, 0 add conss, 176 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 810 clqs
0.00/0.04 c (round 6, fast) 723 del vars, 410 del conss, 0 add conss, 183 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 828 clqs
0.00/0.04 c (round 7, fast) 727 del vars, 414 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 837 clqs
0.00/0.05 c (0.0s) running MILP presolver
0.19/0.21 c (0.2s) MILP presolver (22 rounds): 4 aggregations, 173 fixings, 0 bound changes
0.19/0.22 c (round 8, medium) 904 del vars, 414 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 720 clqs
0.19/0.22 c (round 9, fast) 904 del vars, 591 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 722 clqs
0.19/0.22 c (round 10, exhaustive) 904 del vars, 663 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 722 clqs
0.19/0.24 c (round 11, exhaustive) 904 del vars, 663 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 3671 upgd conss, 0 impls, 722 clqs
0.19/0.25 c (round 12, exhaustive) 932 del vars, 664 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 32 chg coeffs, 3671 upgd conss, 0 impls, 722 clqs
0.19/0.25 c (round 13, fast) 960 del vars, 691 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 32 chg coeffs, 3671 upgd conss, 0 impls, 724 clqs
0.59/0.64 c (round 14, exhaustive) 985 del vars, 692 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 32 chg coeffs, 3671 upgd conss, 0 impls, 23909 clqs
0.59/0.64 c (round 15, fast) 985 del vars, 717 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 57 chg coeffs, 3671 upgd conss, 0 impls, 23909 clqs
0.68/0.76 c (round 16, exhaustive) 1010 del vars, 717 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 57 chg coeffs, 3671 upgd conss, 0 impls, 24362 clqs
0.68/0.76 c (round 17, fast) 1010 del vars, 742 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 85 chg coeffs, 3671 upgd conss, 0 impls, 24362 clqs
0.88/0.91 c (round 18, exhaustive) 1035 del vars, 742 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 85 chg coeffs, 3671 upgd conss, 0 impls, 24377 clqs
0.88/0.91 c (round 19, fast) 1035 del vars, 767 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 116 chg coeffs, 3671 upgd conss, 0 impls, 24378 clqs
0.88/0.98 c (1.0s) probing: 1000/3519 (28.4%) - 93 fixings, 2 aggregations, 370022 implications, 0 bound changes
0.99/1.02 c (round 20, exhaustive) 1060 del vars, 767 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 116 chg coeffs, 3671 upgd conss, 0 impls, 24388 clqs
0.99/1.02 c (round 21, fast) 1060 del vars, 792 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 147 chg coeffs, 3671 upgd conss, 0 impls, 24389 clqs
1.38/1.43 c (round 22, exhaustive) 1085 del vars, 792 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 147 chg coeffs, 3671 upgd conss, 0 impls, 24401 clqs
1.38/1.43 c (round 23, fast) 1085 del vars, 817 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 184 chg coeffs, 3671 upgd conss, 0 impls, 24404 clqs
1.58/1.61 c (1.6s) probing: 2000/3519 (56.8%) - 138 fixings, 2 aggregations, 694172 implications, 0 bound changes
1.98/2.08 c (2.1s) probing: 2748/3519 (78.1%) - 138 fixings, 2 aggregations, 948992 implications, 0 bound changes
1.98/2.08 c (2.1s) probing aborted: 1000/1000 successive useless probings
1.98/2.08 c (round 24, exhaustive) 1100 del vars, 817 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 184 chg coeffs, 3671 upgd conss, 0 impls, 24411 clqs
1.98/2.08 c (round 25, fast) 1100 del vars, 832 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 207 chg coeffs, 3671 upgd conss, 0 impls, 24411 clqs
2.08/2.17 c (2.2s) probing: 2848/3519 (80.9%) - 138 fixings, 2 aggregations, 982448 implications, 0 bound changes
2.08/2.17 c (2.2s) probing aborted: 1000/1000 successive useless probings
2.08/2.17 c (2.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.08/2.19 c (2.2s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
2.08/2.19 c dynamic symmetry handling statistics:
2.08/2.19 c orbitopal reduction: no components
2.08/2.19 c orbital reduction: no components
2.08/2.19 c lexicographic reduction: 3 permutations with support sizes 342, 132, 126
2.08/2.19 c handled 3 out of 3 symmetry components
2.08/2.19 c presolving (26 rounds: 26 fast, 11 medium, 10 exhaustive):
2.08/2.19 c 1100 deleted vars, 832 deleted constraints, 0 added constraints, 184 tightened bounds, 0 added holes, 0 changed sides, 207 changed coefficients
2.08/2.19 c 0 implications, 24422 cliques
2.08/2.19 c presolved problem has 3379 variables (3379 bin, 0 int, 0 impl, 0 cont) and 3502 constraints
2.08/2.19 c 715 constraints of type <setppc>
2.08/2.19 c 2787 constraints of type <logicor>
2.08/2.19 c transformed objective value is always integral (scale: 1)
2.08/2.19 c Presolving Time: 2.16
2.08/2.19 c - non default parameters ----------------------------------------------------------------------
2.08/2.19 c # SCIP version 10.0.0
2.08/2.19 c
2.08/2.19 c # maximal time in seconds to run
2.08/2.19 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.08/2.19 c limits/time = 3596.998007
2.08/2.19 c
2.08/2.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.08/2.19 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.08/2.19 c limits/memory = 27900
2.08/2.19 c
2.08/2.19 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
2.08/2.19 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
2.08/2.19 c limits/solutions = 1
2.08/2.19 c
2.08/2.19 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.
2.08/2.19 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
2.08/2.19 c misc/usesymmetry = 3
2.08/2.19 c
2.08/2.19 c # belongs reading time to solving time?
2.08/2.19 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.08/2.19 c timing/reading = TRUE
2.08/2.19 c
2.08/2.19 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
2.08/2.19 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.08/2.19 c propagating/symmetry/detectdoublelex = FALSE
2.08/2.19 c
2.08/2.19 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
2.08/2.19 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.08/2.19 c propagating/symmetry/detectsubgroups = FALSE
2.08/2.19 c
2.08/2.19 c # Type of symmetries that shall be computed?
2.08/2.19 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
2.08/2.19 c propagating/symmetry/symtype = 1
2.08/2.19 c
2.08/2.19 c # Should components consisting of a single full reflection be handled?
2.08/2.19 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.08/2.19 c propagating/symmetry/usesimplesgncomp = FALSE
2.08/2.19 c
2.08/2.19 c -----------------------------------------------------------------------------------------------
2.08/2.19 c start solving
2.08/2.19 c
4.17/4.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.17/4.24 c 4.2s| 1 | 0 | 9777 | - | 55M | 0 |3379 |3580 |3502 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
14.05/14.15 c 14.1s| 1 | 0 | 40752 | - | 61M | 0 |3379 |3784 |3510 | 8 | 1 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown
14.85/14.95 c 14.9s| 1 | 0 | 42830 | - | 62M | 0 |3379 |3791 |3520 | 18 | 2 | 88 | 0 | 0.000000e+00 | -- | Inf | unknown
15.64/15.70 c 15.7s| 1 | 0 | 44541 | - | 64M | 0 |3379 |3792 |3526 | 24 | 3 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown
16.54/16.62 c 16.6s| 1 | 0 | 46695 | - | 64M | 0 |3379 |3797 |3534 | 32 | 4 | 96 | 0 | 0.000000e+00 | -- | Inf | unknown
17.34/17.49 c 17.5s| 1 | 0 | 48723 | - | 65M | 0 |3379 |3799 |3543 | 41 | 5 | 98 | 0 | 0.000000e+00 | -- | Inf | unknown
18.74/18.80 c 18.8s| 1 | 0 | 52224 | - | 65M | 0 |3379 |3795 |3553 | 51 | 6 | 99 | 0 | 0.000000e+00 | -- | Inf | unknown
19.63/19.70 c 19.7s| 1 | 0 | 54193 | - | 67M | 0 |3379 |3798 |3560 | 58 | 7 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
21.13/21.20 c 21.2s| 1 | 0 | 58359 | - | 68M | 0 |3379 |3801 |3568 | 66 | 8 | 108 | 0 | 0.000000e+00 | -- | Inf | unknown
22.13/22.25 c 22.2s| 1 | 0 | 60613 | - | 69M | 0 |3379 |3800 |3576 | 74 | 9 | 111 | 0 | 0.000000e+00 | -- | Inf | unknown
23.42/23.52 c 23.5s| 1 | 0 | 63738 | - | 69M | 0 |3379 |3801 |3585 | 83 | 10 | 113 | 0 | 0.000000e+00 | -- | Inf | unknown
25.03/25.16 c 25.2s| 1 | 0 | 68988 | - | 70M | 0 |3379 |3810 |3596 | 94 | 11 | 123 | 0 | 0.000000e+00 | -- | Inf | unknown
44.07/44.23 c 44.2s| 1 | 2 |130318 | - | 71M | 0 |3379 |3800 |3596 | 94 | 11 | 142 | 11 | 0.000000e+00 | -- | Inf | unknown
173.43/173.96 c 174s| 100 | 79 |611899 |5483.9 | 88M | 20 |3379 |4298 |3574 | 171 | 1 | 985 | 11 | 0.000000e+00 | -- | Inf | 14.94%
218.02/218.69 c 219s| 200 | 108 |807939 |3713.3 | 91M | 20 |3379 |4358 |3570 | 224 | 1 |1292 | 11 | 0.000000e+00 | -- | Inf | 14.95%
230.09/230.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
230.09/230.71 c 231s| 300 | 112 |864365 |2660.1 | 93M | 33 |3379 |4389 |3572 | 265 | 1 |1368 | 11 | 0.000000e+00 | -- | Inf | 14.95%
234.67/235.31 c 235s| 400 | 118 |887716 |2051.9 | 96M | 40 |3379 |4430 |3575 | 281 | 0 |1432 | 11 | 0.000000e+00 | -- | Inf | 14.95%
238.66/239.37 c 239s| 500 | 114 |909340 |1684.1 | 99M | 40 |3379 |4424 |3574 | 288 | 0 |1458 | 11 | 0.000000e+00 | -- | Inf | 14.95%
242.36/243.05 c 243s| 600 | 116 |930716 |1438.6 | 100M | 40 |3379 |4455 |3576 | 293 | 1 |1538 | 11 | 0.000000e+00 | -- | Inf | 14.95%
245.94/246.64 c 247s| 700 | 116 |950159 |1260.6 | 103M | 43 |3379 |4509 | 0 | 304 | 0 |1629 | 11 | 0.000000e+00 | -- | Inf | 14.95%
248.74/249.43 c 249s| 800 | 113 |966161 |1122.9 | 105M | 43 |3379 |4546 |3574 | 305 | 0 |1727 | 11 | 0.000000e+00 | -- | Inf | 14.95%
252.33/253.08 c 253s| 900 | 113 |987270 |1021.4 | 106M | 43 |3379 |4557 |3574 | 305 | 0 |1800 | 11 | 0.000000e+00 | -- | Inf | 14.95%
256.03/256.78 c 257s| 1000 | 113 | 1007k| 939.1 | 106M | 43 |3379 |4553 | 0 | 315 | 0 |1887 | 11 | 0.000000e+00 | -- | Inf | 14.95%
259.22/259.93 c 260s| 1100 | 115 | 1024k| 869.8 | 107M | 43 |3379 |4598 |3574 | 321 | 0 |1996 | 11 | 0.000000e+00 | -- | Inf | 14.95%
262.11/262.88 c 263s| 1200 | 117 | 1041k| 811.4 | 108M | 43 |3379 |4563 |3575 | 322 | 1 |2083 | 11 | 0.000000e+00 | -- | Inf | 14.95%
265.41/266.11 c 266s| 1300 | 115 | 1060k| 763.1 | 108M | 43 |3379 |4602 |3574 | 322 | 1 |2202 | 11 | 0.000000e+00 | -- | Inf | 14.95%
268.30/269.03 c 269s| 1400 | 113 | 1076k| 720.2 | 109M | 43 |3379 |4626 |3574 | 322 | 0 |2330 | 11 | 0.000000e+00 | -- | Inf | 14.95%
272.18/272.98 c 273s| 1500 | 113 | 1098k| 686.7 | 110M | 43 |3379 |4594 |3574 | 338 | 1 |2377 | 11 | 0.000000e+00 | -- | Inf | 14.95%
276.87/277.64 c 278s| 1600 | 115 | 1121k| 658.5 | 111M | 49 |3379 |4605 |3572 | 356 | 1 |2440 | 11 | 0.000000e+00 | -- | Inf | 14.95%
279.86/280.60 c 281s| 1700 | 113 | 1139k| 629.9 | 111M | 49 |3379 |4652 |3572 | 356 | 1 |2519 | 11 | 0.000000e+00 | -- | Inf | 14.95%
283.55/284.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
283.55/284.38 c 284s| 1800 | 112 | 1160k| 606.7 | 111M | 49 |3379 |4656 |3572 | 363 | 1 |2583 | 11 | 0.000000e+00 | -- | Inf | 14.95%
287.14/287.96 c 288s| 1900 | 112 | 1181k| 585.8 | 112M | 49 |3379 |4743 | 0 | 366 | 0 |2705 | 11 | 0.000000e+00 | -- | Inf | 14.95%
290.03/290.85 c 291s| 2000 | 112 | 1196k| 564.0 | 113M | 49 |3379 |4862 |3577 | 383 | 1 |2865 | 11 | 0.000000e+00 | -- | Inf | 14.95%
293.12/293.93 c 294s| 2100 | 112 | 1211k| 544.5 | 114M | 53 |3379 |4914 |3574 | 393 | 0 |3008 | 11 | 0.000000e+00 | -- | Inf | 14.95%
298.11/299.00 c 299s| 2200 | 113 | 1235k| 530.6 | 116M | 53 |3379 |4696 |3569 | 453 | 0 |3126 | 11 | 0.000000e+00 | -- | Inf | 15.24%
301.90/302.74 c 303s| 2300 | 113 | 1256k| 516.4 | 117M | 53 |3379 |4605 |3576 | 491 | 1 |3179 | 11 | 0.000000e+00 | -- | Inf | 15.63%
304.20/305.08 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
304.20/305.08 c (run 1, node 2359) performing user restart
304.20/305.08 c
304.20/305.09 c (restart) converted 58 cuts from the global cut pool into linear constraints
304.20/305.09 c
304.20/305.10 c presolving:
304.30/305.11 c (round 1, fast) 0 del vars, 65 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 24422 clqs
304.30/305.12 c (round 2, exhaustive) 0 del vars, 93 del conss, 0 add conss, 0 chg bounds, 28 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 24422 clqs
304.30/305.12 c (round 3, exhaustive) 0 del vars, 93 del conss, 0 add conss, 0 chg bounds, 28 chg sides, 0 chg coeffs, 223 upgd conss, 0 impls, 24422 clqs
304.30/305.13 c (round 4, medium) 0 del vars, 101 del conss, 10 add conss, 0 chg bounds, 53 chg sides, 37 chg coeffs, 223 upgd conss, 0 impls, 24422 clqs
304.30/305.14 c (round 5, exhaustive) 0 del vars, 107 del conss, 10 add conss, 0 chg bounds, 53 chg sides, 70 chg coeffs, 223 upgd conss, 0 impls, 24422 clqs
304.39/305.23 c (round 6, exhaustive) 0 del vars, 145 del conss, 10 add conss, 0 chg bounds, 53 chg sides, 1825 chg coeffs, 223 upgd conss, 0 impls, 24422 clqs
304.49/305.35 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
304.49/305.35 c 0 deleted vars, 145 deleted constraints, 10 added constraints, 0 tightened bounds, 0 added holes, 53 changed sides, 1873 changed coefficients
304.49/305.35 c 0 implications, 24422 cliques
304.49/305.35 c presolved problem has 3379 variables (3379 bin, 0 int, 0 impl, 0 cont) and 4548 constraints
304.49/305.35 c 35 constraints of type <knapsack>
304.49/305.35 c 913 constraints of type <setppc>
304.49/305.35 c 8 constraints of type <linear>
304.49/305.35 c 3592 constraints of type <logicor>
304.49/305.35 c transformed objective value is always integral (scale: 1)
304.49/305.35 c Presolving Time: 2.42
304.49/305.35 c
305.89/306.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
305.89/306.76 c 307s| 1 | 0 | 1276k| - | 121M | 0 |3379 |4574 |3556 | 0 | 0 |3276 | 11 | 0.000000e+00 | -- | Inf | unknown
306.49/307.38 c 307s| 1 | 0 | 1277k| - | 123M | 0 |3379 |4567 |3566 | 10 | 1 |3278 | 11 | 0.000000e+00 | -- | Inf | unknown
306.99/307.89 c 308s| 1 | 0 | 1279k| - | 124M | 0 |3379 |4562 |3571 | 15 | 2 |3279 | 11 | 0.000000e+00 | -- | Inf | unknown
307.68/308.58 c 309s| 1 | 0 | 1280k| - | 124M | 0 |3379 |4546 |3585 | 29 | 3 |3289 | 11 | 0.000000e+00 | -- | Inf | unknown
308.68/309.51 c 310s| 1 | 0 | 1282k| - | 124M | 0 |3379 |4541 |3596 | 40 | 4 |3295 | 11 | 0.000000e+00 | -- | Inf | unknown
309.29/310.13 c 310s| 1 | 0 | 1284k| - | 124M | 0 |3379 |4531 |3602 | 46 | 5 |3296 | 11 | 0.000000e+00 | -- | Inf | unknown
310.28/311.15 c 311s| 1 | 0 | 1286k| - | 125M | 0 |3379 |4522 |3614 | 58 | 6 |3302 | 11 | 0.000000e+00 | -- | Inf | unknown
311.37/312.20 c 312s| 1 | 0 | 1289k| - | 125M | 0 |3379 |4508 |3624 | 68 | 7 |3305 | 11 | 0.000000e+00 | -- | Inf | unknown
312.77/313.62 c 314s| 1 | 0 | 1293k| - | 126M | 0 |3379 |4484 |3637 | 81 | 8 |3310 | 11 | 0.000000e+00 | -- | Inf | unknown
313.87/314.80 c 315s| 1 | 0 | 1296k| - | 126M | 0 |3379 |4448 |3648 | 92 | 9 |3313 | 11 | 0.000000e+00 | -- | Inf | unknown
315.96/316.84 c 317s| 1 | 0 | 1301k| - | 126M | 0 |3379 |4410 |3659 | 103 | 10 |3315 | 11 | 0.000000e+00 | -- | Inf | unknown
317.76/318.60 c 319s| 1 | 0 | 1307k| - | 127M | 0 |3379 |4377 |3614 | 116 | 11 |3316 | 11 | 0.000000e+00 | -- | Inf | unknown
328.24/329.19 c 329s| 1 | 2 | 1332k| - | 127M | 0 |3379 |4302 |3614 | 116 | 11 |3347 | 22 | 0.000000e+00 | -- | Inf | unknown
353.17/354.14 c 354s| 100 | 25 | 1435k| 540.8 | 129M | 40 |3379 |4352 |3576 | 146 | 1 |3432 | 22 | 0.000000e+00 | -- | Inf | unknown
374.61/375.63 c 376s| 200 | 29 | 1527k| 555.5 | 129M | 46 |3379 |4372 |3579 | 159 | 0 |3500 | 22 | 0.000000e+00 | -- | Inf | 3.18%
391.46/392.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
391.46/392.53 c 393s| 300 | 27 | 1607k| 564.8 | 129M | 46 |3379 |4413 |3589 | 176 | 0 |3555 | 22 | 0.000000e+00 | -- | Inf | 3.18%
415.50/416.69 c 417s| 400 | 33 | 1708k| 581.1 | 130M | 46 |3379 |4427 |3582 | 204 | 0 |3620 | 22 | 0.000000e+00 | -- | Inf | 6.45%
435.15/436.30 c 436s| 500 | 37 | 1798k| 592.1 | 132M | 46 |3379 |4461 |3586 | 249 | 1 |3694 | 22 | 0.000000e+00 | -- | Inf | 6.74%
452.30/453.59 c 454s| 600 | 37 | 1877k| 598.7 | 133M | 48 |3379 |4446 |3576 | 268 | 1 |3756 | 22 | 0.000000e+00 | -- | Inf | 6.74%
468.56/469.81 c 470s| 700 | 35 | 1952k| 603.6 | 133M | 49 |3379 |4488 |3586 | 281 | 0 |3813 | 22 | 0.000000e+00 | -- | Inf | 6.74%
486.41/487.76 c 488s| 800 | 35 | 2033k| 610.3 | 135M | 51 |3379 |4514 |3580 | 308 | 1 |3855 | 22 | 0.000000e+00 | -- | Inf | 6.74%
504.27/505.63 c 506s| 900 | 34 | 2115k| 616.8 | 136M | 57 |3379 |4552 |3580 | 328 | 1 |3898 | 22 | 0.000000e+00 | -- | Inf | 6.74%
523.32/524.73 c 525s| 1000 | 36 | 2203k| 624.4 | 138M | 57 |3379 |4565 |3578 | 352 | 1 |3957 | 22 | 0.000000e+00 | -- | Inf | 6.74%
538.78/540.23 c 540s| 1100 | 36 | 2275k| 627.4 | 138M | 57 |3379 |4638 |3582 | 385 | 0 |4066 | 22 | 0.000000e+00 | -- | Inf | 6.88%
554.43/555.97 c 556s| 1200 | 38 | 2348k| 630.1 | 138M | 57 |3379 |4707 |3583 | 401 | 0 |4202 | 22 | 0.000000e+00 | -- | Inf | 6.89%
570.79/572.34 c 572s| 1300 | 36 | 2423k| 633.5 | 138M | 57 |3379 |4821 |3578 | 416 | 0 |4326 | 22 | 0.000000e+00 | -- | Inf | 6.89%
588.45/590.05 c 590s| 1400 | 38 | 2505k| 638.5 | 139M | 57 |3379 |4879 |3584 | 434 | 1 |4429 | 22 | 0.000000e+00 | -- | Inf | 6.89%
607.59/609.28 c 609s| 1500 | 36 | 2593k| 644.8 | 141M | 57 |3379 |4949 |3584 | 462 | 1 |4506 | 22 | 0.000000e+00 | -- | Inf | 6.89%
626.84/628.53 c 629s| 1600 | 36 | 2683k| 651.0 | 142M | 57 |3379 |4970 | 0 | 492 | 0 |4593 | 22 | 0.000000e+00 | -- | Inf | 6.89%
645.29/647.08 c 647s| 1700 | 34 | 2768k| 656.0 | 142M | 57 |3379 |5017 |3583 | 524 | 0 |4678 | 22 | 0.000000e+00 | -- | Inf | 6.89%
662.04/663.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
662.04/663.88 c 664s| 1800 | 38 | 2844k| 658.5 | 142M | 57 |3379 |5112 |3590 | 541 | 1 |4799 | 22 | 0.000000e+00 | -- | Inf | 6.94%
679.21/681.09 c 681s| 1900 | 38 | 2922k| 661.4 | 142M | 57 |3379 |5207 |3593 | 564 | 1 |4927 | 22 | 0.000000e+00 | -- | Inf | 6.94%
696.66/698.59 c 699s| 2000 | 38 | 3005k| 665.2 | 143M | 57 |3379 |5312 |3585 | 576 | 1 |5045 | 22 | 0.000000e+00 | -- | Inf | 6.94%
713.62/715.59 c 716s| 2100 | 38 | 3082k| 667.6 | 144M | 57 |3379 |5433 |3602 | 609 | 2 |5171 | 22 | 0.000000e+00 | -- | Inf | 6.94%
730.77/732.75 c 733s| 2200 | 38 | 3160k| 670.2 | 145M | 57 |3379 |5488 |3588 | 623 | 1 |5277 | 22 | 0.000000e+00 | -- | Inf | 6.94%
746.33/748.33 c 748s| 2300 | 36 | 3233k| 671.3 | 145M | 57 |3379 |5550 |3587 | 645 | 0 |5413 | 22 | 0.000000e+00 | -- | Inf | 6.94%
765.68/767.77 c 768s| 2400 | 36 | 3322k| 675.9 | 145M | 57 |3379 |5664 |3599 | 672 | 1 |5529 | 22 | 0.000000e+00 | -- | Inf | 6.94%
782.94/785.04 c 785s| 2500 | 39 | 3400k| 678.2 | 145M | 57 |3379 |5533 |3591 | 720 | 0 |5582 | 22 | 0.000000e+00 | -- | Inf | 6.94%
796.01/798.18 c 798s| 2600 | 40 | 3464k| 677.3 | 145M | 57 |3379 |5570 |3589 | 730 | 0 |5637 | 22 | 0.000000e+00 | -- | Inf | 6.94%
812.46/814.67 c 815s| 2700 | 40 | 3543k| 679.6 | 146M | 57 |3379 |5621 |3588 | 749 | 0 |5699 | 22 | 0.000000e+00 | -- | Inf | 6.94%
829.51/831.76 c 832s| 2800 | 40 | 3625k| 682.2 | 146M | 57 |3379 |5666 |3592 | 784 | 1 |5750 | 22 | 0.000000e+00 | -- | Inf | 6.94%
842.37/844.67 c 845s| 2900 | 38 | 3686k| 680.9 | 146M | 57 |3379 |5697 |3594 | 826 | 2 |5793 | 22 | 0.000000e+00 | -- | Inf | 6.94%
855.53/857.87 c 858s| 3000 | 40 | 3748k| 679.7 | 147M | 57 |3379 |5734 |3587 | 845 | 1 |5852 | 22 | 0.000000e+00 | -- | Inf | 6.94%
868.19/870.57 c 871s| 3100 | 39 | 3808k| 678.3 | 147M | 57 |3379 |5777 |3587 | 875 | 1 |5915 | 22 | 0.000000e+00 | -- | Inf | 6.94%
883.84/886.29 c 886s| 3200 | 43 | 3883k| 679.6 | 147M | 57 |3379 |5712 |3587 | 903 | 1 |5975 | 22 | 0.000000e+00 | -- | Inf | 6.94%
900.79/903.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
900.79/903.26 c 903s| 3300 | 43 | 3958k| 680.9 | 147M | 57 |3379 |5721 |3590 | 920 | 2 |6045 | 22 | 0.000000e+00 | -- | Inf | 6.94%
915.15/917.61 c 918s| 3400 | 40 | 4026k| 680.9 | 147M | 57 |3379 |5777 |3594 | 934 | 1 |6119 | 22 | 0.000000e+00 | -- | Inf | 6.94%
927.41/929.93 c 930s| 3500 | 41 | 4086k| 679.4 | 147M | 57 |3379 |5776 |3595 | 968 | 1 |6168 | 22 | 0.000000e+00 | -- | Inf | 6.94%
942.06/944.65 c 945s| 3600 | 43 | 4154k| 679.5 | 147M | 57 |3379 |5786 |3594 |1028 | 0 |6223 | 22 | 0.000000e+00 | -- | Inf | 6.94%
957.02/959.66 c 960s| 3700 | 39 | 4226k| 680.1 | 148M | 57 |3379 |5820 |3596 |1062 | 0 |6294 | 22 | 0.000000e+00 | -- | Inf | 6.94%
972.47/975.14 c 975s| 3800 | 38 | 4299k| 680.9 | 148M | 57 |3379 |5753 |3587 |1078 | 1 |6344 | 22 | 0.000000e+00 | -- | Inf | 6.94%
992.51/995.26 c 995s| 3900 | 44 | 4390k| 684.6 | 148M | 57 |3379 |5670 |3593 |1101 | 2 |6407 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1007.66/1010.40 c 1010s| 4000 | 42 | 4461k| 684.9 | 148M | 57 |3379 |5673 |3588 |1135 | 1 |6481 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1020.13/1022.95 c 1023s| 4100 | 43 | 4518k| 683.3 | 148M | 57 |3379 |5736 |3592 |1150 | 1 |6561 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1037.07/1039.92 c 1040s| 4200 | 40 | 4597k| 684.8 | 148M | 57 |3379 |5732 |3592 |1183 | 0 |6688 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1056.22/1059.14 c 1059s| 4300 | 42 | 4683k| 687.6 | 148M | 57 |3379 |5729 |3590 |1210 | 0 |6775 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1070.37/1073.38 c 1073s| 4400 | 44 | 4748k| 687.0 | 148M | 57 |3379 |5783 |3590 |1237 | 1 |6833 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1083.14/1086.11 c 1086s| 4500 | 46 | 4805k| 685.3 | 151M | 57 |3379 |5849 |3597 |1299 | 0 |6911 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1099.38/1102.41 c 1102s| 4600 | 44 | 4879k| 686.1 | 152M | 57 |3379 |5876 | 0 |1377 | 0 |6983 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1114.53/1117.63 c 1118s| 4700 | 39 | 4952k| 686.6 | 153M | 57 |3379 |5925 |3592 |1396 | 0 |7041 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1130.89/1134.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1130.89/1134.01 c 1134s| 4800 | 41 | 5028k| 687.6 | 155M | 57 |3379 |5951 |3593 |1431 | 2 |7147 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1144.24/1147.40 c 1147s| 4900 | 43 | 5089k| 686.6 | 155M | 62 |3379 |5947 |3597 |1456 | 0 |7207 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1159.09/1162.32 c 1162s| 5000 | 41 | 5159k| 686.8 | 156M | 62 |3379 |5973 |3599 |1477 | 0 |7266 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1170.16/1173.43 c 1173s| 5100 | 41 | 5210k| 684.4 | 156M | 80 |3379 |5986 |3600 |1478 | 1 |7285 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1183.02/1186.39 c 1186s| 5200 | 45 | 5270k| 683.3 | 157M | 80 |3379 |5929 |3595 |1507 | 1 |7334 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1193.89/1197.22 c 1197s| 5300 | 45 | 5320k| 680.9 | 157M | 80 |3379 |5978 |3601 |1541 | 0 |7424 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1204.25/1207.63 c 1208s| 5400 | 45 | 5369k| 678.4 | 157M | 80 |3379 |6007 |3600 |1562 | 1 |7481 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1215.42/1218.82 c 1219s| 5500 | 43 | 5418k| 676.1 | 160M | 80 |3379 |6079 |3582 |1616 | 1 |7601 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1232.97/1236.49 c 1236s| 5600 | 43 | 5499k| 677.7 | 160M | 80 |3379 |6017 |3589 |1677 | 2 |7697 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1249.43/1252.97 c 1253s| 5700 | 41 | 5575k| 678.7 | 160M | 80 |3379 |6017 |3590 |1711 | 0 |7802 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1263.29/1266.89 c 1267s| 5800 | 41 | 5641k| 678.5 | 160M | 80 |3379 |6034 |3590 |1759 | 1 |7839 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1277.26/1280.86 c 1281s| 5900 | 39 | 5703k| 677.8 | 160M | 80 |3379 |6077 |3592 |1812 | 0 |7905 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1295.31/1298.91 c 1299s| 6000 | 41 | 5785k| 679.5 | 160M | 80 |3379 |6138 |3592 |1850 | 0 |7986 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1310.77/1314.42 c 1314s| 6100 | 43 | 5855k| 679.8 | 160M | 80 |3379 |6179 |3591 |1898 | 1 |8058 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1325.84/1329.55 c 1330s| 6200 | 41 | 5923k| 679.8 | 161M | 80 |3379 |6227 |3603 |1956 | 2 |8115 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1346.29/1350.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1346.29/1350.01 c 1350s| 6300 | 39 | 6014k| 682.4 | 161M | 80 |3379 |6297 |3604 |1991 | 0 |8214 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1362.35/1366.16 c 1366s| 6400 | 42 | 6085k| 682.7 | 161M | 80 |3379 |6316 | 0 |2026 | 0 |8391 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1374.42/1378.22 c 1378s| 6500 | 42 | 6143k| 681.5 | 161M | 80 |3379 |6342 |3593 |2086 | 1 |8469 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1386.79/1390.64 c 1391s| 6600 | 43 | 6200k| 680.3 | 161M | 80 |3379 |6354 |3592 |2123 | 0 |8585 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1400.05/1403.92 c 1404s| 6700 | 43 | 6261k| 679.5 | 161M | 80 |3379 |6286 |3595 |2169 | 0 |8672 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1417.12/1421.10 c 1421s| 6800 | 41 | 6336k| 680.3 | 162M | 80 |3379 |6270 |3584 |2268 | 1 |8724 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1431.08/1435.03 c 1435s| 6900 | 38 | 6401k| 679.9 | 162M | 80 |3379 |6316 |3595 |2300 | 0 |8844 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1443.95/1447.97 c 1448s| 7000 | 40 | 6461k| 679.2 | 162M | 80 |3379 |6309 |3595 |2324 | 0 |8950 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1457.51/1461.55 c 1462s| 7100 | 45 | 6524k| 678.6 | 162M | 80 |3379 |6265 |3582 |2353 | 0 |9033 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1471.08/1475.14 c 1475s| 7200 | 43 | 6589k| 678.3 | 162M | 80 |3379 |6293 |3590 |2404 | 0 |9100 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1486.24/1490.36 c 1490s| 7300 | 41 | 6660k| 678.7 | 163M | 80 |3379 |6304 |3589 |2451 | 0 |9211 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1500.70/1504.87 c 1505s| 7400 | 41 | 6727k| 678.5 | 163M | 80 |3379 |6376 |3594 |2477 | 1 |9319 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1518.06/1522.22 c 1522s| 7500 | 42 | 6805k| 679.6 | 164M | 80 |3379 |6403 |3590 |2530 | 1 |9424 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1529.73/1533.98 c 1534s| 7600 | 39 | 6858k| 678.0 | 166M | 80 |3379 |6507 | 0 |2572 | 0 |9547 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1545.09/1549.31 c 1549s| 7700 | 43 | 6926k| 678.1 | 168M | 80 |3379 |6356 |3591 |2627 | 0 |9733 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1552.67/1556.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1552.67/1556.94 c 1557s| 7800 | 41 | 6964k| 675.2 | 168M | 80 |3379 |6396 |3590 |2671 | 1 |9846 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1564.75/1569.04 c 1569s| 7900 | 42 | 7023k| 674.3 | 168M | 80 |3379 |6136 |3590 |2724 | 0 |9892 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1574.52/1578.85 c 1579s| 8000 | 44 | 7070k| 672.3 | 168M | 80 |3379 |6234 |3590 |2756 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1583.10/1587.42 c 1587s| 8100 | 42 | 7112k| 670.0 | 168M | 80 |3379 |6194 |3594 |2781 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1593.47/1597.88 c 1598s| 8200 | 42 | 7162k| 668.3 | 168M | 80 |3379 |6158 |3596 |2847 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1605.54/1609.90 c 1610s| 8300 | 40 | 7217k| 667.2 | 168M | 80 |3379 |6147 |3592 |2880 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1618.91/1623.32 c 1623s| 8400 | 39 | 7277k| 666.6 | 168M | 80 |3379 |6194 | 0 |2945 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1631.18/1635.69 c 1636s| 8500 | 39 | 7335k| 665.8 | 168M | 80 |3379 |6272 | 0 |2969 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1643.05/1647.57 c 1648s| 8600 | 43 | 7392k| 664.9 | 169M | 80 |3379 |6290 |3595 |3019 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1654.63/1659.18 c 1659s| 8700 | 46 | 7448k| 664.0 | 169M | 80 |3379 |6334 |3595 |3064 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1664.90/1669.42 c 1669s| 8800 | 44 | 7497k| 662.4 | 169M | 80 |3379 |6387 |3595 |3095 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1677.37/1681.99 c 1682s| 8900 | 43 | 7555k| 661.6 | 172M | 80 |3379 |6423 |3610 |3185 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1696.72/1701.33 c 1701s| 9000 | 41 | 7641k| 663.5 | 172M | 80 |3379 |6426 |3597 |3247 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1718.17/1722.87 c 1723s| 9100 | 42 | 7737k| 666.0 | 172M | 80 |3379 |6491 | 0 |3291 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1733.33/1738.02 c 1738s| 9200 | 44 | 7801k| 665.8 | 172M | 80 |3379 |6482 |3590 |3335 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1745.69/1750.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1745.69/1750.47 c 1750s| 9300 | 43 | 7861k| 665.2 | 172M | 80 |3379 |6475 |3593 |3370 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1757.37/1762.15 c 1762s| 9400 | 43 | 7917k| 664.4 | 172M | 80 |3379 |6538 |3598 |3415 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1772.03/1776.80 c 1777s| 9500 | 41 | 7985k| 664.4 | 172M | 80 |3379 |6543 |3591 |3462 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1786.20/1791.08 c 1791s| 9600 | 40 | 8051k| 664.4 | 173M | 80 |3379 |6494 |3592 |3502 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1804.85/1809.73 c 1810s| 9700 | 43 | 8134k| 665.8 | 173M | 80 |3379 |6396 |3589 |3564 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1817.22/1822.15 c 1822s| 9800 | 41 | 8190k| 665.0 | 173M | 80 |3379 |6380 |3607 |3634 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1830.58/1835.50 c 1835s| 9900 | 42 | 8251k| 664.5 | 173M | 80 |3379 |6332 |3589 |3659 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1844.25/1849.22 c 1849s| 10000 | 41 | 8315k| 664.3 | 173M | 80 |3379 |6376 |3602 |3730 | 2 | 11k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1860.31/1865.32 c 1865s| 10100 | 43 | 8387k| 664.7 | 174M | 80 |3379 |6359 |3598 |3814 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1878.66/1883.79 c 1884s| 10200 | 43 | 8468k| 665.9 | 174M | 80 |3379 |6433 |3605 |3894 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1895.32/1900.42 c 1900s| 10300 | 40 | 8544k| 666.7 | 174M | 80 |3379 |6592 | 0 |3964 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1908.90/1914.03 c 1914s| 10400 | 41 | 8607k| 666.3 | 174M | 80 |3379 |6696 |3610 |4002 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1925.65/1930.88 c 1931s| 10500 | 41 | 8681k| 666.9 | 174M | 80 |3379 |6779 |3598 |4061 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1943.60/1948.86 c 1949s| 10600 | 43 | 8759k| 667.8 | 174M | 80 |3379 |6873 |3601 |4130 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1964.76/1970.10 c 1970s| 10700 | 38 | 8853k| 669.9 | 175M | 80 |3379 |6930 | 0 |4168 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 6.94%
1986.70/1992.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1986.70/1992.08 c 1992s| 10800 | 44 | 8951k| 672.2 | 175M | 80 |3379 |6344 |3582 |4202 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2005.25/2010.68 c 2011s| 10900 | 44 | 9034k| 673.4 | 175M | 80 |3379 |6118 |3603 |4281 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2023.31/2028.72 c 2029s| 11000 | 44 | 9116k| 674.5 | 175M | 80 |3379 |6137 |3594 |4352 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2039.37/2044.82 c 2045s| 11100 | 42 | 9189k| 674.9 | 175M | 80 |3379 |6158 |3592 |4393 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2054.43/2059.98 c 2060s| 11200 | 44 | 9261k| 675.3 | 175M | 80 |3379 |6165 |3602 |4539 | 2 | 13k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2069.69/2075.25 c 2075s| 11300 | 43 | 9332k| 675.5 | 175M | 80 |3379 |6209 |3573 |4580 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2079.77/2085.30 c 2085s| 11400 | 42 | 9380k| 674.1 | 175M | 80 |3379 |6215 |3602 |4636 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2093.44/2099.01 c 2099s| 11500 | 42 | 9444k| 673.9 | 175M | 80 |3379 |6260 |3592 |4705 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2113.29/2118.99 c 2119s| 11600 | 41 | 9535k| 675.5 | 175M | 80 |3379 |6284 |3594 |4777 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2128.36/2134.10 c 2134s| 11700 | 41 | 9603k| 675.5 | 175M | 80 |3379 |6320 |3605 |4839 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2144.11/2149.85 c 2150s| 11800 | 39 | 9672k| 675.7 | 176M | 80 |3379 |6280 |3599 |4881 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2159.38/2165.19 c 2165s| 11900 | 45 | 9741k| 675.8 | 176M | 80 |3379 |6310 |3595 |4950 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2175.73/2181.50 c 2182s| 12000 | 43 | 9815k| 676.2 | 176M | 80 |3379 |6382 |3600 |5000 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2189.60/2195.48 c 2195s| 12100 | 45 | 9877k| 675.9 | 176M | 80 |3379 |6427 |3615 |5055 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2203.27/2209.11 c 2209s| 12200 | 45 | 9939k| 675.5 | 176M | 80 |3379 |6510 |3617 |5067 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2220.23/2226.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2220.23/2226.16 c 2226s| 12300 | 42 | 10017k| 676.1 | 176M | 80 |3379 |6592 |3605 |5149 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2236.78/2242.78 c 2243s| 12400 | 43 | 10093k| 676.7 | 176M | 80 |3379 |6561 |3602 |5210 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2250.55/2256.55 c 2257s| 12500 | 41 | 10160k| 676.7 | 176M | 80 |3379 |6590 |3602 |5266 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2267.81/2273.81 c 2274s| 12600 | 47 | 10241k| 677.5 | 176M | 80 |3379 |6447 |3598 |5325 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2285.07/2291.10 c 2291s| 12700 | 43 | 10319k| 678.2 | 176M | 80 |3379 |6414 |3599 |5390 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2305.92/2312.03 c 2312s| 12800 | 43 | 10414k| 680.1 | 176M | 80 |3379 |6434 |3612 |5453 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2326.36/2332.55 c 2333s| 12900 | 41 | 10505k| 681.5 | 178M | 80 |3379 |6538 |3604 |5504 | 2 | 15k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2351.00/2357.27 c 2357s| 13000 | 39 | 10618k| 684.5 | 178M | 80 |3379 |6540 | 0 |5547 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2367.36/2373.63 c 2374s| 13100 | 41 | 10692k| 684.9 | 178M | 80 |3379 |6452 |3597 |5596 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2377.34/2383.63 c 2384s| 13200 | 45 | 10740k| 683.5 | 179M | 80 |3379 |6566 |3605 |5660 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2389.61/2395.93 c 2396s| 13300 | 46 | 10798k| 682.9 | 179M | 80 |3379 |6571 |3608 |5702 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2400.28/2406.62 c 2407s| 13400 | 46 | 10852k| 682.0 | 180M | 80 |3379 |6660 |3607 |5739 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2410.46/2416.80 c 2417s| 13500 | 46 | 10903k| 680.9 | 181M | 80 |3379 |6741 |3613 |5817 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2422.03/2428.41 c 2428s| 13600 | 46 | 10960k| 680.2 | 181M | 80 |3379 |6811 |3618 |5859 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2431.01/2437.45 c 2437s| 13700 | 45 | 11004k| 678.7 | 181M | 80 |3379 |6921 |3607 |5901 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2441.69/2448.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2441.69/2448.17 c 2448s| 13800 | 45 | 11057k| 677.7 | 181M | 80 |3379 |6986 |3611 |5941 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2451.16/2457.69 c 2458s| 13900 | 45 | 11103k| 676.4 | 181M | 80 |3379 |7083 |3610 |5975 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2461.43/2467.92 c 2468s| 14000 | 45 | 11154k| 675.4 | 182M | 80 |3379 |7079 |3624 |6031 | 3 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2470.61/2477.18 c 2477s| 14100 | 45 | 11200k| 674.1 | 182M | 80 |3379 |7119 |3616 |6076 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2481.18/2487.70 c 2488s| 14200 | 44 | 11251k| 673.1 | 182M | 80 |3379 |7146 |3607 |6148 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2490.85/2497.49 c 2497s| 14300 | 46 | 11298k| 671.9 | 182M | 80 |3379 |7123 |3600 |6197 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2500.64/2507.28 c 2507s| 14400 | 45 | 11348k| 670.8 | 182M | 80 |3379 |7148 |3609 |6272 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2510.31/2516.91 c 2517s| 14500 | 45 | 11396k| 669.7 | 183M | 80 |3379 |7146 |3609 |6327 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2520.39/2527.00 c 2527s| 14600 | 45 | 11446k| 668.7 | 183M | 80 |3379 |7156 |3597 |6361 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2530.16/2536.84 c 2537s| 14700 | 43 | 11494k| 667.6 | 183M | 80 |3379 |7185 |3609 |6402 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2539.14/2545.87 c 2546s| 14800 | 48 | 11539k| 666.3 | 183M | 80 |3379 |7154 |3604 |6472 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2548.02/2554.74 c 2555s| 14900 | 50 | 11583k| 665.0 | 183M | 80 |3379 |7197 |3604 |6571 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2558.09/2564.85 c 2565s| 15000 | 50 | 11633k| 664.1 | 183M | 80 |3379 |7225 |3601 |6629 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2568.17/2574.98 c 2575s| 15100 | 48 | 11684k| 663.2 | 183M | 80 |3379 |7265 |3598 |6741 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2578.14/2584.90 c 2585s| 15200 | 46 | 11733k| 662.2 | 184M | 80 |3379 |7357 |3610 |6809 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2588.61/2595.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2588.61/2595.42 c 2595s| 15300 | 48 | 11785k| 661.4 | 185M | 80 |3379 |7336 |3609 |6908 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2599.19/2606.05 c 2606s| 15400 | 46 | 11836k| 660.6 | 185M | 80 |3379 |7405 |3620 |6997 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2611.16/2618.05 c 2618s| 15500 | 46 | 11895k| 660.2 | 185M | 80 |3379 |7467 |3611 |7067 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2623.02/2629.99 c 2630s| 15600 | 46 | 11953k| 659.7 | 185M | 80 |3379 |7508 |3614 |7181 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2636.20/2643.12 c 2643s| 15700 | 48 | 12018k| 659.7 | 186M | 80 |3379 |7393 |3612 |7275 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2652.06/2659.01 c 2659s| 15800 | 46 | 12096k| 660.3 | 186M | 80 |3379 |7414 |3607 |7382 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2666.81/2673.81 c 2674s| 15900 | 46 | 12170k| 660.7 | 186M | 80 |3379 |7509 |3602 |7445 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2680.68/2687.73 c 2688s| 16000 | 45 | 12237k| 660.8 | 186M | 80 |3379 |7619 |3617 |7487 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2698.04/2705.14 c 2705s| 16100 | 45 | 12319k| 661.7 | 187M | 80 |3379 |7674 |3618 |7584 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2711.40/2718.51 c 2719s| 16200 | 45 | 12381k| 661.5 | 188M | 80 |3379 |7747 |3628 |7639 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2727.56/2734.73 c 2735s| 16300 | 39 | 12457k| 662.0 | 188M | 80 |3379 |7682 |3611 |7724 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2747.21/2754.48 c 2754s| 16400 | 40 | 12545k| 663.1 | 188M | 80 |3379 |7635 |3601 |7787 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2765.76/2773.01 c 2773s| 16500 | 46 | 12630k| 664.1 | 188M | 80 |3379 |7375 |3591 |7883 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2775.63/2782.91 c 2783s| 16600 | 44 | 12677k| 663.1 | 188M | 80 |3379 |7406 |3606 |7915 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2785.01/2792.34 c 2792s| 16700 | 44 | 12722k| 662.0 | 188M | 80 |3379 |7422 | 0 |7962 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2794.19/2801.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2794.19/2801.57 c 2802s| 16800 | 44 | 12768k| 660.9 | 188M | 80 |3379 |7489 | 0 |7990 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2805.95/2813.38 c 2813s| 16900 | 46 | 12825k| 660.5 | 188M | 80 |3379 |7400 |3606 |8067 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2815.93/2823.35 c 2823s| 17000 | 46 | 12876k| 659.7 | 188M | 80 |3379 |7504 |3601 |8117 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2826.90/2834.39 c 2834s| 17100 | 48 | 12931k| 659.1 | 188M | 80 |3379 |7252 |3601 |8176 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2838.58/2846.03 c 2846s| 17200 | 44 | 12989k| 658.7 | 188M | 80 |3379 |7383 |3612 |8227 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2848.75/2856.26 c 2856s| 17300 | 45 | 13041k| 658.0 | 189M | 80 |3379 |7325 |3605 |8269 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2860.32/2867.89 c 2868s| 17400 | 46 | 13099k| 657.6 | 189M | 80 |3379 |7352 |3601 |8289 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2870.39/2877.91 c 2878s| 17500 | 46 | 13150k| 656.9 | 189M | 80 |3379 |7450 |3607 |8353 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2881.67/2889.26 c 2889s| 17600 | 46 | 13206k| 656.4 | 189M | 80 |3379 |7469 |3612 |8411 | 2 | 21k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2891.45/2899.03 c 2899s| 17700 | 45 | 13254k| 655.5 | 189M | 80 |3379 |7246 |3607 |8456 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2902.91/2910.58 c 2911s| 17800 | 46 | 13312k| 655.1 | 189M | 80 |3379 |7337 |3598 |8497 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2912.49/2920.14 c 2920s| 17900 | 46 | 13360k| 654.2 | 189M | 80 |3379 |7410 |3610 |8558 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2921.76/2929.47 c 2929s| 18000 | 44 | 13407k| 653.4 | 189M | 80 |3379 |7484 |3610 |8619 | 2 | 21k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2934.53/2942.25 c 2942s| 18100 | 42 | 13470k| 653.2 | 189M | 80 |3379 |7529 |3596 |8665 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2947.70/2955.41 c 2955s| 18200 | 44 | 13533k| 653.2 | 189M | 80 |3379 |7592 |3618 |8738 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2956.28/2964.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2956.28/2964.04 c 2964s| 18300 | 45 | 13577k| 652.1 | 189M | 80 |3379 |7639 |3593 |8738 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2967.75/2975.58 c 2976s| 18400 | 47 | 13632k| 651.6 | 189M | 80 |3379 |7636 |3605 |8793 | 2 | 22k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2977.23/2985.10 c 2985s| 18500 | 46 | 13680k| 650.8 | 189M | 80 |3379 |7724 |3600 |8802 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2986.40/2994.22 c 2994s| 18600 | 46 | 13725k| 649.8 | 189M | 80 |3379 |7840 |3601 |8832 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 7.33%
2996.48/3004.33 c 3004s| 18700 | 46 | 13775k| 649.1 | 189M | 80 |3379 |7912 |3601 |8892 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3004.96/3012.89 c 3013s| 18800 | 44 | 13818k| 648.1 | 189M | 80 |3379 |7981 |3611 |8949 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3014.73/3022.61 c 3023s| 18900 | 45 | 13866k| 647.3 | 189M | 80 |3379 |8001 |3612 |8996 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3027.11/3035.06 c 3035s| 19000 | 45 | 13927k| 647.1 | 190M | 80 |3379 |8100 |3602 |9030 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3039.47/3047.49 c 3047s| 19100 | 47 | 13988k| 647.0 | 190M | 80 |3379 |8171 |3598 |9094 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3053.24/3061.22 c 3061s| 19200 | 45 | 14054k| 647.0 | 190M | 80 |3379 |8294 |3608 |9157 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3067.20/3075.24 c 3075s| 19300 | 45 | 14121k| 647.1 | 190M | 80 |3379 |8413 |3612 |9214 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3081.77/3089.89 c 3090s| 19400 | 45 | 14191k| 647.4 | 190M | 80 |3379 |8385 |3593 |9274 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3096.23/3104.37 c 3104s| 19500 | 42 | 14261k| 647.6 | 190M | 80 |3379 |8379 |3614 |9343 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3110.29/3118.42 c 3118s| 19600 | 46 | 14329k| 647.8 | 190M | 80 |3379 |8272 |3589 |9428 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3120.37/3128.56 c 3129s| 19700 | 44 | 14380k| 647.1 | 190M | 80 |3379 |8309 |3610 |9435 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3134.94/3143.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3134.94/3143.17 c 3143s| 19800 | 44 | 14450k| 647.4 | 190M | 80 |3379 |8351 |3589 |9494 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3146.40/3154.65 c 3155s| 19900 | 44 | 14506k| 647.0 | 190M | 80 |3379 |8351 |3607 |9541 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3156.97/3165.26 c 3165s| 20000 | 42 | 14558k| 646.4 | 190M | 80 |3379 |8461 |3598 |9555 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3173.73/3182.03 c 3182s| 20100 | 42 | 14636k| 647.0 | 190M | 80 |3379 |8510 |3599 |9598 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3192.37/3200.70 c 3201s| 20200 | 44 | 14721k| 647.9 | 190M | 80 |3379 |8208 |3605 |9644 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3210.31/3218.72 c 3219s| 20300 | 48 | 14804k| 648.7 | 190M | 80 |3379 |8166 |3606 |9712 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3231.95/3240.47 c 3240s| 20400 | 46 | 14903k| 650.2 | 190M | 80 |3379 |8299 |3612 |9741 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3254.18/3262.79 c 3263s| 20500 | 44 | 15001k| 651.7 | 190M | 80 |3379 |8305 | 0 |9810 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3277.01/3285.60 c 3286s| 20600 | 46 | 15102k| 653.2 | 190M | 80 |3379 |8144 | 0 |9851 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.33%
3296.05/3304.73 c 3305s| 20700 | 42 | 15187k| 654.1 | 191M | 80 |3379 |7959 |3605 |9883 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.38%
3324.67/3333.42 c 3333s| 20800 | 42 | 15317k| 656.9 | 191M | 80 |3379 |8043 |3605 |9925 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | 7.38%
3355.97/3364.86 c 3365s| 20900 | 40 | 15458k| 660.1 | 191M | 80 |3379 |7747 | 0 | 10k| 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 7.38%
3385.78/3394.74 c 3395s| 21000 | 38 | 15592k| 663.0 | 191M | 80 |3379 |7449 |3599 | 10k| 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 7.38%
3400.64/3409.63 c 3410s| 21100 | 43 | 15663k| 663.2 | 191M | 80 |3379 |7264 |3592 | 10k| 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 7.57%
3417.69/3426.76 c 3427s| 21200 | 41 | 15744k| 663.8 | 191M | 80 |3379 |7208 |3582 | 10k| 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 7.57%
3432.44/3441.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3432.44/3441.54 c 3442s| 21300 | 39 | 15810k| 663.8 | 191M | 80 |3379 |7233 |3603 | 10k| 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 7.57%
3456.07/3465.24 c 3465s| 21400 | 44 | 15915k| 665.4 | 191M | 80 |3379 |7214 | 0 | 10k| 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 7.57%
3467.63/3476.87 c 3477s| 21500 | 42 | 15975k| 665.1 | 191M | 80 |3379 |7282 |3597 | 10k| 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 7.57%
3478.60/3487.85 c 3488s| 21600 | 42 | 16030k| 664.7 | 191M | 80 |3379 |7402 |3597 | 10k| 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 7.57%
3490.27/3499.56 c 3500s| 21700 | 42 | 16088k| 664.3 | 191M | 80 |3379 |7499 |3605 | 10k| 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 7.57%
3502.63/3511.96 c 3512s| 21800 | 42 | 16148k| 664.0 | 191M | 80 |3379 |7674 |3608 | 10k| 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 7.57%
3514.70/3524.09 c 3524s| 21900 | 42 | 16206k| 663.7 | 191M | 80 |3379 |7773 |3609 | 10k| 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 7.57%
3532.04/3541.49 c 3541s| 22000 | 49 | 16288k| 664.3 | 191M | 80 |3379 |7736 |3617 | 10k| 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 7.57%
3546.99/3556.47 c 3556s| 22100 | 47 | 16356k| 664.4 | 192M | 80 |3379 |7678 |3599 | 10k| 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 7.57%
3564.04/3573.51 c 3574s| 22200 | 46 | 16433k| 664.9 | 192M | 80 |3379 |7725 |3601 | 10k| 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 7.57%
3585.18/3594.75 c 3595s| 22300 | 45 | 16530k| 666.1 | 192M | 80 |3379 |7836 |3597 | 10k| 1 | 27k| 22 | 0.000000e+00 | -- | Inf | 7.57%
3587.48/3597.00 c
3587.48/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.48/3597.00 c Solving Time (sec) : 3597.00
3587.48/3597.00 c Solving Nodes : 22310 (total of 24669 nodes in 2 runs)
3587.48/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.48/3597.00 c Dual Bound : +0.00000000000000e+00
3587.48/3597.00 c Gap : infinite
3587.48/3597.00 s UNKNOWN
3587.48/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.48/3597.00 c Total Time : 3597.00
3587.48/3597.00 c solving : 3597.00
3587.48/3597.00 c presolving : 2.42 (included in solving)
3587.48/3597.00 c reading : 0.01 (included in solving)
3587.48/3597.00 c copying : 1.40 (106 #copies) (minimal 0.01, maximal 0.03, average 0.01)
3587.48/3597.00 c Original Problem :
3587.48/3597.00 c Problem name : HOME/instance-4507742-1751191363.opb
3587.48/3597.00 c Variables : 4180 (4180 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.48/3597.00 c Constraints : 4334 initial, 4334 maximal
3587.48/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.48/3597.00 c Presolved Problem :
3587.48/3597.00 c Problem name : t_HOME/instance-4507742-1751191363.opb
3587.48/3597.00 c Variables : 3379 (3379 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.48/3597.00 c Constraints : 4548 initial, 8525 maximal
3587.48/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.48/3597.00 c Nonzeros : 73720 constraint, 52506 clique table
3587.48/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.48/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c domcol : 0.04 0.00 8 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c gateextraction : 0.03 0.00 13 0 0 0 0 0 1 0 0 0
3587.48/3597.00 c implics : 0.00 0.00 17 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c milp : 0.17 0.00 1 173 4 0 0 0 0 0 0 0
3587.48/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c sparsify : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c trivial : 0.00 0.00 33 299 0 0 0 0 0 0 0 0
3587.48/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c dualfix : 0.00 0.00 33 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c probing : 1.71 0.00 7 138 2 0 0 0 0 0 0 0
3587.48/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c knapsack : 0.01 0.00 18 0 0 0 0 0 0 10 25 99
3587.48/3597.00 c setppc : 0.02 0.00 49 0 0 0 0 0 28 0 0 0
3587.48/3597.00 c linear : 0.03 0.00 24 184 1 0 184 0 691 0 28 0
3587.48/3597.00 c logicor : 0.28 0.02 46 28 0 0 0 0 257 0 0 1981
3587.48/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.48/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.48/3597.00 c benderslp : 0 0 0 0 12514 0 0 1016 0 0 0 0 0 0 0
3587.48/3597.00 c integral : 0 0 0 0 12514 0 0 1016 0 0 0 0 0 0 25028
3587.48/3597.00 c knapsack : 35 35 11 177826 0 0 0 0 334110 14 102511 0 0 0 0
3587.48/3597.00 c setppc : 913+ 1131 22 238362 0 0 0 1011 5052490 494 741720 2 0 0 0
3587.48/3597.00 c linear : 8+ 28 11 193617 0 0 0 3 6058 101 17782 3 2 0 0
3587.48/3597.00 c logicor : 3592+ 7391 22 192418 0 0 0 0 10942502 1782 1605269 54 33 0 0
3587.48/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.48/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c integral : 7.62 0.00 0.00 0.00 7.62 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c knapsack : 1.59 0.00 0.17 0.99 0.00 0.00 0.00 0.00 0.43 0.00
3587.48/3597.00 c setppc : 2.81 0.00 0.00 1.63 0.00 0.00 0.00 0.02 1.16 0.00
3587.48/3597.00 c linear : 0.22 0.00 0.00 0.18 0.00 0.00 0.00 0.00 0.03 0.00
3587.48/3597.00 c logicor : 8.83 0.02 0.01 4.85 0.00 0.00 0.00 0.00 3.95 0.01
3587.48/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.48/3597.00 c dualfix : 2 0 0 0
3587.48/3597.00 c genvbounds : 0 0 0 0
3587.48/3597.00 c nlobbt : 0 0 0 0
3587.48/3597.00 c obbt : 0 0 0 0
3587.48/3597.00 c probing : 0 0 0 0
3587.48/3597.00 c pseudoobj : 0 0 0 0
3587.48/3597.00 c redcost : 0 0 0 0
3587.48/3597.00 c rootredcost : 0 0 0 0
3587.48/3597.00 c symmetry : 27471 0 0 33
3587.48/3597.00 c vbounds : 153190 0 0 0
3587.48/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.48/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.48/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c probing : 1.71 0.00 1.71 0.00 0.00 0.00
3587.48/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.48/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.48/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.48/3597.00 c symmetry : 0.11 0.00 0.02 0.09 0.00 0.00
3587.48/3597.00 c vbounds : 2.61 0.00 0.00 2.60 0.00 0.00
3587.48/3597.00 c Symmetry :
3587.48/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.48/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.48/3597.00 c lexicographic red: 33 reductions applied, 0 cutoffs
3587.48/3597.00 c shadow tree time : 0.04 s
3587.48/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.48/3597.00 c propagation : 1.20 2301 2160 - 19844 128.8 288 51.5 - - -
3587.48/3597.00 c infeasible LP : 27.28 10354 7043 - 155038 529.6 84 19.3 116 250.5 0
3587.48/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.48/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.48/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.48/3597.00 c applied globally : 1.17 - - 0 26869 170.9 - - 109 - -
3587.48/3597.00 c applied locally : - - - 0 78 552.8 - - 7 - -
3587.48/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.48/3597.00 c cut pool : 1.44 - 3048 42 - - 4675 270463 - - - - - (maximal pool size: 1194)
3587.48/3597.00 c aggregation : 0.37 0.00 602 22 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.48/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.48/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.48/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c clique : 0.37 0.00 22 22 0 0 161 580 0 171 171 0 0
3587.48/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c gomory : 23.03 0.00 600 20 0 0 5005 265190 822 7110 7077 33 0
3587.48/3597.00 c > gomorymi : - - - - - - - 131945 423 4360 4334 26 -
3587.48/3597.00 c > strongcg : - - - - - - - 133245 399 2750 2743 7 -
3587.48/3597.00 c impliedbounds : 0.47 0.00 602 22 0 0 84 297 0 176 176 0 0
3587.48/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c multilinear : 0.00 0.00 58 22 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c rapidlearning : 11.84 0.00 100 2 0 10785 0 0 0 0 0 0 350
3587.48/3597.00 c rlt : 0.00 0.00 351 20 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c zerohalf : 7.51 0.00 602 22 0 0 1565 4396 1318 4028 2773 1255 0
3587.48/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.48/3597.00 c hybrid : 0.49 0.00 2542 22 11523 0 261117 210 0 229
3587.48/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.48/3597.00 c problem variables: 0.00 - 0 0
3587.48/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.48/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c relpscost : 7.61 0.00 12514 0 0 0 0 0 0 25028
3587.48/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.48/3597.00 c LP solutions : 0.00 - - 0 0
3587.48/3597.00 c relax solutions : 0.00 - - 0 0
3587.48/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.48/3597.00 c strong branching : 0.00 - - 0 0
3587.48/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.48/3597.00 c adaptivediving : 10.28 0.00 9 0 0
3587.48/3597.00 c alns : 0.14 0.00 5 0 0
3587.48/3597.00 c bound : 0.00 0.00 0 0 0
3587.48/3597.00 c clique : 0.01 0.00 1 0 0
3587.48/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.48/3597.00 c completesol : 0.00 0.00 0 0 0
3587.48/3597.00 c conflictdiving : 35.91 0.00 8 0 0
3587.48/3597.00 c crossover : 0.01 0.00 0 0 0
3587.48/3597.00 c dins : 0.00 0.00 0 0 0
3587.48/3597.00 c distributiondivin: 11.70 0.00 6 0 0
3587.48/3597.00 c dps : 0.00 0.00 0 0 0
3587.48/3597.00 c dualval : 0.00 0.00 0 0 0
3587.48/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.48/3597.00 c feasjump : 0.04 0.00 2 0 0
3587.48/3597.00 c feaspump : 10.23 0.00 4 0 0
3587.48/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.48/3597.00 c fracdiving : 9.07 0.00 7 0 0
3587.48/3597.00 c gins : 0.00 0.00 0 0 0
3587.48/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.48/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3587.48/3597.00 c indicator : 0.01 0.00 0 0 0
3587.48/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.48/3597.00 c indoneopt : 0.01 0.00 0 0 0
3587.48/3597.00 c indrounding : 0.00 0.00 0 0 0
3587.48/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3587.48/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.48/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.48/3597.00 c linesearchdiving : 8.06 0.00 7 0 0
3587.48/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.48/3597.00 c locks : 0.00 0.00 1 0 0
3587.48/3597.00 c lpface : 0.08 0.00 0 0 0
3587.48/3597.00 c mpec : 0.00 0.00 0 0 0
3587.48/3597.00 c multistart : 0.00 0.00 0 0 0
3587.48/3597.00 c mutation : 0.00 0.00 0 0 0
3587.48/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.48/3597.00 c objpscostdiving : 27.74 0.00 3 0 0
3587.48/3597.00 c octane : 0.00 0.00 0 0 0
3587.48/3597.00 c ofins : 0.01 0.00 0 0 0
3587.48/3597.00 c oneopt : 0.01 0.00 0 0 0
3587.48/3597.00 c padm : 0.00 0.00 0 0 0
3587.48/3597.00 c proximity : 0.00 0.00 0 0 0
3587.48/3597.00 c pscostdiving : 15.63 0.00 7 0 0
3587.48/3597.00 c randrounding : 0.26 0.00 1026 0 0
3587.48/3597.00 c rens : 0.10 0.00 2 0 0
3587.48/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.48/3597.00 c repair : 0.00 0.00 0 0 0
3587.48/3597.00 c rins : 0.01 0.00 0 0 0
3587.48/3597.00 c rootsoldiving : 7.37 0.00 4 0 0
3587.48/3597.00 c rounding : 0.19 0.00 1690 0 0
3587.48/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.48/3597.00 c shiftandpropagate: 0.04 0.00 2 0 0
3587.48/3597.00 c shifting : 0.59 0.00 839 0 0
3587.48/3597.00 c simplerounding : 0.01 0.00 0 0 0
3587.48/3597.00 c smallcard : 0.00 0.00 0 0 0
3587.48/3597.00 c subnlp : 0.01 0.00 0 0 0
3587.48/3597.00 c trivial : 0.00 0.00 4 0 0
3587.48/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.48/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.48/3597.00 c trysol : 0.01 0.00 0 0 0
3587.48/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.48/3597.00 c undercover : 0.00 0.00 0 0 0
3587.48/3597.00 c vbounds : 0.02 0.00 2 0 0
3587.48/3597.00 c veclendiving : 11.38 0.00 7 0 0
3587.48/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.48/3597.00 c zirounding : 0.04 0.00 1000 0 0
3587.48/3597.00 c other solutions : - - - 0 -
3587.48/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.48/3597.00 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
3587.48/3597.00 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
3587.48/3597.00 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
3587.48/3597.00 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
3587.48/3597.00 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
3587.48/3597.00 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
3587.48/3597.00 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
3587.48/3597.00 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
3587.48/3597.00 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
3587.48/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.48/3597.00 c primal LP : 2.59 1257 0 0.00 0.00 2.59 1257
3587.48/3597.00 c dual LP : 3330.62 25414 15968895 628.60 4794.58 0.01 10
3587.48/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.48/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.48/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.48/3597.00 c diving/probing LP: 145.62 879 572399 651.19 3930.79
3587.48/3597.00 c strong branching : 5.18 22 15467 703.05 2984.82 - - 26
3587.48/3597.00 c (at root node) : - 22 15467 703.05 -
3587.48/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.48/3597.00 c B&B Tree :
3587.48/3597.00 c number of runs : 2
3587.48/3597.00 c nodes : 22310 (11276 internal, 11034 leaves)
3587.48/3597.00 c feasible leaves : 0
3587.48/3597.00 c infeas. leaves : 11033
3587.48/3597.00 c objective leaves : 0
3587.48/3597.00 c nodes (total) : 24669 (12514 internal, 12155 leaves)
3587.48/3597.00 c nodes left : 44
3587.48/3597.00 c max depth : 80
3587.48/3597.00 c max depth (total): 80
3587.48/3597.00 c backtracks : 2666 (11.9%)
3587.48/3597.00 c early backtracks : 0 (0.0%)
3587.48/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.48/3597.00 c delayed cutoffs : 200
3587.48/3597.00 c repropagations : 24177 (134155 domain reductions, 167 cutoffs)
3587.48/3597.00 c avg switch length: 3.89
3587.48/3597.00 c switching time : 7.19
3587.48/3597.00 c Root Node :
3587.48/3597.00 c First LP value : +0.00000000000000e+00
3587.48/3597.00 c First LP Iters : 9777 (4940.08 Iter/sec)
3587.48/3597.00 c First LP Time : 1.98
3587.48/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.48/3597.00 c Final Root Iters : 106274
3587.48/3597.00 c Root LP Estimate : +2.53325979979090e-02
3587.48/3597.00 c Solution :
3587.48/3597.00 c Solutions found : 0 (0 improvements)
3587.48/3597.00 c Primal Bound : -
3587.48/3597.00 c Dual Bound : +0.00000000000000e+00
3587.48/3597.00 c Gap : infinite
3587.48/3597.00 c Integrals : Total Avg%
3587.48/3597.00 c primal-dual : 359699.82 100.00
3587.48/3597.00 c primal-ref : - - (not evaluated)
3587.48/3597.00 c dual-ref : - - (not evaluated)
3587.48/3597.04 c Time complete: 3587.52.